math.AG updates on arXiv.org

要約:
In this monograph, we lay the foundations for a new theory that generalizes real algebraic geometry. Let $R|K$ be a field extension, where $R$ is a real closed field and $K$ is an ordered subfield of $R$. The main objective is to study $K$-algebraic subsets of $R^n$, i.e., those subsets of $R^n$ that are the zero loci of polynomials with coefficients in $K$. Real algebraic geometry already covers the case when $K$ is also a real closed field. Our goal is to extend real algebraic geometry to the case when $K$ is not real closed, for example when $K$ is the field $\mathbb{Q}$ of rational numbers. Several new geometric phenomena appear. There is no complex counterpart to this generalized real algebraic geometry. The reason is as follows. If $C|K$ is a field extension with $C$ algebraically closed and $X$ is a $K$-algebraic subset of $C^n$, then Hilbert's Nullstellensatz implies that the ideal of polynomials with coefficients in $C$ that vanish on~$X$ is generated by the ideal of polynomials with coefficients in $K$ that vanish on $X$. In the real realm, this is false in general, for example when we consider field extensions $R|K$ with $R$ real closed and $K=\mathbb{Q}$. This monograph also presents some applications of the theory developed. Here is an example. The celebrated Nash-Tognoli theorem states that every compact smooth manifold $M$ is diffeomorphic to a nonsingular real algebraic set $M'$, called algebraic model of $M$. The theory developed here provides the theoretical basis to prove that the algebraic model $M'$ of $M$ can be chosen to be $\mathbb{Q}$-algebraic and $\mathbb{Q}$-nonsingular. This guarantees for the first time that, up to smooth diffeomorphisms, every compact smooth manifold can be encoded both globally and locally involving only finitely many exact data.

要約:
The aim of this paper is to classify reduction types of algebraic curves. Reduction types capture the discrete invariants of fibres in one-dimensional families of curves, and they have been described in genus 1, 2 and 3. For fixed genus g>1, they form finitely many families, and we explain how to construct them, and introduce a naming convention.

要約:
We revisit and give a detailed proof of a lemma of Okounkov showing that, for a scheme X with a torus action, the Euler characteristic generating function associated with a "factorisable" sequence of torus-equivariant coherent sheaves on the symmetric powers $\operatorname{Sym}^n X$ equals the plethystic exponential of the generating function of Euler characteristics of some sequence of sheaves on X.

要約:
In this article, we describe the irreducible components of the Hilbert scheme of $d$ points on $\mathbb{A}^n$ for $d=9,10$. The main techniques we use are the variety of commuting matrices and analyzing loci of local algebras with a specific Hilbert function. We further prove that any finite local algebra of degrees $9,10$ and the socle dimension $2$ is smoothable. As the main consequence, we establish the equality of the cactus Grassmann and the secant Grassmann variety in the corresponding cases.

要約:
For $C/\mathbb{Q}_p$ a complete algebraically closed field, we construct a collection of non-isomorphic rank two $\mathbb{Q}_p$-local systems on $\mathbb{P}^1_C$ indexed by $C$. This implies that the de Jong fundamental group $\pi_{1,\mathrm{dJ}}(\mathbb{P}^1_C)$ depends on $C$ and, if $C$ has cardinality $>2^{\mathbb{N}}$, that $\pi_{1,\mathrm{dJ}}(\mathbb{P}^1_C)$ is not topologically countably generated. The argument in fact applies to any connected rigid analytic variety over $C$ with a non-constant function to $\mathbb{P}^1_C$.

要約:
We show the de Jong fundamental group of any non-trivial abelian variety over a complete algebraically closed extension of $\mathbb{Q}_p$ is non-abelian.

要約:
We show that the geometric Sen morphism of a de Rham torsor over a smooth rigid analytic variety over a $p$-adic field is the unique lift, along a natural map, of the Kodaira--Spencer morphism of the associated filtered torsor with integrable connection. This extends previous computations in the minuscule case, and implies that the geometric Sen morphism is the derivative of the lattice Hodge period map. The computation applies, in particular, to non-minuscule period domains generalizing local Shimura varieties, furnishing new examples of towers satisfying He's stalkwise perfectoidness.

