要約:
We show that the moduli space of odd spin curves of genus 9 is unirational. This is the highest genus for which such a result is known. This is achieved by realizing birationally the moduli space of odd spin curves of genus g<10 as a locally trivial projective bundle over a certain (finite quotient of the) moduli space of n-pointed odd stable spin curves of genus g'<g. We then present general results on the Kodaira dimension of both components of the moduli spaces of n-pointed spin curves of genus g.
要約:
We solve the Hurwitz existence problems for branched covers of $\mathbb{P}^1$ in the case where the number of ramification points equals the number of branch points, that is, where all the ramification profiles are of the form $[e,1,\ldots,1]$ with $e \geq 2$.
要約:
We observe that for a quasi-compact and quasi-separated scheme the structure sheaf generates the perfect complexes if and only if the lattice of thick subcategories is distributive if and only if the affinization map is 0-affine. Examples are discussed, including an example of a quasi-projective scheme which is not quasi-affine but for which these equivalent conditions hold.
要約:
This is a remastered and expanded version of a an earlier preprint of the author, in which we give a fully algebraic proof of an important theorem of Demailly, stating the existence of many Green-Griffiths jet differentials on a complex projective manifold of general type. To this end, we introduce a new algebraic version of the Morse inequalities, which we use in our proof as an algebraic counterpart to Demailly's and Bonavero's holomorphic Morse inequalities. This new version also applies to positive characteristic, giving the existence of Hasse-Schmidt jet differentials for a smooth projective variety of general type over an arbitrary algebraically closed field.
要約:
Let $\pi:X\to \Delta$ be a one-parameter degeneration whose central fiber $X_0$ is a complex threefold with finitely many ordinary double points $\Sigma=\{p_1,\dots,p_r\}\subset X_0$. Associated with this degeneration is the corrected finite-node perverse extension, together with its mixed-Hodge-module refinement and a finite-node schober datum whose perverse-sheaf shadow is identified with the corrected perverse sheaf $\mathcal P$. The purpose of the present paper is to extract from these finite-node geometric, extension-theoretic, mixed-Hodge, and categorical inputs the intrinsic algebraic state data carried by the degeneration. More precisely, we isolate the finite localized quotient $Q_\Sigma:=\bigoplus_{k=1}^r i_{k*}\Q_{\{p_k\}}$, the nodewise coupling space $E_\Sigma:=\Ext^1_{\Perv(X_0;\Q)}(Q_\Sigma,IC_{X_0})$, its canonical nodewise decomposition $E_\Sigma\cong\bigoplus_{k=1}^r \Q e_k$, and the coefficient vector $c_\Sigma=(c_1,\dots,c_r)\in\Q^r$ defined by $[\mathcal P]_{\mathrm{perv}}=\sum_{k=1}^r c_k e_k$. We then prove that these state variables are compatible with both the mixed-Hodge-module lift and the schober realization of $\mathcal P$, so that the same finite-node architecture appears simultaneously in perverse, mixed-Hodge, and categorical form. The resulting package $(V_\Sigma,E_\Sigma,c_\Sigma)$ is the intrinsic algebraic state data attached to the finite-node conifold degeneration. It provides the first algebraic layer in the passage from finite-node geometry to later incidence, quiver, stability, BPS-spectral, and wall-crossing structures.
要約:
We consider the distance minimization problem to a real algebraic variety $X \subseteq \RR^n$ when the metric is induced by a polyhedral norm. Each point in the variety has a Voronoi cell whose geometry depends on the normal space at the point and the inner normal fan of the polyhedral ball. For codimension-one varieties, we decompose $X$ into sets of points whose Voronoi cones have the same dimension, which is the expected dimension of their Voronoi cell. We prove that this decomposition is a stratification of $X$ and that each strata is a semialgebraic set. We conclude by giving an algebraic description of the medial axis, which is the locus of points whose minimal distance to $X$ is achieved at more than one point on $X$.
要約:
Let $k$ be a field, $X$ a connected scheme proper over $k$, $D\subsetneq X$ an ample effective connected divisor, $x\in D(k)$. For Tannakian categories $\mathcal{C}_X$ and $\mathcal{C}_D$ whose objects consist of vector bundles on $X$ and $D$ respectively, we establish general Tannakian criteria for the natural homomorphism \(\pi(\mathcal{C}_D,x)\longrightarrow \pi(\mathcal{C}_X,x)\) to be faithfully flat, a closed immersion, or an isomorphism. As applications, under Langer type positivity assumptions, we prove that \(\pi^{\ast}(D,x)\longrightarrow \pi^{\ast}(X,x)\) is an isomorphism for $\ast\in\{S,N,EN,F, EF,Loc,ELoc,\acute{e}t,E\acute{e}t,uni\}$ over perfect fields.
要約:
We compute a presentation for the integral Chow rings of the moduli stacks of degree $2$ maps from smooth rational curves to projective space $\mathbb{P}^r$, as a quotient of a three-variable polynomial ring. The relations as $r$ varies have rich combinatorial structure: all non-trivial relations are encoded by two generating functions which are rational functions.
要約:
We study the reciprocal complement $\mathcal{R}(D)$ of a two-dimensional finitely generated $K$-algebra $D$ by linking it with the properties of a surface with coordinate ring $D$. We give several sufficient criteria to have $\dim\mathcal{R}(D)=2$, and we use them to show several explicit examples; in particular, we determine the dimension of $\mathcal{R}(D)$ when $D$ is the quotient of $K[X,Y,Z]$ by an irreducible polynomial of degree $2$. We also study the integral closure of the localizations of $\mathcal{R}(K[X,Y])$.
要約:
We study the resurgence structure of the topological string partition function, with an emphasis on the Borel analysis of the instanton amplitudes. To this end, we introduce a differential operator that implements the pointed alien derivative when acting on the topological string partition function and its iterated alien derivatives. We show that the algebra of alien derivatives is isomorphic to the Kontsevich-Soibelman Lie algebra, thus establishing a direct link between the resurgence of the topological string and wall-crossing of generalized Donaldson-Thomas invariants. Numerically, we continue the exploration of the Borel plane of the quintic and local $\mathbb{P}^2$. For the latter, we identify Borel singularities due to bound states involving D4-branes, and match the associated Stokes constants to the appropriate Donaldson-Thomas invariants. Finally, we identify the manifestation of a D2-brane decay in the Borel plane, and match to theoretical predictions.
要約:
In this note we study asymptotic isotopy of random real algebraic plane curves. More precisely, we obtain a Kac-Rice type formula that gives the expected number of two-sided components (i.e.\ ovals) of a random real algebraic plane curve winding around a given point. In particular, we show that expected number of such ovals for an even degree Kostlan polynomial is $\frac{\sqrt{d}}{2}$ and independent of the given point.
要約:
We study geometric and topological properties of Hessenberg varieties of codimension one in the type A flag variety. Our main results: (1) give a formula for the Poincar\'e polynomial, (2) characterize when these varieties are irreducible, and (3) show that all are reduced schemes. We prove that the singular locus of any nilpotent codimension one Hessenberg variety is also a Hessenberg variety. A key tool in our analysis is a new result applying to all (type A) Hessenberg varieties without any restriction on codimension, which states that their Poincar\'e polynomials can be computed by counting the points in the corresponding variety defined over a finite field. The results below were originally motivated by work of the authors in [arXiv:2107.07929] studying the precise relationship between Hessenberg and Schubert varieties, and we obtain a corollary extending the results from that paper to all codimension one (type A) Schubert varieties.
要約:
In this article, we construct a flat degeneration of the derived moduli stack of Higgs bundles on smooth curves using the stack of expanded degenerations of Jun Li. We show that there is an intrinsic relative log-symplectic form on the degeneration and we compare it with the one constructed by the second author. We show that the Hitchin map of the degeneration we construct has complete fibers. Furthermore, we show that the Hitchin map is flat and that a suitable open subset of the smooth locus of the reduced nilpotent cone is Lagrangian. We also extend the construction of the moduli of Higgs bundles along with the relative log-symplectic form over the universal moduli stack of stable curves.
要約:
For a hypersurface isolated singularity defined by a convergent power series $f$, the Steenbrink spectrum can be defined as the Poincar\'e polynomial of the graded quotients of the $V$-filtration on the Jacobian ring of $f$. The Tjurina subspectrum is defined by replacing the Jacobian ring with its quotient by the image of the multiplication by $f$. We prove that their difference (consisting of missing spectral numbers) has a canonical graded symmetry. This follows from the self-duality of the Jacobian ring, which is compatible with the action of $f$ as well as the $V$-filtration. It implies for instance that the number of missing spectral numbers which are smaller than $(n{+}1)/2$ (with $n$ the number of variables) is bounded by $[(\mu{-}\tau)/2]$. We can moreover improve the estimate of Brian\c{c}on-Skoda exponent in the semisimple monodromy case.
要約:
Let $C$ be an irreducible smooth projective curve of genus $g\geq 2$ over an algebraically closed field. We prove that the moduli stack of semi-stable vector bundles on $C$ of fixed rank and determinant is $\mathbb{A}^1$--connected. We also show that the moduli stack of quasi-parabolic vector bundles with a fixed determinant and a given quasi-parabolic data along a set of points in $C$ is $\mathbb{A}^1$-connected. Moreover, for small and generic weights $\boldsymbol{\alpha}$ with $\gcd(n, \deg L) = 1$, the open substack of $\boldsymbol{\alpha}$-semistable parabolic vector bundles is also $\mathbb{A}^1$-connected.
要約:
We give an explicit Betti presentation of the Stokes torsors attached to meromorphic flat connections of prescribed irregular type along a simple normal crossings divisor, at fixed Kummer level. Our construction is strictly 1-categorical and cover-based: on a punctured logarithmic collar of the divisor, we define a small Cech--Stokes groupoid and prove that the boundary Stokes moduli is described by sections of a natural forgetful functor, rather than by representations of the decorated boundary groupoid itself. By gluing this boundary model to the ordinary Cech presenter of the complement through an explicit pushout construction, we obtain a groupoid presentation that computes the global Stokes objects. The resulting presentation is canonical up to Morita equivalence, compatible with Kummer descent along all normal crossings strata, and admits an explicit finite local description near corners in terms of nonabelian cocycles and relations.
要約:
Let $X/S$ be a smooth family of smooth projective varieties, where $S$ is a smooth affine curve over a field $k$ of characteristic $0.$ We relate the differential fundamental groupoid scheme of $X/k$ with the differential fundamental groupoid scheme of $S/k$ and the relative differential fundamental group of $X/S$ in a short exact sequence. This yields natural maps from the group cohomology of the geometric relative fundamental group to the Gauss-Manin connections. For families of curves of genus at least $1,$ we prove that these maps are isomorphisms. This gives an interpretation of the Gauss-Manin connection in terms of cohomology of the differential fundamental group. As a consequence we can shrink $X$ (as a family on $S$) to obtain a de Rham $K(\pi,1)$ surface.
要約:
This is the third paper in a series, following [FPVa] and [FPVb].
We classify all modular compactifications of the universal Jacobian over $\overline{\mathcal{M}}_{g,n}$, both as stacks and as their relative good moduli spaces. Our main result gives a combinatorial parametrization of compactified universal Jacobian stacks by $V$-functions on a stability domain $\mathbb{D}_{g,n}$ of half-vine types (two-components topological types with a chosen side); under this correspondence, fine compactifications are exactly the general $V$-functions.
We single out the classical compactified universal Jacobians, namely those induced by numerical polarizations (relative $\mathbb{R}$-line bundles on the universal curve $\overline{\mathcal{C}}_{g,n}/\overline{\mathcal{M}}_{g,n}$), recovering the constructions of Kass-Pagani and Melo in the fine case, and we prove that their good moduli spaces are locally projective over $\overline{\mathcal{M}}_{g,n}$.
We determine when two compactified universal Jacobians are isomorphic over $\overline{\mathcal{M}}_{g,n}$ and describe a resolution of the universal family via a compactified Jacobian over $\overline{\mathcal{M}}_{g,n+1}$.
Finally, we analyse the poset $\Sigma_{g,n}$ of compactified universal Jacobians, an extension of the poset of regions of the hyperplane arrangement of classical stability conditions $\mathcal{A}_{g,n}$ studied in Kass-Pagani. We prove that for $n=0$ all compactified universal Jacobians are those constructed by Caporaso. We then give an explicit description of the submaximal elements of $\Sigma_{g,n}$ for all $n$, generalizing the stability walls in the classical stability space $\mathcal{A}_{g,n}$ from Kass-Pagani's work.
要約:
We study the Pl\"{u}cker degree of the main component of the Quot scheme of length $l$ quotients of a locally free sheaf on a smooth projective scheme $\mathrm{S}$ of dimension $d\geqslant 1$. This degree is determined by classes in the Chow ring of the symmetric product $\mathrm{S}^{(l)}$, which are given by the pushforward of the powers of $c_{1}(\mathcal{O}^{[l]})$ with respect to the canonical morphism from the Quot scheme to $\mathrm{S}^{(l)}$. We describe a decomposition of these classes, allowing us to compute the (in a certain sense) leading term of the Pl\"{u}cker degree. We also obtain a higher-dimensional analogue of a classical result of Schubert.
要約:
For an almost simple complex algebraic group $G$ with affine Grassmannian $Gr_G= G(C((t)))/G(C[[t]])$ we consider the equivariant homology $H^{G(C[[t]])}(Gr_G)$, and $K$-theory $K^{G(C[[t]])}(Gr_G)$. They both have a commutative ring structure, with respect to convolution. We identify the spectrum of homology ring with the universal group-algebra centralizer of the Langlands dual group $\check G$, and we relate the spectrum of $K$-homology ring to the universal group-group centralizer of $G$ and of $\check G$. If we add the loop-rotation equivariance, we obtain a noncommutative deformation of the ($K$)-homology ring, and thus a Poisson structure on its spectrum. We identify this structure with the standard one on the universal centralizer. The commutative subring of $G(C[[t]])$-equivariant homology of the point gives rise to a polarization which is related to Kostant's Toda lattice integrable system. We also compute the equivariant $K$-ring of the affine Grassmannian Steinberg variety. The equivariant $K$-homology of $Gr_G$ is equipped with a canonical base formed by the classes of simple equivariant perverse coherent sheaves. Their convolution is again perverse and is related to the Feigin-Loktev fusion product of $G(C[[t]])$-modules.
要約:
Inequalities among symmetric functions are fundamental in various branches of mathematics, thus motivating a systematic study of their structure. Majorization has been shown to characterize inequalities among commonly used symmetric functions, except for complete homogeneous symmetric functions (shortened as CHs). In 2011, Cuttler, Greene, and Skandera posed a natural question: Can majorization also characterize inequalities among CHs? Their work demonstrated that majorization characterizes inequalities among CHs up to degree 7 and suggested exploring its validity for higher degrees. In this paper, we show that, for every degree greater than 7, majorization does not characterize inequalities among CHs.
要約:
Building on the works of \.{I}nan (2019) and Almahariq-Peters-Vergili (2025), we develop an axiomatic framework for approximate algebra via an algebra-compatible closure operator $\mathrm{cl}$ satisfying \textbf{(C1)}--\textbf{(C4a)} together with the balanced multiplicativity axiom \textbf{(C4b)}, while requiring absorption only in the definition of approximate ideals. A central structural result is that, in a unital ring, every approximate prime ideal is automatically $\mathrm{cl}$-closed; hence, in the commutative unital case, the approximate prime spectrum is precisely the fixed-prime locus \[ \mathrm{Spec}_{\Phi}(R)=\{P\in\mathrm{Spec}(R):\mathrm{cl}(P)=P\}, \] and its Zariski-type topology is the subspace topology induced from the classical spectrum. We develop quotient and factorization results for approximate ideals, a compatible module theory with quotient-compatible approximate homomorphisms and a first isomorphism theorem modulo $\Phi^{\!*}_{M'}(0)$, and separation criteria for the resulting spectrum. For ideal-translation closures $\mathrm{cl}(A)=A+J$, we obtain $\mathrm{Spec}_{\Phi}(R)=V(J)\cong\mathrm{Spec}(R/J)$; in particular, for $\mathrm{cl}(A)=A+m\mathbb{Z}$ one obtains the finite discrete space of prime divisors of $m$. Finally, over an algebraically closed field we prove that $\mathrm{rad}_{\Phi}(I)=\sqrt{\mathrm{cl}(I)}$, that the evaluation--separation implication is automatic from the classical Hilbert Nullstellensatz, and that the exact identity $\mathrm{rad}_{\Phi}(I)=\mathrm{I}(V(I))$ follows from closedness of all point ideals.
要約:
We prove the existence and give a classification of toric non-commutative crepant resolutions (NCCRs) of Gorenstein toric singularities with divisor class group of rank one. We prove that they correspond bijectively to non-trivial upper sets in a certain quotient of the divisor class group equipped with a certain partial order. This classification allows us to prove that all toric NCCRs of such toric singularities are connected by iterated Iyama-Wemyss mutations, and hence are derived equivalent to each other.
We also describe explicitly the quivers with relations of these toric NCCRs in terms of higher dimensional analogue of dimer models.
In the Appendix, we give an explicit formula for the volume of $d$-dimensional lattice polytopes with $d+2$ vertices. As an application, we verify a conjecture of Van den Bergh in the case of Gorenstein toric singularities with divisor class group of rank one: the number of indecomposable direct summands of a toric NCCR coincides with the normalized volume of the corresponding lattice polytope.