A log resolution for the theta divisor of a hyperelliptic curve

Christian Schnell,Ruijie Yang

2024-01-05

Abstract:In this paper, we prove that the theta divisor of a smooth hyperelliptic curve has a natural and explicit embedded resolution of singularities using iterated blowups of Brill-Noether subvarieties. We also show that the Brill-Noether stratification of the hyperelliptic Jacobian is a Whitney stratification.

Algebraic Geometry

What problem does this paper attempt to address?

Logarithmic Vanishing Theorems for Effective Q-Ample Divisors

Kefeng Liu,Xueyuan Wan,Xiaokui Yang

DOI: https://doi.org/10.1007/s11425-019-9553-2

2019-01-01

Science China Mathematics

Abstract:Let X be a compact Kähler manifold and D be a simple normal crossing divisor. If D is the support of some effective k-ample divisor, we show H^q(X,Ω^p_X(log D))=0, for p+q>n+k.
Local structure of theta divisors and related loci of generic curves

Nero Budur

2024-03-19

Abstract:For a generic compact Riemann surface the theta function is at every point on the Jacobian equal to its first Taylor term, up to a holomorphic change of local coordinates and multiplication by a local holomorphic unit. More generally, any Brill-Noether locus of twisted stable vector bundles on a smooth projective curve is at every point L locally étale isomorphic with its tangent cone if the Petri map at L is injective. This assumption has various consequences for Brill-Noether loci: positive answers to the monodromy conjecture for generalized theta divisors and to questions of Schnell-Yang on log resolutions and Whitney stratifications, and formulas for local b-functions, log canonical thresholds, topological zeta functions, and minimal discrepancies.

Algebraic Geometry
Logarithmic resolution via multi-weighted blow-ups

Dan Abramovich,Ming Hao Quek

2024-10-30

Abstract:We first introduce and study the notion of multi-weighted blow-ups, which is later used to systematically construct an explicit yet efficient algorithm for functorial logarithmic resolution in characteristic zero, in the sense of Hironaka. Specifically, for a singular, reduced closed subscheme $X$ of a smooth scheme $Y$ over a field of characteristic zero, we resolve the singularities of $X$ by taking proper transforms $X_i \subset Y_i$ along a sequence of multi-weighted blow-ups $Y_N \to Y_{N-1} \to \dotsb \to Y_0 = Y$ which satisfies the following properties: (i) the $Y_i$ are smooth Artin stacks with simple normal crossing exceptional loci; (ii) at each step we always blow up the worst singular locus of $X_i$, and witness on $X_{i+1}$ an immediate improvement in singularities; (iii) and finally, the singular locus of $X$ is transformed into a simple normal crossing divisor on $X_N$.

Algebraic Geometry
On the singularities of the theta divisors on Jacobians

P.Bressler,J.-L.Brylinski

DOI: https://doi.org/10.48550/arXiv.alg-geom/9701009

1997-03-20

Abstract:We study the intersection cohomology of the theta divisors on Jacobians of nonhyperelliptic curves.

Algebraic Geometry
Logarithmic resolution via weighted toroidal blow-ups

Ming Hao Quek

2023-11-19

Abstract:Let $X$ be a fs logarithmic scheme that is generically logarithmically smooth, and that admits a strict closed embedding into a logarithmically smooth scheme $Y$ over a field $\kk$ of characteristic zero. We construct a simple and fast procedure to functorial logarithmic resolution of $X$, where the end result is in particular a stack-theoretic modification $X' \rightarrow X$ such that $X'$ is logarithmically smooth over $k$. In particular, if $X$ is a closed subscheme of a smooth $k$-scheme $Y$, the procedure not only shares the same desirable features as the 'dream resolution algorithm' of Abramovich-Temkin-Wlodarczyk (<a class="link-https" data-arxiv-id="1906.07106" href="https://arxiv.org/abs/1906.07106">arXiv:1906.07106</a>), but also accounts for a key feature of Hironaka's Main Theorem I, which was not addressed in <a class="link-https" data-arxiv-id="1906.07106" href="https://arxiv.org/abs/1906.07106">arXiv:1906.07106</a>. As a consequence, we recover a different and simpler approach to Hironaka's resolution of singularities in characteristic zero.

