要約:
Let $C_{p,d}(\mathbb{P}^n)$ be the Chow variety of effective algebraic $p$-cycles of degree $d$ in complex projective $n$-space $\mathbb{P}^n$. In this paper, we compute the rational Chow groups $\mathrm{Ch}_q(C_{p,d}(\mathbb{P}^n))_\mathbb{Q}$ for $0 \le q \le d$. We show that these Chow groups are isomorphic to the corresponding rational singular homology groups $H_{2q}(C_{p,d}(\mathbb{P}^n), \mathbb{Q})$ in this range, a result that was previously known. Furthermore, we prove that the rational Chow groups of a natural completion of the Chow monoid of algebraic $p$-cycles on projective spaces coincide with the corresponding rational singular homology groups. We also establish the stability of Chow groups of Chow varieties under natural embeddings and algebraic suspension maps within a certain range. Finally, we determine the Chow groups, up to a certain level, for the space of algebraic cycles of fixed degree.
要約:
Double EPW quartics are hyperk\"ahler varieties of dimension 4, first introduced by Iliev, Kapustka, Kapustka, and Ranestad. The general double EPW quartic is isomorphic to a moduli space of twisted sheaves on a $K3$ surface. They have a rich geometry: they are equipped with an anti-symplectic involution and are related to conics in Verra fourfolds in the same way Fano varieties of lines on cubic fourfolds are related to cubic fourfolds themselves. In this work, we exploit this geometry to establish general conjectures about algebraic cycles on hyperk\"ahler varieties in the case of double EPW quartics.
要約:
Let $X \to S$ be a minimal abelian fibration of relative dimension $n$ over a curve. We classify all possible singular fibers $X_s$ having $(n-1)$-dimensional ``abelian variety parts''. This generalizes Kodaira's work on elliptic fibrations, and Matsushita and Hwang--Oguiso's work on Lagrangian fibrations into a single framework. The classification is divided into three parts: semistable, unstable, and multiple. Multiple fibers are again divided into three types: semistable-like, mixed, and unstable-like.
要約:
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. As a consequence, for every $m\ge g+1$, the polarized Jacobian $(A,m\Theta)$ admits Ulrich bundles constructed functorially from $V$. Further we analyze stability and Chern classes of the resulting bundles. We show that the construction induces a natural morphism from the generically finite cover of moduli space of stable bundles on $C$ to the moduli space of stable bundles on $A$, producing positive-dimensional families of stable Ulrich bundles.
要約:
Given a smooth proper family $g : X \to S$ of surfaces over a number field $K \subset \mathbb{C}$, with $S$ an irreducible curve and $\eta \in S$ its generic point, we consider the general problem of constraining the locus $\textrm{NL}(S)$ in $S(\overline{K})$ of points $s$ where the Picard rank of $X_{s}$ is larger than the generic Picard rank. Assuming that the local system $\mathbb{V} = R^{2} g_{*} \mathbb{Z}$ admits a non-trivial monodromy logarithm $N$ at infinity, we give a general condition under which certain points of $\textrm{NL}(S)$ of unexpectedly large Picard rank satisfy a ``Galois-orbit'' height bound. This leads to the following result of Zilber-Pink type:
Let $g : X \to S$ be a one-parameter family of polarized K3 surfaces admitting a non-trivial limit mixed Hodge structure and such that $S(\mathbb{C})$ contains a Hodge-generic point. Then the locus in $S(\mathbb{C})$ where the Picard rank jumps by $3$ or more is finite.
Our arguments include a new technique for ``spreading out'' formal geometry, a study of the rigid geometry of equicharacteristic zero semistable surface degenerations, and use the model-free Hyodo-Kato theory of Colmez-Nizio\l.
要約:
Let $X$ be a compact Riemann surface of genus at least $3$. We compute the Brauer groups of the moduli spaces of stable parabolic $\text{SL}(r,\mathbb{C})$-connections and stable strongly parabolic $\text{SL}(r,\mathbb{C})$-Higgs bundles over $X$. We also establish an equality of the Brauer group of the moduli stack of stable parabolic $\text{PGL}(r,\mathbb{C})$-connections and the smooth locus of its coarse moduli space.
要約:
Circuit complexity for two-dimensional topological quantum field theories (2D TQFT) was defined by Couch, Fan, and Shashi in [12]. In this paper, we study complexity for the 2D TQFT given by quantum cohomology of compact symplectic manifolds. We will estimate the number of states with finite approximate complexity of arbitrarily small tolerance for Fano complete intersections and (co)minuscule homogeneous varieties. We will give an upper bound for the dimension of the space spanned by states with finite complexity. In the case of Gr(2, n), this bound is sharp and we also obtain a precise description for this subspace. For (co)minuscule homogeneous varieties, we prove a positivity result for the eigenvalues of quantum multiplication by the handle element (also called the quantum Euler class) divided by the class of a point.
要約:
We study the boundedness of families of algebraic flat connections with bounded irregularity. As an application, we study the boundedness of families of holonomic $D$-modules with dominated characteristic cycles.
要約:
By exploiting the arithmetic homotopy of the moduli spaces of curves, Galois-Teichm\"uller theory stands at the interface of braid-mapping class groups and of anabelian geometry. Starting from the classical braid-theoretic construction of the Grothendieck-Teichm\"uller group, we review how anabelian geometry -- beginning with the foundational work of Nakamura -- provides the arithmetic mechanisms underlying its definition. We then explain how the combinatorial anabelian geometry developed by Hoshi and Mochizuki recasts these constructions within a purely group-theoretic and algorithmic framework. In particular, we describe how the group GT emerges as an anabelian object and how, once freed from auxiliary or artificially imposed containers, the anabelian algorithms yield a combinatorial reconstruction of the absolute Galois group of rational numbers. The perspective developed here highlights a conceptual shift from explicit braid-theoretic computations to functorial and algorithmic forms of anabelian reconstruction.
要約:
We study morphisms between commutative $BV_\infty$ algebras and show that, under suitable additional assumptions, a quasi-isomorphism of commutative $BV_\infty$ algebras induces an identification of $\frac{\infty}{2}$-variations of Hodge structures with polarizations, and consequently of Frobenius manifolds. An explicit example arising from singularity theory is provided to illustrate the result.
要約:
Let $S$ be an Enriques surface. In this paper we study the semistability of the restriction $\Omega_{S}|_C$ for a general curve $C \in |H|$, where $H$ is a globally generated and ample line bundle on $S$. We show that $\Omega_{S}|_C$ is semistable when $H^2 \ge 6$, or when $H^2 \ge 2$ and $S$ is very general. Moreover, we give explicit constructions of families of smooth irreducible curves that destabilize $\Omega_S$.
要約:
These are expanded notes of a seminar held in Columbia university during the Spring and Fall of 2024 about the theory of analytic stacks of Clausen and Scholze, with a focus in the theory of solid mathematics. The seminar is inspired from the Lecture Series of Analytic Stacks of Clausen and Scholze during the winter semester of 2023. All the theory of light condensed mathematics, analytic stacks and the proof of Serre duality must be attributed to Clausen and Scholze, any mistake or misconception is totally due to the author. The only original work in these notes is the discussion of smooth, \'etale and finite presentation morphisms of solid Huber rings in Section 7.
要約:
We compute the coregularity of del Pezzo surfaces with du Val singularities. To this aim, we study the relation between del Pezzo surfaces of degree $1$ and elliptic fibrations. It turns out that del Pezzo surfaces with positive coregularity correspond to isotrivial elliptic fibrations with some special properties. We also prove results about coregularity of del Pezzo surfaces over non-algebraically closed fields of characteristic $0$. Our results confirm the expectation that "most" del Pezzo surfaces have coregularity $0$, while del Pezzo surfaces with positive coregularity enjoy some special properties.
要約:
We define the Hasse-Witt invariant of Calabi-Yau varieties in two different ways. The first method is through Cartier operator and the second method is through the theory of Calabi-Yau modular forms developed by the third author. We conjecture that these two definitions are equivalent and provide many examples of Calabi-Yau varieties in support of this conjecture.
要約:
We consider $(1,1)$-surfaces, namely, minimal compact complex surfaces $S$ with $p_g (S) =K_S^2=1$: for these the bicanonical map is a covering of degree $4$ of the plane $\mathbb{P}^2$.
And we answer a question posed by Meng Chen, whether they can contain a genus 2 pencil (this is the standard reason of failure of birationality of the bicanonical map).
Our main theorem says that those which admit a genus 2 pencil form an irreducible subvariety of codimension $3$ in their moduli space $\frak M_{[1,1]}$; moreover, the general such surface admits exactly $12$ such pencils.
The real fun is to relate this variety to the geometry of pencils of conics in the plane everywhere tangent to a cubic curve and a line. We investigate the corresponding variety $\mathcal{T}$ of triples and provide explicit equations using the classical theory of envelopes: among others, equations given in terms of the Weierstrass normal form of the cubic.
要約:
We prove that the locus of Noether-Lefschetz general polarized K3 surfaces of degree at most 8 defined over the rational numbers is Zariski dense in the moduli space. Previously, this was proved by van Luijk in the quartic case, and it follows from work of Elsenhans and Jahnel in the degree 2 case. Innovations on their methods, and employing Mukai's Hodge isogeny, suffices to handle the degree 8 case. New methods allow us to deal with the case of degree 6.
要約:
Consider polynomials $F_1,\dots,F_s$ in $\K[X_1,\dots,X_n]$ over a
field $\K$, their zero-set $V(F_1,\dots,F_n)$ in $\Kbar^n$ and its
decomposition into equidimensional components $V_0,\dots,V_n$ (with
$V_i$ either empty or of dimension $i$ for all $i$). To each $V_i$, we can
associate its Chow forms, which are polynomials in new variables
$(U_{k,j})_{0\le k\le i, 0 \le j \le n}$, uniquely defined up to a
scalar factor. These Chow forms completely characterize $V_i$: we
can recover equations for $V_i$ from them, and their degree is
$(i+1)$ times the degree of $V_i$.
We discuss the situation when the $F_i$'s have integer coefficients,
and study the question of when the Chow forms of the $V_i$'s defined
as above can be reduced modulo $p$ to give Chow forms of the
equidimensional components of $V(F_1 \bmod p,\dots,F_s \bmod p)$. We
show that this is the case as soon as $p$ does not divide a certain
nonzero integer $\Delta$ of height $O(n^{14} s h d^{3n+4})$, with $d$
and $h$ bounds on respectively the degrees and heights of the
$F_i$'s.
要約:
We show a comparison theorem between log prismatic cohomology and log crystalline cohomology for a $p$-adic formal scheme with semistable reduction. Combined with the prismatic-\'etale comparison theorem recently proved by Tian, this implies the $C_{\mathrm{st}}$-conjecture in the semistable case with coefficients given by semistable local systems.
要約:
As part of his work on special Lagrangian (sLag) submanifolds with isolated conical singularities, Joyce proved a criterion for the existence of sLag smoothings, along a small variation of complex structure, for the union of two connected, compact, embedded sLags, with the same phase, intersecting transversely. Here we construct infinitely many examples of pairs of non-compact, embedded sLags, of the same phase and with arbitrary dimension, intersecting only at infinity in a non-transverse way, which satisfy Joyce's criterion: along a small variation of complex structure, a sLag smoothing of their union exists on the stable locus where a slope inequality for periods of the holomorphic volume form holds. At least under a natural symmetry assumption, this slope inequality is also necessary for the existence of such smoothing. Our approach uses the Leung-Yau-Zaslow transform and the analysis of deformed Hermitian Yang-Mills connections with Calabi ansatz, due to Jacob and Sheu. In the unstable case, we prove that if a family of Lagrangian smoothings evolving under the natural Calabi-symmetric version of the mean curvature flow (due to Chan and Jacob) admits a limit, then this must be the union of the original sLags. As an application we show that in our examples, in dimension two, the condition for the existence of the sLag smoothing is in fact equivalent to the stability of the corresponding object in the Fukaya-Seidel category, with respect to a known Bridgeland stability condition imported from algebraic geometry, and in the unstable case the limit of the Calabi-symmetric mean curvature flow in our result coincides with the Harder-Narasimhan decomposition, consistently with a general conjecture of Joyce. A similar (although weaker) result also holds in dimension three.
要約:
We provide an overview of the combinatorial theory of horospherical varieties using coloured fans, a generalization of the combinatorial theory of toric varieties using polyhedral fans.
要約:
We introduce a class of affine Deligne--Lusztig varieties that we call of positive Coxeter type. We show that the affine Deligne--Lusztig varieties of positive Coxeter type have a very simple and explicitly described geometric structure. Conversely, we explain how some of these geometric properties can be used to characterize this class. These results vastly generalize the work of He--Nie--Yu on affine Deligne-Lusztig varieties of finite Coxeter type, leading to applications to Shimura varieties that were not possible using the old notion.
要約:
This paper explores the relationship between L-equivalence and D-equivalence for K3 surfaces and hyperk\"ahler manifolds. Building on Efimov's approach using Hodge theory, we prove that very general L-equivalent K3 surfaces are D-equivalent, leveraging the Derived Torelli Theorem for K3 surfaces. Our main technical contribution is that two distinct lattice structures on an integral, irreducible Hodge structure are related by a rational endomorphism of the Hodge structure. We partially extend our results to hyperk\"ahler fourfolds and moduli spaces of sheaves on K3 surfaces.
要約:
We study normal crossings compactifications of the moduli space of maps $\mathcal{M}_{g, n}(\mathbb{P}^r, d)$, for $g = 0$ and $g = 1$. In each case we explicitly determine the dual boundary complex, and prove that it admits a natural interpretation as a moduli space of decorated metric graphs. We prove that the dual complexes are contractible when $r \geq 1$ and $d > g$. When $g = 1$, our result depends on a new understanding of the connected components of boundary strata in the Vakil--Zinger desingularization and its modular interpretation by Ranganathan--Santos-Parker--Wise.
要約:
This article is concerned with the metric study of a construction of G\'erardin of the action of the boundary at infinity of the space of norms on a non-Archimedean vector space, and its generalisation to graded algebras. Namely, given (X,L) a polarised variety over an arbitrary non-Archimedean field, we show that there is a jointly d_1-contracting action of the space of filtrations of the section ring R(X,L) on the space of graded norms on R(X,L). This naturally yields non-Archimedean geodesic rays and infinite-dimensional flats in this setting, generalising previous work of the author and Witt Nystr\"om. It is further shown that relative limit measures converge along geodesic rays, providing a result on the d_p-radial geometry of graded norms, analogous to a recent result of Finski in the Archimedean case.
要約:
We define and initiate the study of analytic de Rham stacks of relative Fargues-Fontaine curves. To this end, we develop a theory of analytic de Rham stacks with sufficiently strong descent and approximation properties. Specializing to the de Rham stack of the Fargues-Fontaine curve attached to $\mathbb{C}_p$, we apply the general theory to obtain a new geometric proof of the $p$-adic monodromy theorem, avoiding any reliance on earlier results on $p$-adic differential equations. Building on the foundations established here, we plan in a sequel to investigate the cohomology of de Rham stacks of relative Fargues-Fontaine curves in geometric situations and, in particular, provide a stack-theoretic definition of Hyodo-Kato cohomology.
要約:
We construct a sequence of complete moduli spaces $$E_0 \subset E_1 \subset E_2 \subset \dots E_n \subset\dots,$$ each of which is isomorphic to a weighted projective space. These spaces parameterize certain $n$-dimensional Calabi-Yau varieties associated with the Sylvester sequence $2,3,7,43,\dots$. They generalize the moduli space of elliptic curves $\overline{M}_{1,1}=\mathbb P(4,6)$ and Brieskorn's family over $\overline{F}^{\rm BB}_{U\oplus E_8} = \mathbb P(4,10,\dotsc, 42)$, the Baily-Borel compactification of the moduli space of $U\oplus E_8$-polarized K3 surfaces. We also study fibrations in such Calabi-Yau varieties, extending to higher dimensions the theory of elliptic surfaces.
要約:
Let $(X,\mathcal{F})$ be a foliated surface over the complex numbers. We study the variation of $\epsilon$-adjoint singularities, defined by the adjoint divisor $K_{\mathcal{F}}+\epsilon K_X$ ($\epsilon>0$), and analyze their stability as $\epsilon$ varies.
We prove that a sharp first stability threshold occurs at $\epsilon=1/5$: for $\epsilon \in (0,1/5)$, every $\epsilon$-adjoint log canonical singularity is foliated log canonical, while at $\epsilon=1/5$ a boundary configuration enters the admissible region. In the adjoint canonical setting, the maximal stability interval is $\epsilon \in (0,1/4)$. Both thresholds are optimal and arise from explicit extremal configurations.
These results are obtained via a complete classification of $\epsilon$-adjoint log canonical singularities for $\epsilon \in (0,1/3)$ in terms of negative definite exceptional configurations.
要約:
We formulate a relative analogue of the Clemens conjectures for 1/2-log Calabi-Yau threefold pairs (X,Y) (where K_X+2Y is isomorphic to O_X). This framework rests on the restoration of a perfect deformation/obstruction duality specific to the 1/2-log CY threefold setting. Based on this duality, we conjecture that for a generic intersection configuration on the boundary divisor Y, the number of rational curves anchored to these points is finite, and every such curve possesses the balanced relative normal bundle N_{C/X}(-Y) isomorphic to O_C(-1) + O_C(-1). In a joint appendix with Adrian Zahariuc, we verify this framework for prime Fano threefolds of index two. Using specialization techniques, we demonstrate that the usual virtual complications of relative Gromov-Witten theory are naturally suppressed in this setting. This trivialization of the relative moduli space cleanly reduces the virtual invariants to honest, classical enumerative counts, thereby rigorously proving the geometric conjecture.
要約:
Let $f$ be a defining polynomial of a reduced projective curve $C\subset{\bf P}^2$ having only weighted homogeneous singularities. We show that the strong monodromy conjecture for $f$ follows rather easily from arxiv:1609.04801v11 using a formula of Denef and Loeser for the Newton-nondegenerate case with 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.
要約:
A \emph{Hessenberg Schubert variety} is an irreducible component of the intersection of a Schubert variety and a Hessenberg variety, defined as the closure of a Schubert cell intersected with the Hessenberg variety. We consider the smoothness of Hessenberg Schubert varieties of regular semisimple Hessenberg varieties of type $A$ in this paper.
We consider the smoothness of the intersection of a Schubert variety and a Hessenberg variety to ensure the smoothness of the corresponding Hessenberg Schubert variety. Specifically, we analyze the structure of the GKM graphs of the intersection of a Schubert variety and a Hessenberg variety. Our results show that the regularity of these GKM graphs is completely characterized in terms of pattern avoidance, which is a necessary and sufficient condition for the intersection to be smooth. This shows that our pattern avoidance provides a sufficient condition for the smoothness of a Hessenberg Schubert variety.
要約:
We study stratifications of regions in the space of symmetric matrices. Their points are Mandelstam matrices for momentum vectors in particle physics. Kinematic strata in these regions are indexed by signs and rank two matroids. Matroid strata of Lorentzian quadratic forms arise when all signs are non-negative. We characterize the posets of strata, for massless and massive particles, with and without momentum conservation.
要約:
We settle a conjecture by Bik and Marigliano stating that the degree of a one-dimensional discrete model with rational maximum likelihood estimator is bounded above by a linear function in the size of its support, therefore showing that there are only finitely many fundamental such models for any given number of states. We study these models from a combinatorial perspective with regard to their existence and enumeration. In particular, sharp models, those whose degree attains the maximal bound, enjoy special properties and have been studied as monomial maps between unit spheres. In this way, we present a novel link between Cauchy-Riemann geometry and algebraic statistics.
要約:
We generalise the notions of scalar-valued holomorphic $p$-contact and $s$-symplectic structures introduced recently on compact complex manifolds by the second-named author jointly with H. Kasuya and L. Ugarte to their analogues with values in a holomorphic line bundle. We then study the resulting holomorphic $p$-contact and $s$-symplectic manifolds which, unlike their scalar counterparts that are never K\"ahler, can even be projective. In particular, we investigate the (lack of) positivity properties of the canonical bundle of these manifolds when it is given a possibly singular Hermitian fibre metric. One of the tools used is a very recent regularisation result for $m$-psh functions obtained jointly by S. Dinew and the second-named author.
要約:
We introduce a fundamental homological invariant, called Serre depth, which stratifies Serre's conditions in the same way that depth stratifies the Cohen-Macaulay property. We study the Serre depths of modules over arbitrary Noetherian local rings and over standard graded algebras over a field, extending the polynomial ring case due to Muta and Terai. Under mild hypotheses, we show that the $r$-th Serre depth of a finitely generated module $M$ measures the deviation of $M$ from satisfying Serre's condition $(S_r)$. The main results of the paper can be summarized as follows:
(i) We establish the basic properties of Serre depth and prove that it is invariant under completion.
(ii) If the base ring $R$ is a homomorphic image of a Gorenstein ring, we show that a finitely generated $R$-module $M$ is equidimensional and satisfies $(S_r)$ if and only if its $r$-th Serre depth equals its Krull dimension. Analogous statements are obtained for schemes.
(iii) For a homogeneous ideal in a standard graded polynomial ring over a field, we compare its Serre depths with those of its initial ideal.
(iv) We characterize the Serre depths of a monomial ideal in terms of its skeletons and prove that the Serre depths of sufficiently large powers of a monomial ideal stabilize; the proof uses Presburger arithmetic.
要約:
We prove, in the context of the section conjecture, that every Selmer section over $\mathbb{Q}$ of the affine Fermat curve with exponent $\ell$ is cuspidal for $\ell\geq 7$.
要約:
Let $\mathcal{X}_0(N)$ be the Deligne--Rapoport modular stack of elliptic curves endowed with a cyclic rational $N$-isogeny over a number field $F$. Let $N\in\{1,2,3,4,5,6,7,8,9,10,12,13,16,18,25\},$ which are precisely the values for which the coarse moduli space of $\mathcal{X}_0(N)$ is isomorphic to $\mathbb{P}^1$. We show that the stacky Batyrev--Manin conjecture [DY24] holds for the naive height on $\mathcal{X}_0(N)$ when $F=\mathbb{Q}$. In the process, we give a concrete description of $\mathcal{X}_0(N)$ as a square root stack over a stacky curve.