要約:
We prove that a homogeneous 0-dimensional complete intersection satisfies the Strong Lefschetz Property (SLP) in degree 1 if and only if its associated form has nonzero Hessian.
要約:
A real $m\times n$ matrix $M$ determines tropical row and column polytopes in tropical projective spaces $\mathbb{TP}^{m-1}$ and $\mathbb{TP}^{n-1}$, with canonical polyhedral cell structures that are naturally dual. We reinterpret this picture via Isbell duality: viewing $M$ as an $Rbar$-enriched profunctor $M$: $C^{op}\otimes D\to Rbar$, we study the associated order-reversing Isbell adjunction $M^*\dashv M_*$ and its fixed-point locus, the nucleus $Nuc(M)$. After projectivization, $pnuc(M)$ carries two interacting geometries. On the metric side, $Rbar$-enrichment induces a canonical Hilbert projective--type (max-spread) metric on projective (co)presheaves, and we show that the projective Isbell maps identify the presheaf and copresheaf realizations of $pnuc(M)$ by mutually inverse isometries. On the polyhedral side, in the discrete real setting the Isbell inequalities cut out a canonical polyhedral decomposition of $pnuc(M)$ recovering the usual tropical cell structure. Our main new ingredient is a pointwise invariant of a nucleus point $(f,g)$: the nonnegative $\textit{gap matrix}$ $\delta^{(f,g)}(c,d)=M(c,d)-f(c)-g(d)$. Its zero pattern determines the cell containing $(f,g)$, while its positive entries compute exact metric distances to the boundary strata where additional inequalities become tight (Events Theorem). This distance-to-wall principle refines cells into order chambers and supports a constructible tower of complete lattices obtained by thresholding $\delta^{(f,g)}$.
要約:
Let $X\to S$ be a smooth projective morphism. Katz proved the Grothendieck-Katz $p$-curvature conjecture for the Gauss-Manin connection on the $i$-th cohomology of $X/S$: if its $p$-curvature vanishes mod $p$ for infinitely many $p$, then the action of $\pi_1(S,s)$ on $H^i(X_s, \mathbb{Z})$ factors through a finite group. We prove a non-abelian analogue of this statement: if the $p$-curvature of the isomonodromy foliation on the moduli of flat bundles of rank $r$ on $X/S$ vanishes mod $p$ for infinitely many $p$, then the action of $\pi_1(S,s)$ on the rank $r$ integral characters of $\pi_1(X_s)$ factors through a finite group. We deduce many new cases of the Bost/Ekedahl--Shepherd-Barron--Taylor conjecture.
The proofs rely on a non-abelian version of Katz's formula, and a non-abelian version of the Hodge index theorem.
要約:
The purpose of this note is to show that, in contrast to the ${\Bbb F}_p$-case (proven in [7]), the $p$-primary and $p$-adic cases of the Isotropy Conjecture, claiming that the isotropic Chow groups with ${\Bbb Z}/p^r$, $r>1$, respectively, with ${\Bbb Z}_p$-coefficients over a flexible field coincide with the numerical ones, don't hold. We show that the $BP$-theory with $I(\infty)$-primary, respectively, $I(\infty)$-adic coefficients may serve as a regular substitute for $p$-primary, respectively, $p$-adic Chow groups, which permits to extend the results of [6] to arbitrary primes.
要約:
We show that, in the case of a prime $2$, the numerical triviality of $BP$-cycles modulo various powers of the (augmentation) invariant ideal $I(\infty)$ is controlled by pure symbols in $K^M_*/2$ over the flexible closure of the base field.
要約:
We study $\mathbb{S}_n$-equivariant motivic invariants of the moduli space $\mathcal{M}_{g, n}(\mathbb{P}^r, d)$ of degree-$d$ maps from $n$-pointed curves of genus $g$ to $\mathbb{P}^r$. In particular, we obtain formulas for the Serre characteristic, which specializes to the Hodge--Deligne polynomial. Fixing $g, r \geq 1$, we prove that an explicit invertible transform of the generating function for the Serre characteristics is rational. We use our formula to prove a stability result for the weight-graded compactly-supported Euler characteristics of $\mathcal{M}_{g, n}(\mathbb{P}^r, d)$ as $d \to \infty$. In genus one and two, we reduce the calculation of the Serre characteristic of $\mathcal{M}_{g, n}(\mathbb{P}^r, d)$ to those of the moduli spaces $\mathcal{M}_{g, n}$ of $n$-pointed curves. Since Getzler has calculated the Serre characteristic of $\mathcal{M}_{1, n}$, our formula in particular determines the Serre characteristic of $\mathcal{M}_{1, n}(\mathbb{P}^r, d)$ for arbitrary $n$, $r$, and $d$. Our formula also calculates the Serre characteristic of $\mathcal{M}_{2, n}(\mathbb{P}^r, d)$ whenever those of $\mathcal{M}_{2, n +k}$ are known for $k \leq d$.
要約:
This paper provides an introduction to non-abelian Hodge theory and moduli spaces of Higgs bundles on compact Riemann surfaces. We develop the moduli theory of vector bundles and Higgs bundles, establish the main correspondences of non-abelian Hodge theory, and interpret them through the hyperk\"ahler structure on the Hitchin moduli space. We study the Hitchin fibration and its geometric properties, including SYZ mirror symmetry and topological mirror symmetry for type $\mathsf{A}$ Hitchin systems. As an illustration, we compute the Poincar\'e polynomial of the rank 2 moduli space and verify topological mirror symmetry in this case.
要約:
We motivate and survey the theory of BPS invariants of categories and BPS cohomology of stacks, indicating applications in enumerative geometry and representation theory, as well as recent advances.
要約:
We systematically compute improved asymptotic rank bounds for tensors. Using numerical implicitization, we implement the geometric framework of Kaski and Micha{\l}ek across all computationally feasible cases. By detecting the absence of low-degree vanishing polynomials on secant varieties, we obtain new asymptotic rank bounds that improve upon the generic border rank bounds. The results provide numerical data supporting Strassen's asymptotic rank conjecture and clarify the computational barriers posed by current numerical methods.
要約:
We introduce tropical Kummer quartic surfaces in tropical projective $3$-space as the images of certain principally polarized tropical abelian surfaces under tropical theta functions of second order. We study some of their properties, showing that they are included in the tropicalizations of Kummer quartic surfaces defined over nonarchimdean valued fields. In the course of this work, we introduce the notion of a rational polyhedral orbifold and we provide faithful embeddings of tropical Kummer surfaces as such. Further, we show faithful tropicalizations of the canonical skeletons of certain Kummer surfaces over nonarchimdean valued fields. Under a suitable assumption on the base field, the canonical skeletons coincide with the Kontsevich--Soibelman skeletons.
要約:
Asymptotic normality is frequently observed in large combinatorial structures, rigorously established for many quantities such as cycles or inversions in random permutations, the number of prime factors of random integers, and various parameters of random graphs. In this paper, we investigate whether this normal limit behavior extends to the topological invariants of geometric spaces. We show that the Betti numbers of the moduli space of rational curves with $n$ marked points $\overline{\mathcal{M}}_{0,n}$ and the Fulton-MacPherson configuration space $\mathbb{P}^1[n]$ are asymptotically normally distributed. Based on numerical evidence and established log-concavity, we conjecture that the Betti numbers of the quotients of these spaces by the symmetric group $\mathbb{S}_n$ are also asymptotically normally distributed. In contrast, we provide examples of geometric spaces that do not follow this Gaussian law.
要約:
Given a smooth projective variety $X$ over a field $k$, we compute the Chow ring of the Hilbert scheme of three points on $X$, $\operatorname{Hilb}^3(X)$, as an algebra with generators and relations over the Chow ring of $X\times\operatorname{Sym}^2(X)$. If in addition the characteristic of $k$ is zero, we extend the computation to the quasi-projective case.
要約:
In this paper we compute explicit closed formulas for the total Tjurina number $\tau(C)$ of a reduced projective plane curve $C$ in terms of the graded Betti numbers of the corresponding Jacobian algebra. This yields in particular a completely new view point on the classical upper bounds for the total Tjurina number $\tau(C)$ of a plane curve $C$ given by A. du Plessis and C. T. C. Wall.
要約:
We study the behavior of slope-stability of reflexive twisted sheaves over a normal projective variety $X$ under pullback along a cover. Slope-stability is always preserved if the cover does not factor via a quasi-\'etale cover. Fixing the rank, there is one quasi-\'etale cover that checks whether a twisted sheaf remains slope-stable on all Galois covers, yielding a stratification of the moduli space of slope-stable Higgs-bundles. As an application, we determine the image of the Hitchin morphism restricted to the smallest closed stratum of the Dolbeault moduli space when $X$ is smooth. This allows us to determine the image of the Hitchin morphism from the Dolbeault moduli space when $X$ is a hyperelliptic or abelian variety in characteristic $p\ge0$. In particular, we show that Chen-Ng\^o's conjecture holds for hyperelliptic varieties in characteristic $0$.
要約:
In this article, we prove the orbifold version of the Bogomolov-Gieseker inequality for stable $\mathbb Q$-sheaves on K\"ahler varieties, generalizing our earlier work \cite{GP25} in dimension three. We also provide a characterization of the equality case, a new purely analytical proof of the numerical characterization of complex torus quotients as well as a novel, complex analytic interpretation of the second orbifold Chern class associated to a $\mathbb Q$-sheaf.
要約:
We compute the Chow quotient of the complete flag variety of isotropic subspaces of a four dimensional complex vector space with respect to a skew/symmetric form, and show that it is a singular del Pezzo surface of degree four.
要約:
We give a detailed and mathematically rigorous analysis of the path integrals of chiral fermions supported on holomorphic curves on $T^* \mathbb{C}$ in a general noncommutative instanton background. It is shown that such path integrals can be interpreted as computing instanton analogs of matrix coefficients of monopole scattering matrices. Generalizing the known relation between monopole scattering matrices and $R$-matrices of (shifted) Yangians $\mathsf{Y}(\mathfrak{gl}_r)$, our formalism gives rise to a novel geometric method to calculate $R$-matrices of (shifted) affine Yangians $\mathsf{Y}(\widehat{\mathfrak{gl}}_r)$. This may also be viewed as an explicit description of double affine Grassmannian slices by $\infty \times \infty$ matrices, compatible with factorization. Our approach unifies a number of earlier results in the literature, and also leads to interesting new results and conjectures.
要約:
We study the quantum K-theory ring $QK(X)$ of a Grassmannian $X$ and prove a manifestly positive formula for the product of an arbitrary class by a hook class. This generalizes the quantum K-theoretic Pieri rule, a prior result of Buch and Mihalcea. We also present a combinatorial interpretation of this result.
要約:
In this paper we present rigorously and as succintly as possible the theory of elliptic quasi-modular forms by means of moduli spaces and the Gauss-Manin connection, and deal with one of the main historical appearances of quasi-modular forms, which was the seminal case of mirror symmetry treated by Dijkgraaf.
要約:
We prove that non-abelian definable, definably simple groups in 1-h-minimal henselian valued fields are essentially already linear algebraic groups. Here, the group is assumed to live in the home sort. We have a similar result in pure algebraically closed valued fields of positive characteristic, under the additional assumption that the definable group is a subgroup of a linear algebraic group.
要約:
We spectrally lift Ganatra-Pomerleano's low-energy log PSS morphism to compute the associated graded of Floer homotopy types of ample smooth divisor complements. Moreover, we show the obstruction to splitting into the associated graded is encoded in a stable homotopy class defined via (higher-dimensional) genus 0 relative Gromov-Witten moduli spaces. We compute numerous examples of splittings, including the affine part of all smooth projective hypersurfaces of degree at least 2.
要約:
We prove an asymptotic formula for the number of integral points of bounded log anticanonical height on a singular quartic del Pezzo surface over arbitrary number fields, with respect to the largest admissible boundary divisor. The resulting Clemens complex is more complicated than usual, and leads to particularly interesting effective cone constants, associated with exponentially many polytopes whose volumes appear in the expected formula. Like a jigsaw puzzle, these polytopes fit together to one large polytope. The volume of this polytope appears in the asymptotic formula that we obtain using the universal torsor method via o-minimal structures.
要約:
We study embedded rational curves in projective toric varieties. Generalizing results of the first author and Zotine for the case of lines, we show that any degree $d$ rational curve in a toric variety $X$ can be constructed from a special affine-linear map called a degree $d$ Cayley structure. We characterize when the curves coming from a degree $d$ Cayley structure are smooth and have degree $d$. We use this to establish a bijection between the set of irreducible components of the Hilbert scheme whose general element is a smooth degree $d$ curve, and so-called maximal smooth Cayley structures. Furthermore, we describe the normalization of the torus orbit closure of such rational curves in the Chow variety, and give partial results for the orbit closures in the Hilbert scheme.
要約:
Let $\Cr_\Q(2)$ be the Cremona group of rank $2$ over rational numbers. we give a classification of large finite subgroups $G$ of $\Cr_\Q(2)$ and give a new sharp bound smaller (but not multiplicative) than $M(\Q)=120960 = 2^7\cdot3^3\cdot5\cdot7$; the one given in \cite{MR2567402}. In particular, we prove that any finite subgroup $G \subset\Cr_\Q(2)$ has order $\mid G\mid \le 432$ and Lemma \ref{lemm-17} provides a group of order $432$. We use the modern approach of minimal $G-$surfaces, given a (smooth) rational surface $S\subset\p^2$ defined over $\Q$, we study the finite subgroups $G \subset \Aut_{\Q}(S)$ of automorphisms of $S$. We give the best bound for the order of $G\subset\Aut(S)$ for surfaces with a conic bundle structure invariant by $G$. We also give the best bound for the order of $G\subset \Aut_\Q(S)$ for all rational Del Pezzo surfaces of some given degree. In addition, we give descriptions of the finite subgroups of automorphisms of conic bundles and Del Pezzo surfaces of maximal size.
要約:
The works of Brunella and Santos have singled out three special singular holomorphic foliations on projective surfaces having invariant rational nodal curves of positive self-intersection. These foliations can be described as quotients of foliations on some rational surfaces under cyclic groups of transformations of orders three, four, and six, respectively. Through an unexpected connection with the reduced Chazy IV, V and VI equations, we give explicit models for these foliations as degree-two foliations on the projective plane (in particular, we recover Pereira's model of Brunella's foliation). We describe the full groups of birational automorphisms of these quotient foliations, and, through this, produce symmetries for the reduced Chazy IV and V equations. We give another model for Brunella's very special foliation, one with only non-degenerate singularities, for which its characterizing involution is a quartic de Jonqui\`eres one, and for which its order-three symmetries are linear. Lastly, our analysis of the action of monomial transformations on linear foliations poses naturally the question of determining planar models for their quotients under the action of the standard quadratic Cremona involution; we give explicit formulas for these as well.
要約:
A toric amplitude is a rational function associated to a simplicial polyhedral fan. The definition is inspired by scattering amplitudes in particle physics. We prove algebraic properties of such amplitudes and study the geometry of their zero loci. These hypersurfaces play the role of Warren's adjoint via a dual volume interpretation. We investigate their Fano schemes and singular loci via the nef cone and toric irrelevant ideal of the fan.
要約:
We survey three settings in which dimensions of intersection cohomology groups of algebraic varieties provide deep combinatorial and representation-theoretic information, and computations of the groups themselves have been made using combinatorial sheaves on finite posets. These settings are (1) intersection cohomology of Schubert varieties, the associated Kazhdan-Lusztig polynomials and their realizations via moment graph sheaves and Soergel bimodules; (2) intersection cohomology of toric varieties, the associated g-polynomials of convex polytopes, and their realization via the theory of intersection cohomology of fans; and (3) intersection cohomology of arrangement Schubert varieties, the associated Kazhdan-Lusztig polynomials of matroids, and their realization via intersection cohomology of matroids. In all three settings these constructions are valid in more general situations where the variety does not exist, leading to "intersection cohomology without spaces." We give parallel presentations of these three stories, highlighting applications to KLS-polynomials.
要約:
An induced additive action on a projective variety $X\subseteq\BP^n$ is a regular action of the group $\BG_a^n$ on $X$ with an open orbit that can be extended to a regular action on~$\BP^n$. Such actions are known to correspond to pairs $(A, U)$, where $A$ is a local algebra and~$U$ is a generating subspace lying in the maximal ideal. This paper studies additive actions on projective toric varieties, with a particular focus on toric surfaces. We prove that for any linearly normal toric variety equipped with a torus-normalized additive action, the associated pair consists of a monomial algebra and a subspace spanned by variables. Also we describe pairs that correspond to additive actions on toric surfaces in low-dimensional projective spaces.
要約:
We prove a lower bound for the Milnor number of function germ invariant with respect to a finite abelian group action. It is shown that this bound is tight for functions of arbitrarily many variables. We also prove the function germs that reach this lower bound are equivariantly stable, i.e. invariant analogues of Morse singularities.
要約:
Let X be a smooth projective complex variety, and L a line bundle on X . We say that the linear system |L| has maximal variation if its elements have the maximum number dim|L| of moduli. We discuss some cases where this situation is expected: hypersurfaces, double coverings of the projective space, K3 surfaces, hyperkahler manifolds, and abelian varieties.
要約:
We prove the Kawamata-Morrison cone conjecture for Q-factorial terminal projective primitive symplectic varieties with second Betti number greater than five defined over a field of characteristic zero. As an application, we prove that the relative movable and the relative nef cone conjectures hold for fibrations whose very general fibre is a projective primitive symplectic varieties under certain assumptions.
要約:
This paper investigates the wall structure of the space of stability conditions on Hirzebruch surfaces. Using the gluing construction of \cite{CP} and \cite{Uch} with respect to a fixed semiorthogonal decomposition, we focus on two main objectives: observing the intersection of the geometric chamber $U(S) \subset \mathrm{Stab}(\Sigma_e)$ with the walls of the resulting subspace, and determining the moduli space of $\sigma$-semistable objects on this subspace.
要約:
In this article we show that the symbolic Rees algebra of a mixed ladder determinantal ideal is strongly $F$-regular. Furthermore, we prove that the symbolic associated graded algebra of a mixed ladder determinantal ideal is $F$-pure. The latter implies that mixed ladder determinantal rings are $F$-pure. We also show that ideals of the poset of minors of a generic matrix give rise to $F$-pure algebras with straightening law.
要約:
We generalize the torsion vanishing results of Caraiani-Scholze and Koshikawa. Our results apply to the cohomology of general Shimura varieties $(\mathbf{G},X)$ of PEL type $A$ or $C$, localized at a suitable maximal ideal $\mathfrak{m}$ in the spherical Hecke algebra at primes $p$ such that $\mathbf{G}_{\mathbb{Q}_{p}}$ is a group for which we know the Fargues-Scholze local Langlands correspondence is the semi-simplification of a suitably nice local Langlands correspondence. This is accomplished by combining Koshikawa's technique, the theory of geometric Eisenstein series over the Fargues-Fontaine curve, the work of Santos describing the structure of the fibers of the minimally and toroidally compactified Hodge-Tate period morphism for general PEL type Shimura varieties of type $A$ or $C$, and ideas developed by Zhang on comparing Hecke correspondences on the moduli stack of $G$-bundles with the cohomology of Shimura varieties. In the process, we also establish a description of the generic part of the cohomology that bears resemblance to the work of Xiao-Zhu. Moreover, we also construct a filtration on the compactly supported cohomology that differs from Manotovan's filtration in the case that the Shimura variety is non-compact, allowing us to circumvent some of the circumlocutions taken by Cariani-Scholze. Our method showcases a very general strategy for proving such torsion vanishing results, and should bear even more fruit once the inputs are generalized. Motivated by this, we formulate an even more general torsion vanishing conjecture.
要約:
Introduced by Takagi and Watanabe, the F-pure threshold is an invariant defined in terms of the Frobenius homomorphism. While it finds applications in various settings, it is primarily used as a local invariant. The purpose of this note is to start filling this gap by opening the study of its behavior on a scheme. To this end, we define the defect of the F-pure threshold of a local ring $(R,\mathfrak{m})$ by setting ${\rm dfpt}(R)=\dim (R) - {\rm fpt}(\mathfrak{m})$. It turns out that this invariant defines an upper semi-continuous function on a scheme and satisfies Bertini-type theorems. We also study the behavior of the defect of the F-pure threshold under flat extensions and after blowing up the maximal ideal of a local ring.
要約:
A Fuchsian group $\Gamma$ has a modular embedding if its adjoint trace field is a totally real number field and every unbounded Galois conjugate $\Gamma^\sigma$ comes equipped with a holomorphic (or conjugate holomorphic) map ${\phi^\sigma : \mathbb{B}^1 \to \mathbb{B}^1}$ intertwining the actions of $\Gamma$ and $\Gamma^\sigma$ on the Poincar\'e disk $\mathbb{B}^1$. This paper provides the first cocompact nonarithmetic Fuchsian groups with a modular embedding that are not commensurable with a triangle group. The main result, proved using period domains, is that any immersed totally geodesic complex curve on a complex hyperbolic $2$-orbifold has a modular embedding. Another consequence is arithmeticity of totally geodesic curves on finite-volume complex hyperbolic surfaces that are commensurable with quotients of $\mathbb{B}^1$ by the group generated by reflections in quadrilaterals satisfying certain angle conditions.
要約:
The rational blowdown operation in 4-manifold topology replaces a neighborhood of a configuration of spheres by a rational homology ball. Such configurations typically arise from resolutions of surface singularities that admit rational homology disk smoothings. Conjecturally, all such singularities must be weighted homogeneous and belong to certain specific families: Stipsicz-Szab\'o--Wahl constructed QHD smoothings for these families and used Donaldson's theorem to obtain very restrictive necessary conditions on the resolution graphs for singularities with this property. In particular, these results, as well as subsequent work of Bhupal-Stipsicz, show that for certain resolution graphs, the canonical contact structure on the link of the singularity cannot admit a QHD symplectic filling. By contrast, we exhibit Stein rational homology disk fillings for the contact links of an infinite family of rational singularities that are {\em not} weighted homogeneous, producing a new symplectic rational blowdown. Inspiration for our construction comes from de Jong-van Straten's description of Milnor fibers of sandwiched singularities; we use the symplectic analog of de Jong-van Straten theory developed by the second and third authors. The unexpected Stein fillings are built using spinal open books and nearly Lefschetz fibrations.
要約:
Polysymmetric functions, introduced by Asvin G and Andrew O'Desky as a generalization of symmetric functions, have natural connections to algebraic geometry and provide a foundation for further developments. In this paper, we study polysymmetric functions using stack partitions and develop combinatorial descriptions of several polysymmetric bases. We introduce two new signed polysymmetric bases and give explicit transition formulas among the monomial, homogeneous, elementary, power, and signed polysymmetric bases. These results extend many familiar identities from symmetric function theory to the polysymmetric setting.
要約:
Consider a bounded prism $(A,I)$ and a bounded quasi-l.c.i algebra $R$ over $\overline{A}$. In this paper, for any prism $S/A$ with a surjection $S\to R$ such that $\widehat{\mathbb L}_{\overline{S}/\overline{A}}$ is a $p$-completely flat module over $\overline{S}$, we establish an equivalence of categories between rational Hodge-Tate crystals on $(R/A)_{\Delta}$ and topologically nilpotent integrable connections on the Hodge--Tate cohomology ring $\overline{\Delta}_{R/S}$. As an application, for a non-zero divisor $a\in \overline{A}$, we introduce the concept of $a$-smallness for a rational Hodge-Tate prismatic crystal on $(R/A)_{\Delta}$. Finally, we focus on some special algebras $R$ over $\mathcal O_{\mathbb C_p}$ (or generally, the ring of integers of an algebraic closed and complete non-archimedean field) including all $p$-completely smooth algebras, $p$-complete algebras with semi-stable reductions and geometric valuation rings. By using our equivalence, we analyze the restriction functor from the category of $a$-small rational Hodge-Tate prismatic crystals to the category of $v$-vector bundles. This yields some new results in $p$-adic non-abelian Hodge Theory.