Algebraic Geometry
See recent articles
Showing new listings for Friday, 18 July 2025
- [1] arXiv:2507.12623 [pdf, html, other]
-
Title: Remarks on two problems by HassettComments: 16 pagesSubjects: Algebraic Geometry (math.AG); Number Theory (math.NT)
One of the ultimate goals of the Hassett-Keel program is the determination of the log canonical models of the moduli spaces of pointed rational curves $\overline{\mathcal{M}}_{0,n}$. In this paper, we study log canonical models of $\overline{\mathcal{M}}_{0,5}$ with \textit{asymmetric} boundary divisors. Our results generalize previous work by Alexeev-Swinarski, Fedorchuk-Smyth, Kiem-Moon and Simpson for the case $n=5$. We prove that all moduli spaces of weighted pointed rational curves $\overline{\mathcal{M}}_{0,\mathcal{A}}$ arise as log canonical models of $\overline{\mathcal{M}}_{0,5}$ for suitable choices of boundary coefficients, thereby also recovering a theorem of Fedorchuk and Moon. In addition, we relate these moduli spaces to Deligne-Mostow ball quotients. We further study log canonical models of the moduli spaces $\overline{\mathcal{M}}_{0,n\cdot (1/k)}$ with symmetric weight, which differ from $\overline{\mathcal{M}}_{0,n}$.
- [2] arXiv:2507.12710 [pdf, html, other]
-
Title: On local accumulation complexity of the set of log canonical volumes in dimension $\geq 2$Comments: Comments are very welcomeSubjects: Algebraic Geometry (math.AG)
We prove that the local accumulation complexity of the set of log canonical volumes in dimension $\geq 2$ can be infinite.
- [3] arXiv:2507.13064 [pdf, html, other]
-
Title: Unlocking the Hodge Conjecture: A Spectral Fingerprint Approach via Gauss-Manin DerivativesSubjects: Algebraic Geometry (math.AG)
We present a symbolic analytic framework for addressing the Hodge Conjecture, based on a refined invariant called the Hermitian spectral fingerprint. By projecting out $(k,k)$ components from holomorphic forms and their Gauss Manin derivatives, we define a fingerprint functional that vanishes identically for any rational cohomology class of type $(k,k)$. We prove unconditionally that the projected derivatives span the entire orthogonal complement of $H^{k,k}(X)$ in $H^{2k}(X,\mathbb{C})$, implying structural vanishing. This vanishing criterion across realizations leads to absolute Hodge behavior and, by deep results in arithmetic geometry, confirms algebraicity. Thus, the Hodge Conjecture is resolved within this framework.
- [4] arXiv:2507.13126 [pdf, html, other]
-
Title: Some concerns on the border rank of Kronecker products of the Coppersmith-Winograd tensorComments: Although the note remains unfinished and partly inaccurate for $m=3$ and $m\ge 4$, it is being released for the seminar presentationSubjects: Algebraic Geometry (math.AG)
This note provides a detailed proof of Conner--Gesmundo--Landsberg--Ventura's result that the border rank of the Kronecker square of the little Coppersmith--Winograd tensor is $(q+2)^{2}$.We also indicate how the same ideas seem to extend to the case of the Kronecker cube, pointing toward the conjectural value $(q+2)^{m}$ for $m\ge 4$, although a full proof is left for future work.
- [5] arXiv:2507.13134 [pdf, html, other]
-
Title: The Time-Energy Principle in Algebraic GeometryComments: 16 pagesSubjects: Algebraic Geometry (math.AG); Mathematical Physics (math-ph)
We consider the time-energy uncertainty principle from Quantum Mechanics and provide its Algebro-Geometric interpretation within the context of stacks.
- [6] arXiv:2507.13219 [pdf, other]
-
Title: Vertex functions for bow varieties and their Mirror SymmetryComments: 56 pages. Comments very welcome!Subjects: Algebraic Geometry (math.AG); Mathematical Physics (math-ph); Quantum Algebra (math.QA); Representation Theory (math.RT)
In this paper, we study the vertex functions of finite type $A$ bow varieties. Vertex functions are $K$-theoretic analogs of $I$-functions, and 3d mirror symmetry predicts that the $q$-difference equations satisfied by the vertex functions of a variety and its 3d mirror dual are the same after a change of variable swapping the roles of the various parameters. Thus the vertex functions are related by a matrix of elliptic functions, which is expected to be the elliptic stable envelope of M. Aganagic and A. Okounkov. We prove all of these statements.
The strategy of our proof is to reduce to the case of cotangent bundles of complete flag varieties, for which the $q$-difference equations can be explicitly identified with Macdonald difference equations. A key ingredient in this reduction, of independent interest, involves relating vertex functions of the cotangent bundle of a partial flag variety with those of a ``finer" flag variety. Our formula involves specializing certain Kähler parameters (also called Novikov parameters) to singularities of the vertex functions. In the $\hbar \to \infty$ limit, this statement is expected to degenerate to an analogous result about $I$-functions of flag varieties. - [7] arXiv:2507.13280 [pdf, html, other]
-
Title: Algebraic Exceptional Set of a Three-Component Curve on Hirzebruch SurfacesComments: Comments are welcome!Subjects: Algebraic Geometry (math.AG)
We study the algebraic exceptional set of a three-component curve $B$ with normal crossings on a Hirzebruch surface $\mathbb{F}_e$. If $K_{\mathbb{F}_{e}}+B$ is big and no component of $B$ is a fiber or the rational curve with negative self-intersection, we prove that the algebraic exceptional set is finite, and in most cases give it an effective bound. We also prove that the algebraic exceptional set coincides with the set of curves that are hyper-bitangent to $B$.
New submissions (showing 7 of 7 entries)
- [8] arXiv:2507.12510 (cross-list from hep-th) [pdf, html, other]
-
Title: Index from a pointComments: 30 pages + referencesSubjects: High Energy Physics - Theory (hep-th); Algebraic Geometry (math.AG); Representation Theory (math.RT)
We propose an algebro-geometric interpretation of the Schur and Macdonald indices of four-dimensional $\mathcal{N}=2$ superconformal field theories (SCFTs). We conjecture that there exists an affine scheme $X$ such that the Hilbert series of the (appropriately-graded) arc space of its polynomial ring $J_\infty(\mathbb{C}[X])$ encodes the indices. Distinct local descriptions of a (singular) point correspond to distinct choices of $X$, giving rise to a family of $\mathcal{N}=2$ SCFTs each without a Higgs branch. These local descriptions directly translate into nilpotency relations in the operator product expansions. We test our conjecture across a variety of (generalized) Argyres-Douglas (AD) theories.
- [9] arXiv:2507.12829 (cross-list from math.RT) [pdf, html, other]
-
Title: Cactus flower spaces and monodromy of Bethe vectorsComments: 33 pagesSubjects: Representation Theory (math.RT); Algebraic Geometry (math.AG); Quantum Algebra (math.QA)
We continue the study of cactus flower moduli spaces $\overline{F}_n$ and Gaudin models started in arXiv:2308.06880, arXiv:2407.06424. We show that isomorphism classes of operadic coverings of the real form $\overline{F}_n(\mathbb{R})$ are naturally one-to-one with equivalence classes of concrete coboundary monoidal categories (i.e. coboundary monoidal categories that admit a faithful monoidal functor to sets) with certain semisimplicity and finiteness conditions. Following the strategy of arXiv:1708.05105, for any complex semisimple Lie algebra $\mathfrak{g}$, we recover Kashiwara $\mathfrak{g}$-crystals, as a concrete coboundary category, from the coverings given by Bethe eigenlines for inhomogeneous Gaudin models. Using this, we compute the monodromy of Bethe eigenlines for trigonometric Gaudin models over two different real loci. In the particular case of minuscule highest weights, this can be regarded as combinatorial version of the wall-crossing conjecture of Bezrukavnikov and Okounkov for quantum cohomology of symplectic resolutions in the case of minuscule resolutions of slices in the affine Grassmannian.
- [10] arXiv:2507.12954 (cross-list from math.KT) [pdf, other]
-
Title: On the K-theory of algebraic toriComments: 45 pages, comments are welcomeSubjects: K-Theory and Homology (math.KT); Algebraic Geometry (math.AG); Algebraic Topology (math.AT)
Given an algebraic torus $T$ over a field $F$, its lattice of characters $\Lambda$ gives rise to a topological torus $\mathfrak{T}(T)=\Lambda_{\mathbb R}/\Lambda$ with a continuous action of the absolute Galois group $G$. We construct a natural equivalence between the algebraic $K$-theory $K_{\ast}(T)$ and the equivariant homology $H^{G}_{\ast}(\mathfrak{T}(T);K_G(F))$ of the topological torus $\mathfrak{T}(T)$ with coefficients in the $G$-equivariant $K$-theory of $F$. This generalizes a computation of $K_0(T)$ due to Merkurjev and Panin. We obtain this equivalence by analyzing the motive $\mathbb{K}_{F}^{T}$ in the stable motivic category $\mathrm{SH}(F)$ of Voevodsky and Morel, where $\mathbb{K}_{F}$ is the motivic spectrum representing homotopy $K$-theory. We construct a natural comparison map $\mathfrak{F}\colon \mathbb{K}_{F}[B\Lambda] \to \mathbb{K}_{F}^{T}$ from the $\mathbb{K}_{F}$-homology of the étale delooping of $\Lambda$ to $\mathbb{K}_{F}^{T}$ as a special case of a motivic Fourier transform and prove that it is an equivalence by using a motivic Eilenberg--Moore formula for classifying spaces of tori.
- [11] arXiv:2507.13114 (cross-list from math.AT) [pdf, other]
-
Title: A Classification of Six Functor Formalisms via Structured SpacesSubjects: Algebraic Topology (math.AT); Algebraic Geometry (math.AG); Category Theory (math.CT); General Topology (math.GN)
We lay out an infinity categorical interpretation of reconstruction theorems which are germane to the symmetric monoidal perspective of noncommutative algebraic geometry, present sufficient conditions which allow for the factorization of certain six functor formalisms through animated S-stacks, and give a six functor formalism through which the aforementioned six functor formalisms factor through. Furthermore, and what is arguably the main feat of this article, these achievements, though in appearance arising from disparate concerns, are realized in the dissipation of a familiar thematic tension: that between space and quantity.
- [12] arXiv:2507.13139 (cross-list from math.DS) [pdf, html, other]
-
Title: Entropy-minimizing diffeomorphisms of pseudo-Anosov type on K3 surfacesComments: 16 pages, 4 figuresSubjects: Dynamical Systems (math.DS); Algebraic Geometry (math.AG); Geometric Topology (math.GT)
We construct diffeomorphisms of ``pseudo-Anosov type'' on K3 surfaces M. In particular we obtain infinitely many examples of such diffeomorphisms that minimize entropy in their homotopy class, and for which neither the diffeomorphism nor any diffeomorphism homotopic to it preserves any complex structure on M.
- [13] arXiv:2507.13153 (cross-list from math.AC) [pdf, html, other]
-
Title: Syzygies of polymatroidal idealsSubjects: Commutative Algebra (math.AC); Algebraic Geometry (math.AG); Combinatorics (math.CO)
We introduce the cave polynomial of a polymatroid and show that it yields a valuative function on polymatroids. The support of this polynomial after homogenization is again a polymatroid. The cave polynomial gives a $K$-theoretic description of a polymatroid in the augmented $K$-ring of a multisymmetric lift. As applications, we settle two conjectures: one by Bandari, Bayati, and Herzog regarding polymatroidal ideals, and another by Castillo, Cid-Ruiz, Mohammadi, and Montaño regarding the Möbius support of a polymatroid.
- [14] arXiv:2507.13299 (cross-list from math.NT) [pdf, html, other]
-
Title: The cohomological Kudla conjecture for unitary Shimura varietiesComments: 45 pages, comments welcomeSubjects: Number Theory (math.NT); Algebraic Geometry (math.AG)
We construct natural extensions of the Kudla--Millson generating series of cohomology classes of special cycles in compactified unitary Shimura varieties of signature $(n+1,1)$ and prove that they are holomorphic Hermitian modular forms. This proves the cohomological version of a conjecture of Kudla and Bruinier--Rosu--Zemel, in all codimensions up to the middle. We also develop the theory of Hermitian quasi-modular forms, with a particular focus on polynomial weighted theta functions, and prove that the generating series of Zariski closures of special cycles is a Hermitian quasi-modular form.
Cross submissions (showing 7 of 7 entries)
- [15] arXiv:2007.13457 (replaced) [pdf, other]
-
Title: Symmetric F-conjecture for $g\leq 35$Comments: This paper is subsumed by another (arXiv:2507.12434)Subjects: Algebraic Geometry (math.AG)
We prove the symmetric F-conjecture describing the ample cone of $\overline{M}_{0,g}/S_g$ and $\overline{M}_g$ for $g\leq 35$.
- [16] arXiv:2008.01228 (replaced) [pdf, html, other]
-
Title: The Absolute Grothendieck Conjecture is false for Fargues-Fontaine CurvesComments: 9 pages; Typos fixed. Previous version : added Remarks 2.6, 2.7, Question 2.10 and some edits to the Introduction; reference to my Arithmetic Teichmuller Theory addedSubjects: Algebraic Geometry (math.AG); Number Theory (math.NT)
I prove that the absolute Grothendieck Conjecture is false for Fargues-Fontaine curves.
- [17] arXiv:2403.07765 (replaced) [pdf, html, other]
-
Title: Configuration spaces of orbits and their $S_n$-equivariant $E$-polynomialsComments: 24 pages. Comments are welcomeSubjects: Algebraic Geometry (math.AG); Complex Variables (math.CV); Representation Theory (math.RT)
In this paper, we study the configuration space of orbits, a generalization of the configuration space of points but for algebraic varieties that are acted by an algebraic reductive group. The main objective of this work is to study the $E$-polynomials of these spaces and their quotients by $S_n$. For this purpose, we develop a novel method for computing the $S_n$-equivariant $E$-polynomial of an algebraic variety, and we apply it to this kind of varieties.
- [18] arXiv:2406.16628 (replaced) [pdf, html, other]
-
Title: Effective atypical intersections and applications to orbit closuresSubjects: Algebraic Geometry (math.AG); Dynamical Systems (math.DS); Number Theory (math.NT)
We propose a unifying setting for dealing with monodromically atypical intersections that goes beyond the usual Zilber-Pink conjecture. In particular we obtain a new proof of finiteness of the maximal atypical orbit closures in each stratum of translation surfaces $\Omega \mathcal{M}_g (\kappa)$, as given by Eskin, Filip, and Wright. We also describe a concrete algorithm, implementable in principle on a computer, which provably computes all maximal orbit closures which are 'atypical' in a sense described by Filip. The same methods also give a general algorithm for computing atypical special loci associated to systems of differential equations, and in particular give an effective and o-minimal free proof of the geometric Zilber-Pink conjecture for variations of mixed Hodge structures.
- [19] arXiv:2407.07970 (replaced) [pdf, html, other]
-
Title: Inversion of the Abel--Prym map in presence of an additional involutionComments: 17 pagesSubjects: Algebraic Geometry (math.AG); Mathematical Physics (math-ph)
Unlike Abel map of the symmetric power of a Riemann surface onto its Jacobian, the Abel--Prym map generically can not be reversed by means of conventional technique related to the Jacobi inversion problem, and of its main ingredient, namely the Riemann vanishing theorem. It happens because the corresponding analog of the Riemann vanishing theorem gives twice as many points as the dimension of the Prym variety. However, if the Riemann surface has a second involution commuting with the one defining the Prym variety and satisfying a certain additional condition, an analog of the Jacobi inversion can be defined, and expressed in terms of the Prym theta function. We formulate these conditions and refer to the pairs of involutions satisfying them as to pairs of the first type. We formulate necessary conditions for the pair of involutions to be a pair of the first type, and give a series of examples of curves with such pairs of involutions, mainly spectral curves of Hitchin systems, and also a spectral curve of the Kovalewski system.
- [20] arXiv:2501.16552 (replaced) [pdf, html, other]
-
Title: Abhyankar-Moh Semigroups for arbitrary hypersurfacesSubjects: Algebraic Geometry (math.AG)
For an arbitrary hypersurface singularity, we construct a family of semigroups associated with algebraically closed fields that arise as an infinite union of rings of series. These semigroups extend the value semigroup of a plane curve studied by Abhyankar and Moh. The algebraically closed fields under consideration possess a natural valuation that induces a corresponding value semigroup. We establish the necessary conditions under which these semigroups are independent of the choice of the root. Moreover, the extensions proposed by P. González and Kiyek-Micus, where González specifically addresses the case of quasi-ordinary singularities, and the extension introduced by Abbas-Assi, can be understood as particular instances within our constructed family.
- [21] arXiv:2503.18205 (replaced) [pdf, html, other]
-
Title: Dream resolution and principalization I: enough derivationsComments: 24 pages, comments are welcomeSubjects: Algebraic Geometry (math.AG)
This is a first paper in a project on extending the dream principalization and resolution methods of [ATW24], [McQ20] and [Que22] to quasi-excellent, logarithmic and relative settings. We show that the main results of [ATW24] extend to regular schemes with enough derivations and are functorial with respect to all regular morphisms. This is already strong enough to formally imply that the same results hold in other categories, such as complex and p-adic analytic spaces. Our method has many common points with that of [ATW24], but the accent is now shifted towards the study of weighted centers and their coordinate presentations. Not only we hope that this is a bit simpler and more conceptual, this method will be easily applied in the logarithmic and relative settings in the sequel.
- [22] arXiv:2504.03243 (replaced) [pdf, html, other]
-
Title: Deformations of Compact Calabi--Yau ConifoldsComments: 76 pages. I have corrected the errors in the version 1. Theorem 3.4 and Corollary 3.5 were not true as they are. There is a counterexample to Corollary 3.5 with $p=q=0,$ given by the harmonic function $r^{2-2n}.$ Also Lemma 6.5 was not really provedSubjects: Algebraic Geometry (math.AG); Complex Variables (math.CV); Differential Geometry (math.DG)
Let $X$ be a compact normal Kähler space whose canonical sheaf is a rank-one free $\mathcal O_X$ module and whose singularities are isolated, rational and quasi-homogeneous. We prove then that under a topological hypothesis the obstruction to deforming $X$ concentrates upon its singularities, generalizing partially the results of Namikawa--Gross. We prove also that under a certain hypothesis the locally trivial deformations of $X$ are unobstructed.
- [23] arXiv:2505.03993 (replaced) [pdf, html, other]
-
Title: Log $p$-divisible groups associated with semi-abelian degenerationComments: 19 pagesSubjects: Algebraic Geometry (math.AG); Number Theory (math.NT)
In this paper, we prove that, when an abelian scheme has semi-abelian degeneration along normal crossings divisor in a regular base scheme, a finite flat group scheme of torsion points of the abelian scheme degenerates to a log finite group scheme, which captures more information than a quasi-finite flat group scheme of torsion points of the semi-abelian scheme.
- [24] arXiv:2507.07976 (replaced) [pdf, html, other]
-
Title: Pierce-Birkhoff conjecture is true for splinesComments: 8 pages; slight improvement to Lemma 4.1 (reduced "p + 1" to "p")Subjects: Algebraic Geometry (math.AG)
We prove the Pierce--Birkhoff conjecture for splines, i.e., continuous piecewise polynomials of degree $d$ in $n$ variables on a hyperplane partition of $\mathbb{R}^n$, can be written as a finite lattice combination of polynomials. We will provide a purely existential proof, followed by a more in-depth analysis that yields effective bounds.
- [25] arXiv:2309.16463 (replaced) [pdf, html, other]
-
Title: Semi-stable and splitting models for unitary Shimura varieties over ramified places. IComments: 36 pp., to appear in Forum of Mathematics SigmaSubjects: Number Theory (math.NT); Algebraic Geometry (math.AG)
We consider Shimura varieties associated to a unitary group of signature $(n-s,s)$ where $n$ is even. For these varieties, we construct smooth $p$-adic integral models for $s=1$ and regular $p$-adic integral models for $s=2$ and $s=3$ over odd primes $p$ which ramify in the imaginary quadratic field with level subgroup at $p$ given by the stabilizer of a $\pi$-modular lattice in the hermitian space. Our construction, which has an explicit moduli-theoretic description, is given by an explicit resolution of a corresponding local model.
- [26] arXiv:2310.07006 (replaced) [pdf, other]
-
Title: Mirror symmetry and the Breuil-Mézard ConjectureComments: This version improves significantly over the previous one, generalizing the results to essentially arbitrary unramified groups (see Section 1.5 for discussion of changes). Includes a new appendix written jointly with Zhongyipan LinSubjects: Number Theory (math.NT); Algebraic Geometry (math.AG); Representation Theory (math.RT)
The Breuil-Mézard Conjecture predicts the existence of hypothetical "Breuil-Mezard cycles" in the moduli space of mod $p$ Galois representations of $\mathrm{Gal}(\overline{\mathbb{Q}}_q/\mathbb{Q}_q)$ that should govern congruences between mod $p$ automorphic forms. For generic parameters, we propose a construction of Breuil-Mézard cycles in arbitrary rank, and verify that they satisfy the Breuil-Mézard Conjecture for all sufficiently generic tame types and small Hodge-Tate weights. Our method is purely local and group-theoretic, and completely distinct from previous approaches to the Breuil-Mézard Conjecture. In particular, we leverage new connections between the Breuil-Mézard Conjecture and phenomena occurring in homological mirror symmetry and geometric representation theory.
- [27] arXiv:2403.02876 (replaced) [pdf, html, other]
-
Title: On characterization of Double Danielewski type algebrasComments: 18 pages. All comments are welcomeSubjects: Commutative Algebra (math.AC); Algebraic Geometry (math.AG)
Let $k$ be a field. In this paper, we consider Double Danielewski type algebras over an affine factorial $k$-domain $R$. We observe that this family produces a non-cancellative family of algebras over $R$. Further, when $k$ is a field of characteristic zero, we give a characterization for an affine algebra to be isomorphic to an algebra of Double Danielewski type.
- [28] arXiv:2405.02758 (replaced) [pdf, html, other]
-
Title: Size of isogeny classes of abelian varieties of Lubin-Tate typeComments: 14 Pages, fixed minor errors and edited many parts of the paper. Slight change in the titleSubjects: Number Theory (math.NT); Algebraic Geometry (math.AG)
We prove a lower bound for the size of the isogeny class of a simple abelian variety over a finite field with commutative endomorphism ring in the Lubin-Tate case. Moreover, based on the expected size of the isogeny classes in the Newton stratum, we conjecture that this lower bound is sharp.
- [29] arXiv:2407.04554 (replaced) [pdf, html, other]
-
Title: A Ramanujan bound for Drinfeld modular formsComments: 21 pagesJournal-ref: International Mathematics Research Notices, Volume 2025, Issue 13Subjects: Number Theory (math.NT); Algebraic Geometry (math.AG)
We prove a Lefschetz trace formula for Böckle-Pink crystals on tame Deligne-Mumford stacks of finite type over $\mathbb{F}_q$ and apply it to the crystal associated to the universal Drinfeld module. Combined with the Eichler-Shimura theory developed by Böckle, this leads to a trace formula for Hecke operators on Drinfeld modular forms. As an application, we deduce a Ramanujan bound on the traces of Hecke operators.
- [30] arXiv:2407.14978 (replaced) [pdf, html, other]
-
Title: Approximation of adelic divisors and equidistribution of small pointsComments: 79 pages. Introduction and several sections rewritten. No mathematical changes except in the dynamical section, where semipositivity assumptions were removedSubjects: Number Theory (math.NT); Algebraic Geometry (math.AG)
We study the asymptotic distribution of the Galois orbits of generic sequences of algebraic points of small height in a projective variety over a number field. Our main result is a generalization of Yuan's equidistribution theorem that applies to heights for which Zhang's lower bound for the essential minimum is not necessarily an equality. It extends to all projective varieties a theorem of Burgos Gil, Philippon, Rivera-Letelier and the second author for toric varieties. It also applies to sums of canonical heights for an algebraic dynamical system, and in particular it recovers Kühne's semiabelian equidistribution theorem. We also generalize previous work of Chambert-Loir and Thuillier to obtain new logarithmic equidistribution results. Finally we extend our main result to the quasi-projective setting recently introduced by Yuan and Zhang.
- [31] arXiv:2411.19260 (replaced) [pdf, html, other]
-
Title: On the Rich Landscape of Complete Intersection Monomial CurvesComments: v4: a mistake in the final example of v3 about a question of Buchweitz and Greuel has been deleted, final version to appear in Contemporary Mathematics Proceedings Volume: **115AM. Algebraic and topological interplay of algebraic varieties** v3: minor changes v2: minor changes, improved redaction ; v1:42 pages, comments are very welcome!Subjects: Commutative Algebra (math.AC); Algebraic Geometry (math.AG)
The aim of this survey is to explore complete intersection monomial curves from a contemporary perspective. The main goal is to help readers understand the intricate connections within the field and its potential applications. The properties of any monomial curve singularity will be first reviewed, highlighting the interaction between combinatorial and algebraic properties. Next, we will revisit the two main characterizations of complete intersection monomial curves. One is based on deep algebraic properties given by Herzog and Kunz in 1971, while the other is based on a combinatorial approach given by Delorme in 1976. Our aim is to bridge the gap between these perspectives present in the current literature. Then, we will focus on recent advances that show an intriguing connection between numerical semigroups and Alexander polynomials of knots. Finally, we will revisit the deformation theory of these curves.
- [32] arXiv:2411.19936 (replaced) [pdf, html, other]
-
Title: Wonderful Compactification of a Cartan Subalgebra of a Semisimple Lie AlgebraSubjects: Representation Theory (math.RT); Algebraic Geometry (math.AG); Combinatorics (math.CO); Symplectic Geometry (math.SG)
Let $\mathfrak h$ be a Cartan subalgebra of a complex semisimple Lie algebra $\mathfrak g.$ We define a compactification $\bar {\mathfrak h}$ of $\mathfrak h$, which is analogous to the closure $\bar H$ of the corresponding maximal torus $H$ in the adjoint group of $\mathfrak g$ in its wonderful compactification, which was introduced and studied by De Concini and Procesi \cite{DCP}. We observe that $\bar {\mathfrak h}$ is a matroid Schubert variety and prove that the irreducible components of the boundary $\bar {\mathfrak h} - \mathfrak h$ of $\mathfrak h$ are divisors indexed by root system data. We prove that $\bar {\mathfrak h}$ is a normal variety and find an affine paving of $\bar {\mathfrak h},$ where the strata are given by the orbits of $\mathfrak h.$ We show that the strata of $\bar {\mathfrak h}$ correspond bijectively to subspaces of the corresponding Coxeter hyperplane arrangement studied by Orlik and Solomon, and prove that the associated posets are isomorphic. As a consequence, we express the Betti numbers of $\bar {\mathfrak h}$ in terms of well-known combinatorial invariants in the classical cases. We show that the Weyl group $W$ acts on $\bar {\mathfrak h}$, and describe $H^{\bullet}(\bar {\mathfrak h}, \mathbb C)$ as a representation of $W$, and compute the cup product for $H^{\bullet}(\bar {\mathfrak h}, \mathbb Z)$.
- [33] arXiv:2502.05278 (replaced) [pdf, html, other]
-
Title: Computational Complexity of Polynomial SubalgebrasComments: 17 pages, comments welcome! Improved exposition in section 1. Major revision of section 4, proving the (previously conjectural) EXPSPACE-completeness. Accepted in Proceedings of ISSAC'25Subjects: Computational Complexity (cs.CC); Commutative Algebra (math.AC); Algebraic Geometry (math.AG)
The computational complexity of polynomial ideals and Gröbner bases has been studied since the 1980s. In recent years, the related notions of polynomial subalgebras and SAGBI bases have gained more and more attention in computational algebra, with a view towards effective algorithms. We investigate the computational complexity of the subalgebra membership problem and degree bounds. In particular, we show completeness for the complexity class EXPSPACE and prove PSPACE-completeness for homogeneous algebras. We highlight parallels and differences compared to the settings of ideals, and also look at important classes of polynomials such as monomial algebras.
- [34] arXiv:2505.23629 (replaced) [pdf, html, other]
-
Title: Color Image Set Recognition Based on Quaternionic GrassmanniansSubjects: Computer Vision and Pattern Recognition (cs.CV); Algebraic Geometry (math.AG)
We propose a new method for recognizing color image sets using quaternionic Grassmannians, which use the power of quaternions to capture color information and represent each color image set as a point on the quaternionic Grassmannian. We provide a direct formula to calculate the shortest distance between two points on the quaternionic Grassmannian, and use this distance to build a new classification framework. Experiments on the ETH-80 benchmark dataset and and the Highway Traffic video dataset show that our method achieves good recognition results. We also discuss some limitations in stability and suggest ways the method can be improved in the future.
- [35] arXiv:2507.08181 (replaced) [pdf, html, other]
-
Title: Supersymmetric Topological Sigma Models and Doubling SpacesComments: 47 pages; v2: added reference to introductionSubjects: Differential Geometry (math.DG); Algebraic Geometry (math.AG)
Witten's topological B-model on a Calabi-Yau background is known to reproduce, in the open string sector, the derived category of coherent sheaves. When the target space is a complex torus, the topological model enjoys a non-geometric symmetry known as T-duality, which relates the theories on the torus and dual torus backgrounds. By considering the "double field theory" of Hull and Reid-Edwards on the product of a torus and its dual, T-duality occurs as a geometric symmetry of the target space.
Building on the methods of Y. Qin, we propose a method of analyzing the topological B-model on a torus in the doubled geometry framework which naturally incorporates certain rank-one D-branes, providing a different perspective on the derived category of the torus. In certain cases, the intersection theory of these lifted branes correctly computes the BRST cohomology of the B-model, and hence the derived Hom-spaces of the corresponding line bundles.