2026-09-15 | | Total: 53
Let $X$ be an irreducible reduced projective subvariety of a Chow variety. On a generic smooth parameter locus, normal motions of resolved components define a quadratic Wasserstein metric, even when the cycles are singular, reducible, or carry multiplicities. Its metric completion is canonically $X^ν$: resolution fibers collapse, whereas distinct normalization branches over the same Chow cycle remain separated. The completed metric admits an exact ambient action formula. For degree-$d$ hypersurfaces, the inner $W_q$ geometry is compact and induces the projective topology for every $1\le q\le2$. For $d\ge3$, the uniform Hölder exponent $1/d$ is attained and sharp for each such $q$; when $d=1$, the comparison is Lipschitz. Elliptic quartics furnish an explicit model of the boundary branching.
The Suzuki and Ree curves are two classical Deligne--Lusztig curves. They are maximal over suitable finite fields and their full automorphism groups are the Suzuki and Ree groups. In this paper we determine explicit generators of the fixed fields of these full automorphism groups in the corresponding function fields. Motivated by Dickson's classical study of invariants of finite linear groups, we use the natural projective representations of the two groups. In the Suzuki case the proof uses restricted Dickson invariants, whereas in the Ree case it relies on an invariant bilinear form of the seven-dimensional representation.
We show that the tautological ring of $M_{25}$ is not Gorenstein, disproving a conjecture of Faber from 1993. This also implies that the Faber-Zagier relations are the complete list of tautological relations on $M_{25}$.
The Cassels--Swinnerton-Dyer conjecture asserts that a cubic hypersurface contains a rational point if and only if it contains a point of degree coprime to $3$, or, equivalently, a zero-cycle of degree $1$. The case of smooth cubic surfaces in characteristic zero has been reduced by Coray and Voisin to the case of points of degree $4$. We give two independent proofs of this missing case and use a lifting argument of Ma to extend the result to smooth cubic surfaces over arbitrary fields. We further give a separate argument for the case of singular cubic surfaces, extending previous work of Coray over perfect fields. Altogether, this proves the Cassels--Swinnerton-Dyer conjecture for cubic surfaces.
Elements of the Brauer group $\operatorname{Br}(S)$ of a variety $S$ have geometric incarnations as étale-projective $S$-bundles, yet producing minimalist constructions of such bundles, which often power arithmetic applications, remains a difficult problem. When $S$ is a K3 surface with Picard rank $1$, we use the birational geometry of moduli spaces of twisted sheaves on $S$ to construct geometric realizations of nontrivial elements of $\operatorname{Br}(S)$. We recover many known geometric constructions of Brauer classes on K3 surfaces while providing a common moduli-theoretic framework for them. As a by-product, we give a new proof of the period-index theorem for very general K3 surfaces.
We prove that a Noetherian integral domain is regular if, and only if, the derived pushforward of the structure sheaf along every blowup is a perfect complex. For suitable local rings, we give a construction which realizes a shift of the residue field as a direct summand of the derived pushforward of the structure sheaf along an explicit blowup.
We prove that a very general sextic threefold in $\mathbb{P}^4$ is algebraically hyperbolic, settling the last open case and completing the classification of algebraic hyperbolicity for very general hypersurfaces in projective space. The proof follows the Coskun--Riedl scroll construction, with the moduli of stable maps and the logarithmic geometry of fibered surfaces as new ingredients.
In this paper, building on our previous Sylow criteria, we establish small-subgroup criteria of liftability and $F$-liftability for the linear automorphism group $G$ of smooth hypersurfaces $X$ over algebraically closed field of characteristic zero. When $\mathrm{dim} X = p-2$ for some odd prime $p$, we prove that ($F$-)liftability of any finite subgroup of $G$ can be tested on its $p$-subgroups of order at most $p^2$. When $X$ is a degree $p$ hypersurface of dimension $2p-2$, we prove that ($F$-)liftability of $G$ can be tested on all its $p$-subgroups of order at most $p^3$, which is sharp for $p\geq5$. When $p=3$, this bound improves to $9$, giving the corresponding criteria for smooth cubic fourfolds.
We exhibit smooth polarized surfaces $(Y,H)$ over $\mathbf{C}$ carrying no nonzero arithmetically Cohen-Macaulay bundle of any rank. Equivalently, their section rings are three-dimensional normal $\mathbb{N}$-graded $\mathbf{C}$-domains, with an isolated singularity at the vertex, admitting no nonzero finitely generated graded maximal Cohen-Macaulay module. To the author's knowledge no such ring was previously known. Their existence contrasts with the theorem of Hartshorne, Hochster and Peskine-Szpiro that a three-dimensional $\mathbb{N}$-graded domain over a perfect field of characteristic $p>0$ always has one. As a consequence, in characteristic zero Hochster's small Cohen-Macaulay conjecture admits no graded refinement. The nonexistence criterion is numerical: for $|H|$ base-point-free with finite morphism, $H^2<K_Y^2-8χ(\mathcal{O}_Y)=τ(Y)$, the signature of $Y$ over $\mathbf{C}$, leaves no nonzero $\mathcal{E}$ with $H^1(Y,\mathcal{E}(tH))=0$ for all $t$. For Ulrich bundles, being semistable, this is Bogomolov's inequality; what is new is that no stability hypothesis and no condition on the Hilbert polynomial are needed, the Harder-Narasimhan filtration of $\mathcal{E}$ being compared instead with the Horrocks splitting of its direct image on $\mathbb{P}^2$. Hirzebruch's Hesse surfaces with $H_n=4A_n-E_n$, $n\ge3$, qualify. In dimension $m$ the obstruction reads $(m+1)H^m\ge(K_X^2-2c_2(X))\cdot H^{m-2}$, the inequality Lopez proved for Ulrich bundles; products and complete intersections inside them give examples in every dimension $\ge3$, and the threefold examples show that the characteristic-$p$ hypothesis in the criterion of Shimomoto-Tavanfar is essential.
We identify the universal Galois group of the difference equation obtained by the Mellin transform of the Knizhnik-Zamolodchikov equation with the prounipotent group associated with the transport Hopf algebra of Deligne and Terasoma studied in \cite{Markarian}. At each finite weight, we realize the Picard-Vessiot ring by finite multiple harmonic sums. We also interpret the classical Gamma-corrected projected associator as the comparison between finite and regularized asymptotic fibers in this realization.
We classify geometrically nondegenerate GV subschemes of codimension three in indecomposable principally polarized complex abelian varieties of dimension $g\ge6$. Every such subscheme is a translate of $\pm W_{g-3}(C)$ in the Jacobian of a smooth curve $C$. The proof studies the theta-dual surface: tangent cones and theta Hessians give a curve summand in the singular case, while Hodge gradings and characteristic cycles give one in the smooth case. Theta duality yields the corresponding classification of GV surfaces. We also compute the cohomology of all topologically trivial twists of the ideal sheaf twisted by the principal polarization, and characterize the hyperelliptic case by a cohomology jump.
We establish a uniform quantitative comparison between the non-Archimedean Mabuchi functional and the Darvas--Zhang quantised Mabuchi functional. For a smooth polarised variety with finite automorphism group, we provide an algebraic proof that uniform $\widehat{\mathrm K}$-polystability is equivalent to uniform $\mathrm K^β$-stability for every sufficiently large rational $β>1$, without passing through the existence of a cscK metric. The main input is a square-root estimate for directional derivatives of non-Archimedean energies, proved by intersection theory. We also study a reduced $\mathrm{K}^β$-stability condition when the identity component of the polarised automorphism group is reductive and the Futaki character vanishes. We conclude by characterising K-semistability in terms of asymptotic $\mathrm K^β$-semistability and prove the quantitative convergence of the corresponding stability thresholds.
We prove that $B_kA_6$ is stably rational over every field $k$ in which $2$ and $-3$ are nonzero squares. Combining this with a theorem of Plans, we deduce that $B_kA_7$ is stably rational over every field $k$ of characteristic zero in which $2$ and $-3$ are squares.
Motivated by the effective form of Shafarevich's conjecture, we prove that the number of classes of singular fibers of genus $g$ has the exact asymptotic order $g^{Θ(g)}$.
Let $E$ be a slope-semistable vector bundle on smooth projective curve $C$. Assume, $ π: G= Gr_{C}(r, E) \to C$ denote the relative Grassmannian of rank $r$ quotients of $E$. We prove that for every very ample polarization $L= O_{G}(1) \otimes π^{*} A$ the polarized variety $(G,L)$ possess an Ulrich bundle. The construction globalizes homogeneous ulrich bundle on Grassmannian fibres. The remaining cohomology vanishing problem reduced to an acyclicity criterion on the base curve. We finally use Falting's cohomological charaterization of semistability.
Let $\mathcal G\to S$ be a semiabelian scheme over a smooth complex algebraic base, with abelian relative dimension $g$ and toric rank $r$. We prove that a dominating irreducible subvariety not contained in a proper relative special subvariety has Zariski-dense fibrewise torsion if and only if its mixed Betti rank is $2(g+r)$. In particular, its dimension is at least $g+r$. For every prime, primary torsion is then dense even among points of maximal rank. The exceptional loci include generalized Ribet loci. Over algebraic numbers, we prove that generic small points force full mixed rank whenever the abelian Betti rank is maximal. This yields a transfer from abelian relative Bogomolov dimension theorems to arbitrary toric extensions, together with toric height gaps above abelian torsion and order-linear gluing-height bounds for nodal Pell equations. The proof combines algebraic quotients of marked $1$-motives, quadratic nef compensation, a central-monodromy calculation, and algebraicity of mixed Betti strata.
We study poor irreducible holomorphic symplectic manifolds, namely those containing no rational curves and no codimension-one subvarieties. We show that, for such manifolds, several natural cones in \(H^{1,1}(X,\mathbb R)\) coincide, giving strong rigidity consequences. In particular, poor elliptic irreducible holomorphic symplectic manifolds admit no holomorphic foliations. Using this rigidity property, we give a criterion for detecting monodromy birationally minimal classes from the roots of Riemann--Roch polynomials on any irreducible holomorphic symplectic manifold. To each primitive negative class we associate a polynomial depending only on the deformation type and on its Beauville--Bogomolov--Fujiki square. Under a simple-root assumption on the positive real roots, the position of the number \(1\) among these roots implies that the class is MBM whenever it is of type \((1,1)\). This gives a uniform root-theoretic sufficient condition for the existence of rational curves on irreducible holomorphic symplectic manifolds. We then describe poor elliptic irreducible holomorphic symplectic manifolds in terms of their deformation spaces and show that every connected component of the moduli space contains a poor irreducible holomorphic symplectic manifold of positive Picard rank.
We develop Geometric Invariant Theory for affine superschemes under the action of reductive algebraic supergroups, formulating the theory in terms of coordinate Hopf superalgebras in order to accommodate anticommuting and nilpotent variables. Within this algebraic setting, we construct affine superquotients and establish their basic structural properties under suitable hypotheses. We then prove a supergeometric analogue of the Hilbert-Mumford criterion, giving a numerical test for the semistability and stability of points under natural constraints on the supergroup coaction. We show that this numerical criterion can be used to construct the GIT superquotient of these superschemes, and we give examples illustrating how the supergeometric GIT superquotient differs from its classical counterpart.
We introduce level structures on tropical abelian varieties and give a modular interpretation of $A_g[m]^{\mathrm{trop}}$, the tropicalization of the moduli space $\mathcal{A}_g[m]$ of principally polarized abelian varieties with level $m$ structure. We study the case of abelian surfaces in greater depth. The link of $A_2[m]^{\mathrm{trop}}$ is an explicit simplicial complex whose vertices are the primitive vectors of $(\mathbb{Z}/m\mathbb{Z})^4$ up to sign. As a topological space, this link is homotopic to a wedge sum of closed orientable surfaces and circles; we compute the number of each of these and the genera of the surfaces. We deduce the weight zero compactly supported rational cohomology of $\mathcal{A}_2[m]$, completing a calculation of Oda-Schwermer from 1990.
Let $k$ be an algebraically closed field of characteristic $2$ and let $q=2^h$, $h\ge3$. We construct ordinary bielliptic curves $X$ of genus $q+1$ for which \[ \Aut(X)\cong \Dih(C_q)\times C_2, \qquad |\Aut(X)|=4q=4(g(X)-1). \] These curves realize case \textup{(ib)} in the classification of Giulietti--Korchmáros and give an infinite family answering a problem posed by Korchmáros. More generally, we prove that every curve in case \textup{(ib)} arises from the same construction. Case \textup{(ib)} occurs exactly in genera $g=2^h+1$ with $h\ge2$. For $g\ge9$ we determine the full automorphism group; in genus $5$ we determine its Sylow $2$-subgroup but do not claim the full automorphism group. For every fixed $q\ge8$, the isomorphism classes in case \textup{(ib)} of genus $q+1$ are parametrized bijectively by $(k^\times)^2$. The construction is described in terms of an ordinary elliptic curve and an invariant differential. We determine the short orbits and ramification, the unramified cyclic quotients, and the quotients by the central involutions. For $q=8$ an explicit plane model over $\F_2$ is given.
Let $\F$ be a codimension-one holomorphic foliation of degree $d$ on $\PP^n$, $n\geq3$, admitting an invariant hyperplane $H$. We study the extremal situation in which $S=(H\cap\Sing(\F))_{\rm red}$ is an irreducible hypersurface of $H$ of degree $d+1$. When $d+1$ is a power of a prime, we prove that, in suitable homogeneous coordinates with $H=(t=0)$, \[ Ω=Q\,dt-\frac{t}{d+1}\,dQ , \] where $Q$ is homogeneous of degree $d+1$. Thus $Q/t^{d+1}$ is a rational first integral. The proof reduces the Frobenius equation to a twisted closedness equation on a plane section and uses Zariski's theorem on the Alexander polynomial of an irreducible plane curve. We also prove a complementary rigidity theorem for an arbitrary smooth invariant hypersurface $D\subset\PP^n$: if the reduced singular divisor on $D$ is smooth, irreducible, and of maximal degree, then the same normal-form phenomenon holds, with no arithmetic hypothesis on its degree; in the low-weight range the smoothness assumption on the singular divisor can be dropped. Finally, we show that the principal hypotheses are sharp. Dropping the maximal-degree condition yields a family with irreducible reduced singular support and no non-constant rational first integral. For every $d+1$ which is not a prime power we construct a global counterexample with irreducible maximal-degree singular support, and a final family shows that irreducibility of the reduced support is also genuinely necessary.
Let $f:\; M \to {\mathbb C}P^n$ be a Lagrangian fibration on a compact hyperkahler manifold. We prove that $f$ has no multiple fibers in codimension 1. We prove that this condition is equivalent to the primitivity of the fundamental class of $π^{-1}(H)$, where $H \subset {\mathbb C}P^n$ denotes a hyperplane divisor.
We prove that the blow-up of the Hirzebruch surface $\mathbb F_n$ at $n+6$ general points admits a phantom subcategory for every $n\geqslant 3$.
An automorphism of the polynomial ring $k[x_1,\ldots ,x_n]$ over a field $k$ is said to be $\mathit{tame}$ if it can be obtained by composing affine automorphisms and elementary automorphisms, and $\mathit{wild}$ otherwise. Jung and van der Kulk showed that every automorphism of $k[x_1,x_2]$ is tame. In 1972, Nagata conjectured that a certain automorphism of $k[x_1,x_2,x_3]$ is wild. In 2003, Shestakov and Umirbaev proved this conjecture for $\mathop{\mathrm{char}}\nolimits k=0$. The purpose of this paper is to prove the conjecture for $\mathop{\mathrm{char}}\nolimits k\ge 7$. This is the first time that the existence of a wild automorphism has been confirmed in positive characteristic.
Let $\widetilde{X}$ be the blow-up of a smooth projective variety $X$ along a smooth subvariety $Z \subset X$ satisfying a numerical positivity condition. We study virtual cycles of moduli spaces of stable maps to $\widetilde{X}$. We lift the numerical blow-up formula of Chen and Du to a pushforward identity for virtual cycles of moduli spaces of genus-zero stable maps to $\widetilde{X}$ and $X$. Using virtual dimension calculations for the fixed loci and a free-leaf contraction morphism, we show that all correction terms in the master space localization formula vanish. Variants of this method yields further blow-up formulas, including a generalization of Gathmann's formula. We also give a counterexample to the point-blow-up conjecture in higher genus (proposed by Hu), and establish an absolute--relative correspondence in all genera under positivity and dimension assumptions, comparing the Gromov--Witten theories of $(\widetilde{X},E)$ and $X$, where $E$ is the exceptional divisor.