要約:
We produce infinitely many local systems on (level covers of) the moduli space of smooth cubic threefolds, with algebraic monodromy group equal to the exceptional group $E_6$. These local systems arise in the middle cohomology of abelian \'etale covers of the Fano scheme parametrizing lines in the universal cubic threefold.
要約:
Reider's Theorem on the very ampleness of adjoint linear series on a complex projective algebraic surface is extended in two new directions. First, Reider-type inequalities are shown to imply nefness of linear series of the form dH - E on the blow-up of projective space along the embedded surface. This can be thought of as a weak analogy of Saint-Donat's Theorem on the generators of the ideal of a curve embedded by an adjoint linear series. Next, Reider-type inequalities give a sharp estimate for the ample cone of the Hilbert schemes of length d subschemes of the surface. The proofs consist of (a) finding a natural family of objects parametrized by the base (either the blow-up along the surface or the Hilbert scheme) and (b) finding the largest chamber in the stability manifold of the surface where the objects in the family are all Bridgeland semistable. A Theorem of Bayer-Macri then gives nefness of the determinant line bundle on the base of the family.
要約:
Let $C$ be a smooth projective curve of genus $g \geq 2$ over $\mathbb C$, and let $E^0$ be a vector bundle on $C$. We investigate the birational geometry of the Quot scheme ${\rm Quot}_C(E^0, k, n)$, which parametrizes quotients of $E^0$ of rank $k$ and degree $n$, and its fiber $\mathcal Q_L$ over ${\rm Pic}^n(C)$ for $n \gg 0$. Our main tool is the moduli space of stable pairs, which yields small $\mathbb Q$-factorial modifications (SQMs) of ${\rm Quot}_C(E^0, k, n)$ and $\mathcal Q_L$. We explicitly describe the nef, movable, and effective cones of each SQM. Consequently, we prove that $\mathcal Q_L$ is a Mori dream space and that the determinant morphism ${\rm Quot}_C(E^0, k, n) \to {\rm Pic}^n(C)$ is a Mori dream morphism.
要約:
Let Y be a compact Riemann surface, phi:Y -> CP^1 a meromorphic function, and Gamma in Y a ribbon graph avoiding the critical points of phi. Then phi(Gamma) is an immersed graph in CP^1. Conversely, given an immersion im:Theta to bCP^1 of an abstract multigraph Theta without vertices of valence 1 or 2, we describe a construction of a compact Riemann surface Y and a meromorphic function phi_{im}:Y in CP^1 such that phi_{im}(Gamma)=im(Theta).
We investigate the relation between the topology of Y and the combinatorics of Gamma. In particular, for a surface of genus g we construct spanning ribbon graphs whose underlying abstract graphs have arbitrary prescribed graph genus g' smaller or equal g, including the planar case. As a consequence, the number of self-intersections of \phi(Gamma) cannot, in general, be controlled solely by the genus of Y. We establish general lower bounds for the number of self-intersections and formulate several open problems, with emphasis on planar ribbon graphs.
要約:
Let $X$ be a smooth complex projective curve. We prove that there exists a surjective commutative forgetful diagram from the chain of $\mathbb{C}^{*}$-flips of the moduli spaces of $\mathcal{O}_{X}$-twisted rank 2 constrained framed Hitchin pairs on $X$ to the chain of $\mathbb{C}^{*}$-flips of the moduli spaces of rank 2 framed modules on $X$.
要約:
Let $X$ be a normal projective variety of dimension $d\ge 4$ and let $f$ be a zero-entropy automorphism of $X$. Denote by $k$ the degree growth rate of $f$, so that $\mathrm{deg}_1(f^n) \asymp n^{k}$. We show that if $k=2d-2$ is maximal, then the polynomial volume growth of $f$ satisfies $\mathrm{plov}(f)=d^2$. If instead $k\le 2d-4$ is not maximal, then \[\mathrm{plov}(f) \le d(d-2) + 2\lfloor d/4 \rfloor.\] This establishes a gap principle: for every fixed dimension $d\ge 4$, the invariant $\mathrm{plov}(f)$ cannot take any value in the open interval $\bigl(d(d-2) + 2\lfloor d/4 \rfloor, \, d^2\bigr)$. Our result thus reveals a new rigidity phenomenon for the polynomial volume growth of zero-entropy automorphisms. As a consequence, in dimension $4$ we determine all possible values of $\mathrm{plov}$, equivalently of the Gelfand--Kirillov dimension, thereby extending the results of Artin--Van den Bergh for surfaces and Lin--Oguiso--Zhang for threefolds.
要約:
The cross-ratio degree problem is about counting rational curves with $n$ marked points satisfying $n-3$ cross-ratio conditions. This problem has a tropical analogue which provides the same number, as shown by a correspondence theorem. In general, there are no closed formulas for this counting problem. In the special case of cross-ratio conditions given by triangulations, a formula was found by Silversmith via techniques of algebraic geometry.
We study the cross-ratio problem given by triangulations in the tropical world. In addition to computing the cross-ratio degree by tropical means, we provide concrete solutions for the counting problem in arbitrary settings, thus answering the question by Silversmith.
We also use the tropical recursive algorithm by Goldner to compute cross-ratio degrees to provide a new computational tool to compute cross-ratio degrees. With this, we can find all possible cross-ratio degrees for $n=9.$ Previously, these numbers were only known up to $n=8.$
要約:
Let $[C]$ be a general point in the moduli space of curves $M_g$ with $g > 1$. Let $G \subset J(C)$ be a connected compact subgroup of real dimension $1$ of the Jacobian, and let $L$ be an even theta characteristic on $C$. We prove that $\{\zeta \in G \mid H^0(C, L \otimes \zeta) \neq 0\} = \emptyset$ if and only if $L \otimes \zeta_G$ is an even theta characteristic on $C$, where $\zeta_G$ is the unique non-trivial point of $G$ of order two.
要約:
We study the generalized Lam\'e equation on an elliptic curve $E$ with multiple singularities. By restricting to the locus admitting solutions with quasi-periodic properties, we construct two curves:
(i) The generalized Lam'e curve: with $n:=\sum\nolimits_{i=1}^r n_i\in\mathbb Z_{\geq 0}$, we construct $\mathcal{Y}_{\mathbf n}(\mathbf p;\tau)$, which lies in an affine bundle over $Sym^n E$ and parametrizes generalized Hermite--Halphen ansatz solutions.
(ii) The log-free curve: each $n_i\in\frac12\mathbb N$ gives a polynomial equation in the accessory parameters. This leads to a non-complete intersection variety $V_{\mathbf{n}}(\mathbf{p};\tau)$ when all $n_i\in\frac12\mathbb N$. We prove that it is a reduced curve.
We analysis the GLC as an algebraic family over the pole configuration space $\mathbf{p}$. We study the shifted addition map \[ \sigma: Sym^n E\longrightarrow E, \] establishing a generically finite, degree formula. The geometry of boundary degenerations under pole collisions perfectly mirrors the tensor algebra of $\mathfrak{sl}_2(\mathbb{C})$-modules within the BGG category $\mathcal{O}$.
We generalize pre-modular forms to a framework of twisted isomonodromic deformations. We construct $(\mathbf{n}, \mathbf{p})$-deformed pre-modular forms parameterized by pseudo-monodromy data $(t,s)$, whose vanishing governs these deformations and factorizes along boundary strata. Iterating these deformations through the boundary allows any arbitrary configuration to be continuously deformed down to the classical Lam\'e equation.
Finally, we prove the Treibich conjecture stated for $r=2$ extra symmetric pairs, as well as its generalizations for $r \leq 4$.
要約:
We prove the Hard Lefschetz theorem and Hodge-Riemann relations for certain rings which resemble the cohomology rings of projectivizations of globally generated vector bundles over toric varieties. This proves new cases of the standard conjecture of Hodge type and gives Bloch-Gieseker-type results for tautological classes of matroids.
要約:
We construct the first smooth embedded compact special Legendrian surfaces in \(\mathbb S^5\) of genus greater than one. More precisely, for every sufficiently large integer \(k\), we construct an embedded special Legendrian surface whose conformal structure is the Fermat curve of degree \(k\) and genus \(\tfrac12(k-1)(k-2)\). Our approach combines an elementary implicit function theorem with the description of special Legendrian surfaces via loop algebra-valued meromorphic connections and a characterization of the unitarizability locus in the ${SL}_{3}(\mathbb C)$-character variety of the thrice-punctured sphere.
要約:
We define an $\operatorname{SL}_n(\mathbb{Z})$-invariant tropical zeta function of a convex domain. In dimension 2 it admits boundary Dirichlet-series representation with summands indexed by Farey pairs. For $C^3$ strictly convex domains, it extends meromorphically to $\Re(s)>3/5$, holomorphic there except for a simple pole at $s=2/3$, with residue proportional to equiaffine perimeter. A Tauberian argument yields the $t^{1/3}$ wave-front lattice-perimeter asymptotic for $t\rightarrow 0$.
要約:
Let $k$ denote an algebraically closed field of characteristic zero and let $X$ denote a smooth elliptic curve over $k$. Given a three-periodic elliptic helix $\underline{\mathcal{E}}$ of vector bundles over $X$ with endomorphism $\mathbb{Z}$-algebra $\operatorname{End} \underline{\mathcal{E}}$ and quadratic cover $\mathbb{S}^{nc}(\underline{\mathcal{E}})$, we prove that $\operatorname{End} \underline{\mathcal{E}}$ is the quotient of $\mathbb{S}^{nc}(\underline{\mathcal{E}})$ by a degree three family of normal elements, generalizing a result of the authors to the case in which $\operatorname{dim }(\operatorname{End} \underline{\mathcal{E}})_{i, i+1}$ isn't a constant function of $i$. We then show that $\operatorname{End} \underline{\mathcal{E}}$ is noetherian if and only if it has polynomial growth, and in this case, the ranks of any three consecutive bundles in the helix are a Markov triple. Furthermore, in this case $\mathbb{S}^{nc}(\underline{\mathcal{E}})$ is a noetherian GK-three $\mathbb{Z}$-algebra which is ${\sf Proj }$-equivalent to an elliptic algebra. We conclude the paper by constructing several new families of elliptic helices with exponential growth.
要約:
We show that the equivariant small quantum $K$-group of a partial flag manifold is a quotient of that of the full flag manifold in a way that respects the Schubert classes. This is a $K$-theoretic analogue of the parabolic version of Peterson's theorem [Lam-Shimozono, Acta Math. {\bf 204} (2010)] that exhibits a different behavior from the case of quantum cohomology. Our quotient maps send some of the Novikov variables to $1$, and the geometric meaning of this specialization is unclear in quantum $K$-theory.
要約:
It is a long-standing problem in Hodge theory to generalize the Satake--Baily--Borel (SBB) compactification of a locally Hermitian symmetric space to arbitrary period maps. A proper topological SBB-type completion has been constructed, and the problem of showing that the construction is algebraic has been reduced to showing that the compact fibres A of the completion admit neighborhoods X satisfying certain properties. All but one of those properties has been established; the outstanding problem is to show that holomorphic functions on certain divisors "at infinity" extend to X. Extension theorems of this type require that the complex manifold X be pseudoconvex; that is, admit a plurisubharmonic exhaustion function. The neighborhood X is stratified, and the strata admit Hodge norms which are may be used to produce plurisubharmonic functions on the strata. One would like to extend these norms to X so that they may be used to construct the desired plurisubharmonic exhaustion of X. The purpose of this paper is show that there exists a function that simultaneously extends all the Hodge norms along the strata that intersect the fibre A nontrivially.
要約:
All arithmetic non-compact ball quotients by Deligne-Mostow's unitary monodromy group arise as sub-ball quotients of either of two spaces called ancestral cases, corresponding to Gaussian or Eisenstein Hermitian forms respectively. In a previous paper, we investigated the compactifications of the Gaussian Deligne-Mostow variety. Here we work on the remaining case, namely the ring of Eisenstein integers. This variety is related to the moduli space of unordered 12 points on $\mathbb{P}^1$. In particular, we show that Kirwan's partial resolution of the moduli space is not a semi-toroidal compactification and Deligne-Mostow's period map does not lift to the unique toroidal compactification. We give two interpretations of these phenomena in terms of the log minimal model program and automorphic forms. As an application, we prove that the above two compactifications are not (stacky) derived equivalent, as the $DK$-conjecture predicts. Furthermore, we construct an automorphic form on the moduli space of non-hyperelliptic curves of genus 4, which is isogenous to the Eisenstein Deligne-Mostow variety, giving another intrinsic proof, independent of lattice embeddings, of a result by Casalaina-Martin, Jensen and Laza.
要約:
We introduce a new criterion providing a sufficient condition for a hypersurface in an unramified regular local ring to be perfectoid pure. The criterion is formulated in terms of an explicitly computable sequence of integers, called the splitting-order sequence. Our main theorem shows that if all entries of the sequence are at most $p-1$, then the hypersurface is perfectoid pure, and the perfectoid-pure threshold can be computed explicitly from it. As a consequence, we prove that for any regular local ring $R$, the perfectoid pure threshold $\mathrm{ppt}(R,p)$ with respect to $p$ is always a rational number. Moreover, we show that for sufficiently large primes $p$, the cone over a Fermat type Calabi-Yau hypersurface is perfectoid pure, revealing new and unexpected examples of perfectoid pure singularities. Moreover, we show that for sufficiently large primes $p$, the cone over a Fermat type Calabi-Yau hypersurface is perfectoid pure, revealing new and unexpected examples of perfectoid pure singularities.
要約:
This paper introduces four matrix normal distributions on analytic bundles of flag varieties, extending the separable covariance $\varPhi \otimes \varPsi$ with potentially variable-level ($\varPsi$) and/or sample-level ($\varPhi$) correlations. The joint distribution of sample variances and covariances, leading to the product moment distribution, is considered when precision matrices admit a specific form. Several well-known consequences, including the non-central Wishart distribution and normal quadratic forms, now appear as corollaries.
要約:
The complement of plane algebraic curves are well studied from topological and algebro-geometric viewpoints. In this paper, we will describe the explicit handle decompositions and the Kirby diagrams for the complement of plane algebraic curves. The method is based on the notion of braid monodromy. We refined this technique to obtain handle decompositions and Kirby diagrams.
要約:
Well-known conjectures of Charney--Davis, Gal, and Nevo--Petersen predict increasingly strong positivity phenomena for the h-vectors of flag simplicial spheres. In this paper, we formulate and prove matroid analogues of these conjectures in the setting of Chow polynomials of matroids with building sets. Our proofs rely on toric geometry and make crucial use of tropical intersection theory.
We begin by introducing complete building sets, a class encompassing all maximal building sets and other important families such as minimal building sets of braid matroids. For matroids with complete building sets, we analyze the Chow rings of the associated toric varieties, and prove that their Hilbert--Poincar\'e polynomials are gamma-positive. From this analysis, we derive a combinatorial formula for the coefficients of the gamma-expansion, and use it to explicitly construct a simplicial complex $\Gamma$, whose f-vector coincides with the gamma-vector. This establishes a matroid analogue of the Nevo--Petersen conjecture. When the building set is maximal, we further prove that $\Gamma$ is balanced, confirming the strongest such analogue in this case. As an application, we obtain a new combinatorial formula for the gamma-expansion of the Poincar\'e polynomial of the Deligne--Mumford--Knudsen compactification $\overline{\mathcal{M}}_{0,n}$, and derive several novel numerical inequalities for its coefficients.
We also study the toric varieties of matroids with flag building sets, another class containing maximal building sets as well as several other prominent families. We prove that the Hilbert--Poincar\'e polynomials of these toric varieties are gamma-positive. This result establishes matroid analogues of the Charney--Davis and Gal conjectures, and simultaneously extends several recent gamma-positivity results for Chow polynomials.
要約:
We establish two rigidity results for mappings in complex geometry. First, we investigate the elevation of continuous mappings to holomorphic ones in the setting of proper fibrations. By leveraging relative morphism spaces and the Noetherian property of their local rings, we prove that a continuous, fiber-wise holomorphic map uniquely extends to a global holomorphic map, provided it is anchored by a sequence of holomorphic sections with mutually disjoint images. This result is then applied to establish the rigidity of homomorphisms between elliptic fibrations and Abelian schemes. Second, for a compact Kobayashi hyperbolic manifold fibered over $\mathbb{P}^1$, we prove that a continuous, fiber-wise holomorphic map of degree $1$ to a projective variety is a bi-holomorphic isomorphism, provided it is injective on a very ample hypersurface.