Algebraic Geometry
New submissions
[ 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 surfacesAuthors: Eran Assaf, Angelica Babei, Ben Breen, Edgar Costa, Juanita DuqueRosero, Aleksander Horawa, Jean Kieffer, Avinash Kulkarni, Grant Molnar, Sam Schiavone, John VoightSubjects: 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 nonalgebraic neighborhoods of rational curvesAuthors: Serge LvovskiComments: 13 pagesSubjects: 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 selfintersection $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 hypersurfacesAuthors: Anh Duc VoComments: Comments welcomeSubjects: Algebraic Geometry (math.AG)
We use a Koszultype 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 2torsion points on real abelian varietiesAuthors: Mario KummerSubjects: 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 degenerationsAuthors: Bernard H Teissier (IMJPRG)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.
Crosslists for Thu, 26 Jan 23
 [6] arXiv:2301.10342 (crosslist from math.NT) [pdf, ps, other]

Title: Twostep nilpotent extensions are not anabelianSubjects: Number Theory (math.NT); Algebraic Geometry (math.AG)
We prove the existence of two nonisomorphic number fields $K$ and $L$ such that the maximal twostep 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 backandforth method from model theory.
 [7] arXiv:2301.10464 (crosslist from math.CT) [pdf, ps, other]

Title: Central support for triangulated categoriesAuthors: Henning KrauseComments: 18 pagesSubjects: 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 MayerVietoris sequences for pairs of commuting subcategories.
 [8] arXiv:2301.10525 (crosslist from math.SG) [pdf, other]

Title: Symplectomorphisms and spherical objects in the conifold smoothingComments: 33 pages, 3 figures; comments welcomeSubjects: 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 threedimensional `affine $A_1$case'). Our results build on work of ChanPomerleanoUeda and Toda, and both theorems make essential use of working on the `other side' of the mirror.
 [9] arXiv:2301.10627 (crosslist from math.CO) [pdf, ps, other]

Title: MV polytopes and reduced double Bruhat cellsAuthors: Kathlyn DykesComments: 29 pagesSubjects: Combinatorics (math.CO); Algebraic Geometry (math.AG)
When $G$ is a complex reductive algebraic group, MV polytopes are in bijection with the nonnegative 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 nonnegative 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 (crosslist from cs.IT) [pdf, ps, other]

Title: Finite alphabet phase retrievalSubjects: 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 Xray 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 Xray crystallography.
 [11] arXiv:2301.10660 (crosslist from quantph) [pdf, ps, other]

Title: A hyperdeterminant on Fermionic Fock SpaceComments: 12 pagesSubjects: Quantum Physics (quantph); 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 wellknown 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 multiplicationAuthors: Yuri G. ZarhinComments: Typos at the last paragraph of Proof of Lemma 1.3 were fixedJournalref: Amer. Math. Soc. Transl. (2) Vol. 218 (2006), p. 6775Subjects: Algebraic Geometry (math.AG)
 [13] arXiv:2002.06565 (replaced) [pdf, ps, other]

Title: Boundedness of the base varieties of certain fibrationsAuthors: Zhan LiComments: 26 pagesSubjects: Algebraic Geometry (math.AG)
 [14] arXiv:2112.14106 (replaced) [pdf, other]

Title: On construction of kregular maps to Grassmannians via algebras of socle dimension twoComments: final versionSubjects: 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 typeAuthors: Kieran G. O'GradyComments: 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 versionSubjects: 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 fivefoldAuthors: René MboroComments: reference to already existing results addedSubjects: 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 convenienceSubjects: Algebraic Geometry (math.AG)
 [18] arXiv:1712.01131 (replaced) [pdf, ps, other]

Title: Relative Ding and $K$stability of toric Fano manifolds in low dimensionsComments: (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 simplicitySubjects: 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 fibreAuthors: Yang ZhangComments: 36 pages, with more examples and detailsSubjects: 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 rowsAuthors: Samuel Lerbet (IF)Comments: v2. Substantially reworked introduction; the last section on comparisons between cohomotopy theories was added. 38 pagesSubjects: KTheory and Homology (math.KT); Algebraic Geometry (math.AG)
 [21] arXiv:2301.09444 (replaced) [pdf, ps, other]

Title: The symplectic holomorphic density property for CalogeroMoser spacesComments: 29 pages, email addresses addedSubjects: Complex Variables (math.CV); Algebraic Geometry (math.AG); Symplectic Geometry (math.SG)
[ 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)