要約:
Let $P$ and $I$ be a projective and an injective representations of a Dynkin quiver. We consider quiver Grassmannians of subrepresentations of dimension $\dim P$ inside representations of dimension $\dim P + \dim I$. Based on extensive computer experiments, we formulate several conjectures about the algebro-geometric properties of these quiver Grassmannians.

要約:
We introduce a general theory of homological Milnor-Witt cycle modules over an excellent base scheme equipped with a dimension function, extending both Rost's cycle modules and Feld's theory over fields. To any such module we associate a Rost-Schmid type complex whose homology defines a Borel-Moore intersection theory with quadratic coefficients, satisfying homotopy invariance, localization, proper pushforwards, smooth pullbacks, and Gysin morphisms for essentially smoothable lci morphisms. Using duality data induced by pinning structures, we define cohomological Milnor-Witt modules and establish a duality equivalence between homological and cohomological theories. As applications, we extend Chow-Witt groups to schemes over general (possibly singular or arithmetic) bases, prove generalized Bloch formulas and representability results, and compute graded Chow-Witt groups over Dedekind schemes of finite type over the integers. In particular, we obtain finiteness results for Chow-Witt and related Milnor-Witt invariants in dimension at most one.

要約:
Given a connected reductive algebraic group $G$ with a Borel subgroup $B$ and a quasiaffine spherical $G$-variety $X$, we prove that every $G$-orbit $Y$ contained in the regular locus of $X$ can be connected by a $B$-normalized additive one-parameter group action with any minimal $G$-orbit in $X$ containing $Y$ in its closure. As a consequence, we show that the regular locus of $X$ is transitive for the subgroup in the automorphism group of $X$ generated by $G$ and all $B$-normalized additive one-parameter subgroups.

要約:
These are lecture notes from a mini-course taught at Winterbraids XIII (Montpellier, 2024). The main character of these notes are curves in the complex projective plane, viewed from a topological perspective.

要約:
In this paper, we construct recollements and ladders for Brieskorn-Pham singularities via reduction/insertion functors, and study the singularity categories of the Brieskorn-Pham singularities using these ladders. In particular, we construct a class of tilting objects, called the extended tilting $n$-cuboids, whose endomorphism algebras are $n$-fold tensor products of certain Nakayama algebras. Moreover, we show that such an endomorphism algebra is derived equivalent to a certain replicated algebra. This generalizes the Happel-Seidel symmetry to the context of Brieskorn-Pham singularities.

要約:
In this extended abstract, we study special tropical prevarieties which we call Coxeter Dressians. They arise from equations capturing a generalization of valuated symmetric basis exchange for Coxeter matroids. In particular, we study subdivisions of the associated Coxeter matroid polytopes. We show that the subdivisions induced by points of the Coxeter Dressian consist of cells which are strong Coxeter matroidal. This generalizes well-known results in type $A$ to other Lie types. Finally, we implement explicit computations of Coxeter Dressians in OSCAR.

要約:
In 1953, W. Stoll proposed a method of studying holomorphic functions of several complex variables by reducing them to one variable through fiber integration. In this paper, we use this method to extend some important Nevanlinna-type results for holomorphic curves into projective varieties to meromorphic maps from ${\Bbb C}^{p}$ to projective varieties. This includes Bloch's theorem and Noguchi-Winklemann-Yamanoi's Second Main Theorem for holomorphic maps into semi-abelian varieties intersecting an effective divisor, as well as Huynh-Vu-Xie's Second Main Theorem for meromorphic maps into projective space intersecting with a generic hypersurface with sufficiently high degree.

要約:
We determine the Brauer group of the Deligne-Mumford stack $\mathscr{Y}_0(2)$, the moduli space of elliptic curves with a marked $2$-torsion subgroup over bases of arithmetic interest. Antieau and Meier determine the Brauer group for $\mathscr{M}_{1,1}$, the moduli stack of elliptic curves by exploiting the fact it is covered by the Legendre family and using the Hochschild-Serre spectral sequence. Over an algebraically closed field, Shin uses the coarse space map to determine the Brauer group of $\mathscr{M}_{1,1}$. We combine techniques from both papers to determine the Brauer group of $\mathscr{Y}_0(2)$.

