Algebraic Geometry

2025-02-07 | | Total: 10

#1 Type II Degenerations of K3 Surfaces of Degree 4 [PDF] [Copy] [Kimi] [REL]

Author: James Matthew Jones

We study Type II degenerations of K3 surfaces of degree 4 where the central fiber consists of two rational components glued along an elliptic curve. Such degenerations are called Tyurin degenerations. We construct explicit Tyurin degenerations corresponding to each of the 1-dimensional boundary components of the Baily-Borel compactification of the moduli space of K3 surfaces of degree 4. For every such boundary component we also construct an 18-dimensional family of Tyurin degenerations of K3 surfaces of degree 4 and compute the stable models of these degenerations.

Subject: Algebraic Geometry

Publish: 2025-02-06 18:42:37 UTC


#2 Cohomology of symmetric stacks [PDF] [Copy] [Kimi] [REL]

Authors: Chenjing Bu, Ben Davison, Andrés Ibáñez Núñez, Tasuki Kinjo, Tudor Pădurariu

We construct decompositions of: (1) the cohomology of smooth stacks, (2) the Borel--Moore homology of $0$-shifted symplectic stacks, and (3) the vanishing cycle cohomology of $(-1)$-shifted symplectic stacks, under the assumption that a good moduli space exists and the tangent space has a point-wise orthogonal structure. This holds for many moduli stacks of interest, such as the moduli stack of semistable $G$-bundles and (twisted) $G$-Higgs bundles on a curve and the $G$-character stacks of oriented closed 2-manifolds and various 3-manifolds. For smooth stacks, we show that their cohomology decomposes into the intersection cohomology of the good moduli space of the stack of graded points via the cohomological Hall induction map. This generalizes and provides a new proof of Meinhardt--Reineke's theorem identifying the cohomological BPS invariant for symmetric quivers with the intersection cohomology of the good moduli space. For $0$-shifted symplectic stacks, we define a pure Hodge module on the good moduli space, the BPS sheaf, and prove that the Borel--Moore homology of the stack decomposes into the cohomology of the BPS sheaves on the good moduli space of the stack of graded points. As an application, we propose a formulation of the topological mirror symmetry conjecture for $G$-Higgs bundles for semisimple groups $G$ in the style of Hausel--Thaddeus. For $(-1)$-shifted symplectic stacks, we introduce a mixed Hodge module, also referred to as the BPS sheaf, and prove a decomposition theorem analogous to the one for $0$-shifted symplectic stacks, but now for the vanishing cycle cohomology. As a particular case, we establish the cohomological integrality theorem for $3$-Calabi--Yau categories admitting a certain orientation data, generalizing the result of Davison and Meinhardt for quivers with potentials.

Subjects: Algebraic Geometry , Geometric Topology , Representation Theory

Publish: 2025-02-06 17:41:31 UTC


#3 Hodge microsheaves on cotangent bundles and plumbings [PDF] [Copy] [Kimi] [REL]

Authors: Tatsuki Kuwagaki, Takahiro Saito

We introduce and study the category of Hodge microsheaves which is a Hodge-version of the category of microsheaves for a certain class of holomorphic exact symplectic manifolds. We then study Hodge-theoretic version of wrapped sheaves and discuss applications in topology and representation theory. Namely, we study (1) Hain's Hodge structures on the cohomology of based loop spaces of algebraic varieties, and (2) the Koszul duality of Ginzburg algebras by Etgü-Lekili from a mixed geometric perspective.

Subjects: Algebraic Geometry , Representation Theory , Symplectic Geometry

Publish: 2025-02-06 15:29:51 UTC


#4 Gotzmann's persistence theorem for Mori dream spaces [PDF] [Copy] [Kimi] [REL]

Author: Patience Ablett

Gotzmann's persistence theorem provides a method for determining the Hilbert polynomial of a subscheme of projective space by evaluating the Hilbert function at only two points, irrespective of the dimension of the ambient space. In arXiv:2405.02275 we established an analogue of Gotzmann's persistence theorem for smooth projective toric varieties. We generalise our results to the setting of Mori dream spaces, whose associated Cox rings are also finitely generated. We also give an alternative, stronger, persistence result for points in products of projective spaces.

Subjects: Algebraic Geometry , Commutative Algebra

Publish: 2025-02-06 14:48:45 UTC


#5 Ultra-test ideals in rings with finitely generated anti-canonical algebras [PDF] [Copy] [Kimi] [REL]

Author: Tatsuki Yamaguchi

When anti-canonical rings are finitely generated, we give a characterization of adjoint ideals using ultra-Frobenii, a characteristic zero analogue of Frobenius morphisms. This characterization enables us to give an alternative proof of a result of Zhuang, which states that if a ring is of klt type, then so is any of its pure subrings.

Subject: Algebraic Geometry

Publish: 2025-02-06 07:00:52 UTC


#6 Localizing invariants of inverse limits [PDF] [Copy] [Kimi] [REL]

Author: Alexander I. Efimov