Algebraic Geometry
Characterization of Products of Theta Divisors

Zhi Jiang,Marti Lahoz,Sofia Tirabassi

DOI: https://doi.org/10.1112/s0010437x13007884

2014-01-01

Compositio Mathematica

Abstract:Abstract We study products of irreducible theta divisors from two points of view. On the one hand, we characterize them as normal subvarieties of abelian varieties such that a desingularization has holomorphic Euler characteristic $\def \xmlpi #1{}\def \mathsfbi #1{\boldsymbol {\mathsf {#1}}}\let \le =\leqslant \let \leq =\leqslant \let \ge =\geqslant \let \geq =\geqslant \def \Pr {\mathit {Pr}}\def \Fr {\mathit {Fr}}\def \Rey {\mathit {Re}}1$. On the other hand, we identify them up to birational equivalence among all varieties of maximal Albanese dimension. We also describe the structure of varieties $X$ of maximal Albanese dimension, with holomorphic Euler characteristic $1$ and irregularity $2\dim X-1$.
General birationality and Hyperelliptic Theta divisors

Fabrizio Catanese

2024-04-27

Abstract:We first state a condition ensuring that having a birational map onto the image is an open property for families of irreducible normal non uniruled varieties. We give then some criteria to ensure general birationality for a family of rational maps, via specializations. Among the applications is a new proof of a result obtained jointly with Luca Cesarano: that, for a general pair $(A,X)$ of an (ample) Hypersurface $X$ in an Abelian Variety $A$, the canonical map $\Phi_X$ of $X$ is birational onto its image if the polarization given by $X$ is not principal. The proof is also based on a careful study of the Theta divisors of the Jacobians of Hyperelliptic curves, and some related geometrical constructions. We investigate these here also in view of their beauty and of their independent interest, as they lead to a description of the rings of Hyperelliptic theta functions.

Algebraic Geometry,Complex Variables
Blowups and Resolution

Herwig Hauser

DOI: https://doi.org/10.48550/arXiv.1404.1041

2014-04-04

Abstract:This article shall serve as a quick reference for somebody who needs precise information on concepts and results related to resolution of singularities. As such, it is more a technical manual than a bedtime story. Topics which are covered: Singular and regular points of varieties and schemes; various definitions of blowups and their mutual relations; properties of blowups; transforms of varieties, schemes and ideals; exceptional divisors; Cartier and normal crossings divisors; transversality; hypersurfaces of maximal contact; flags; coefficient ideals; resolution invariants; order of ideals; Hilbert-Samuel function; semicontinuity; various resolution statements; characteristic zero resolution; characteristic p phenomena. The text is complemented with lots of illustrating examples.

Algebraic Geometry,Commutative Algebra
A short resolution of the diagonal for smooth projective toric varieties of Picard rank 2

Michael K. Brown,Mahrud Sayrafi

DOI: https://doi.org/10.2140/ant.2024.18.1923

2024-10-23

Abstract:Given a smooth projective toric variety $X$ of Picard rank 2, we resolve the diagonal sheaf on $X \times X$ by a linear complex of length $\dim{X}$ consisting of finite direct sums of line bundles. As applications, we prove a new case of a conjecture of Berkesch-Erman-Smith that predicts a version of Hilbert's Syzygy Theorem for virtual resolutions, and we obtain a Horrocks-type splitting criterion for vector bundles over smooth projective toric varieties of Picard rank 2, extending a result of Eisenbud-Erman-Schreyer. We also apply our results to give a new proof, in the case of smooth projective toric varieties of Picard rank 2, of a conjecture of Orlov concerning the Rouquier dimension of derived categories.

Algebraic Geometry,Commutative Algebra
Relative and logarithmic resolution of singularities

Michael Temkin

2023-03-01

Abstract:These lecture notes provide a unified overview of most known canonical desingularization methods in characteristic zero. It starts with discussing the classical method, and then proceeds with the recently discovered ones: logarithmic desingularization of logarithmic schemes and morphisms, weighted methods: logarithmic and non-logarithmic ones, desingularization in wider contexts: quasi-excellent schemes and formal schemes, complex and non-archimedean spaces.