要約:
Frenkel and Gross constructed a family of connections on $\mathbb{P}^1\backslash\{0,\infty\}$, for almost simple groups $\check{G}$ and their representations. In this article, we calculate the irregular Hodge numbers of these Frenkel--Gross connections, and, as an application, we prove a conjecture of Katzarkov--Kontsevich--Pantev for mirror Landau-Ginzburg models of minuscule homogeneous spaces.

要約:
We state and prove a realization of King's Conjecture for a category glued from the derived categories of all of the toric varieties arising from a given Cox ring. Our perspective extends ideas of Beilinson and Bondal to all semiprojective toric varieties.

要約:
We determine the algebraic and transcendental lattices of a general cubic fourfold with a symplectic automorphism of prime order. We prove that cubic fourfolds admitting a symplectic automorphism of order at least three are rational, and we exihibit two families of rational cubic fourfolds that are not equivariantly rational with respect to their group of automorphisms. As an application, we determine the cohomological action of symplectic birational transformations of manifolds of OG10 type that are induced by prime order sympletic automorphisms of cubic fourfolds.

要約:
In this paper, we consider Lie algebroids over commutative ringed spaces. Lie algebroids over ringed spaces unify the existing notion of Lie algebroids over smooth manifolds, complex manifolds, analytic spaces, algebraic varieties, and schemes. We show that the universal enveloping algebroid of a Lie algebroid possesses a natural filtration that yields a structure of a sheaf of quantum Poisson algebras. We establish a bijective correspondence between sheaves of quantum Poisson algebras and Lie algebroids. We show that this correspondence leads to an adjunction between the two categories. We discuss this bijective correspondence in particular cases of Lie algebroids over ringed spaces and highlight the subsequent results. To characterize non-flat Lie algebroid connections, we construct a sheaf of twisted universal enveloping algebras for a Lie algebroid using Lie algebroid (hyper) cohomology. We show that our construction yields some of the existing constructions for Lie-Rinehart algebras and holomorphic Lie algebroids. As another application, we study the deformation groupoid of a Lie algebroid using the second hypercohomology of the Lie algebroid.

要約:
We show the Frobenius pullback of a general semi-stable vector bundle in the moduli space of vector bundles with fixed rank and degree is still semi-stable by deformation trick. We then present several applications of the main theorem.

要約:
We study the question of the existence of a decomposition of the diagonal for very general quartic and $(2,3)$-complete intersection $n$-folds. Using cycle-theoretic techniques of Lange, Pavic and Schreieder we reduce the question via a degeneration argument to the existence of such a decomposition for $n-1$-dimensional cubic hypersurfaces and their essential dimension. A result of Voisin on the essential dimension of complex cubic hypersurfaces of odd dimension (and of dimension four) then yields conditional statements that extend results of Nicaise and Ottem from stable rationality to the existence of a decomposition of the diagonal. As an application, we use a recent result of Engel, de Gaay Fortman and Schreieder on the decomposition of the diagonal for cubic threefolds to give a new proof of the non-retract rationality of a very general complex quartic $4$-fold, originally due to Totaro, and of a very general complex $(2,3)$-complete intersection $4$-fold, originally due to Skauli.

要約:
A 2022 result of Karpenko establishes a conjecture of Hoffmann-Totaro on the possible values of the first higher isotropy index of an arbitrary anisotropic quadratic form of given dimension over an arbitrary field. For nondegenerate forms, this essentially goes back to a 2003 article of the same author on quadratic forms over fields of characteristic not $2$. To handle the more involved case of degenerate forms in characteristic $2$, Karpenko showed that certain aspects of the algebraic-geometric approach to nondegenerate quadratic forms developed by Karpenko, Merkurjev, Rost, Vishik and others can be adapted to a study of rational cycles modulo $2$ on powers of a given generically smooth quadric. In this paper, we extend this to a broader study of rational cycles modulo $2$ on arbitrary products of generically smooth quadrics in characteristic $2$. A basic objective is to have tools available to study correspondences between general quadrics, in particular, between smooth and non-smooth quadrics. Applications of the theory to the study of degenerate quadratic forms in characteristic $2$ are provided, and a number of open problems on forms of this type are also formulated and discussed.

