要約:
A representation $V$ of an algebraic group $G$ induces a vector bundle $[V/G] \to BG$. The representation $V$ of $G$ is neutral if, for every twisted form $\mathcal{V} \to \mathcal{G}$ of $[V/G] \to BG$ over a field $k$, we have $\mathcal{G}(k) \neq \emptyset$.
Twisted forms of representations arise in many ways, for instance as cohomology of families of varieties on residual gerbes of moduli spaces, and from quotient singularities. Moreover, every Tannakian category is the category of vector bundles on some gerbe. Because of this, studying neutral representations yields numerous applications, especially to problems about fields of moduli.
The present article has three main results. First, we completely classify neutral, faithful representations of finite groups in dimension $\leq 3$. Second, we give a very general, computation-friendly result for proving that representations of finite abelian groups are neutral, in arbitrary dimensions. Third, we develop the abstract concept of the normalizer $\mathcal{G} \to \mathcal{N} \to \mathcal{H}$ of a morphism of gerbes $\mathcal{G} \to \mathcal{H}$ on an arbitrary site (twisted representations correspond to morphisms of gerbes $\mathcal{G} \to B\mathrm{GL}_{n}$), and show that the normalizer $\mathcal{N}$ only depends on the geometric type of $\mathcal{G} \to \mathcal{H}$.
要約:
We prove that a prime Fano threefold of genus 8 over an algebraically closed field of positive characteristic is isomorphic to a linear section of the Grassmannian variety Gr(2, 6). As applications, it is shown that a prime Fano threefold of genus 8 is irrational and, if the characteristic is larger than two, then it is globally F-regular.
要約:
Let $G$ be a reductive algebraic group. A toric principal $G$-bundle is a principal $G$-bundle over a toric variety together with a torus action commuting with the $G$-action. Extending the Klyachko classification of toric vector bundles, Kaveh-Manon classify toric principal bundles by piecewise linear maps to the (extended) Tits building of $G$. In this paper, we use this classification to construct a moduli space of (framed) toric principal bundles with given total equivariant characteristic class, as a locally closed subvariety of a product of partial flag varieties. This extends the construction of moduli of toric vector bundles by Sam Payne.
要約:
We survey recent progress on the birational geometry of foliations on complex varieties. We focus on the MMP viewpoint: singularities, adjunction and applications to the MMP for foliations on surfaces and to the existence of flips on threefolds.
要約:
Dimensionally or analytically regulated Feynman integrals lead to relative twisted period integrals. We present a recent extension of the Griffiths-Dwork pole reduction algorithm for deriving the D-module of differential operators acting on the twisted differential forms from Feynman integrals.
We illustrate the application of this algorithm by providing twisted Picard-Fuchs operators for hypergeometric, elliptic and Calabi-Yau differential motives arising from families of Feynman integrals.
要約:
Let $S$ be a smooth complex minimal surface of general type with $p_g:=h^0(K_S)\ge 4$ whose canonical map is generically finite of odd degree $d>1$ onto a surface $\Sigma$. We assume that the general canonical curve of $S$ is smooth and that $\Sigma$ is ruled by lines, and we prove:
- $p_g\le d+2$
- $\Sigma$ is a cone over the rational normal curve of degree $p_g-2$ in ${\mathbb P}^{p_g-1}$
- $p_g=d+2$ can occur only for $d=3,9,11$.
As a byproduct, we refine previous results by Beauville and Xiao by proving that if one drops the assumption that $\Sigma$ is ruled by lines then $d\le 5$ if $p_g\ge 112$.
The case $d=3$ being completely classified by the first two named authors, we focus on $d=5$, showing that $p_g\le 5$ and that for $p_g=5$ the surface $S$ has a pencil $|C|$ with $C^2=1$ and $K_SC=5$.
These results suggest that the answer to the question whether the surfaces with canonical map of odd degree $d>1$ have bounded invariants could be positive, in sharp contrast with the case of even degree.
要約:
A T-curve of degree $d$ is given by a regular unimodular triangulation of $d \cdot \Delta_2$ together with a sign distribution on its lattice points. By Viro's Patchworking Theorem, this determines the ambient isotopy type (a.k.a. real scheme) of a smooth real plane projective algebraic curve of the same degree. We present a near-quadratic time algorithm for extracting that isotopy type from the triangulation and the signs. Through a GPU-accelerated implementation, this allows one to compute billions of real schemes per second, enabling exhaustive enumeration at scale. This algorithm was essential for our recent construction of all 121 real schemes of degree seven by T-curves.
要約:
In this paper, we prove that for any weak Del Pezzo surface $S$ of degree at least $4$, the tangent bundle $T_S$ is almost nef. For the proof, we use total dual VMRTs induced by conic bundle structures.
要約:
This paper studies the KL-Schubert classes defined by Kazhdan-Lusztig bases in $K$-theory and hyperbolic cohomology of flag varieties. We first establish Poincar\'e dualities of these classes. We then focus on Grassmannians, and establish the Billey-type formula for KL-Schubert classes in hyperbolic cohomology.
要約:
We investigate infinite-level Shimura varieties within the framework of analytic stacks of Clausen-Scholze, developing their smooth, completed, locally analytic, and de Rham realizations. We formulate a Grothendieck-Messing-Hodge-Tate period map, and establish a Grothendieck-Messing theory for locally analytic infinite-level Shimura varieties. This theory, combined with a reformulation of Riemann-Hilbert correspondence, implies that the locally analytic infinite-level Shimura variety can be fully reconstructed purely from its perfectoid counterpart and its $\mathbb{B}_{\mathrm{dR}}^{+}$-thickening. Building upon this geometric structure, we systematically construct differential operators generalizing those of Pan, and we introduce a Bernstein-Gelfand-Gelfand-Fontaine complex based on dual BGG complexes, conjecturing its automorphic properties. These constructions will be used to establish a locally analytic Jacquet-Langlands correspondence in a companion paper ([Jia26a]).
要約:
We prove results that imply, under various hypotheses, that every elliptic curve over a
number field $k$ corresponding to a point on a modular curve has bad reduction at a
certain prime $p$ of $\mathcal{O}_k$.
For example, every elliptic curve with a cyclic torsion subgroup of order 20 defined over
$\mathbb{Q}(\sqrt{-11})$ or $\mathbb{Q}(\sqrt{17})$ has bad reduction at all primes lying over $3$.
The proofs of these statements are quite different, since $3$ is split in $\mathbb{Q}(\sqrt{-11})$
and inert in $\mathbb{Q}(\sqrt{17})$.
要約:
We study the relationship between line bundles on tropical compactifications of a very affine variety $Y$ and toric b-divisors on the associated tropical variety ${\rm Trop}(Y)$. By focusing on numerical equivalence classes, we construct a natural injective map from the group of numerical tropical line bundles on $Y$ to the space of toric b-divisors modulo linear equivalence. Moreover, we show that this map restricts to a bijection between the tropical nef cone of $Y$ and the set of toric b-divisors that are b-Cartier and tropically nef. This provides a higher-dimensional generalization of Baker's specialization for curves and clarifies the birational nature of tropical line bundles. We also discuss the kernel of the map from line bundles to numerical tropical line bundles, which encodes the continuous moduli lost in tropicalization.
要約:
In their work, \cite{GR}, Gaitsgory and Rozenblyum introduce a derived version of the well-studied arc spaces of classical algebraic geometry. They observe that these derived spaces do not differ from their classical counterparts in the case of smooth schemes. In this note we will see that this is also the case for reduced local complete intersection schemes
要約:
The Shafarevich conjecture/problem is about the finiteness of isomorphism classes of a family of varieties defined over a number field with good reduction outside a finite collection of places. For K3 surfaces, such a finiteness result was proved by Y. She. For hyper-K\"ahler varieties, which are higher-dimensional analogs of K3 surfaces, Y. Andr\'e proved the Shafarevich conjecture for hyper-K\"ahler varieties of a given dimension and admitting a very ample polarization of bounded degree. In this paper, we provide a unification of both results by proving the (unpolarized) Shafarevich conjecture for hyper-K\"ahler varieties in a given deformation type. We also discuss the cohomological generalization of the Shafarevich conjecture by replacing the good reduction condition by the unramifiedness of the cohomology, where our results are subject to a certain necessary assumption on the faithfulness of the action of the automorphism group on cohomology. In a similar fashion, generalizing a result of Orr and Skorobogatov on K3 surfaces, we prove the finiteness of geometric isomorphism classes of hyper-K\"ahler varieties of CM type in a given deformation type defined over a number field with bounded degree. A key to our approach to these results is a uniform Kuga--Satake map, inspired by She's work, and we study its arithmetic properties, which are of independent interest.
要約:
Compact K\"{a}hler manifolds satisfy several nice Hodge-theoretic properties such as the Hodge symmetry, the Hard Lefschetz property and the Hodge-Riemann bilinear relations, etc. In this note, we investigate when such nice properties hold on compact complex manifolds with semistable degenerations. For compact complex manifolds which can be obtained as smoothings of SNC varieties without triple intersection locus, we show the Hodge symmetry when the monodromy logarithm induces isomorphisms on the associated graded pieces of the weight filtrations of the limiting mixed Hodge structures. We also show the Hodge-Riemann relations on H^3 of compact complex 3-folds with such semistable degenerations under some conditions.
要約:
For a projective variety $X$, we have the intersection complex $L$-classes $L_*(X)$ defined by Goresky-MacPerson using cohomotopy and also the constant coefficient $L$-class $L^c_*(X)$ defined by applying an $L$-class transformation (or $T_{1*}$) to a cubic hyperresolution of $X$. These coincide if $X$ is a $\mathbb Q$-homology manifold. We show that the two $L$-classes $L_*(X)$ and $L^c_*(X)$ differ if they do by replacing $X$ with an intersection of general hyperplane sections which has only $\mathbb Q$-homologically isolated singularities. Finding a good sufficient condition for the non-coincidence of $L_*(X)$ and $L^c_*(X)$ is thus reduced to the latter case, where a necessary and sufficient condition has been obtained in terms of the Hodge signatures of stalks of intersection complex in our previous paper. In the case of projective hypersurfaces having only isolated singularities, the difference between $L_*(X)$ and $L^c_*(X)$ is given by the Hodge signatures of the link cohomologies at singular points, and the Hodge signatures of the vanishing cohomologies give the difference between $L^c_*(X)$ and the virtual $L$-class of $X$, that is, the image by a retraction map of the $L$-class of a smooth deformation of $X$ in an ambient smooth projective variety $Y$ in the very ample case.
要約:
An exoflop takes a gauged Landau-Ginzburg (LG) model, partially compactifies it, and then performs certain birational transformations on it. When certain criteria hold, this can provide a crepant categorical resolution or equivalence of derived categories associated to the gauged LG models. We provide sufficient criteria for when this provides categorical resolutions for (or equivalences between) certain complete intersections in toric stacks.
要約:
This paper continues the study initiated in [ISZ25] on the moduli of surfaces admitting lc-trivial fibrations. Using the techniques developed in [ISZ25], we
(1) provide a classification of the surfaces appearing on the boundary of the KSBA-moduli space of elliptic surfaces with a bisection
(2) recover the results of a series of papers on the moduli stacks of elliptic surfaces with a section [AB22, Inc20, Bru15]. Notably, our proof of (2) avoids the use of explicit steps of an MMP, such as the "La Nave flip" from [LN02], which plays a central role in [AB22,Inc20]. As an application, we compactify the moduli stack of hyperelliptic K3 surfaces.
要約:
We consider the refined $\mathrm{SU}(r)$ Vafa-Witten partition function of a smooth projective surface with non-zero holomorphic 2-form. This partition function has a vertical contribution, expressible in terms of nested Hilbert schemes.
First, we write the vertical contribution in terms of $\chi_y$-genera of moduli spaces of framed sheaves on ${\mathbb P}^2$.
Then, we state two wall-crossing identities for moduli spaces of framed sheaves: a blow-up formula due to Kuhn-Leigh-Tanaka and a new stable/co-stable wall-crossing formula. We prove the latter using the theory of mixed Hodge modules.
We apply these identities to obtain constraints on Vafa-Witten invariants predicted by conjectures of G\"ottsche and the second- and third-named authors. For $r=2$, we obtain a proof of the vertical part of a celebrated formula by Vafa-Witten.
要約:
Let $Z\subset{\bf P}^{n-1}$ be a hypersurface such that the associated reduced hypersurface $Z_{\rm red}$ has only weighted homogeneous isolated singularities. In the case $Z$ is a reduced curve or $Z_{\rm red}$ has only homogeneous isolated singularities with $n$ at least $4$, we show that the strong monodromy conjecture for a defining polynomial $f$ of $Z$ follows from arxiv:1609.04801v1 using in the reduced curve case a formula of Denef and Loeser for Newton-nondegenerate polynomials of three variables (which can be deduced in the applied case from the one for the two variable case) together with known results about the strong monodromy conjecture in the two variable case. Here an amazing cancellation occurs so that possible counterexamples fail. We also show the relation between the pole orders of topological zeta function and the root multiplicities of Bernstein-Sato polynomial in the case $Z$ has equimultiplicity and $Z_{\rm red}$ has only weighted homogeneous singularities with $n=3$ or $Z_{\rm red}$ has only homogeneous isolated singularities with $n>3$.
要約:
We study the K-moduli stack of prime Fano threefolds of genus twelve, known as $V_{22}$. We prove that its boundary, which parametrizes singular members, is purely divisorial and consists of four irreducible components corresponding to the four families of Prokhorov's one-nodal $V_{22}$.
A key ingredient is a modular relation between Fano threefolds $X$ and their anticanonical K3 surfaces $S$. We prove that the forgetful morphism from the moduli of Fano--K3 pairs $(X,S)$ where $X$ is a K-semistable degeneration of $V_{22}$ to the moduli space of genus $12$ polarized K3 surfaces $(S,{-K_X}|_S)$ is an open immersion. In particular, the K-moduli of $V_{22}$ is governed by the moduli of their anticanonical K3 surfaces, providing a modular realization of Mukai's philosophy. Along the way, we develop a general deformation framework for Fano threefolds of large volume, which may be useful beyond the study of K-moduli.
要約:
Truncated Grassmannians are defined as closures of orbits of abelian unipotent groups acting on the degree truncations of projectivized wedge powers. We show that such truncations in a more general setup show up in the description of the blow-ups of general flag varieties along Schubert subvarieties. We work out the case of Grassmannians in detail. In particular, we show that our blow-ups are members of a larger family of varieties projecting onto Grassmannians, and describe the fibers of these projections via the spaces of collineations.
要約:
We study one-parameter conifold degenerations whose central fiber has finitely many ordinary double points and construct a mixed-Hodge-module refinement of the canonical corrected perverse object associated with the degeneration. We build a rank-one point-supported mixed-Hodge-module block at each node, identify the global singular quotient as $\bigoplus_{k=1}^r i_{k*}\Q^H_{\{p_k\}}(-1)$, and assemble these local blocks via Saito's divisor-case gluing formalism into a global object $\mathcal P^H \in MHM(X_0)$. We prove that $\mathcal P^H$ realizes the corrected perverse object, fits into an exact sequence $0 \to IC^H_{X_0} \to \mathcal P^H \to \bigoplus_{k=1}^r i_{k*}\Q^H_{\{p_k\}}(-1) \to 0$, and that the same quotient realizes the finite local vanishing sector in the nearby-cycle formalism. We further relate the mixed-Hodge-module extension, its realized perverse extension, and the induced extension on hypercohomology carrying the limiting mixed Hodge structure. This gives a theorem-level Hodge-theoretic refinement of the corrected perverse extension in the finite multi-node ordinary double point setting.
要約:
Let $(\rho_\lambda\colon G_{\mathbb Q}\to \operatorname{GL}_5(\overline{E}_\lambda))_\lambda$ be a strictly compatible system of Galois representations such that no Hodge--Tate weight has multiplicity $5$. Under mild assumptions, we show that if $\rho_{\lambda_0}$ is irreducible for some $\lambda_0$, then $\rho_\lambda$ is irreducible for all but finitely many priimes $\lambda$. More generally, if $(\rho_\lambda)_\lambda$ is essentially self-dual, we show that either $\rho_\lambda$ is irreducible for all but finitely many $\lambda$, or the compatible system $(\rho_\lambda)_\lambda$ decomposes as a direct sum of lower-dimensional compatible systems.
We apply our results to study the Tate conjecture for elliptic surfaces. For example, if $X_0\colon y^2 + (t+3)xy + y= x^3$, we prove the codimension one $\ell$-adic Tate conjecture for all but finitely many $\ell$, for all but finitely many general, degree $3$, genus $2$ branched multiplicative covers of $X_0$.
To prove this result, we classify the elliptic surfaces into six families, and prove, using perverse sheaf theory and a result of Cadoret--Tamagawa, that if one surface in a family satisfies the Tate conjecture, then all but finitely many do. We then verify the Tate conjecture for one representative of each family by making our irreducibility result explicit: for the compatible system arising from the transcendental part of $H^2_{\mathrm{et}}(X_{\overline{\mathbb Q}}, \mathbb{Q}_\ell(1))$ for a representative $X$, we formulate an algorithm that takes as input the characteristic polynomials of Frobenius, and terminates if and only if the compatible system is irreducible.
要約:
We study the Lie algebra of polynomial vector fields on a smooth Danielewski surface of the form $x y = p(z)$ with $x,y,z \in \mathbb{C}$. We provide explicitly given generators to show that: 1. The Lie algebra of polynomial vector fields is generated by $6$ complete vector fields. 2. The Lie algebra of volume-preserving polynomial vector fields is generated by finitely many vector fields, whose number depends on the degree of the defining polynomial. 3. There exists a Lie sub-algebra generated by $4$ LNDs whose flows generate a group that acts infinitely transitively on the Danielewski surface. The latter result is also generalized to higher dimensions where $z \in \mathbb{C}^N$.
要約:
Generalizing previous work of the first author, we introduce and study a characteristic free analog of the $F$-threshold for non-principal ideals, BCM-thresholds. We show that this coincides with the classical $F$-threshold for weakly $F$-regular rings and that the set of BCM-thresholds coincides with the set of BCM-jumping numbers in a complete local regular ring. We obtain results on $F$-thresholds of parameter ideals analogous to results of Huneke-\mustata-Takagi-Watanabe as well as a mixed characteristic version of one of their results on multiplicity. Instead of taking ordinary powers of an ideal, our definition uses fractional integral closure in an absolute integral closure of our ambient ring.