SearcharxivSearch

arXiv subjects

Anand Deopurkar

Publications and source records attributed to Anand Deopurkar.

At least 19 recordsLinked to original sources

The Hasse norm principle for $A_4$-quartic extensions of global function fields

For a finite extension of global fields $K/k$, the norm map $N_{K/k} : K^\times \to k^\times$ extends to a map on idèle groups. The Hasse norm principle holds if every element of $k^\times$ that is a norm everywhere locally is also a norm globally. In this paper, we study the statistics of the Hasse norm principle in a setting that is out of reach in the number field context, namely that of $A_4$-quartic extensions. We show that failures of the Hasse norm principle are generally rare for $A_4$-quartic extensions of global function fields $\mathbb{F}_q(t)$. We achieve this by introducing a decorated Hurwitz space parametrising the failures of the Hasse norm principle and then using the Chebotarev density theorem to estimate their frequency.

math.NT

A sphere of spherical objects

Given a Bridgeland stability condition on a 2-Calabi--Yau category, we define a simplicial complex that encodes the Harder--Narasimhan filtrations of spherical objects. For 2-Calabi--Yau categories of type A, we relate this complex to the complex of pointed pseudo-triangulations on configurations of points on the plane. Using this connection, we prove that the complex undergoes piecewise-linear wall-crossings as we vary the stability condition, and is piecewise-linearly homeomorphic to a sphere. Additionally, we prove that for a generic stability condition on a 2-Calabi--Yau category, a spherical object is determined by the ordered list of its Harder--Narasimhan factors.

math.RT

Syzygies of canonical ribbons on higher genus curves

