要約:
Introduced in [BB], simplicially stable spaces are alternative compactifications of $\mathcal{M}_{g,n}$ generalizing Hassett's moduli spaces of weighted stable curves. We give presentations of the Chow rings of these spaces in genus $0$ using techniques developed by the author in [New25]. When considering the special case of $\overline{\mathcal{M}}_{0,n}$, this gives a new proof of Keel's presentation of $\operatorname{CH}(\overline{\mathcal{M}}_{0,n})$.
要約:
We study fibers with isolated singularities of Landau-Ginzburg models for Fano threefolds of Picard rank one. We compare the data we get with maximal known lengths of exceptional collections in derived categories of coherent sheaves on the Fano threefolds, verify some predictions of Homological Mirror Symmetry, and present some expectations about exceptional collections for Fano threefolds.
要約:
We present an algorithm to compute the torsion component $\mathrm{Pic}^\tau X$ of the Picard scheme of a smooth projective variety $X$ over a field $k$. Specifically, we describe $\mathrm{Pic}^\tau X$ as a closed subscheme of a projective space defined by explicit homogeneous polynomials. Furthermore, we compute the group scheme structure on $\mathrm{Pic}^\tau X$. As applications, we provide algorithms to compute various homological invariants. Among these, we compute the abelianization of the geometric \'etale fundamental group $\pi^{\mathrm{{e}t}}_1(X_{\bar{k}}, x)^{\mathrm{ab}}$. Moreover, we determine the Galois module structure of the first \'etale cohomology groups $H^1_{\mathrm{{e}t}}(X_{\bar{k}}, \mathbb{Z}/n\mathbb{Z})$ without requiring $n$ to be prime to the characteristic of $k$.
要約:
Hodge Theory of $p$-adic analytic varieties was initiated by Tate in his 1967 paper on $p$-divisible groups, where he conjectured the existence of a Hodge-like decomposition for the $p$-adic \'etale cohomology of proper analytic varieties. Tate's conjecture was refined by Fontaine who gave the theory its definite shape. A lot of work has been done for algebraic varieties and a number of proofs of Fontaine's conjectures have been obtained between years 1985 and 2011. But the study of Hodge Theory of $p$-adic analytic varieties started really only in 2011 with Scholze's proof of Tate's conjecture using perfectoid methods. Methods that opened the way to an avalanche of results.
In this paper, we survey our results and conjectures (comparison theorems and their geometrization, dualities, etc.), focusing on the case of nonproper analytic varieties, where a number of new phenomena occur. We also describe the new objects that appeared along the way.
要約:
We study the existence and the schematic structure of elementary components of the nested Hilbert scheme on a smooth quasi-projective variety. Precisely, we find a new lower bound for the existence of non-smoothable nestings of fat points on a smooth $n$-fold, for $n\geqslant 4$. Moreover, we implement a systematic method to build generically non-reduced elementary components. We also investigate the problem of irreducibility of the Hilbert scheme of points on a singular hypersurface of $\mathbb A^3$. Explicitly, we show that the Hilbert scheme of points on a hypersurface of $\mathbb{A}^3$ having a singularity of multiplicity at least 5 admits elementary components.
要約:
We generalize a result of Popa-Schnell and show that the isogeny class of the Picard variety is twisted derived invariant. Using this, we prove that any twisted Fourier-Mukai partner of an abelian variety is an abelian variety. We then provide a necessary and sufficient isogeny-based condition for two abelian varieties to be twisted derived equivalent.
要約:
It is known that every real orthogonal matrix can be brought into the domain of the Cayley transform by multiplication with a suitable diagonal signature matrix. In this paper we provide a constructive and numerically efficient algorithm that, given a real orthogonal matrix $U$, computes a diagonal matrix $D$ with entries in $\{\pm1\}$ such that the Cayley transform of $DU$ is well defined. This yields a representation of $U$ in the form \[ U = D(I-S)(I+S)^{-1}, \] where $S$ is a skew-symmetric matrix. The proposed algorithm requires $O(n^{3})$ arithmetic operations and produces an explicit quantitative bound on the associated skew-symmetric generator. As an application, we show how this construction can be used to control singularities in Cayley-transform-based optimization methods on the orthogonal group.
要約:
Let $M=V\setminus D$ be a smooth quasi-projective variety for some smooth projective variety $V$ and a divisor $D$ with normal crossings. Assume that $M$ is diffeomorphic to a non-compact nilmanifold $\Gamma\backslash N\times\mathbb{R}^m$. We show that $M$ is diffeomorphic to a trivial bundle $T^n\times \mathbb{R}^m$ over a torus $T^n$ if the first cohomology $H^1(V)$ of $V$ vanishes. Moreover, in general, we show that $M$ is diffeomorphic to a trivial bundle $T^{b_1(M)}\times \mathbb{R}^m$ over a $b_1(M)$-dimensional torus $T^{b_1(M)}$, or a trivial bundle $E\times \mathbb{R}^m$ such that $E$ is a torus bundle $E\rightarrow T^{b_1(M)}$ over a torus $T^{b_1(M)}$. Conversely, we consider whether non-compact nilmanifolds are diffeomorphic to a smooth quasi-projective variety. We determine the Lie groups of dimension up to $8$ such that corresponding non-compact nilmanifolds may be diffeomorphic to smooth quasi-projective varieties.
要約:
The Chabauty--Kim method was developed with the aim of approaching effective Faltings', the problem of explicitly determining the finite set of rational points on a hyperbolic curve. This method has seen success with the more particular Quadratic Chabauty method, but this method still applies only to certain curves. Previous applications of Chabauty--Kim beyond the quadratic level, as pursued by the authors, by S. Wewers, and by others, use mixed Tate motives and the $p$-adic period map of Chatzistamatiou-\"Unver to approach the particular hyperbolic curve $\mathbb{P}^1\setminus\{0,1,\infty\}$.
The main purpose of this article is to lay foundations for extending the above approach to more general hyperbolic curves, in particular by defining an analogous $p$-adic period map for more general categories of motives and their non-conjectural cousins such as systems of realizations and $p$-adic Galois representations. We use this to describe a general setup for non-abelian Chabauty for an arbitrary hyperbolic curve.
Our period map also connects the study of $p$-adic iterated integrals with Goncharov's theory of motivic iterated integrals, and allows us to investigate Goncharov's conjectures from a $p$-adic point of view. In particular, it suggests the possibility of evaluating syntomic regulators by writing elements of $K$-theory in terms of motivic iterated integrals. Lastly, it forms the basis for a certain generalization of the $p$-adic period conjecture of Yamashita for mixed Tate motives well-suited to applications in Chabauty--Kim theory.
要約:
We develop and numerically analyze an algebraic-geometric framework for spin-adapted coupled-cluster (CC) theory. Since the electronic Hamiltonian is SU(2)-invariant, physically relevant quantum states lie in the spin singlet sector. We give an explicit description of the SU(2)-invariant (spin singlet) many-body space by identifying it with an Artinian commutative ring, called the excitation ring, whose dimension is governed by a Narayana number. We define spin-adapted truncation varieties via embeddings of graded subspaces of this ring, and we identify the CCS truncation variety with the Veronese square of the Grassmannian. Compared to the spin-generalized formulation, this approach yields a substantial reduction in dimension and degree, with direct computational consequences. In particular, the CC degree of the truncation variety -- governing the number of homotopy paths required to compute all CC solutions -- is reduced by orders of magnitude. We present scaling studies demonstrating asymptotic improvements and we exploit this reduction to compute the full solution landscape of spin-adapted CC equations for water and lithium hydride.
要約:
For a Serre subcategory $\mathscr L$ and a resolving subcategory $\mathscr A$ of an abelian category, we show that the derived equivalence $D^b(\overline{\mathscr A} \cap \mathscr L) \simeq D^b_{\mathscr L}(\mathscr A)$ holds under certain conditions. We apply this to obtain derived equivalences in the contexts of chain complexes of graded modules or coherent sheaves, with finite $\mathscr A$-dimension, supported on closed sets having eventually finite $\mathscr A$-dimension.
要約:
We construct characteristic-zero lifts of partial Hasse invariants for genus zero non-compact curves in Hilbert modular varieties. The construction is based on recent results on the associated Picard-Fuchs differential equations. As an application, we relate the size of the non-ordinary locus of the modulo $p$ reduction of these curves to the dimension of spaces of (twisted) modular forms. We compute it explicitly for several Teichm\"uller curves, obtaining Deuring-like formulae. Moreover, we study the modulo $p$ reduction of (twisted) modular forms on not necessarily arithmetic genus-zero Fuchsian groups with modular embedding.
要約:
Generalizing the work of Atkin and Kaneko-Zagier in the elliptic case, we describe the non-ordinary locus of a genus-zero non-compact curve $Y$ in a Hilbert modular variety in terms of the zeros of generalized Atkin's orthogonal polynomials. The argument relies on the recent construction of lifts of partial Hasse invariants for $Y$. We further describe these orthogonal polynomials as denominators of Pad\'e approximants to the logarithmic derivatives of solutions of the Picard-Fuchs differential equations associated with $Y$. This provides a new link between Pad\'e approximation and the geometry of the non-ordinary locus, extending a classical observation of Igusa for the Legendre family and applying, in particular, to situations where the Picard-Fuchs equations do not admit modular solutions. As applications, we determine the three-term recurrence relations for Atkin polynomials attached to triangle curves via hypergeometric identities, and compute the supersingular locus of a double cover of the Teichm\"uller curve $W_{17}$. In the latter case, we conjecture that the associated supersingular polynomial is self-reciprocal, implying that supersingular points occur in pairs.
要約:
Let $R \to S$ be a cyclically pure map of Noetherian $\mathbb{Q}$-algebras. In this paper, we show that if $S$ has Du Bois singularities, then $R$ has Du Bois singularities. Our result is new even when $R \to S$ is faithfully flat. Our proof also yields interesting results in prime characteristic and in mixed characteristic. As a consequence, we show that if $R \to S$ is a cyclically pure map of rings essentially of finite type over the complex numbers $\mathbb{C}$, $S$ has log canonical type singularities, and $K_R$ is Cartier, then $R$ has log canonical singularities. Along the way, we prove a version of the key injectivity theorem of Kov\'acs and Schwede for Noetherian schemes of equal characteristic zero that have isolated non-Du Bois points. Throughout the paper, we use the characterization of the complex $\underline{\Omega}^0_X$ and of Du Bois singularities in terms of sheafification with respect to Grothendieck topologies.
要約:
We analyze stabilization with respect to ${\mathbb P}^1$ in the Morel--Voevodsky unstable motivic homotopy theory. We introduce a refined notion of cellularity (a.k.a., biconnectivity) in various motivic homotopy categories taking into account both the simplicial and Tate circles. Under suitable cellularity hypotheses, we refine the Whitehead theorem by showing that a map of nilpotent motivic spaces can be seen to be an equivalence if it so after taking (Voevodsky) motives. We then establish a version of the Freudenthal suspension theorem for ${\mathbb P}^1$-suspension, again under suitable cellularity hypotheses. As applications, we resolve Murthy's conjecture on splitting of corank $1$ vector bundles on smooth affine algebras over algebraically closed fields having characteristic $0$ and compute new unstable motivic homotopy of motivic spheres.
要約:
We extend Moonen's definition of Ekedahl-Oort types of smooth curves in terms of Hasse-Witt triples to all stable curves and show that it matches Ekedahl and van der Geer's definition of Ekedahl-Oort types of their generalized Jacobians as semi-abelian varieties. Using this intrinsic insight, we can compute the dimensions of certain Ekedahl-Oort loci of curves and generalize some previously known results about the dimensions of the $p$-rank and $a$-number loci of curves.
要約:
We construct a family of smooth supersingular curves of genus $5$ in characteristic $2$ with several notable features: its dimension matches the expected dimension of any component of the supersingular locus in genus $5$, its members are non-hyperelliptic curves with non-trivial automorphism groups, and each curve in the family admits a double cover structure over both an elliptic curve and a genus-$2$ curve. We also provide an explicit parametrization of this family.
要約:
For $n\leq 4$, we compute the indecomposible higher Chow groups $\overline{\operatorname{CH}}(\mathcal{M}_{1,n},1)$ with integer coefficients. As an application, we give new proofs of presentations of the integral Chow rings $\operatorname{CH}(\overline{\mathcal{M}}_{1,n})$ for $n\leq 4$ and determine formulas for the classes of boundary strata in these rings.
要約:
In this paper we compute an explicit closed formula for the total Tjurina number $\tau(C)$ of a reduced projective plane curve $C$ in terms of the graded Betti numbers of the corresponding Jacobian algebra. This formula allows a completely new view point on the classical upper bounds for the total Tjurina number $\tau(C)$ of a plane curve $C$ given by A. du Plessis and C. T. C. Wall. This approach yields in particular a new necessary condition for a set of positive integers to be the graded Betti numbers of the Jacobian algebra of a reduced plane curve.
要約:
Volume polynomials form a distinguished class of log-concave polynomials with remarkable analytic and combinatorial properties. I will survey realization problems related to them, review fundamental inequalities they satisfy, and discuss applications to the combinatorics of algebraic matroids. These notes are based on lectures given at the 2025 Summer Research Institute in Algebraic Geometry at Colorado State University.
要約:
This paper develops a systematic approach to infinitesimal variations of Hodge structure for singular and equisingular families by means of logarithmic geometry and residue theory. The central idea is that logarithmic vector fields encode precisely those deformation directions that preserve singularities and act trivially on Hodge structures, while the effective variation is entirely governed by residue calculus. This viewpoint provides a conceptual reinterpretation of classical results of Griffiths, Green, and Voisin, and extends them to settings involving singular varieties and equisingular deformations. The resulting framework yields a geometric explanation for the appearance of Jacobian rings in infinitesimal Hodge theory and clarifies the structure of deformation spaces underlying Severi varieties and related moduli problems.
要約:
We investigate the formal principle for holomorphic line bundles on neighborhoods of an analytic subset of a complex manifold mainly in the case where it can be realized as an open subset of a compact K\"ahler manifold. Our approach identifies the obstruction as a global analytic class supported on a neighborhood of $Y$, and relates its vanishing to the solvability of a $\partial\overline{\partial}$-problem on neighborhoods of $Y$. As a consequence we obtain cohomological criteria ensuring the formal principle. We also construct a holomorphic family of compact K\"ahler surfaces containing a curve with topologically trivial normal bundle in which the formal principle holds for almost every fiber but fails for uncountably many fibers, exhibiting an instability phenomenon in families.
要約:
We prove Libgober's divisibility relations for Oka and Alexander polynomials of symplectic curves in the complex projective plane. Along the way, we give new proofs of the divisibility relations for the Alexander polynomials of complex algebraic curves with respect to a generic line at infinity.
要約:
The real part of the focusing modified Korteweg-de Vries (MKdV) equation defined over the complex field $\mathbb{C}$ is reduced to the focusing gauged MKdV (FGMKdV) equation. In this paper, we construct the real hyperelliptic solutions of FGMKdV equation in terms of data of the hyperelliptic curves of genus $g$ and demonstrate the closed hyperelliptic plane curves of genus $g=5$ whose curvature obeys the FGMKdV equation by extending the previous results of genus three (Matsutani, {\it{J. Geom. Phys}} {\bf{215}} (2025) 105540). These are a generalization of Euler's elasticae.
要約:
We develop a unified categorical framework for gauging both continuous and finite symmetries in arbitrary spacetime dimensions. Our construction applies to geometric categories i.e. categories internal to stacks. This generalizes the familiar setting of fusion categories, which describe finite group symmetries, to the case of Lie group symmetries. Within this framework, we obtain a functorial Symmetry Topological Field Theory together with its natural boundaries, allowing us to compute associated endomorphism categories and Drinfeld centers in a uniform way. For a given symmetry group $G$, our framework recovers the electric and magnetic higher-form symmetries expected in $G$-gauge theory. Moreover, it naturally encodes electric breaking symmetry in the presence of charged matter, reproducing known physical phenomena in a categorical setting.
要約:
We prove some results on the structure of ind-pro completions of Noetherian rings along flags of prime ideals. In particular, we compute the Krull dimension and deduce the criterion on semilocality in the case of essentially of finite type algebras over a field. We also show that ind-pro completion inherits properties of the base ring such as normality, regularity, local equidimensionality, etc.