2024-10-29 | | Total: 26
Let $(f,g): (S,s) \to (\mathbb{C}^2, 0)$ be a finite morphism from a germ of normal complex analytic surface to the germ of $\mathbb{C}^2$ at the origin. We show that the affine algebraic curve in $\mathbb{C}^2$ defined by the initial Newton polynomial of a defining series of the discriminant germ of $(f,g)$ depends up to toric automorphisms only on the germs of curves defined by $f$ and $g$. This result generalizes a theorem of Gryszka, Gwoździewicz and Parusiński, which is the special case in which $(S,s)$ is smooth. Our proof uses a common generalization of formulas of Lê and Casas-Alvero for the intersection number of the discriminant with a germ of plane curve. It uses also a theorem of Delgado and Maugendre characterizing the special members of pencils of curves on normal surface singularities. We apply it to the pencils generated by all pairs $(f^b, g^a)$, for varying positive integral exponents $a, b$, following a strategy initiated by Gwoździewicz. This is similar to the Eudoxian method of comparison of magnitudes by comparing the sizes of their positive integral multiples.
Let $\pi : X \to B$ be a projective Lagrangian fibration of a smooth symplectic variety $X$ to a smooth variety $B$. Denote the complement of the discriminant locus by $B_0 = B \setminus \operatorname{Disc}(\pi)$, its preimage by $X_0 = \pi^{-1}(B_0)$, and the complement of the critical locus by $X' = X \setminus \operatorname{Sing}(\pi)$. Under an assumption that the morphism $X' \to B$ is surjective, we construct (1) the Néron model of the abelian fibration $\pi_0 : X_0 \to B_0$ and (2) the Néron model of its automorphism abelian scheme $\operatorname{Aut}^{\circ}_{\pi_0} \to B_0$. Contrary to the case of elliptic fibrations, $X'$ may not be the Néron model of $X_0$; this is precisely because of the existence of flops in higher-dimensional symplectic varieties. Using such techniques, we analyze when $X' \to B$ is a torsor under a smooth group scheme and also revisit some known results in literature.
In the present article, we study the integral aspects of the Fourier transform of an abelian variety $A$ over a field $k$, using étale motivic cohomology, following the ideas and theory given by Moonen, Polishchuk and later by Beckman and de Gaay Fortman. We prove that there exists a PD-structure over the positive degree part of the étale Chow ring $\text{CH}^{\text{ét}}_{>0}(A)$ with respect to the Pontryagin product.
Assuming natural variational realization conjectures, we give uniform bounds for the obstruction to the integral Tate conjecture in 1-dimensional families of algebraic varieties over an infinite finitely generated field.
We compare a couple of notions of differential form on singular complex algebraic varieties, and relate them to the outermost associated graded spaces of the Hodge filtration of ordinary and intersection cohomology. In particular, we introduce and study singularities, that we call quasi-rational, which are normal and such that for all p, the zeroth cohomology sheaf of the complex of Du Bois p-forms is isomorphic to the direct image of p-forms from a desingularization. We show that an isolated singularity is rational if and only if it is quasi-rational, Du Bois, and certain Hodge numbers of the local mixed Hodge structures vanish.
In this article we study a relative monoidal version of the Bondal-Orlov reconstruction theorem. We establish an uniqueness result for tensor triangulated category structures $(\boxtimes,\mathbb{1})$ on the derived category $D^{b}(X)$ of a variety $X$ which is smooth projective and faithfully flat over a quasi-compact quasi-separated base scheme $S$ in the case where the fibers $X_{s}$ over any point $s\in S$ all have ample (anti-)canonical bundles. To do so we construct a stack $\Gamma$ of dg-bifunctors which parametrize the local homotopical behaviour of $\boxtimes$, and we study some of its properties around the derived categories of the fibers $X_{s}$.
We investigate the realizability of balanced functions on tropical curves, establishing new sufficient criteria for superabundant functions on genus two curves, analogous to the well-spacedness condition in genus one. We find that realizability is sensitive to the precise locations of conjugate and Weierstrass points on the tropical curve. The key input is a combinatorial comparison of semistable limit theorems for maps of curves. Amini-Baker-Brugallé-Rabinoff previously showed that realizability of functions is equivalent to ``modifiability'' to a tropical admissible cover. The resulting criteria are typically inexplicit; we develop combinatorial techniques to derive explicit, verifiable criteria from these. We then develop a dimensional reduction technique to deduce statements about maps to $\mathbb{R}^r$ from ones about maps to $\mathbb{R}$. By proving directly that modifiability and well-spacedness are equivalent in genus one, we obtain a new proof that well-spaced maps are realizable. Along the way, we explain how the modifiability criterion can be viewed as a comparison result for properness statements for moduli of relative maps and admissible covers.
This article initiates the study of discrete Okounkov bodies and their asymptotic behavior, with applications to asymptotic analysis of stability and global log canonical thresholds, and higher-dimensional Weierstrass gap phenomena.
We define spin structures on perfect complexes outside of characteristic two, generalizing the usual notion for vector bundles. We give an explicit local characterization of spin structures, and show that for an oriented quadratic complex $E$ on an algebraic stack, spin structures on $E$ are parametrized by a degree $2$ gerbe. As an application, we show how to lift the K-theory class of Oh-Thomas in DT4 theory to a genuine (twisted) sheaf.
For a complete discrete valuation field $K$, we show that one may always glue a separated formal algebraic space $\mathfrak{X}$ over $\mathcal{O}_K$ to a separated algebraic space $U$ over $K$ along an open immersion of rigid spaces $j\colon \mathfrak{X}^{\rm rig}\to U^{\rm an}$, producing a separated algebraic space $X$ over $\mathcal{O}_K$. This process gives rise to an equivalence between such `gluing triples' $(U,\mathfrak{X},j)$ and separated algebraic spaces $X$ over $\mathcal{O}_K$, which one might interpret as a version of the Beauville--Laszlo theorem for algebraic spaces rather than coherent sheaves. Moreover, an analogous equivalence exists over any excellent base. Examples due to Matsumoto imply that the result of such a gluing might be a genuine algebraic space (not a scheme) even if $U$ and the special fiber of $\mathfrak{X}$ are projective. The proof is a combination of Nagata compactification theorem for algebraic spaces and of Artin's contraction theorem. We give multiple examples and applications of this idea.
We prove that every simple flop of type $D_5$, i.e. resolved by blowups with exceptional divisor isomorphic to a generalized Grassmann bundle with fiber $OG(4, 10)$, induces a derived equivalence. This provides new evidence for the DK conjecture of Bondal--Orlov and Kawamata. The proof is based on a sequence of mutations of exceptional objects: we use the same argument to prove derived equivalence for some pairs of non birational Calabi--Yau fivefolds in $OG(5, 10)$, related to Manivel's double--spinor Calabi--Yau varieties. We extend the construction to prove derived equivalence of Calabi--Yau fibrations which are described as zero loci in some generalized Grassmann bundles.
In this paper, we study the symmetric rank of products of linear forms and an irreducible quadratic form. The main result presents a new, non-trivial lower bound for the rank, and the arguments rely on the apolarity lemma. In the special case of degree 4, we give a list of normal forms for such quartics, and we apply our general result to compute the rank of almost all of them. These families of quartics provide examples of polynomials of generic, supergeneric and even maximal rank, as well as an unexpected number of decompositions.
In the article we give a self-contained new proof that a normal quasi-ordinary surface germ is analytically isomorphic to a cyclic quotient surface germ.
We introduce and motivate a conjecture about the existence of complete, 1-dimensional families of covers of an elliptic curve. If the conjecture holds, then it would imply a uniform lower bound of 5 for slope of the moduli space of curves. If the conjecture fails, this would itself be an interesting phenomenon worthy of explanation.
We apply ideas related to the strength of polynomials to provide new cases of unirational hypersurfaces. It is famously known that hypersurfaces that are smooth in very high codimension are unirational, and a simple corollary then implies that any polynomial of sufficiently high strength will give rise to a unirational hypersurface. Our main result shows that unirationality is preserved under a substitution of high collective strength. In particular, we prove that polynomials of sufficiently high secondary strength are unirational. Along the way, we introduce a ``transfer principle,'' showing that polynomials of high collective strength have Fano schemes defined by polynomials of high collective strength. This gives an alternate proof of a result of Xi Chen on unirationality of Fano schemes, and proves a weakened form of the de Jong-Debarre Conjecture. Combined with some ideas of Starr, this implies a version of Kazhdan and Ziegler's result about the universality of complete intersections of polynomials.
These lecture notes are devoted to the recent progress in the geometric aspects of quantum integrable systems based on quantum groups solved using the Bethe ansatz technique. One part is devoted to their enumerative geometry realization through the quantum K-theory of Nakajima quiver varieties. The other part describes a recently studied $q$-deformation of the correspondence between oper connections and Gaudin models. The notes are based on a minicourse at C.I.M.E. Summer School ``Enumerative geometry, quantisation and moduli spaces," September 04-08, 2023.
In this paper, we show that there is a finite SAGBI basis of the coordinate ring of a Kronecker quiver moduli space, indexed by primitive semi-standard tableaux pairs. This induces a toric degeneration of the Kronecker moduli space to a normal toric variety, a generalization of the toric degeneration of the Grassmannian to the Gelfand--Cetlin polytope constructed by Gonciulea--Lakshmibai. The moment polytope of the degenerate toric variety can be described as the intersection of two Gelfand--Cetlin polytopes. We explain when this can be generalized to degenerations coming from matching fields.
It was shown by Claus Scheiderer prior to 1994 that real closed spaces have étale cohomology. Following Scheiderer, study of real closed spaces fell out of fashion and o-minimal geometry became the focus for those at the intersection of model theory and geometry. I decided to breathe new life into the theory of real closed rings and spaces, as studied by Schwartz in 1989. In Section 1, I build the fundamentals of the theory using as little machinery as possible, and presented them as clearly as I could. Hidden gems include a full proof that real closed rings are closed under limits and colimits. In Section 2, I give an introduction to the category of real closed spaces in the first half. In the second half, I construct an equivalence of topoi between Scheiderer's sheaves on the real étale site, and sheaves on a real étale site $\rce/X$ of my creation. Since $\text{Sh}(\rce/X)$ can be defined without the use of $G$-topoi, the equivalence of topoi renders Scheiderer's theory computable. I end with a discussion of how one might use motivic cohomology to better understand recent results of Annette Huber in \cite{no_deRham_huber}.
We prove that the number of curves of a fixed genus g over finite fields is a polynomial function of the size of the field if and only if g is at most 8. Furthermore, we determine for each positive genus g the smallest n such that the moduli space of curves of genus g with n marked points does not have polynomial point count. A key ingredient in the proofs, which is also a new result of independent interest, is the computation of the thirteenth cohomology group of the moduli spaces of stable curves of genus g with n marked points, for all g and n.
In this article, we compute $\delta$-invariants of Du Val del Pezzo surfaces of degree 1.
We prove that the Artin-Schreier-Witt isogeny in characteristic $p > 0$ lifts to characteristic $0$.
We are concerned with polynomial involutions in characteristic two. In this note, we look for involutions among triangular automorphisms of the four-dimensional polynomial ring in characteristic two and obtain three types of such involutions.
We show that the map $\operatorname{Br} T \to (\operatorname{Br} T_{\bar k})^{\Gamma_k}$ is surjective for a torus $T$ defined over a field $k$ of characteristic $0$ when $k$ is a local or global field or $T$ is quasi-trivial.
For an affine algebraic variety, we introduce algebraic Gelfand-Fuks cohomology of polynomial vector fields with coefficients in differentiable $AV$-modules. Its complex is given by cochains that are differential operators in the sense of Grothendieck. Using the jets of vector fields, we compute this cohomology for varieties with uniformizing parameters. We prove that in this case, Gelfand-Fuks cohomology with coefficients in a tensor module decomposes as a tensor product of the de Rham cohomology of the variety and the cohomology of the Lie algebra of vector fields on affine space, vanishing at the origin. We explicitly compute this cohomology for affine space, the torus, and Krichever-Novikov algebras.
For every prime number $p$ congruent to three modulo four, we prove that there exists a smooth curve of genus five in characteristic $p$ that is supersingular. This extends earlier work of Ekedahl and of Harashita, Kudo, and Senda.