Algebraic Geometry
A multi-dimensional resolution of singularities with applications to analysis

Tristan Collins,Allan Greenleaf,Malabika Pramanik

DOI: https://doi.org/10.48550/arXiv.1007.0519

2011-08-06

Abstract:We formulate a resolution of singularities algorithm for analyzing the zero sets of real-analytic functions in dimensions $\geq 3$. Rather than using the celebrated result of Hironaka, the algorithm is modeled on a more explicit and elementary approach used in the contemporary algebraic geometry literature. As an application, we define a new notion of the height of real-analytic functions, compute the critical integrability index and obtain the sharp growth rate of sublevel sets. This also leads to a characterization of the oscillation index of scalar oscillatory integrals with real-analytic phases in all dimensions.

Classical Analysis and ODEs
Local Euler characteristics of $A_n$-singularities and their application to hyperbolicity

Nils Bruin,Nathan Ilten,Zhe Xu

2023-12-04

Abstract:Wahl's local Euler characteristic measures the local contributions of a singularity to the usual Euler characteristic of a sheaf. Using tools from toric geometry, we study the local Euler characteristic of sheaves of symmetric differentials for isolated surface singularities of type $A_n$. We prove an explicit formula for the local Euler characteristic of the $m$th symmetric power of the cotangent bundle; this is a quasi-polynomial in $m$ of period $n+1$. We also express the components of the local Euler characteristic as a count of lattice points in a non-convex polyhedron, again showing it is a quasi-polynomial. We apply our computations to obtain new examples of algebraic quasi-hyperbolic surfaces in $\mathbb{P}^3$ of low degree. We show that an explicit family of surfaces with many singularities constructed by Labs has no genus $0$ curves for the members of degree at least $8$ and no curves of genus $0$ or $1$ for degree at least $10$.

Algebraic Geometry,Number Theory
A Note on the Strict Transformation of an Effective Cartier Divisor

Yu Zhao

2023-04-19

Abstract:Let $Y$ be an effective Cartier divisor of a smooth variety $Z$. Let $X_{i}$, $i\in \{1,\cdots,n\}$ be a set of pairwise disjoint smooth subvarieties in $Y$ such that their union contains the singular locus of $Y$. In this paper, we give a sufficient condition such that $Bl_{X}Y$ is smooth, where $X$ is the disjoint union of all $X_{i}$. Moreover, we prove that assuming a dimensional condition, there is an admissible subcategory of $D^{b}(Bl_{X}Y)$ which is a weak categorical crepant resolution of $Y$ in the sense of Kuznetsov.

Algebraic Geometry
Addition of Divisors on Hyperelliptic Curves via Interpolation Polynomials

Julia Bernatska,Yaacov Kopeliovich

DOI: https://doi.org/10.48550/arXiv.1912.13277

2019-12-31

Algebraic Geometry

Abstract:Two problems are addressed: reduction of an arbitrary degree non-special divisor to the equivalent divisor of the degree equal to genus of a curve, and addition of divisors of arbitrary degrees. The hyperelliptic case is considered as the simplest model. Explicit formulas defining reduced divisors for some particular cases are found. The reduced divisors are obtained in the form of solution of the Jacobi inversion problem which provides the way of computing Abelian functions on arbitrary non-special divisors. An effective reduction algorithm is proposed, which has the advantage that it involves only arithmetic operations on polynomials. The proposed addition algorithm contains more details comparing with the known in cryptography, and is extended to divisors of arbitrary degrees comparing with the known in the theory of hyperelliptic functions.
A Torelli theorem for graphs via quasistable divisors

Alex Abreu,Marco Pacini

2023-09-09

Abstract:The Torelli theorem establishes that the Jacobian of a smooth projective curve, together with the polarization provided by the theta divisor, fully characterizes the curve. In the case of nodal curves, there exists a concept known as fine compactified Jacobian. The fine compactified Jacobian of a curve comes with a natural stratification that can be regarded as a poset. Furthermore, this poset is entirely determined by the dual graph of the curve and is referred to as the poset of quasistable divisors on the graph. We present a combinatorial version of the Torelli theorem, which demonstrates that the poset of quasistable divisors of a graph completely determines the biconnected components of the graph (up to contracting separating edges). Moreover, we achieve a natural extension of this theorem to tropical curves.

