Algebraic Geometry
New submissions
[ showing up to 2000 entries per page: fewer | more ]
New submissions for Mon, 18 Mar 24
- [1] arXiv:2403.09653 [pdf, other]
-
Title: A Resolution of the Diagonal for Smooth Toric VarietiesAuthors: Reginald AndersonComments: 19 pages. Submitted to Mathematical Proceedings of the Cambridge Philosophical Society. arXiv admin note: text overlap with arXiv:2303.17497Subjects: Algebraic Geometry (math.AG)
Beilinson gave a resolution of the diagonal for complex projective spaces which Bayer-Popescu-Sturmfels generalized to what they refer to as unimodular toric varieties. Here, we generalize the resolution of the diagonal due to Bayer-Popescu-Sturmfels to smooth toric varieties.
- [2] arXiv:2403.09663 [pdf, other]
-
Title: Strong Full Exceptional Collections of Line Bundles for Unimodular Toric SurfacesAuthors: Reginald AndersonComments: 16 pages, submitted to Algebraic Geometry: Foundation Compositio MathematicaSubjects: Algebraic Geometry (math.AG)
The cellular resolution of the diagonal given by Bayer-Popescu-Sturmfels for unimodular projective toric varieties yields a strong, full exceptional collection of line bundles on unimodular projective toric surfaces.
- [3] arXiv:2403.09886 [pdf, other]
-
Title: Hypertangency of plane curves and the algebraic exceptional setComments: Comments welcome!Subjects: Algebraic Geometry (math.AG); Number Theory (math.NT)
We investigate plane curves intersecting in at most two unibranched points to study the algebraic exceptional set appearing in standard conjectures of diophantine and hyperbolic geometry. Our first result compares the local geometry of two hypertangent curves, i.e. curves having maximal contact at one unibranched point. This is applied to fully describe the exceptional set and, more generally, the hyper-bitangency set, of a plane curve with three components.
- [4] arXiv:2403.09934 [pdf, ps, other]
-
Title: Symmetric products of Galois-Maximal varietiesAuthors: Javier OrtsComments: 16 pages, 1 figureSubjects: Algebraic Geometry (math.AG); Algebraic Topology (math.AT)
The main result of this paper is the proof that all the symmetric products of a finite Galois-Maximal space are Galois-Maximal spaces. This applies to the special case of real algebraic varieties, solving the problem first stated by Biswas and D'Mello in \cite{biswas&d'mello:symmetric_products_M-curves} about symmetric products of Maximal curves. We also give characterisations of these spaces and state a new definition that generalises to a larger class of spaces. Then, we extend the characterisation in terms of the Borel cohomology given in \cite{us} to the new family. Finally, we introduce the notion of cohomological stability and cohomological splitting, provide a systematic treatment and relate them with the properties of being a Maximal or Galois-Maximal space. These cohomological properties play an important role in the proof of our main theorem.
- [5] arXiv:2403.09945 [pdf, other]
-
Title: Cox rings of nef anticanonical rational surfacesSubjects: Algebraic Geometry (math.AG)
This paper deals with the problem of computing a generating set for the Cox ring $R(X)$ of a smooth projective rational surface $X$ with nef anticanonical class. In case $R(X)$ is finitely generated, we show that the degrees of its generators are either classes of negative curves, elements of the Hilbert basis of the nef cone or certain ample classes of anticanonical degree one, which only appear when $X$ is a rational elliptic surface of Halphen index $m>2$. Moreover, we partially characterize which elements of the Hilbert basis of the nef cone are irredundant for generating $R(X)$. We apply this result to compute explicit minimal generating sets for Cox rings of some rational elliptic surfaces of Halphen index $>1$.
- [6] arXiv:2403.09959 [pdf, ps, other]
-
Title: Poset polytopes and pipe dreams: toric degenerations and beyondComments: Extended abstract for FPSAC 2024Subjects: Algebraic Geometry (math.AG); Combinatorics (math.CO); Representation Theory (math.RT)
We demonstrate how pipe dreams can be applied to the theory of poset polytopes to produce toric degenerations of flag varieties. Specifically, we present such constructions for marked chain-order polytopes of Dynkin types A and C. These toric degenerations also give rise to further algebraic and geometric objects such as PBW-monomial bases and Newton--Okounkov bodies. We discuss a construction of the former in the type A case and of the latter in type C.
- [7] arXiv:2403.10074 [pdf, ps, other]
-
Title: Birational maps to Grassmannians, representations and poset polytopesComments: 21 pagesSubjects: Algebraic Geometry (math.AG); Combinatorics (math.CO); Representation Theory (math.RT)
We study the closure of the graph of the birational map from a projective space to a Grassmannian. We provide explicit description of the graph closure and compute the fibers of the natural projection to the Grassmannian. We construct embeddings of the graph closure to the projectivizations of certain cyclic representations of a degenerate special linear Lie algebra and study algebraic and combinatorial properties of these representations. In particular, we describe monomial bases, generalizing the FFLV bases. The proof relies on combinatorial properties of a new family of poset polytopes, which are of independent interest. As a consequence we obtain flat toric degenerations of the graph closure studied by Borovik, Sturmfels and Sverrisd\'ottir.
- [8] arXiv:2403.10198 [pdf, ps, other]
-
Title: On the functoriality of refined unramified cohomologyComments: 35 pages, comments are welcomeSubjects: Algebraic Geometry (math.AG)
In this paper, we generalise the construction of the functorial pullback of refined unramified cohomology between smooth schemes, by following the ideas of Fulton's intersection theory and Rost's cycle modules. We also define standard actions of algebraic cycles on the refined unramified cohomology groups of smooth proper schemes avoiding Chow's moving lemma, which coincide with Schreieder's constructions for smooth projective schemes. As applications, we prove the projective bundle and blow-up formulas for refined unramified cohomology groups and we reduce the Rost nilpotence principle in characteristic zero to a statement concerning certain refined unramified cohomology groups. Moreover, we compute the refined unramified cohomology for smooth proper linear varieties and show that Rost's nilpotence principle holds for these varieties in characteristic zero.
- [9] arXiv:2403.10274 [pdf, ps, other]
-
Title: Topological Noetherianity of the infinite half-spin representationsComments: 30 pagesSubjects: Algebraic Geometry (math.AG); Representation Theory (math.RT)
We prove that the infinite half-spin representations are topologically Noetherian with respect to the infinite spin group. As a consequence we obtain that half-spin varieties, which we introduce, are defined by the pullback of equations at a finite level. The main example for such varieties is the infinite isotropic Grassmannian in its spinor embedding, for which we explicitly determine its defining equations.
- [10] arXiv:2403.10393 [pdf, ps, other]
-
Title: Fano fibrations and DK conjecture for relative Grassmann flipsAuthors: Marco RampazzoComments: 31 pages, 15 figures. Comments are welcome!Subjects: Algebraic Geometry (math.AG)
Given a vector bundle $\mathcal E$ on a smooth projective variety $B$, the flag bundle $\mathcal F l(1,2,\mathcal E)$ admits two projective bundle structures over the Grassmann bundles $\mathcal G r(1, \mathcal E)$ and $G r(2, \mathcal E)$. The data of a general section of a suitably defined line bundle on $\mathcal F l(1,2,\mathcal E)$ defines two varieties: a cover $X_1$ of $B$ and a fibration $X_2$ on $B$ with general fiber isomorphic to a smooth Fano variety. We construct a semiorthogonal decomposition of the derived category of $X_2$ which consists of a list of exceptional objects and a subcategory equivalent to the derived category of $X_1$. As a byproduct, we obtain a new full exceptional collection for the Fano fourfold of degree $12$ and genus $7$. Any birational map of smooth projective varieties which is resolved by blowups with exceptional divisor $\mathcal F l(1, 2, \mathcal E)$ is an instance of a so-called Grassmann flip: we prove that the DK conjecture of Bondal-Orlov and Kawamata holds for such flips. This generalizes a previous result of Leung and Xie to a relative setting.
- [11] arXiv:2403.10430 [pdf, ps, other]
-
Title: Construction of Arithmetic Teichmuller Spaces IV: Proof of the abc-conjectureAuthors: Kirti JoshiComments: 53 Pages. Preliminary Version for commentsSubjects: Algebraic Geometry (math.AG); Number Theory (math.NT)
This is a continuation of my work on Arithmetic Teichmuller Spaces developed in the present series of papers. In this paper, I show that the Theory of Arithmetic Teichmuller Spaces leads, using Shinichi Mochizuki's rubric, to a proof of the $abc$-conjecture (as asserted by Mochizuki).
Cross-lists for Mon, 18 Mar 24
- [12] arXiv:2403.05514 (cross-list from math.CO) [pdf, ps, other]
-
Title: Convex Geometry of Building SetsComments: 9 pages; v2: Minor revisionsSubjects: Combinatorics (math.CO); Algebraic Geometry (math.AG)
Building sets were introduced in the study of wonderful compactifications of hyperplane arrangement complements and were later generalized to finite meet-semilattices. Convex geometries, the duals of antimatroids, offer a robust combinatorial abstraction of convexity. Supersolvable convex geometries and antimatroids appear in the study of poset closure operators, Coxeter groups, and matroid activities. We prove that the building sets on a finite meet-semilattice form a supersolvable convex geometry.
- [13] arXiv:2403.09844 (cross-list from math.CV) [pdf, ps, other]
-
Title: The image of an analytic map germComments: 23 pSubjects: Complex Variables (math.CV); Algebraic Geometry (math.AG)
The image of a holomorphic map germ is not necessarily locally open, and it is not always well-defined as a set germ. We find the structure of what becomes the image of a map germ in case the target is a surface.
- [14] arXiv:2403.09870 (cross-list from math.AC) [pdf, ps, other]
-
Title: Bounds on the degrees of vector fieldsComments: 51 pagesSubjects: Commutative Algebra (math.AC); Algebraic Geometry (math.AG); Dynamical Systems (math.DS)
In this article, we study the generalized Poincare problem from the opposite perspective, by establishing lower bounds on the degree of the vector field in terms of invariants of the variety.
- [15] arXiv:2403.09995 (cross-list from math.NT) [pdf, ps, other]
-
Title: Toric ranks and component groups of Jacobians of modular curvesAuthors: Paul Alexander HelminckComments: 53 pages, 4 figures. Comments are welcome!Subjects: Number Theory (math.NT); Algebraic Geometry (math.AG)
Let $p\neq{2,3}$ be a prime number and let $\Gamma \subset \mathrm{SL}_{2}(\mathbb{Z})$ be a congruence subgroup with modular curve $X_{\Gamma}/K$ and Jacobian $J(X_{\Gamma})$. In this paper we give an explicit group-theoretic description of the semistable toric rank and component group of $J(X_{\Gamma})$ at the finite places of $K$ lying over $p$. We first produce a suitable deformation retract of the minimal Berkovich skeleton of $X_{H}$ in terms of Hecke-Iwahori double coset spaces. We call this deformation retract the pruned skeleton of the curve. Our description of this skeleton includes a group-theoretic formula for the edge lengths, allowing us to give the component group of the modular curve as the quotient of a lattice using the monodromy pairing. For $X_{0}(N)$, $X_{1}(N)$, $X_{sp}(N)$ and $X_{sp}^{+}(N)$, we explicitly determine the pruned skeleta using a set of coset schemes over $\mathbb{Z}$. This in particular recovers results by Deligne-Rapoport, Edixhoven, Coleman-McMurdy and Tsushima on the semistable reduction type of $X_{0}(p^{n})$ for $n\leq{4}$. Finally, we determine the geometric Tamagawa number and the prime-to-$2$ structure of the component group of $X_{0}(N)$ over the extension given by Krir's theorem.
- [16] arXiv:2403.10265 (cross-list from math.GT) [pdf, other]
-
Title: Moduli spaces of quadratic differentials: Abel-Jacobi map and deformationAuthors: Yu QiuComments: 60pp, many pics. All comments are welcomeSubjects: Geometric Topology (math.GT); Algebraic Geometry (math.AG); Representation Theory (math.RT)
We study the moduli space of quadratic differentials with prescribed singularities parameterized by a decorated marked surface with punctures (DMSp), where simple zeros, double poles and higher order poles respectively correspond to decorations, punctures and boundary components. We show that the fundamental group of this space equals the kernel of the Abel-Jacobi map from the mapping class group of DMSp to the first homology group of the marked surface (without decorations/punctures). Moreover, a universal cover of this space is given by the space of stability conditions on the associated 3-Calabi-Yau category.
Furthermore, when we partial compactify (and orbifold) the moduli space by allowing the collision of simple zeros and some of the double poles, the resulting moduli space is isomorphic to a quotient of the space of stability conditions on the deformed (with respect to those collidable double poles) 3-Calabi-Yau category.
Replacements for Mon, 18 Mar 24
- [17] arXiv:2111.00802 (replaced) [pdf, ps, other]
-
Title: Torus quotient of the Grassmannian $G_{n,2n}$Comments: 11pages. arXiv admin note: text overlap with arXiv:2103.12621, arXiv:1906.09759 Due to the reviewer's feedback, the presentation style and final exposition of the paper were significantly revisedJournal-ref: C. R. Math. Acad. Sci. Paris 361 (2023) 1499-1509Subjects: Algebraic Geometry (math.AG); Combinatorics (math.CO); Representation Theory (math.RT)
- [18] arXiv:2208.02569 (replaced) [pdf, ps, other]
-
Title: Cohomology and geometry of Deligne--Lusztig varieties for ${\rm GL}_n$Authors: Yingying WangComments: 40 pagesJournal-ref: Math. Z. 306, 69 (2024)Subjects: Algebraic Geometry (math.AG); Representation Theory (math.RT)
- [19] arXiv:2304.02288 (replaced) [pdf, ps, other]
-
Title: $T$-equivariant motives of flag varietiesAuthors: Can YaylaliComments: Accepted version, to appear in Algebr. Geom. Topol.; 26 pagesSubjects: Algebraic Geometry (math.AG); Algebraic Topology (math.AT); K-Theory and Homology (math.KT)
- [20] arXiv:2401.13508 (replaced) [pdf, ps, other]
-
Title: Construction of Arithmetic Teichmuller Spaces III: A `Rosetta Stone' and a proof of Mochizuki's Corollary 3.12Authors: Kirti JoshiComments: 135 Pages; Typo fixes and some improvements are new to this preliminary version. Comments and correction are welcome!Subjects: Algebraic Geometry (math.AG); Number Theory (math.NT)
- [21] arXiv:2403.08953 (replaced) [pdf, other]
-
Title: On the Intersection of Two ConicsSubjects: Algebraic Geometry (math.AG)
- [22] arXiv:2310.01097 (replaced) [pdf, ps, other]
-
Title: Programming the Minimal Model Program: a proposalAuthors: Vladimir LazićComments: v2: minor changes; to appear in Beitr. Algebra GeomSubjects: Logic in Computer Science (cs.LO); Algebraic Geometry (math.AG)
[ showing up to 2000 entries per page: fewer | more ]
Disable MathJax (What is MathJax?)
Links to: arXiv, form interface, find, math, recent, 2403, contact, help (Access key information)