要約:
Parahoric group schemes are certain possibly non-reductive, smooth, affine integral models of reductive group schemes defined over a henselian discretely valued field $K$ whose residue field is perfect. We show that any such group scheme $\mathscr{P}$ becomes reductive, in a particular regard, after a (possibly wildly ramified) finite Galois extension $L/K$. More precisely, we prove that there exists a reductive integral model $\mathscr{G}$ of the base change $\mathscr{P}_L$ such that $\mathscr{P}$ can be recovered as the smoothening of the subgroup of Galois invariants of the Weil restriction of $\mathscr{G}$. Our work extends results of Balaji--Seshadri and Pappas--Rapoport from the tamely ramified and simply-connected semisimple setting.
As an application, we establish a parahoric analogue of the Grothendieck--Serre conjecture in sufficiently good residue characteristics. Specifically, we confirm that generically trivial parahoric torsors are trivial whenever the generic reductive group is simply-connected. The proof proceeds by reducing the problem to a statement about a stacky reductive group over a stacky discrete valuation ring.
要約:
We study two closely related families of varieties arising from genus $0$ stable maps to the Lagrangian Grassmannian $\operatorname{LG}(n,2n)$. First, we construct the Kausz--type compactification $\mathcal {TL}_n$ of the space of symmetric matrices and give an explicit description of its birational geometry. Second, we realize $\mathcal {TL}_n$ as a general evaluation fiber in a Kontsevich space, and then exploit this modular interpretation to derive consequences for the birational geometry of the space of pointed conics $\overline{M}_{0,1}(\operatorname{LG}(n,2n),2)$. Analogous compactifications related to orthogonal Grassmannians are also presented.
要約:
We compute Donaldson-Thomas(DT) invariants and their descendant invariants for the local Calabi-Yau 4-fold over the Mukai-Umemura variety via several localization formulas. Assuming that the genus-one Gopakumar-Vafa(GV) type invariants vanish, our computations verify the predictions of Cao, Maulik, and Toda.
要約:
Grothendieck's anabelian conjectures predict that certain classes of varieties over number fields are largely determined by their {\'e}tale fundamental groups. A theorem of Mochizuki shows that for hyperbolic curves over number fields or $p$-adic fields, dominant morphisms bijectively correspond to open homomorphisms between their {\'e}tale fundamental groups.
Motivated by non-abelian Hodge theory, we formulate a Hodge-theoretic version of the anabelian conjecture in which the Galois action is replaced by the natural $\mathbb{C}^\times$-action on the pro-algebraic completion of the fundamental group arising from non-abelian Hodge theory. In particular, we prove a Hodge-theoretic analog of Mochizuki's theorem for smooth projective hyperbolic curves over $\mathbb{C}$. We also obtain a higher-dimensional analogue for complex hyperbolic manifolds of ball quotient type and discuss possible extensions to non-$K(\pi,1)$ spaces replacing fundamental groups by homotopy types.
要約:
We prove Oort's conjecture that generically on the supersingular locus of the moduli space of principally polarized abelian varieties of genus g and in characteristic p, the automorphism group of the universal principally polarized abelian variety consists only of $\pm 1$, unless g=2 or 3 and p=2. On the way, we provide an explicit description of the a=1-locus in the Rapoport-Zink space of principally polarized supersingular p-divisible groups of any dimension g. We also prove analogous results for generic automorphism groups on moduli spaces of supersingular p-divisible groups with and without polarization.
要約:
Let $U$ be a smooth quasi-projective complex variety with a regular function $f$. The twisted de Rham cohomology groups $\mathrm{H}^k_{\mathrm{dR}}(U, f)$ carry the decreasing irregular Hodge filtration, whose graded pieces have dimensions known as the irregular Hodge numbers. In this paper, we prove that the irregular Hodge numbers admit an explicit characterization in terms of classical Hodge numbers, closely related to Hodge-theoretic numbers constructed by Katzarkov, Kontsevich, and Pantev for Landau--Ginzburg models. As direct applications, we show that irregular Hodge numbers of non-degenerate functions are independent of the choice of non-degenerate functions, and we give a concrete formula for irregular Hodge numbers for unipotent non-degenerate functions.
要約:
We give an explicit example of a fibration $f \colon X \to Y$ between smooth projective varieties whose "orbifold base" $\Delta_f$ in the sense of Campana has the property that the induced morphism $X \to (Y, \Delta_f)$ is not a morphism of C-pairs (i.e., it is not an "orbifold morphism"). We however also show that this cannot happen if $f$ is "neat" and $(Y, \Delta_f)$ is sufficiently well-behaved. Finally, we discuss the implications of this statement towards conjectures of Campana aiming to give algebro-geometric characterizations of those varieties which either admit a dense entire curve or a potentially dense set of integral points.
要約:
Recently a new family of enumerative invariants called leaky Hurwitz numbers was introduced by Cavalieri-Markwig-Ranganathan in the context of logarithmic intersection theory. They admit an interpretation via tropical covers where the balancing condition fails. We employ tropical geometry to prove a generalisation of the piecewise polynomiality of Accadia-Karev-Lewanski for leaky completed cycles Hurwitz numbers, and a different wall crossing that is cubic instead of quadratic. Using tropical combinatorics and generatingfunctionology, we also find closed formulae for one-part and two-part completed cycles leaky Hurwitz numbers in genus $0$. Working more generally with a view towards topological recursion, we use Hamiltonian flows to associate spectral curves to very general cut-and-join operators. Under mild analytic constraints, we find the appropriate spectral curves, and in case the leakiness is fixed, we show that the resulting enumerative invariants satisfy topological recursion. This provides a partial inverse to recent work of Alexandrov-Bychkov-Dunin-Barkowski-Kazarian-Shadrin producing differentials satisfying topological recursion for KP $\tau$-functions. In particular these results specialise to completed cycles leaky Hurwitz numbers.
要約:
We study a class of mechanisms known as Kokotsakis polyhedra with a quadrangular base. These are $3\times3$ quadrilateral meshes whose faces are rigid bodies and joined by hinges at the common edges. In contrast to existing work, the quadrilateral faces do not necessarily have to be planar. In general, such a mesh is rigid. The problem of finding and classifying the flexible ones is old, but until now largely unsolved. It appears that the tangent values of the dihedral angles between different faces are algebraically related through polynomials. Specifically, this article deals with the case when these polynomials are reducible. We explore the conditions for reducibility to characterize all possible shape restrictions that lead to flexible polyhedra.
要約:
Given an o-minimal structure, we show that every definable (in this structure) mapping that is Lipschitz with respect to the inner metric can be approximated by $\mathscr{C}^1$ mappings that are Lipschitz with respect to the inner metric with arbitrarily close bounds for the derivative. When the o-minimal structure
admits $\mathscr{C}^\infty$ cell decomposition, we show that the approximation can be required to be $\mathscr{C}^\infty$ and we extend this result to outer Lipschitz mappings. The proof involves the construction of partitions of unity with sharp bounds for the derivative, which can be useful for other approximation problems.
要約:
We provide simple ``left-inverse characterizations'' of the recently introduced singularity invariants $c(Z)$, $w(Z)$, and ${\rm HRH}(Z)$ of an equidimensional variety $Z$. Combining this with a trace morphism, we establish descent results of these invariants for finite surjective morphisms.
要約:
We give examples of K3 surfaces over $\mathbb{Q}$ of degree $10$ whose geometric Picard group has rank~$1$. These K3 surfaces are intersections in $\mathbb{P}^9$ of three hyperplanes, one quadric and the image of the Pl\"ucker embedding of the Grasmannian $\mathrm{Gr}(2,5)$. We also give an example of a K3 surface of degree $6$ over~$\mathbb{Q}$ whose Picard rank is $1$.
要約:
The power flow equations are non-linear multivariate equations that describe the relationship between power injections and bus voltages of electric power networks. Given a network topology, we are interested in finding network parameters with many equilibrium points. This corresponds to finding instances of the power flow equations with many real solutions. Current state-of-the art algorithms in computational algebra are not capable of answering this question for networks involving more than a small number of variables. To remedy this, we design a probabilistic reward function that gives a good approximation to this root count, and a state-space that mimics the space of power flow equations. We derive the average root count for a Gaussian model, and use this as a baseline for our RL agents. The agents discover instances of the power flow equations with many more solutions than the average baseline. This demonstrates the potential of RL for power-flow network design and analysis as well as the potential for RL to contribute meaningfully to problems that involve complex non-linear algebra or geometry. \footnote{Author order alphabetic, all authors contributed equally.
要約:
A presheaf of complexes is constructed on a category of weighted finite subsets of a fixed Euclidean space. To each object, a Koszul complex is assigned which resolves the coordinate ring of least squares solutions on that data set for a choice of particular model (ie ``y=mx+b''). In order to obtain a total \v{C}ech-theoretic complex where the $0$-cocycles resemble locally defined least squares solutions gluing together up to homotopy, the coefficient rings for the Koszul complexes over each subset are linearized near a least squares solution. While these new linearized complexes do not immediately assemble into a presheaf, additional change-of-coordinates maps restore functoriality. Evaluating this new presheaf of complexes on a cover, its total-degree-0-cocycles of this \v{C}ech-Koszul bicomplex reveals (higher) homotopies between the discrepancies of least squares solutions on (higher) overlaps. A toy example with 5 data points is worked out in full elementary detail.
要約:
We prove that for any dominant cocharacter $\mu$ and any parahoric level $K$, the augmented admissible set $\widehat{\Adm(\mu)^K}$ in the Iwahori-Weyl group is dual EL-shellable. This resolves a conjecture of G\"ortz and provides a new proof of the Cohen-Macaulay property for the special fibres of local models with parahoric level structure. In particular, the result settles the previously open cases of residue characteristic $2$ and non-reduced root systems.
This approach is characteristic-free and intrinsic to the structure of admissible sets. Moreover, our construction yields an explicit shelling, which translates into an inductive, component-by-component building procedure for the special fibre that preserves Cohen-Macaulayness at each step.
As a consequence, we obtain the Cohen-Macaulayness of many local models of Shimura varieties considered in the literature, most notably those satisfying the He-Pappas-Rapoport description, as well as the local models characterized by Scholze-Weinstein and constructed by Ansch\"utz-Gleason-Louren\c{c}o-Richarz. Via the usual local model diagram, these results imply the Cohen-Macaulay property for the corresponding integral models of Shimura varieties whenever available. This gives a new proof that the integral models constructed by Kisin-Pappas-Zhou are Cohen-Macaulay.
要約:
We study one-parameter deformations of Calabi-Yau type Fermat polynomial singularities along degree-one directions. We show that twisted sectors in the vanishing cohomology are components of automorphic forms for certain triangular groups. We prove consequentially that genus zero Gromov-Witten generating series of the corresponding Fermat Calabi-Yau varieties are components of automorphic forms. The main tools we use are mixed Hodge structures for quasi-homogeneous polynomial singularities, Riemann-Hilbert correspondence, and genus zero mirror symmetry.
要約:
Many hypergeometric differential systems that arise from a geometric setting can be endowed with the structure of mixed Hodge modules. We generalize this fundamental result to the tautological systems associated to homogeneous spaces by giving a functorial construction for them. As an application, we solve the holonomic rank problem for such tautological systems in full generality.
要約:
Let $G$ be a semisimple simply connected algebraic group over ${\mathbb C}$ of exceptional type. For each $G$-equivariant nilpotent cover of a nilpotent coadjoint $G$-orbit ${\mathbb O}$, we determine the unique birationally rigid induction datum from which it is birationally induced.
要約:
This paper classifies t-structures on the local derived category of a 3-fold flopping contraction, that are intermediate with respect to the heart of perverse coherent sheaves. Equivalently, this describes the complete lattice of torsion classes for the associated modification algebra. The intermediate hearts are (1) categories of coherent sheaves on birational models and tilts thereof in skyscrapers, (2) algebraic t-structures described in the homological minimal model programme, or (3) combinations of the above over appropriate open covers. An analogous classification is also proved for minimal (and partial) resolutions of Kleinian singularities, thus providing a description of all torsion pairs in the module categories of (contracted) affine preprojective algebras. The results have immediate applications to the classification of spherical modules and (semi)bricks, and are first steps towards describing all t-structures and spherical objects in derived categories of surfaces and 3-folds.
要約:
The tropical rank of a semimodule of rational functions on a metric graph mirrors the concept of rank in linear algebra. Defined in terms of the maximal number of tropically independent elements within the semimodule, this quantity has remained elusive due to the challenges of computing it in practice. We establish that the tropical rank is, in fact, precisely equal to the topological dimension of the semimodule, one more than the dimension of the associated linear system of divisors. This implies that the equality of divisorial and tropical ranks in the definition of tropical linear series is equivalent to the pure dimensionality of the corresponding linear system. We then address the question of computing the tropical rank. In particular, we show that checking whether a given family of tropical rational functions is tropically independent is equivalent to solving a turn-based stochastic mean-payoff game, whereas calculating the tropical rank of a finitely generated semimodule of tropical rational functions is NP-hard. We conclude with several complementary results and questions regarding combinatorial and topological properties of the tropical rank.
要約:
In this text, we illustrate the use of local methods in the theory of (irregular) holonomic D-modules. I. (The Euler characteristic of the de~Rham complex) We show the invariance of the global or local Euler characteristic of the de~Rham complex after localization and dual localization of a holonomic D-module along a hypersurface, as well as after tensoring with a rank one meromorphic connection with regular singularities. II. (Local generic vanishing theorems for holonomic D-modules) We prove that the natural morphism from the proper pushforward to the total pushforward of an algebraic holonomic D-module by an open inclusion is an isomorphism if we first twist the D-module structure by suitable closed algebraic differential forms. III. (Laplace transform of a Stokes-filtered constructible sheaf of exponential type) Motivated by the construction in [YZ24], we~propose a slightly different construction of the Laplace transform of a Stokes-perverse sheaf on the projective line and show directly that it corresponds to the Laplace transform of the corresponding holonomic D-module via the Riemann-Hilbert-Birkhoff-Deligne-Malgrange correspondence. This completes the presentation given in [Sab13, Chap. 7]}, where only the other direction of the Laplace transformation is analyzed. We~also compare our approach with the construction made previously in [YZ24].
要約:
We introduce new invariants of smooth complex projective varieties, called Hodge atoms. Their construction combines rational Gromov-Witten invariants with classical Hodge theory and relies on the notion of an F-bundle, which is a non-archimedean version of a non-commutative Hodge structure. The Hodge atoms arise from the spectral decomposition of the F-bundle under the Euler vector field action, and behave additively under blowups, in accordance with Iritani's blowup theorem. We compute several examples and demonstrate applications to birational geometry. In particular, we prove that a very general cubic fourfold is not rational. We also obtain a new proof of the equality of Hodge numbers of birational Calabi-Yau manifolds in any dimension. Furthermore, we show that the framework naturally extends to representations of other motivic Galois groups. This enables the theory of atoms to produce new obstructions to rationality over non-algebraically closed fields of characteristic zero as well.
要約:
In this paper, we will be studying the parameter space for the quantum multiplication for hypertoric varieties. The operation of quantum multiplication for hypertoric varieties has an explicit formulation which is given by McBreen and Shenfeld. In particular, this multiplication depends on a parameter which lives in the complement of a toric arrangement. Following a paper of deConcini and Gaiffi, I will define a compactification of this parameter space and show how the quantum multiplication can be extended to this compactification.
要約:
Let $C$ be a smooth complex projective curve of genus $g>1$ and $A=J(C)$ its Jacobian with principal polarization $\Theta$. Starting from a semistable vector bundle $V$ on $C$ with $\mu(V)>2g-2$, we consider the Fourier--Mukai transform $E=\Phi_{\mathcal P}(a_*V)$. We prove that $E(\Theta)$ satisfies the $\mathrm{IT}_0$ property.
要約:
Associated to a convex integral polygon $N$ in the plane are two integrable systems: the cluster integrable system of Goncharov and Kenyon, constructed from the dimer model on bipartite torus graphs, and the Beauville integrable system associated with the toric surface of $N$. These two systems are related by a birational map called the spectral transform. In this paper we study the case when $N$ is the standard triangle of side length $d$, equivalently when the toric surface is $\P^2$, and prove that the spectral transform is a birational isomorphism of integrable systems. Since the Hamiltonians are identified by construction, the essential content is that the spectral transform intertwines the two Poisson structures. In particular, this shows that Beauville integrable systems admit cluster algebra structures.
要約:
In this paper, we study MRC fibrations of compact K\"ahler manifolds with partially semi-positive curvature. We first prove that a compact K\"ahler manifold is rationally connected if its tangent bundle is BC-$p$ positive for all $1\leq p\leq \dim X$. As applications, we confirm a conjecture that any compact K\"ahler manifold with positive orthogonal Ricci curvature must be rationally connected, and generalize a result of Heier-Wong and Yang to the conformally K\"ahler case. The second result concern structure theorems for two immediate curvature conditions. We prove that, a compact K\"ahler manifold with $k$-semi-positive Ricci curvature or semi-positive $k$-scalar curvature, either the rational dimension $\geq n-k+1$ or it admits a locally constant fibration $f: X\rightarrow Y$ such that the fibre is rationally connected and the image $Y$ is Ricci-flat.
要約:
In recent years, significant progress has been made on Mazur's Program B, with many authors beginning a systematic classification of all possible images of $p$-adic Galois representations attached to elliptic curves over $\mathbb{Q}$. Currently, the classification is only complete for $p \in \{2,3,13,17\}$. The main difficulty for other primes arises from the need to understand elliptic curves whose mod-$p^n$ Galois representations are contained in the normaliser of a non-split Cartan subgroup. Equivalently, this amounts to determining the rational points on the modular curves $X_{ns}^+(p^n)$. Here, we consider the case $p=7$ and show that the modular curve $X_{ns}^+(49)$, of genus 69, has no non-CM rational points. To achieve this, we establish a correspondence between the rational points on $X_{ns}^+(49)$ and the primitive integer solutions of the generalised Fermat equation $a^2 + 28b^3 = 27 c^7$, the resolution of which can be reduced to determining the rational points of several genus-three curves. Furthermore, we reduce the complete classification of $7$-adic images to the determination of the rational points of a single plane quartic.
要約:
We extend the probabilistic approach for constructing Kahler-Einstein metrics on log Fano manifolds X - involving random point processes - to the case of non-discrete automorphism groups, by breaking the symmetry using a moment map constraint. In particular, an algebraic notion of Gibbs polystability is introduced, ensuring that the corresponding point processes on X are well-defined. We conjecture that the Gibbs polystability of X is equivalent to the existence of a Kahler-Einstein metric and that the unique such metric with vanishing moment emerges when sampling a large number of N points on X. The definition of Gibbs polystability involves a limit of log canonical thresholds on the GIT semistable locus of the N-fold products of X, that we conjecture coincides - as N tends to infinity - with an analytic reduced stability threshold, encoding the coercivity of the K-energy functional modulo automorphisms. These conjectures follow from an overarching conjectural Large Deviation Principle for the large N-limit. We prove several of our conjectures on log Fano curves and derive a strengthened form of the sharp logarithmic Hardy-Littlewood-Sobolev (HLS) inequality on the two-sphere, under a moment constraint. It yields quantitative stability results for the sharp logarithmic HLS inequality with optimal stability constants. Furthermore, we show that any log Fano manifold that is strongly uniformly Gibbs polystable admits a Kahler-Einstein metric. In companion papers we will present applications to Onsager's point vortex model on the two-sphere and the AdS/CFT correspondence.
要約:
In this paper, we establish the non-abelian Hodge correspondence over compact K\"ahler spaces with Kawamata log terminal (klt) singularities as well as over their regular loci, thereby extending the result of Greb-Kebekus-Peternell-Taji for projective klt varieties to the context of compact K\"ahler klt spaces. The proof relies on two key ingredients: first, we establish an equivalence over the regular loci-via harmonic bundles-between polystable Higgs bundles with vanishing orbifold Chern numbers and semi-simple flat bundles; second, we prove a descent theorem for semistable Higgs bundles with vanishing Chern classes along resolutions of singularities. As an application of our framework, we obtain a quasi-uniformization theorem for projective klt varieties with big canonical divisor that satisfy the orbifold Miyaoka-Yau equality.