Combinatorics,Algebraic Geometry
Realizability of tropical pluri-canonical divisors

Felix Röhrle,Johannes Schwab

2024-09-24

Abstract:Consider a pair consisting of an abstract tropical curve and an effective divisor from the linear system associated to $k$ times the canonical divisor for $k \in \mathbb{Z}_{\geq 1}$. In this article we give a purely combinatorial criterion to determine if such a pair arises as the tropicalization of a pair consisting of a smooth algebraic curve over a non-Archimedean field with algebraically closed residue field of characteristic 0 together with an effective pluri-canonical divisor. To do so, we introduce tropical normalized covers as special instances of tropical Hurwitz covers and reduce the realizability problem for pluri-canonical divisors to the realizability problem for normalized covers. Our main result generalizes the work of Möller-Ulirsch-Werner on realizability of tropical canonical divisors and incorporates the recent progress on compactifications of strata of $k$-differentials in the work of Bainbridge-Chen-Gendron-Grushevsky-Möller.

Algebraic Geometry,Geometric Topology
Resolution of $1$-foliations singularities on surfaces and threefolds

Quentin Posva

2024-05-09

Abstract:We consider resolution of singularities for $1$-foliations on varieties of dimension at most three in positive characteristic. We prove that such singularities can be completely resolved if we allow tame regular Deligne--Mumford stacks as underlying spaces. If one restricts to underlying varieties, we show that $1$-foliations singularities can be simplified into multiplicative ones.

Algebraic Geometry
Minimal resolutions of threefolds

Hsin-Ku Chen

2023-04-18

Abstract:We describe the resolution of singularities of a threefold which has minimal Picard number. We describe the relation between this minimal resolution and an arbitrary resolution of singularities.

Algebraic Geometry
Gromov elliptic resolutions of quartic double solid

Ciro Ciliberto,Mikhail Zaidenberg

2024-09-28

Abstract:We construct examples of nodal quartic double solids that admit uniformly rational, and so elliptic in Gromov' sense, small algebraic resolutions.

Algebraic Geometry
Small resolutions of moduli spaces of scaled curves

Adrian Zahariuc

2023-07-18

Abstract:We construct small resolutions of the moduli space $\overline{Q}_n$ of stable scaled $n$-marked lines of Ziltener and Ma'u--Woodward and of the moduli space $\overline{P}_n$ of stable $n$-marked ${\mathbb G}_a$-rational trees introduced in earlier work. The resolution of $\overline{P}_n$ is the augmented wonderful variety corresponding to the graphic matroid of the complete graph. The resolution of $\overline{Q}_n$ is a further blowup, also a wonderful model of an arrangement in ${\mathbb P}^{n-1}$.

Algebraic Geometry,Combinatorics

A log resolution for the theta divisor of a hyperelliptic curve

Logarithmic Vanishing Theorems for Effective Q-Ample Divisors

Local structure of theta divisors and related loci of generic curves

Logarithmic resolution via multi-weighted blow-ups

On the singularities of the theta divisors on Jacobians

Logarithmic resolution via weighted toroidal blow-ups

Characterization of Products of Theta Divisors

General birationality and Hyperelliptic Theta divisors

Blowups and Resolution

A short resolution of the diagonal for smooth projective toric varieties of Picard rank 2

Relative and logarithmic resolution of singularities

A multi-dimensional resolution of singularities with applications to analysis

Local Euler characteristics of $A_n$-singularities and their application to hyperbolicity

A Note on the Strict Transformation of an Effective Cartier Divisor

Addition of Divisors on Hyperelliptic Curves via Interpolation Polynomials

A Torelli theorem for graphs via quasistable divisors

Realizability of tropical pluri-canonical divisors

Resolution of $1$-foliations singularities on surfaces and threefolds

Minimal resolutions of threefolds

Gromov elliptic resolutions of quartic double solid

Small resolutions of moduli spaces of scaled curves