要約:
We present an effective criterion for determining whether a (augmented) vertically parametrized polynomial system admits multiple positive zeros for some choice of parameter values. Our method builds on previous algorithms from chemical reaction network theory and reduces the question to checking the feasibility of a linear system of equalities and inequalities. Our criterion provides a sufficient condition for the absence of multiple positive zeros that applies to any augmented vertically parametrized polynomial system, and we show that when the kernel of the coefficient matrix of the system displays a certain sparsity structure, this condition becomes also necessary. We give thereby a full characterization of the existence of multiple zeros for this type of systems.

要約:
We construct a filtration by ideals on quantum cohomology for symplectic manifolds with a Hamiltonian $S^1$-action that extends to a pseudoholomorphic $\mathbb{C}^*$-action. These spaces include all Conical Symplectic Resolutions, in particular all Quiver Varieties. In particular, we obtain a family of filtrations on singular cohomology for any Conical Symplectic Resolution, that is sensitive to the choice of $\mathbb{C}^*$-action. The symplectic form is rarely exact at infinity for these spaces, so substantial foundational work is carried out to rigorously define Floer theory, in particular symplectic cohomology. Using Floer theory, we construct a periodic persistence module, giving rise to a graded periodic barcode associated to the $\mathbb{C}^*$-action. This encodes birth-death phenomena of Floer invariants. Our filtrations can be viewed as a Floer-theoretic analogue of Atiyah-Bott filtrations, arising from stratifying a manifold by gradient flowlines of a Morse-Bott function, but they are distinct from those and they can detect non-topological properties of the quantum product.

要約:
We propose an algebraic geometry-inspired approach for constructing entangled subspaces within the Hilbert space of a multipartite quantum system. Specifically, our method employs a modified Veronese embedding, restricted to the conic, to define subspaces within the symmetric part of the Hilbert space. By utilizing this technique, we construct the minimal-dimensional, non-orthogonal yet Unextendible Product Basis (nUPB), enabling the decomposition of the multipartite Hilbert space into a two-dimensional subspace, complemented by a Genuinely Entangled Subspace (GES) and a maximal-dimensional Completely Entangled Subspace (CES). In multiqudit systems, we determine the maximum achievable dimension of a symmetric GES and demonstrate its realization through this construction. Furthermore, we systematically investigate the transition from the conventional Veronese embedding to the modified one by imposing various constraints on the affine coordinates, which, in turn, increases the CES dimension while reducing that of the GES.

要約:
This paper presents explicit constructions of bases for Riemann-Roch spaces associated with arbitrary divisors on elliptic curves. In the context of algebraic geometry codes, the knowledge of an explicit basis for arbitrary divisors is especially valuable, as it enables efficient code construction. From a cryptographic point of view, codes associated with arbitrary divisors with many points are closer to Goppa codes, making them attractive for embedding in the McEliece cryptosystem. Using the results obtained in this work, it is also possible to efficiently construct quasi-cyclic subfield subcodes of elliptic codes. These codes enable a significant reduction in public key size for the McEliece cryptosystem and, consequently, represent promising candidates for integration into post-quantum code-based schemes.

要約:
We extend the probabilistic approach for constructing Kahler-Einstein metrics on log Fano manifolds - involving random point processes - to the case of non-discrete automorphism groups, by explicitly breaking the symmetry. This yields a new algebraic notion of Gibbs polystability, conjecturally equivalent to K-polystability. The definition involves a limit of log canonical thresholds on the GIT semistable locus of the N-fold products of the Fano manifold that we conjecture coincides with an analytic reduced stability threshold encoding the coercivity of the K-energy functional modulo automorphisms. These conjectures follow from an overarching conjectural Large Deviation Principle for the limit when N tends to infinity. We prove several of our conjectures for log Fano curves. By imposing a moment constraint, we derive a strengthened form of the sharp logarithmic Hardy-Littlewood-Sobolev inequality on the two-sphere, that implies the sharp form of Aubin's refinement of the Moser-Trudinger inequality. In companion papers we will present applications to Onsager's point vortex model on the two-sphere and the AdS/CFT correspondence.