要約:
We generalize the logarithmic purity theorem of Fujiwara-Kato to torsors which arise in the Kummer log flat topology under finite flat linearly reductive group schemes. As an application, we construct the logarithmic Nori fundamental group of a log regular log scheme classifying those torsors, and compare it to classical Nori fundamental group and tame fundamental group.
要約:
The tautological rings of strata of differentials are known to be generated by divisor classes. In this paper, we give lower bounds on the degrees of relations among them, depending on the genus $g$ and the number of simple zeros. For strata with more than $4g/3$ simple zeros, our results show that there are no relations in degrees less than $\lfloor g/3 \rfloor + 1$. Moreover, we conjecture that, outside of a few exceptions, there is always a non-trivial relation in degree $\lfloor g/3 \rfloor + 1$, and prove the conjecture for all strata of holomorphic abelian differentials with $g \leq 30$. We also prove that the cohomology rings of strata of holomorphic differentials with sufficiently many simple zeros stabilize to the free algebra on the tautological divisor class. Finally, we show that for a large class of holomorphic abelian strata, containing hyperelliptic differentials, the tautological ring is non-trivial for sufficiently large $g$.
要約:
The notion of degree begins in field theory as the dimension of a field extension. In algebraic geometry, this idea reappears as the degree of a finite morphism, defined using the induced extension of function fields. For proper morphisms that are not necessarily finite, Stein factorization isolates the finite part of the map and leads to the notion of Stein degree. This invariant is especially useful in birational geometry, where it interacts naturally with singularities of pairs and the study of log Calabi-Yau fibrations. In this article we give an expository introduction to these ideas, discuss motivating examples, and explain a boundedness problem for Stein degree arising in recent work of the author and collaborators.
要約:
Faber, Muller and Smith used complete sums of conic modules to construct non-commutative crepant resolutions (NCCR) of simplicial toric algebras. We link these conic modules to the Bondal-Thomsen collection of line bundles on smooth toric DM stacks. This viewpoint allows us to establish computational results relating to conic modules, reducing the complexity of the combinatorics involved significantly. We formulate necessary and sufficient conditions for an incomplete sum of conic modules to give an NC(C)R of a toric algebra. Furthermore, we prove that to check if a toric algebra $R$ admits an NCCR in the form of $\End_R(\mathbb{B})$ for an incomplete sum of conic modules, we may reduce to a case where the class group of the affine toric variety $\spec R$ does not have torsion and verify the statement there. Finally, we treat the case of almost simplicial Gorenstein cones, i.e. cones with $|\sigma(1)|=\dim \sigma+1$, classifying when such cones admit NCCRs via endomorphism algebras of conic modules.
要約:
We establish a couple of dynamical properties of surjective rational maps $f: X \dashrightarrow X$ for smooth projective surfaces $X$. We also give a numerical characterization of regular $f$ in the case when $X$ is a del Pezzo surface. Some explicit constructions and calculations, related to the topological entropy of $f$, are provided.
要約:
We conjecture the existence of almost integer invariants governing the all-genus equivariant Gromov-Witten theory of Calabi-Yau fivefolds with a torus action. We prove the conjecture for skeletal, locally anti-diagonal torus actions by establishing a vertex formalism evaluating the Gromov-Witten invariants via the topological vertex of Aganagic, Klemm, Marino and Vafa. We apply the formalism in several examples.
要約:
In this paper we give a complete description of all possible automorphism groups of real $\mathbb{R}$-rational del Pezzo surfaces $X$ of degree $4$, using the description of $X$ as the blow-up of some smooth real quadric surface $Q$ in $\mathbb{P}^{3}_{\mathbb{R}}$. We examine all possible ways to blow up $4$ geometric points on $Q$, illustrate in each case the $\operatorname{Gal}(\mathbb{C}/\mathbb{R})$-action on the conic bundle structures on $X_{\mathbb{C}}$, and use it to give a geometric description of the real automorphism group $\operatorname{Aut}_{\mathbb{R}}(X)$ by generators in terms of automorphisms and birational automorphisms of $Q$. As a consequence, we get which finite subgroups of $\operatorname{Bir}_{\mathbb{C}}(\mathbb{P}^{2})$ can act faithfully by automorphisms on real $\mathbb{R}$-rational del Pezzo surfaces of degree $4$.
要約:
We prove that the intersection cohomology of the Baily-Borel compactification of a complex Shimura variety is identified with the top weight quotient of the mixed Hodge structure on the reductive Borel-Serre compactification. This yields canonical cup products and functorial pullbacks on the intersection cohomology. As an application, we introduce canonical cycle classes associated to special cycles, relating analytic geometric volumes of non-compact Shimura varieties to topological terms.
要約:
We show that the homology of strata of abelian differentials stabilizes in a range where the number of simple zeros is large relative to the homological degree. In this range, we show that the rational cohomology agrees with the restriction of the tautological classes to the stratum, and that the rational Picard group is trivial for unprojectivized strata. Our proof method is to develop an $h$-principle for these strata, valid in a range of homological degrees that increases with the number of simple zeros. The same approach also applies to higher order differentials.
要約:
We develop the first algorithms for computing the Skyscraper Invariant [FJNT24]. This is a filtration of the classical rank invariant for multiparameter persistence modules defined by the Harder-Narasimhan filtrations along every central charge supported at a single parameter value.
Cheng's algorithm [Cheng24] can be used to compute HN filtrations of arbitrary acyclic quiver representations in polynomial time in the total dimension, but in practice, the large dimension of persistence modules makes this direct approach infeasible.
We show that by exploiting the additivity of the HN filtration and the special central charges, one can get away with a brute-force approach. For $d$-parameter modules, this produces an FPT $\varepsilon$-approximate algorithm with runtime dominated by $O( 1/\varepsilon^d \cdot T_{\mathsc{dec}})$, where $T_{\mathsc{dec}}$ is the time for decomposition, which we compute with \textsc{aida} [DJK25].
We show that the wall-and-chamber structure of the module can be computed via lower envelopes of degree $d - 1$ polynomials. This allows for an exact computation of the Skyscraper Invariant whose runtime is roughly $O(n^d \cdot T_{\mathsc{dec}})$ for $n$ the size of the presentation of the modules and enables a faster hybrid algorithm to compute an approximation.
For 2-parameter modules, we have implemented not only our algorithms but also, for the first time, Cheng's algorithm. We compare all algorithms and, as a proof of concept for data analysis, compute a filtered version of the Multiparameter Landscape for biomedical data.
要約:
A longstanding and important problem in algebraic geometry is the characterization of algebraic function fields. In this paper, we focus on the characterization problem for cyclotomic function field $L(\Lambda_M)$, which is an important class of explicit function fields with applications in number theory and coding theory. Motivated by Arakelian and Quoos' classification of $L(\Lambda_M)$ with an irreducible quadratic modulus, we provide a complete characterization of the cyclotomic function field $L(\Lambda_M)$ with modulus $M = x^2$. More precisely, we prove that a function field $\mathcal{F}$ over $\mathbb{F}_q$ is $\mathbb{F}_q$-isomorphic to $L(\Lambda_{x^2})$ if and only if it satisfies the following three conditions: (i) $\mathcal{F}$ has a subgroup $G$ isomorphic to the direct product $(\mathbb{F}_q,+) \times \mathbb{F}_q^*$; (ii) its genus is $g(\mathcal{F}) = 1 + q(q-3)/2$; and (iii) the cardinality of $\mathbb{F}_q$-rational places is exactly $q+1$.
要約:
We study the interaction between the group law on an abelian variety and the additive structure induced on its image under a morphism to projective space. Let $A$ be a simple abelian variety, $f:A \rightarrow \mathbb{P}^n$ be a morphism which is finite onto its image, and $\Gamma \subseteq A(\overline{K})$ be a finite-rank subgroup. We show that for any affine chart $\mathbb{A}^n \subseteq \mathbb{P}^n$ and any finite subset $X \subseteq f(\Gamma) \cap \mathbb{A}^n$, the energy and the sumset of $X$ satisfy quadratic bounds in $\lvert X \rvert$. The proof uses the uniform Mordell-Lang conjecture.
要約:
We introduce the concept of a viable generically Gorenstein toroidal crossing (ggtc) space $Y$. This generalizes the concept of Gorenstein toroidal crossing scheme, which in turn generalizes that of a simple normal crossing scheme.
On such a space $Y$, we define a sheaf $\mathcal{LS}_Y$, intrinsic to $Y$, by means of an explicit construction. Our main theorem establishes a bijection between the set $\operatorname{LS}(Y)$ of isomorphism classes of log structures on $Y$ over the log point $\operatorname{Spec} k^\dagger$ that are compatible with the ggtc structure and the set $\Gamma(Y,\mathcal{LS}_Y^\times)$ of nowhere vanishing global sections of $\mathcal{LS}_Y$.
The definition of $\mathcal{LS}_Y$ by explicit construction permits the effective construction of log structures on $Y$; it also enables logarithmic birational geometry, in particular the construction - in some cases - of resolutions of singular log structures.
Our work generalizes [GS06], Theorem 3.22, adapting the original proof with techniques from the theory of $2$-groups and local line bundle systems.
要約:
In this paper we focus on various aspects of singular complex plane curves, mostly in the context of their homological properties and the associated combinatorial structures. We formulate some challenging open problems that can point to new directions in research, for example by introducing weak Ziegler pairs of curve arrangements. Moreover, we construct new examples of different Ziegler pairs, in both the classical and the weak sense, and present new geometric approaches to construction problems of singular plane curves.
要約:
Multiscale differentials arise as limits of holomorphic differentials with prescribed zero orders on nodal curves. In this paper, we address the conjecture concerning Gorenstein contractions of multiscale differentials, originally proposed by Ranganathan and Wise and further developed by Battistella and Bozlee. Specifically, in the case of a one-parameter degeneration, we show that multiscale differentials can be contracted to Gorenstein singularities, level by level, from the top down. At each level, these differentials descend to generators of the dualizing bundle at the resulting singularities. Moreover, the global residue condition, which governs the smoothability of multiscale differentials, appears as a special case of the residue condition for descent differentials.
要約:
This paper investigates the distribution of non-rigid families in a moduli space $\mathcal{M}$ of polarized projective manifolds for which the infinitesimal Torelli theorem holds. Guided by the analogy with unlikely intersection in Shimura varieties, we show that the image of any non-rigid classifying morphisms into $\mathcal{M}$ is contained in the Hodge locus as long as the derived Mumford-Tate group is $\mathbb{Q}$-simple and the period map is generically finite. If moreover the period domain is not Hermitian of rank at least 2, then the Hodge locus can be replaced by a closed subscheme, which yields a finiteness theorem of geometric Bombieri-Lang type. Inspired by the Zilber-Pink conjecture, we also characterize the geometry of non-rigid locus by the specialness of bi-Hom schemes and the finiteness of "structurally-atypical" intersections. Finally, we specialize to the moduli spaces of polarized Calabi-Yau manifolds, formulate an unobstructedness conjecture for non-rigid maps which implies the specialness of bi-Hom schemes, prove a geometric Andr\'e-Oort theorem describing the Zariski closure of non-rigid locus, and test the theory and the conjecture for the explicit Viehweg-Zuo family of Calabi--Yau quintics in $\mathbb{P}^4$.
要約:
We investigate the automorphism groups of the algebraic curves \[ \mathcal{C}_d : y^d = \varphi_d(x), \] where $\varphi_d(x)$ denotes the Chebyshev polynomial of degree $d$, defined over a field $k$ with $p:=\operatorname{char}(k) \nmid 2d$. We determine the full automorphism group of $\mathcal{C}_d$ in all the cases considered in this paper, namely for $d=4$, and more generally when $2d = p^r+1$ or $4d = p^r+1$. For all other $d>4$, Expectation~\ref{3.19} predicts what the automorphism group should be.
As an application, we show that certain maximal curves of the same genus are not isomorphic.
要約:
Let $\A$ be a free arrangement of $d$ lines in the complex projective plane, with exponents $d_1\leq d_2$. Let $m$ be the maximal multiplicity of points in $\A$. In this note, we describe first the simple cases $d_1 \leq m$. Then we study the case $d_1=m+1$, and describe which line arrangements can occur by deleting or adding a line to $\A$. When $d \leq 14$, there are only two free arrangements with $d_1=m+2$, namely one with degree $13$ and the other with degree $14$. We study their geometries in order to deepen our understanding of the structure of free line arrangements in general.
要約:
We prove that a log Fano cone $(X,\Delta,\xi_0)$ satisfying $\delta_\mathbb{T}(X,\Delta,\xi_0)\ge 1$ is K-polystable for normal test configurations if and only if it is K-polystable for special test configurations. We also establish the reduced uniform K-stability of $(X,\Delta,\xi_0)$ and show that it is equivalent to K-polystability.
要約:
Given a holomorphic differential on a smooth complex algebraic curve, we associate to it a Gorenstein curve singularity with $\mathbb G_m$-action via a test configuration. This construction decomposes the strata of holomorphic differentials with prescribed orders of zeros into negatively graded miniversal deformation spaces of such singularities. Additionally, it provides a natural description for the singular curves that appear in the boundary of the miniversal deformation spaces.
Our approach leads to a number of applications. We classify the unique Gorenstein singularity with $\mathbb G_m$-action for each nonvarying stratum of holomorphic differentials and study when these nonvarying strata can be compactified by weighted projective spaces. Moreover, extending the classical results about $ADE$ singularities, we establish the $K(\pi,1)$-property for non-hypersurface complete intersection singularities of type $U_7$, $U_8$, $U_9$, and $S_{k}$. We also study singularities with bounded $\alpha$-invariants in the log minimal model program for $\overline{\mathcal M}_g$ and utilize them to bound the slopes of effective divisors in $\overline{\mathcal M}_g$. Finally, we show that the loci of subcanonical points with fixed semigroups have trivial tautological rings and provide a criterion to determine whether they are affine varieties.
要約:
In this paper, we study the Prym map associated to degree 4 \'etale cyclic covers of genus $g$ hyperelliptic curves restricted to the irreducible component $\mathcal{RH}_g[4]^{hyp}$ of the moduli space of such covers where an intermediate cover is hyperelliptic. We show that for $g \geq 3$ the Prym map is injective on $\mathcal{RH}_g[4]^{hyp}$. In the case $g=2$ (where $\mathcal{RH}_2[4]^{hyp} = \mathcal{RH}_2[4]$) we prove that non-empty fibers of the Prym map, apart from two exceptional fibers, are isomorphic to the projective line without 8 points. Moreover, we obtain a new description of the space $\mathcal{RH}_g[4]^{hyp}$ in terms of tuples of complex numbers and find equations of hyperelliptic curves arising from such covers.
要約:
Using orbifold Hilbert schemes, we compactify all two-dimensional Hitchin systems corresponding to types A0-tilde, D4-tilde, E6-tilde, E7-tilde, and E8-tilde, thereby obtaining four rational elliptic surfaces with C*-actions. Their singular fibers and relative minimal models are listed in the main table. A particularly interesting point is that we found they can all be obtained by performing a finite number of blow-ups on the second Hirzebruch surface. To this end, we prove that Hilbert schemes of orbifold surfaces are connected smooth projective schemes under suitable conditions, and we use the Hilbert-Chow morphism to construct the minimal resolutions of the coarse moduli spaces.
要約:
In this paper we construct stable $IT_{0}$ trosion free sheaves on compactified Jacobian of an integral nodal curve. Our construction is functorial in nature and it provides an uniform method which works for both smooth and nodal curve.
要約:
Let $X$ be a projective hypersurface that is not a cone. The symmetrizer group of $X$ is an algebraic group parametrizing hypersurfaces whose Jacobian ideal coincides with that of $X$. We show that if the locus of points in $X$ with multiplicity $d-1$ does not contain a line, then the dimension of the nilpotent part of the Lie algebra associated to the symmetrizer group is at most $2$, and the dimension of the symmetrizer group is bounded by $\dim X + 2$. To achieve this, we investigate the relation between a class of singularities on $X$ with highly degenerate tangent cones and the unipotent part of its symmetrizer group.
要約:
We prove several rigidity results on multiplier spectrum and length spectrum. For example, we show that for every non-exceptional rational map $f:\mathbb{P}^1(\mathbb{C})\to\mathbb{P}^1(\mathbb{C})$ of degree $d\geq2$, the $\mathbb{Q}$-vector space generated by all the (finite) characteristic exponents of periodic points of $f$ has infinite dimension. This answers a stronger version of a question of Levy and Tucker. Our result can also be seen as a generalization of recent results of Ji-Xie and of Huguin which proved Milnor's conjecture about rational maps having integer multipliers. We also get a characterization of postcritically finite maps by using its length spectra. Finally as an application of our result, we get a new proof of the Zariski-dense orbit conjecture for endomorphisms on $(\mathbb{P}^1)^N, N\geq 1$.
要約:
We construct the geometric Satake equivalence for quasi-split reductive groups over nonarchimedean local fields, using \'etale Artin-Tate motives with $\mathbb{Z}[\frac{1}{p}]$-coefficients. We consider local fields of both equal and mixed characteristic. Along the way, we extend the work of Gaussent--Littelmann on the connection between LS galleries and MV cycles to the case of residually split reductive groups. As an application, we generalize Zhu's integral Satake isomorphism for spherical Hecke algebras to ramified groups. Moreover, for residually split groups, we define generic spherical Hecke algebras, and construct generic Satake and Bernstein isomorphisms.
要約:
The third author introduced the $g$-polynomial $g_M(t)$ of a matroid, a covaluative matroid statistic which is unchanged under series and parallel extension. The $g$-polynomial of a rank $r$ matroid $M$ has the form $g_1 t + g_2 t^2 + \cdots + g_r t^r$. The coefficient $g_1$ is Crapo's classical $\beta$-invariant. In this paper, we study the coefficient $g_r$, which we term the $\omega$-invariant of $M$. We show that, if $M/F$ is connected for every proper flat $F$ of $M$, and $\omega(N)$ is nonnegative for every minor $N$ of $M$, then all the coefficients of $g_M(t)$ are nonnegative. We give several simplified versions of Ferroni's formula for $\omega(M)$, and compute $\omega(M)$ when $r$ or $|E(M)|-2r$ is small.
要約:
Introduced by Takagi and Watanabe, the F-pure threshold is an invariant defined in terms of the Frobenius homomorphism. While it finds applications in various settings, it is primarily used as a local invariant. The purpose of this note is to start filling this gap by opening the study of its behavior on a scheme. To this end, we define the defect of the F-pure threshold of a local ring $(R,\mathfrak{m})$ by setting ${\rm dfpt}(R)=\dim (R) - {\rm fpt}(\mathfrak{m})$. It turns out that this invariant defines an upper semi-continuous function on a scheme and satisfies Bertini-type theorems. We also study the behavior of the defect of the F-pure threshold under flat extensions and after blowing up the maximal ideal of a local ring.
要約:
Given an $\infty$-category $C$ equipped with suitable wide subcategories $I, P \subset E\subset C$, we show that the $(\infty,2)$-category $\text{S}{\scriptstyle\text{PAN}}_2(C,E)_{P,I}$ of higher (or iterated) spans defined by Haugseng has the universal property that 2-functors $\text{S}{\scriptstyle\text{PAN}}_2(C,E)_{P,I} \to \mathbb D$ correspond precisely to $(I, P)$-biadjointable functors $C^\text{op} \to \mathbb D$, i.e. functors $F$ where $F(i)$ for $i \in I$ admits a left adjoint and $F(p)$ for $p \in P$ admits a right adjoint satisfying various Beck-Chevalley conditions. We also extend this universality to the symmetric monoidal and lax symmetric monoidal settings. This provides a conceptual explanation for - and an independent proof of - the Mann-Liu-Zheng construction of 6-functor formalisms from suitable functors $C^\text{op}\to\text{CAlg}(\text{Cat})$.
要約:
Fix a prime $p > 3$. Working over $\mathbb{Z}_p$, we show that the quantum connection of any closed Calabi-Yau threefold gives rise to a Fontaine-Laffaile module when restricted to the even degree and torsion-free part of $p$-adic quantum cohomology, whose associated Frobenius endomorphism has leading order term prescribed by the $p$-adic Gamma class. After reducing mod $p$, the divided Frobenius endomorphism defines an analogue of the inverse Cartier operator on mod $p$ quantum cohomology. We establish an $A$-model analogue of a classical result due to Katz: the conjugation of the $p$-curvature of the mod $p$ quantum connection by the inverse Cartier operator is equal to the Frobenius pullback of the quantum product, the $A$-model counterpart of the Kodaira-Spencer class. Moreover, we identify the quantum Steenrod operation with the $p$-curvature of the mod $p$ quantum connection in this setting for any prime $p$.
We propose several conjectures concerning how these arithmetic structures may extend to quantum connections on more general semi-positive symplectic manifolds.