We gratefully acknowledge support from
the Simons Foundation and member institutions.

Algebraic Geometry

New submissions

[ total of 21 entries: 1-21 ]
[ showing up to 2000 entries per page: fewer | more ]

New submissions for Thu, 26 Jan 23

[1]  arXiv:2301.10302 [pdf, ps, other]
Title: A database of basic numerical invariants of Hilbert modular surfaces
Subjects: Algebraic Geometry (math.AG); Number Theory (math.NT)

We describe algorithms for computing geometric invariants for Hilbert modular surfaces, and we report on their implementation.

[2]  arXiv:2301.10447 [pdf, ps, other]
Title: On algebraic and non-algebraic neighborhoods of rational curves
Authors: Serge Lvovski
Comments: 13 pages
Subjects: Algebraic Geometry (math.AG)

We prove that for any $d\ge5$ there exists an embedding of the Riemann sphere $\mathbb P^1$ in a smooth complex surface, with self-intersection $d$, such that the germ of this embedding cannot be extended to an embedding in an algebraic surface but the field of germs of meromorphic functions along $C$ has transcendence degree $2$ over $\mathbb C$. En route to the proof of this result we obtain a classification, up to isomorphism, of germs of embeddings of the Riemann sphere $\mathbb P^1$ that can be extended to an embedding of $\mathbb P^1$ in a smooth algebraic surface.

[3]  arXiv:2301.10596 [pdf, ps, other]
Title: Vanishing Theorem for Hodge Ideals on smooth hypersurfaces
Authors: Anh Duc Vo
Comments: Comments welcome
Subjects: Algebraic Geometry (math.AG)

We use a Koszul-type resolution to prove a weak version of Bott's vanishing theorem for smooth hypersurfaces in $\mathbb{P}^n$ and use this result to prove a vanishing theorem for Hodge ideals associated with an effective Cartier divisor on a hypersurface. This extends an earlier result of Mustata and Popa.

[4]  arXiv:2301.10621 [pdf, other]
Title: A signed count of 2-torsion points on real abelian varieties
Authors: Mario Kummer
Subjects: Algebraic Geometry (math.AG)

We prove that a natural signed count of the $2$-torsion points on a real principally polarized abelian variety $A$ always equals to $2^{g}$ where $g$ is the dimension of $A$. When $A$ is the Jacobian of a real curve we derive signed counts of real odd theta characteristics. These can be interpreted in terms of the extrinsic geometry of contact hyperplanes to the canonical embedding of the curve. We also formulate a conjectural generalization to arbitrary fields in terms of $\mathbb{A}^1$-enumerative geometry.

[5]  arXiv:2301.10636 [pdf, ps, other]
Title: Equations for formal toric degenerations
Authors: Bernard H Teissier (IMJ-PRG)
Subjects: Algebraic Geometry (math.AG)

Let $R$ be a complete equicharacteristic noetherian local domain and $\nu$ a valuation of its field of fractions whose valuation ring dominates $R$ with trivial residue field extension. The semigroup of values of $\nu$ on $R\setminus \{0\}$ is not finitely generated in general. We produce equations in an appropriate generalized power series ring for the algebra encoding the degeneration of $R$ to the toric graded algebra ${\rm gr}_\nu R$ associated to the filtration defined by $\nu$. We apply this to represent $\nu$ as the limit of a sequence of Abhyankar semivaluations (valuations on quotients) of $R$ with finitely generated semigroups.

Cross-lists for Thu, 26 Jan 23

[6]  arXiv:2301.10342 (cross-list from math.NT) [pdf, ps, other]
Title: Two-step nilpotent extensions are not anabelian
Subjects: Number Theory (math.NT); Algebraic Geometry (math.AG)

We prove the existence of two non-isomorphic number fields $K$ and $L$ such that the maximal two-step nilpotent quotients of their absolute Galois groups are isomorphic. In particular, one may take $K$ and $L$ to be any of the imaginary quadratic number fields of discriminant -11, -19, -43, -67, -163. Furthermore, we give an explicit combinatorial description of these Galois groups in terms of a generalization of the Rado graph. A critical ingredient in our proofs is the back-and-forth method from model theory.