We study the syzygies of the canonical embedding of a ribbon $\widetilde{C}$ on a curve $C$ of genus $g \geq 1$. We show that the linear series Clifford index and the resolution Clifford index are equal for a general ribbon of arithmetic genus $p_a$ on a general curve of genus $g$ with $p_{a} \geq \operatorname{max}\{3g+7, 6g-4\}$. Among non-general ribbons, the case of split ribbons is particularly interesting. Equality of the two Clifford indices for a split ribbon is related to the gonality conjecture for $C$ and it implies Green's conjecture for all double covers $C'$ of $C$ with $g(C') \geq \textrm{max}\{3g+2, 6g-4\}$. We reduce it to the vanishing of certain Koszul cohomology groups of an auxiliary module of syzygies associated to $C$, which may be of independent interest.

math.AG

Compactifications of moduli spaces of K3 surfaces with a higher-order nonsymplectic automorphism

We describe Baily-Borel, toroidal, and geometric -- using the KSBA stable pairs -- compactifications of some moduli spaces of K3 surfaces with a nonsymplectic automorphism of order $3$ and $4$ for which the fixed locus of the automorphism contains a curve of genus $\ge2$. For order $3$, we treat all the maximal-dimensional such families. We show that the toroidal and the KSBA compactifications in these cases admit simple descriptions in terms of certain $ADE$ root lattices.

math.AG

Counting 3-uple Veronese surfaces

This paper culminates in the count of the number of 3-Veronese surfaces passing through 13 general points. This follows the case of 2-Veronese surfaces discovered by Coble in the 1920's. One important element of the calculation is a direct construction of a space of "complete triangles." Our construction is different from the classical ordered constructions of Schubert, Collino and Fulton, as it occurs directly on the Hilbert scheme of length 3 subschemes of the plane. We transport the enumerative problem into a 26-dimensional Grassmannian bundle over our space of complete triangles, where we perform Atiyah-Bott localization. Several important questions arise, which we collect at the end of the paper.

math.AG

A Thurston compactification of the space of stability conditions

We propose compactifications of the moduli space of Bridgeland stability conditions of a triangulated category. Our construction arises from a viewing a stability condition as a metric on the underlying category and is inspired by the Thurston compactification of the Teichmüller space of hyperbolic metrics on a surface. The key ingredient in the construction are maps from the stability manifold to an infinite projective space. We prove that, under suitable hypotheses, these maps are injective and their image has a compact closure. We identify a family of points in the boundary that are categorical analogous to the intersection functionals in Teichmüller theory. We study in detail the geometry of the resulting compactification for the 2-Calabi--Yau categories of quivers, and fully work out the cases of the \(A_2\) and \(\widehat{A_1}\) quivers. To do so, we carefully examine the dynamics of Harder--Narasimhan multiplicities under auto-equivalences of the category. We introduce a finite automaton to study this dynamics and employ it in our analysis of the \(A_{2}\) and \(\widehat{A_1}\) categories.

math.RT

Orbits of linear series on the projective line

We compute the equivariant fundamental class of the orbit closure of a linear series on the projective line. We also describe the boundary of the orbit closure and how the orbits specialise in one parameter families.

math.AG

A Universal Formula For Counting Cubic Surfaces

Using equivariant geometry, we find a universal formula that computes the number of times a general cubic surface arises in a family. As applications, we show that the PGL(4) orbit closure of a generic cubic surface has degree 96120, and that a general cubic surface arises 42120 times as a hyperplane section of a general cubic 3-fold.

math.AG

Spherical objects and stability conditions on 2-Calabi--Yau quiver categories

Consider a 2-Calabi--Yau triangulated category with a Bridgeland stability condition. We devise an effective procedure to reduce the phase spread of an object by applying spherical twists. Using this, we give new proofs of the following theorems for 2-Calabi--Yau categories associated to ADE quivers: (1) all spherical objects lie in a single orbit of the braid group, and (2) the space of Bridgeland stability conditions is connected.

math.RT

Stable log surfaces, admissible covers, and canonical curves of genus 4

We explicitly describe the KSBA/Hacking compactification of a moduli space of log surfaces of Picard rank 2. The space parametrizes log pairs $(S, D)$ where $S$ is a degeneration of $\mathbb{P}^1 \times \mathbb{P}^1$ and $D \subset S$ is a degeneration of a curve of class $(3,3)$. We prove that the compactified moduli space is a smooth Deligne--Mumford stack with 4 boundary components. We relate it to the moduli space of genus 4 curves; we show that it compactifies the blow-up of the hyperelliptic locus. We also relate it to a compactification of the Hurwitz space of triple coverings of $\mathbb{P}^1$ by genus 4 curves.

math.AG

Anticanonical tropical cubic del Pezzos contain exactly 27 lines

The classical statement of Cayley-Salmon that there are 27 lines on every smooth cubic surface in P^3 fails to hold under tropicalization: a tropical cubic surface in TP^3 often contains infinitely many tropical lines. Under mild genericity assumptions, we show that when embedded using the Eckardt triangles in the anticanonical system, tropical cubic del Pezzo surfaces contain exactly 27 tropical lines. In the non-generic case, which we identify explicitly, we find up to 27 extra lines, no multiple of which lifts to a curve on the cubic surface. We realize the moduli space of stable anticanonical tropical cubics as a four-dimensional fan in R^40 with an action of the Weyl group W(E_6). In the absence of Eckardt points, we show the combinatorial types of these tropical surfaces are determined by the boundary arrangement of 27 metric trees corresponding to the tropicalization of the classical 27 lines on the smooth algebraic cubic surfaces. Tropical convexity and the combinatorics of the root system E_6 play a central role in our analysis.

math.AG

Vector bundles and finite covers

Motivated by the problem of finding algebraic constructions of finite coverings in commutative algebra, the Steinitz realization problem in number theory, and the study of Hurwitz spaces in algebraic geometry, we investigate the vector bundles underlying the structure sheaf of a finite flat branched covering. We prove that, up to a twist, every vector bundle on a smooth projective curve arises from the direct image of the structure sheaf of a smooth, connected branched cover.

math.AG

Ramification divisors of general projections

We study the ramification divisors of projections of a smooth projective variety onto a linear subspace of the same dimension. We prove that the ramification divisors vary in a maximal dimensional family for a large class of varieties. Going further, we study the map that associates to a linear projection its ramification divisor. We show that this map is dominant for most (but not all!) varieties of minimal degree, using (linked) limit linear series of higher rank. We find the degree of this map in some cases, extending the classical appearance of Catalan numbers in the geometry of rational normal curves, and give a geometric explanation of its fibers in terms of torsion points of naturally occurring elliptic curves in the case of the Veronese surface and the quartic rational surface scroll.

math.AG

Covers of stacky curves and limits of plane quintics

We construct a well-behaved compactification of finite covers of a stacky curve using admissible cover degenerations. Using our construction, we compactify the space of tetragonal curves on Hirzebruch surfaces. As an application, we explicitly describe the boundary divisors of the closure in $\overline{M}_6$ of the locus of smooth plane quintic curves.

math.AG

Syzygy divisors on Hurwitz spaces

We describe a sequence of effective divisors on the Hurwitz space $H_{d,g}$ for $d$ dividing $g-1$ and compute their cycle classes on a partial compactification. These divisors arise from vector bundles of syzygies canonically associated to a branched cover. We find that the cycle classes are all proportional to each other.

math.AG

Green's canonical syzygy conjecture for ribbons

Green's canonical syzygy conjecture asserts a simple relationship between the Clifford index of a smooth projective curve and the shape of the minimal free resolution of its homogeneous ideal in the canonical embedding. We prove the analogue of this conjecture formulated by Bayer and Eisenbud for a class of non-reduced curves called ribbons. Our proof uses the results of Voisin and Hirschowitz-Ramanan on Green's conjecture for general smooth curves.

math.AG