In this paper we study the category of nuclear modules on an affine formal scheme as defined by Clausen and Scholze \cite{CS20}. We also study related constructions in the framework of dualizable and rigid monoidal categories. We prove that the $K$-theory (in the sense of \cite{E24}) of the category of nuclear modules on $\operatorname{Spf}(R^{\wedge}_I)$ is isomorphic to the classical continuous $K$-theory, which in the noetherian case is given by the limit $\varprojlim\limits_{n} K(R/I^n).$ This isomorphism was conjectured previously by Clausen and Scholze. More precisely, we study two versions of the category of nuclear modules: the original one defined in \cite{CS20} and a different version, which contains the original one as a full subcategory. For our category $\operatorname{Nuc}(R^{\wedge}_I)$ we give three equivalent definitions. The first definition is by taking the internal $\operatorname{Hom}$ in the category $\operatorname{Cat}_R^{\operatorname{dual}}$ of $R$-linear dualizable categories. The second definition is by taking the rigidification of the usual $I$-complete derived category of $R.$ The third definition is by taking an inverse limit in $\operatorname{Cat}_R^{\operatorname{dual}}.$ For each of the three approaches we prove that the corresponding construction is well-behaved in a certain sense. Moreover, we prove that the two versions of the category of nuclear modules have the same $K$-theory, and in fact the same finitary localizing invariants.

Subjects: K-Theory and Homology , Algebraic Geometry , Algebraic Topology , Category Theory , Number Theory

Publish: 2025-02-06 14:55:07 UTC


#7 Quantum integrable model for the quantum cohomology/quantum K-theory of flag varieties and the double $β$-Grothendieck polynomials [PDF] [Copy] [Kimi] [REL]

Author: Jirui Guo

A GL$(n)$ quantum integrable system generalizing the asymmetric five vertex spin chain is shown to encode the ring relations of the equivariant quantum cohomology and quantum K-theory ring of flag varieties. We also show that the Bethe ansatz states of this system generate the double $\beta$-Grothendieck polynomials.

Subjects: Mathematical Physics , High Energy Physics - Theory , Algebraic Geometry , Combinatorics , Exactly Solvable and Integrable Systems

Publish: 2025-02-06 04:06:35 UTC


#8 Cyclic splittings of pro-$\mathcal{C}$ groups [PDF] [Copy] [Kimi] [REL]

Authors: Jesus Berdugo, Pavel Zalesskii

In this paper we proved a pro-$\mathcal{C}$ version of the Rips-Sela Theorems on splittings as an amalgamated free product or HNN-extension over a cyclic subgroup, where $\mathcal{C}$ is a class of finite groups closed for subgroups, quotients, finite direct products and extensions with abelian kernel.

Subjects: Group Theory , Algebraic Geometry

Publish: 2025-02-05 21:24:55 UTC


#9 Modular companions in planar one-dimensional equisymmetric strata [PDF] [Copy] [Kimi] [REL]

Authors: S. Allen Broughton, Antonio F. Costa, Milagros Izquierdo

Consider, in the moduli space of Riemann surfaces of a fixed genus, the subset of surfaces with non-trivial automorphisms. Of special interest are the numerous subsets of surfaces admitting an action of a given finite group, $G$, acting with a specific signature. In a previous study we declared two Riemann surfaces to be \emph{modular companions} if they have topologically equivalent $G$ actions, and that their $G$ quotients are conformally equivalent orbifolds. In this article we present a geometrically-inspired measure to decide whether two modular companions are conformally equivalent (or how different), respecting the $G$ action. Along the way, we construct a moduli space for surfaces with the specified $G$ action and associated equivariant tilings on these surfaces. We specifically apply the ideas to planar, finite group actions whose quotient orbifold is a sphere with four cone points.

Subjects: Geometric Topology , Algebraic Geometry , Complex Variables

Publish: 2025-02-05 20:31:55 UTC


#10 Fenchel's conjecture on NEC groups [PDF] [Copy] [Kimi] [REL]

Authors: Emilio Bujalance, F. Javier Cirre, Marston D. E. Conder, Antonio F. Costa

A classical discovery known as Fenchel's conjecture and proved in the 1950s, shows that every co-compact Fuchsian group $F$ has a normal subgroup of finite index isomorphic to the fundamental group of a compact unbordered orientable surface, or in algebraic terms, that $F$ has a normal subgroup of finite index that contains no element of finite order other than the identity. In this paper we initiate and make progress on an extension of Fenchel's conjecture by considering the following question: Does every planar non-Euclidean crystallographic group $\Gamma$ containing transformations that reverse orientation have a normal subgroup of finite index isomorphic to the fundamental group of a compact unbordered non-orientable surface? We answer this question in the affirmative in the case where the orbit space of $\Gamma$ is a nonorientable surface, and also in the case where this orbit space is a bordered orientable surface of positive genus. In the case where the genus of the quotient is $0$, we have an affirmative answer in many subcases, but the question is still open for others.

Subjects: Geometric Topology , Algebraic Geometry

Publish: 2025-02-05 20:21:02 UTC