要約:
This paper introduces an abelian category of logarithmic coherent sheaves that arranges coherent sheaves across all expansions and root stacks of a simple normal crossing degeneration. Formally, logarithmic coherent sheaves are coherent sheaves in the full logarithmic \'etale topology. We develop a suite of tools that reduces the evaluation of the basic functors of homological algebra to the conventional calculation on a computable logarithmic alteration. A second paper will establish good properties of the associated logarithmic derived category.
We thus offer a unified perspective on logarithmic moduli spaces of coherent sheaves: The logarithmic Quot spaces motivated by Maulik and Ranganathan's logarithmic Donaldson--Thomas theory, the logarithmic Picard group constructed by Molcho and Wise, and moduli spaces of logarithmic parabolic sheaves as developed by Borne, Talpo, and Vistoli. In establishing the connection with logarithmic Picard groups, we offer a new interpretation of chip firing as the combinatorial shadow to a logarithmic version of S-equivalence.
要約:
The effective application of the St\"ohr-Voloch theory for the linear system of plane curves of a fixed degree to bound the number of rational points of a family of plane curves defined over $\mathbb{F}_q$ requires the characterization of the $\mathbb{F}_q$-Frobenius nonclassical curves in the family. In this paper, we provide necessary and sufficient conditions for certain generalized Fermat curves $\mathcal{F}$ defined over $\mathbb{F}_q$ to be $\mathbb{F}_q$-Frobenius nonclassical with respect to the linear system of conics. In the Frobenius classical cases, we obtain nice bounds for the number $N_q(\mathcal{F})$ of rational points of $\mathcal{F}$ via St\"ohr-Voloch theory, whereas in the Frobenius nonclassical cases, we derive explicit formulas for $N_q(\mathcal{F})$.
要約:
Using the recent advancements in the structure of algebraic groups over imperfect fields, we propose a generalization of Serre's Conjecture I and of results that revolve around it. In particular, we prove that the first Galois cohomology set of any unirational algebraic group is always trivial if the cohomological dimension of the field is less or equal to 1 in Kato's sense.
要約:
The notion of acceptable bundles plays a fundamental role in the Simpson--Mochizuki theory. We study acceptable bundles on a partially punctured polydisk in detail. While this article is primarily expository, it also presents new arguments that differ from those of Mochizuki.
要約:
We prove that a regular projective surface $S$ over a field $k$ of characteristic $p \ge 7$, with $H^0(S,\mathcal{O}_S) = k$ and $-K_S$ being nef, is geometrically integral over $k$.
要約:
We study one-parameter conifold degenerations whose central fiber has finitely many ordinary double points and construct a mixed-Hodge-module refinement of the canonical corrected perverse object associated with the degeneration. We build a rank-one point-supported mixed-Hodge-module block at each node, identify the global singular quotient as $\bigoplus_{k=1}^r i_{k*}\Q^H_{\{p_k\}}(-1)$, and assemble these local blocks via Saito's divisor-case gluing formalism into a global object $\mathcal P^H \in MHM(X_0)$. We prove that $\mathcal P^H$ realizes the corrected perverse object, fits into an exact sequence $0 \to IC^H_{X_0} \to \mathcal P^H \to \bigoplus_{k=1}^r i_{k*}\Q^H_{\{p_k\}}(-1) \to 0$, and that the same quotient realizes the finite local vanishing sector in the nearby-cycle formalism. We further relate the mixed-Hodge-module extension, its realized perverse extension, and the induced extension on hypercohomology carrying the limiting mixed Hodge structure. This gives a theorem-level Hodge-theoretic refinement of the corrected perverse extension in the finite multi-node ordinary double point setting.
要約:
We give an alternative proof of the existence of the anticanonical minimal model program for potentially klt pairs, assuming the anticanonical divisor admits a birational Zariski decomposition. Moreover, we establish a structure theorem showing that any partial anticanonical MMP starting from a potentially klt pair can be lifted to a compatible sequence of nonpositive maps between the $\mathbb{Q}$-factorial terminalizations of its successive steps.
要約:
Niels Borne established a natural correspondence between the parabolic vector bundles on curves and vector bundles on root stacks. The notions of direct image of parabolic vector bundles and pullback of parabolic vector bundles were studied in \cite{Alfaya_Biswas}. We show that these two notions correspond to the notions direct image of vector bundles on root stacks and pullback of vector bundles on root stacks respectively. Some applications of this correspondence are given.
要約:
Recently, John Pardon proved the MNOP conjecture (on the GW-DT correspondence for CY3s) by introducing a new mathematical gadget, which we call the Pardon homology algebra of 1-cycles in 3-folds. We work out an analogous construction for 0-cycles in d-folds. This gives a new point of view on enumerative problems involving point-counting, such as, for example, the degree zero MNOP conjecture on the Hilbert scheme of points in projective 3-folds.
要約:
Given X a cominuscule Grassmannian (or irreducible Hermitian symmetric space) and an integer p, we compute the minimum l(p) such that H^0 ($\Omega$^p\_X (l(p))) is not 0. This allows us to conclude that any codimension-one foliation of degree zero on a cominuscule Grassmannian is a pencil of hyperplanes, improving a result of the first and third authors with D. Faenzi. We also deduce the structure of codimension-one foliations of degree one. Finally, we provide families of examples of high codimensional foliations of minimal degree on classical Grassmannians, Lagrangian Grassmannians, Spinor varieties, and the Cayley plane.
要約:
Let $C$ be a complex projective integral curve with planar singularities. In this note, we study numerical relations among its versal deformation space, moduli space of stable maps, and compactified Jacobian. In particular, we correct a statement by Fantechi--G\"ottsche--van Straten on the multiplicity of the $\delta$-constant stratum of the versal deformation space at $[C]$. We also give a necessary and sufficient condition for the original claim to hold.
要約:
Let $X$ be a projective complex 3-manifold. An effective curve class $\beta\in H_2(X,\mathbb Z)$ is called positive if $c_1(X)\cdot\beta>0$, and superpositive if all the effective summands of $\beta$ are positive. If $X$ is Fano then all curve classes are superpositive. In arXiv:2111.04694 the second author developed a theory of enumerative invariants in abelian categories and wall-crossing formulae. We use this theory to prove conjectures by Pandharipande and Thomas on the rationality and poles of generating functions of Pandharipande-Thomas invariants of $X$ with descendent insertions, for superpositive curve classes.
要約:
Let X be either a smooth K3 surface or a smooth Fano variety (i.e. $-K_X$ is ample) of dimension $n$ and index $i_X> n-3$ and let E be an initialized Ulrich bundle on X. In this paper, we show that the syzygy bundle $S(E)$, defined as the kernel of the evaluation map $H^0(X,E)\otimes O_{X}\rightarrow E$, is semistable.
要約:
We study the Hodge-to-de Rham spectral sequence for integral projective curves with local complete intersection singularities. We prove that degeneration at the E2-page is equivalent to requiring every singularity to be a quasihomogeneous plane curve singularity. We also show that, in the same local complete intersection setting, the Hochschild-to-cyclic spectral sequence degenerates at the E2-page if and only if the same condition holds
要約:
We give a proof of the Morrison-Kawamata cone conjecture for Enriques surfaces independent of their characteristic. It is based on the analysis of certain generically finite morphisms of degree two.
要約:
Let $(V, \phi)$ be a holomorphic Lie algebroid over an irreducible smooth complex projective variety $X$ of dimension at least three, and let $E$ be a holomorphic vector bundle on $X$. We establish a necessary and sufficient condition for the existence of a holomorphic $(V, \phi)$--connection on $E$.
要約:
The generating series of descendent invariants of stable pairs on 3-folds is conjectured to be rational and to satisfy a $q\leftrightarrow q^{-1}$ symmetry. We prove this conjecture for Fano 3-folds. We utilize the same path of stability conditions that Toda used in his proof of the Calabi--Yau version of the conjecture, relating stable pairs and $L$ invariants, and work of the two authors that allows an extension of Joyce's descendent wall-crossing formula to non-standard hearts of $D^b(X)$. We use Ehrhart theory to deal with the combinatorics coming out of the wall-crossing formula. Furthermore, we specialize the wall-crossing formula to primary insertions and prove a strong rationality result predicted by the Pandharipande--Thomas/Gopakumar--Vafa correspondence.
要約:
We introduce a classical integrable system associated with the torus-equivariant quantum $K$-theory of type C flag variety. We prove that its conserved quantities coincide with the generators of the defining ideal of the Borel presentation of the quantum $K$-ring obtained by Kouno and Naito. In particular, the Hamiltonian of the system is naturally regarded as a type B analogue of the relativistic Toda lattice introduced by Ruijsenaars. We also construct B\"acklund transformations describing the discrete time evolution of the system. This construction makes explicit the integrable structure underlying the quantum $K$-theory and provides a framework for further studies of the $K$-theoretic Peterson isomorphism.
要約:
We prove that the singular cohomology with finite coefficients of a finite-dimensional Stein space $S$ is isomorphic to the \'etale cohomology of the Stein algebra $\mathcal{O}(S)$. We deduce that any class in $H^k(S,\mathbb{Z})$ comes from an algebraic variety by pullback by a holomorphic map (if $k\geq 1$), and vanishes on the complement of a nowhere dense closed analytic subset of $S$ (if $k\geq 2$).
要約:
We describe a class of sharply o-minimal structures, called analytically generated structures, whose definable sets and their complexity filtration are determined by the collection of definable complex cells.
We prove a polynomially effective parameterization theorem using real complex cells for real sets definable in such structures. Following Binyamini--Novikov, this allows us to establish a polynomially effective version of the Yomdin--Gromov lemma on C^r-smooth parameterizations of definable sets, which implies Wilkie's conjecture on polylogarithmic bounds for the amount of algebraic points of bounded height and degree in the transcendental part of a definable set.
In addition, we obtain a polynomially effective preparation theorem for definable functions, similar to the subanalytic preparation theorems of Parusinski and of Lion--Rolin.
要約:
We establish a criterion for determining when a smooth Deligne-Mumford stack is a weighted blow-up. More precisely, given a smooth Deligne-Mumford stack $\mathcal{X}$ and a Cartier divisor $\mathcal{E} \subset \mathcal{X}$ such that (1) $\mathcal{E}$ is a weighted projective bundle over a smooth Deligne-Mumford stack $\mathcal{Y}$ and (2) for every $y\in\mathcal{Y}$ we have $\mathcal{O}_{\mathcal{X}}(\mathcal{E})|_{\mathcal{E}_y}\simeq \mathcal{O}_{\mathcal{E}_y}(-1)$, then there exists a contraction $\mathcal{X}\to\mathcal{Z}$ to a smooth Deligne-Mumford stack $\mathcal{Z}$. Moreover, the stack $\mathcal{X}$ can be recovered as a weighted blow-up along $\mathcal{Y}\subset \mathcal{Z}$ with exceptional divisor $\mathcal{E}$, and $\mathcal{Z}$ is a pushout in the category of algebraic stacks. As an application, we show that the moduli stack $\overline{\mathscr{M}}_{1,n}$ of stable $n$-pointed genus one curves is a weighted blow-up of the stack of pseudo-stable curves. Along the way we also prove a reconstruction result for smooth Deligne-Mumford stacks that is of independent interest.
要約:
We show that for every g greater or equal than 5, the locus of Prym varieties in the moduli space of principally polarized abelian varieties of dimension g-1 that possess a pseudoreflection of geometric origin is the union of three different non-empty explicit irreducible families. This is in stark contrast to the loci of Jacobian varieties that possess a pseudoreflection of geometric origin, which is empty for any genus greater than 3. In g=6, a distinguished example of Prym varieties with a pseudoreflection is given by intermediate Jacobians of cubic threefolds that possess an Eckardt point.
要約:
Given a log Calabi--Yau surface $(Y,D)$, Bousseau has constructed a quantization of the mirror algebra of this pair. We give a formula for structure constants of this quantization in terms of higher genus descendant logarithmic Gromov--Witten invariants of $(Y,D)$. Our result generalises the weak Frobenius structure conjecture for surfaces to the $q$-refined setting, and is proved by relating these invariants to counts of quantum broken lines in the associated quantum scattering diagram.
要約:
For $n\leq 6$, we compute the integral Chow ring of every modular compactification of $\mathcal{M}_{1,n}$ parametrising only Gorenstein curves with smooth, distinct markings. These include the Deligne--Mumford, Schubert, and Smyth compactifications, and many more. They can all be excised from the stack of log-canonically polarised Gorenstein curves. The Chow ring of the latter admits a simple, combinatorial description, which we compute by patching along a natural stratification by core level. We further deduce that all these modular compactifications satisfy the Chow-K\"{u}nneth generation property, that the cycle class map is an isomorphism, and for $n=4$ we study whether the Getzler's relation hold integrally.
要約:
Let $(\mathcal{C}, \otimes)$ be a monoidal dg-category. We construct a complex controlling the deformation of the monoidal structure on $\mathcal{C}$ together with the deformation of the underlying dg-category itself. We show that in the case of a semisimple category $\mathcal{C}$ it reduces to the Davydov-Yetter complex. Furthermore, we study this complex in several special cases, in particular, in the case of the category of $A$-modules over a commutative algebra $A$ we obtain a complex computing operadic $E_2$-cohomology of $A$. And in the case of the category of representations of an associative bialgebra we recover the Gerstenhaber-Schack complex. In the latter case our construction can be considered as a generalization of the Gerstenhaber-Schack complex to quasi-bialgebras.
要約:
We solve the $K$-theoretically refined Donaldson-Thomas theory of local curves. Our results avoid degeneration techniques, but rather exploit direct localisation methods to reduce the refined Donaldson-Thomas partition function to the equivariant intersection theory of skew nested Hilbert schemes on smooth projective curves. We show that the latter is determined, for every Young diagram, by three universal series, which we compute in terms of the 1-leg $K$-theoretic equivariant vertex. In the refined limit, our results establish a formula for the refined topological string partition function of local curves proposed by Aganagic-Schaeffer. In the second part, we show that analogous structural results hold for the refined Pandharipande-Thomas theory of local curves. As an application, we deduce the K-theoretic DT/PT correspondence for local curves in arbitrary genus, as conjectured by Nekrasov-Okounkov.
Thanks to the recent machinery developed by Pardon, we expect our explicit results on local curves to play a key role towards the proof of the refined GW/PT conjectural correspondence of Brini-Schuler for all smooth Calabi-Yau threefolds.
要約:
Given an abelian category and a stability condition satisfying appropriate conditions, we define generalized $K$-theoretic invariants and prove that they satisfy wall-crossing formulas. For this, we introduce a new associative algebra structure on the $K$-homology of the stack of objects of an abelian category, which we call the $K$-Hall algebra. We first define $\delta$-invariants directly coming from the stack of semistable objects and use the $K$-Hall algebra to take a formal logarithm and construct $\varepsilon$-invariants. We prove that these satisfy appropriate wall-crossing formulas using the non-abelian localization theorem. Based on work of Joyce in the cohomological setting, Liu had previously defined similar invariants assuming the existence of a framing functor; we show that when their definition of invariants makes sense it agrees with ours. Our results extend Joyce--Liu wall-crossing to non-standard hearts of $D^b(X)$, for which framing functors are not known to exist.
要約:
A convex chain is a finite integer linear combination of indicator functions of convex polytopes. Khovanskii-Pukhlikov extend the Ehrhart theory of convex lattice polytopes to the setting of convex chains. Extending the relationship between equivariant line bundles on projective toric varieties and virtual lattice polytopes, we associate a lattice convex chain to a torus equivariant vector bundle on a toric variety and show that sum of values of this convex chain on lattice points gives the Euler characteristic of the bundle.
要約:
We propose a conjectural theory of $p$-integral models of Shimura varieties with level structure at $p$ given by a class of normal subgroups of parahoric subgroups with abelian quotient group. The role of the theory of local models is played in this context by a certain root stack over the local model for parahoric level. The construction of this root stack is based on the "divisor theorem" (a foundational fact about local models) and on the theory of toric varieties in this context, both of which are of independent interest. We prove our conjecture in the case of Shimura varieties of PEL type when the parahoric is an Iwahori (under some additional conditions).
要約:
The assumed hardness of the Linear Code Equivalence problem (LCE) lies at the core of the security of the LESS signature scheme and other signature schemes with advanced functionalities. The LCE problem asks to determine whether two linear codes are equivalent. This equivalence is represented by a monomial matrix $ Q$, i.e. the product of a diagonal matrix $D$ and a permutation matrix $P$. The recovery of $Q=DP$ is known to be reduced to the recovery of the permutation matrix $ P$ alone. Exploiting this fact, we construct an algebraic model for LCE involving only the matrix $P$. To this end, we study the action of monomial matrices on linear codes using tools from algebraic geometry, including Pl\"ucker coordinates and fields of invariant rational functions. In particular, we analyse the action of diagonal matrices on linear codes, which can be interpreted as diagonal scaling of the coordinates of elements of the Grassmannian. We propose a method to determine algebraically independent generators of the field of rational functions invariant under this action, without relying on Reynolds operators or Gr\"obner basis computations. Furthermore, given two equivalent codes, we apply our results to explicitly construct, for each invariant function, a polynomial having $P$ as a root. However, the resulting polynomials are not of practical use: their degrees are high for cryptographically relevant parameters, and the number of monomials grows exponentially, making them infeasible to manipulate. Despite this limitation, our results are of theoretical interest, as they constitute the first application of these tools to the cryptanalysis of LCE and provide insight into how algebraic geometry and invariant theory can be employed in Cryptography.
要約:
Let $X$ be a smooth complex quasi-projective variety that is special in the sense of Campana. We prove that the monodromy group of any complex local system on $X$ is virtually nilpotent of class at most $2$. This result sharply refines a theorem of Cadorel, Yamanoi, and the second author. To establish this result, we develop a deformation theory for certain local systems on quasi-compact K\"ahler manifolds by constructing universal deformations for such local systems. As a byproduct of our argument, we also show that a general fiber of the quasi-Albanese map of $X$ is special, extending a result of Campana and Claudon from the projective to the quasi-projective setting.
要約:
We review recent developments in the theory of compact hyper-K\"ahler varieties, from the viewpoint of Lagrangian fibrations, moduli spaces of stable sheaves, and derived categories. These notes originated from the lecture by the second named author at the 2025 Summer Institute in Algebraic Geometry, Colorado State University, Fort Collins (USA), July 14 - August 1, 2025.
要約:
We construct shifted symplectic derived enhancements on rigidified moduli spaces of sheaves on Calabi-Yau varieties of dimension at least two. More generally, we prove that any $B\mathbb{G}_m$-action on a non-positively-shifted symplectic derived Artin stack is Hamiltonian. We provide a symplectic rigidification functor as the left adjoint to the trivial action functor in symplectic categories with Lagrangian correspondences. We also descend the Lagrangian correspondence of short exact sequences of sheaves to rigidified moduli spaces.
要約:
We consider finite graphs whose vertexes are supersingular elliptic curves, possibly with level structure, and edges are isogenies. They can be applied to the study of modular forms and to isogeny based cryptography. The main result of this paper is an upper bound on the modules of the eigenvalues of their adjacency matrices, which in particular implies that these graphs are Ramanujan. We also study the asymptotic distribution of the eigenvalues of the adjacency matrices, the number of connected components, the automorphisms of the graphs, and the connection between the graphs and modular forms.
要約:
We establish a representability criterion of $v$-sheaf theoretic modifications of formal schemes and apply this criterion to moduli spaces of parahoric level structures on local shtukas. In the proof, we introduce nice classes of equivariant profinite perfectoid covers and study geometric quotients of perfectoid formal schemes by profinite groups. As a corollary, we show the local representability of integral models of local Shimura varieties under hyperspecial levels, and study the forgetful morphisms between integral models of Shimura varieties associated with inclusions of parahoric subgroups under hyperspecial levels.
要約:
We study formal series which are invariants of plumbed 3-manifolds twisted by root lattices. These series extend the BPS $q$-series $\widehat{Z}(q)$ recently defined in Gukov-Pei-Putrov-Vafa, Gukov-Manolescu, Park, and further refined in Ri. We show that the series $\widehat{Z}(q)$ is unique in an appropriate sense and decomposes as the average of related series which are themselves invariant under the five Neumann moves amongst plumbing trees. Explicit computations are presented in the case of Brieskorn spheres and a non-Seifert manifold.
要約:
We study the representation theory of the spherical double affine Hecke algebra (DAHA) of $C^\vee C_1$, using brane quantization. By showing a one-to-one correspondence between Lagrangian $A$-branes with compact support and finite-dimensional representations of the spherical DAHA, we provide evidence of derived equivalence between the $A$-brane category of $\mathrm{SL}(2,\mathbb{C})$-character variety of a four-punctured sphere and the representation category of DAHA of $C^\vee C_1$. The $D_4$ root system plays an essential role in understanding both the geometry and representation theory. In particular, this $A$-model approach reveals the action of an affine braid group of type $D_4$ on the category. As a by-product, our geometric investigation offers detailed information about the low-energy effective dynamics of the SU(2) $N_f=4$ Seiberg-Witten theory.
要約:
We study the twisted de Rham complex associated with a holomorphic function on a K\"ahler manifold whose critical point set is compact. We prove the $E_1$-degeneration of the Hodge-to-de Rham spectral sequence. It is a generalization of Barannikov-Kontsevich Theorem.
要約:
In this article we investigate the condition that the Proj of a Rees algebra of a graded family of ideals in a Noetherian local ring $R$ is Noetherian. In many cases, the Proj will be Noetherian even when the Rees algebra is not. For instance, the Proj of the Rees algebra of a graded filtration of ideals will alway be Noetherian if the analytic spread of the filtration is zero.
The Proj of a Rees algebra of a divisorial filtration on a two dimensional normal excellent local ring is always Noetherian, as was proven by Russo and later with a different proof by the author. We give examples in this paper of divisorial filtrations on three dimensional normal excellent local rings whose Proj is not Noetherian, showing that this theorem does not extend to higher dimensions.
A consequence of the fact that the Proj of a divisorial filtration over a two dimensional excellent normal local ring is always Noetherian is that the preimage of the maximal ideal of $R$ in the Proj has only finitely many irreducible components. As a consequence, the fiber cone of such a filtration has only finitely many minimal primes. We give an example of a graded filtration of ideals in a two dimensional regular local ring such that the preimage of the maximal ideal in the Proj of the Rees algebra of the filtration has infinitely many irreducible components, so that the Proj is not Noetherian, and the fiber cone of the filtration has infinitely many minimal primes.
要約:
Powers of a polynomial $\operatorname{GL}$-representation are topologically Noetherian under the action of $\operatorname{Sym} \times \operatorname{GL}$. We extend this result to powers of algebraic representations of the orthogonal and the symplectic groups, proving topological Noetherianity under the action of $\operatorname{Sym} \times \operatorname{O}$ and $\operatorname{Sym} \times \operatorname{Sp}$ respectively. This work builds on arXiv:2212.05790 and arXiv:1708.06420, and it provides further evidence that infinite powers of topologically Noetherian varieties remain topologically Noetherian up to permutations.