[7]  arXiv:2301.10464 (cross-list from math.CT) [pdf, ps, other]
Title: Central support for triangulated categories
Authors: Henning Krause
Comments: 18 pages
Subjects: Category Theory (math.CT); Algebraic Geometry (math.AG); Algebraic Topology (math.AT); Representation Theory (math.RT)

For any essentially small triangulated category the centre of its lattice of thick subcategories is introduced; it is a spatial frame and yields a notion of central support. A relative version of this centre recovers the support theory for tensor triangulated categories and provides a universal notion of cohomological support. Along the way we establish Mayer-Vietoris sequences for pairs of commuting subcategories.

[8]  arXiv:2301.10525 (cross-list from math.SG) [pdf, other]
Title: Symplectomorphisms and spherical objects in the conifold smoothing
Comments: 33 pages, 3 figures; comments welcome
Subjects: Symplectic Geometry (math.SG); Algebraic Geometry (math.AG)

Let $X$ denote the `conifold smoothing', the symplectic Weinstein manifold which is the complement of a smooth conic in $T^*S^3$, or equivalently the plumbing of two copies of $T^*S^3$ along a Hopf link. Let $Y$ denote the `conifold resolution', by which we mean the complement of a smooth divisor in $\mathcal{O}(-1) \oplus \mathcal{O}(-1) \to \mathbb{P}^1$. We prove that the compactly supported symplectic mapping class group of $X$ splits off a copy of an infinite rank free group, in particular is infinitely generated; and we classify spherical objects in the bounded derived category $D(Y)$ (the three-dimensional `affine $A_1$-case'). Our results build on work of Chan-Pomerleano-Ueda and Toda, and both theorems make essential use of working on the `other side' of the mirror.

[9]  arXiv:2301.10627 (cross-list from math.CO) [pdf, ps, other]
Title: MV polytopes and reduced double Bruhat cells
Authors: Kathlyn Dykes
Comments: 29 pages
Subjects: Combinatorics (math.CO); Algebraic Geometry (math.AG)

When $G$ is a complex reductive algebraic group, MV polytopes are in bijection with the non-negative tropical points of the unipotent group of $G$. By fixing $w$ from the Weyl group, we can define MV polytopes whose highest vertex is labelled by $w$. We show that these polytopes are in bijection with the non-negative tropical points of the reduced double Bruhat cell labelled by $w^{-1}$. To do this, we define a collection of generalized minor functions $\Delta_\gamma^\text{new}$ which tropicalize on the reduced Bruhat cell to the BZ data of an MV polytope of highest vertex $w$.
We also describe the combinatorial structure of MV polytopes of highest vertex $w$. We explicitly describe the map from the Weyl group to the subset of elements bounded by $w$ in the Bruhat order which sends $u \mapsto v$ if the vertex labelled by $u$ coincides with the vertex labelled by $v$ for every MV polytope of highest vertex $w$. As a consequence of this map, we prove that these polytopes have vertices labelled by Weyl group elements less than $w$ in the Bruhat order.

[10]  arXiv:2301.10647 (cross-list from cs.IT) [pdf, ps, other]
Title: Finite alphabet phase retrieval
Subjects: Information Theory (cs.IT); Signal Processing (eess.SP); Algebraic Geometry (math.AG)

We consider the finite alphabet phase retrieval problem: recovering a signal whose entries lie in a small alphabet of possible values from its Fourier magnitudes. This problem arises in the celebrated technology of X-ray crystallography to determine the atomic structure of biological molecules. Our main result states that for generic values of the alphabet, two signals have the same Fourier magnitudes if and only if several partitions have the same difference sets. Thus, the finite alphabet phase retrieval problem reduces to the combinatorial problem of determining a signal from those difference sets. Notably, this result holds true when one of the letters of the alphabet is zero, namely, for sparse signals with finite alphabet, which is the situation in X-ray crystallography.

[11]  arXiv:2301.10660 (cross-list from quant-ph) [pdf, ps, other]
Title: A hyperdeterminant on Fermionic Fock Space
Comments: 12 pages
Subjects: Quantum Physics (quant-ph); Algebraic Geometry (math.AG); Representation Theory (math.RT)

Twenty years ago Cayley's hyperdeterminant, the degree four invariant of the polynomial ring $\mathbb{C}[\mathbb{C}^2\otimes\mathbb{C}^2\otimes \mathbb{C}^2]^{{\text{SL}_2(\mathbb{C})}^{\times 3}}$, was popularized in modern physics as separates genuine entanglement classes in the three qubit Hilbert space and is connected to entropy formulas for special solutions of black holes. In this note we compute the analogous invariant on the fermionic Fock space for $N=8$, i.e. spin particles with four different locations, and show how this invariant projects to other well-known invariants in quantum information. We also give combinatorial interpretations of these formulas.

Replacements for Thu, 26 Jan 23

[12]  arXiv:math/0405156 (replaced) [pdf, ps, other]
Title: Del Pezzo surfaces of degree 2 and jacobians without complex multiplication
Authors: Yuri G. Zarhin
Comments: Typos at the last paragraph of Proof of Lemma 1.3 were fixed
Journal-ref: Amer. Math. Soc. Transl. (2) Vol. 218 (2006), p. 67--75
Subjects: Algebraic Geometry (math.AG)
[13]  arXiv:2002.06565 (replaced) [pdf, ps, other]
Title: Boundedness of the base varieties of certain fibrations
Authors: Zhan Li
Comments: 26 pages
Subjects: Algebraic Geometry (math.AG)
[14]  arXiv:2112.14106 (replaced) [pdf, other]
Title: On construction of k-regular maps to Grassmannians via algebras of socle dimension two
Comments: final version
Subjects: Algebraic Geometry (math.AG); Differential Geometry (math.DG)
[15]  arXiv:2203.03987 (replaced) [pdf, ps, other]
Title: Rank 4 stable vector bundles on hyperkähler fourfolds of Kummer type
Comments: 45 pages. The present version contains a proof of the unicity (up to isomorphism) of the stable vector bundles on polarized hyperk\"ahler fourfolds of Kummer type whose existence was proved in the first version. We also eliminated a paragraph which had ended up by mistake in the introduction of the second version
Subjects: Algebraic Geometry (math.AG)
[16]  arXiv:2301.04997 (replaced) [pdf, ps, other]
Title: Remarks on the geometry of the variety of planes of a cubic fivefold
Authors: René Mboro
Comments: reference to already existing results added
Subjects: Algebraic Geometry (math.AG)
[17]  arXiv:2301.09155 (replaced) [pdf, ps, other]
Title: Realizing a Fake Projective Plane as a Degree 25 Surface in $\mathbb P^5$
Comments: 11 pages, 1 table. Mathematica, Magma, and Macaulay2 code and key equations from the paper are included in separate files for convenience
Subjects: Algebraic Geometry (math.AG)
[18]  arXiv:1712.01131 (replaced) [pdf, ps, other]
Title: Relative Ding and $K$-stability of toric Fano manifolds in low dimensions
Comments: (1) The title has been slightly changed. Accepted for publication in European Journal of Mathematics. (2) Throughout the paper, we use the terminology of stability instead of polystability for simplicity
Subjects: Differential Geometry (math.DG); Algebraic Geometry (math.AG)
[19]  arXiv:2206.05721 (replaced) [pdf, ps, other]
Title: On the homology of the noncrossing partition lattice and the Milnor fibre
Authors: Yang Zhang
Comments: 36 pages, with more examples and details
Subjects: Combinatorics (math.CO); Algebraic Geometry (math.AG); Algebraic Topology (math.AT); Rings and Algebras (math.RA); Representation Theory (math.RT)
[20]  arXiv:2206.11688 (replaced) [pdf, ps, other]
Title: Motivic stable cohomotopy and unimodular rows
Authors: Samuel Lerbet (IF)
Comments: v2. Substantially reworked introduction; the last section on comparisons between cohomotopy theories was added. 38 pages
Subjects: K-Theory and Homology (math.KT); Algebraic Geometry (math.AG)
[21]  arXiv:2301.09444 (replaced) [pdf, ps, other]
Title: The symplectic holomorphic density property for Calogero-Moser spaces
Comments: 29 pages, email addresses added
Subjects: Complex Variables (math.CV); Algebraic Geometry (math.AG); Symplectic Geometry (math.SG)
[ total of 21 entries: 1-21 ]
[ showing up to 2000 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, math, recent, 2301, contact, help  (Access key information)