Motivic measures of configuration spaces and polysymmetric functions

Asvin G,Andrew O'Desky

2024-07-16

Abstract:We introduce a generalization of symmetric functions and apply the resulting theory to compute the class in the Grothendieck ring of varieties of the space of geometrically irreducible hypersurfaces of a fixed degree in projective space.

Algebraic Geometry,Combinatorics

What problem does this paper attempt to address?

Motivic configurations on the line

John Igieobo,Stephen McKean,Steven Sanchez,Dae'Shawn Taylor,Kirsten Wickelgren

2024-11-23

Abstract:For each configuration of rational points on the affine line, we define an operation on the group of unstable A1 motivic homotopy classes of endomorphisms of the projective line. We also derive an algebraic formula for the image of such an operation under Cazanave and Morel's unstable degree map, which is valued in an extension of the Grothendieck--Witt group. In contrast to the topological setting, these operations depend on the choice of configuration of points via a discriminant. We prove this by first showing a local-to-global formula for the global unstable degree as a modified sum of local terms. We then use an anabelian argument to generalize from the case of local degrees of a global rational function to the case of an arbitrary collection of endomorphisms of the projective line.

Algebraic Topology,Algebraic Geometry
Motivic invariants of birational maps

Hsueh-Yung Lin,Evgeny Shinder

2023-06-11

Abstract:We construct invariants of birational maps with values in the Kontsevich--Tschinkel group and in the truncated Grothendieck groups of varieties. These invariants are morphisms of groupoids and are well-suited to investigating the structure of the Grothendieck ring and L-equivalence. Building on known constructions of L-equivalence, we prove new unexpected results about Cremona groups.

Algebraic Geometry,K-Theory and Homology
Scanning the moduli of smooth hypersurfaces

Alexis Aumonier

2024-02-08

Abstract:We study the locus of smooth hypersurfaces inside the Hilbert scheme of a smooth projective complex variety. In the spirit of scanning, we construct a map to a continuous section space of a projective bundle, and show that it induces an isomorphism in integral homology in a range of degrees growing with the ampleness of the hypersurfaces. When the ambient variety is a curve, this recovers a result of McDuff about configuration spaces. We compute the rational cohomology of the section space and exhibit a phenomenon of homological stability for hypersurfaces with first Chern class going to infinity. For simply connected varieties, the rational cohomology is shown to agree with the stable cohomology of a moduli space of hypersurfaces, with a peculiar tangential structure, as studied by Galatius and Randal-Williams.

Algebraic Geometry,Algebraic Topology
Bernstein-Kouchnirenko-Khovanskii with a symmetry

Alexander Esterov,Lionel Lang

2024-01-23

Abstract:A generic polynomial f(x,y,z) with a prescribed Newton polytope defines a symmetric spatial curve f(x,y,z)=f(y,x,z)=0. We study its geometry: the number, degree and genus of its irreducible components, the number and type of singularities, etc. and discuss to what extent these results generalize to higher dimension and more complicated symmetries. As an application, we characterize generic one-parameter families of complex univariate polynomials, whose Galois group is a complete symmetric group.

Algebraic Geometry
Symmetric powers of null motivic Euler characteristic

Dori Bejleri,Stephen McKean

2024-06-28

Abstract:Let k be a field of characteristic not 2. We conjecture that if X is a quasi-projective k-variety with trivial motivic Euler characteristic, then Sym$^n$X has trivial motivic Euler characteristic for all n. Conditional on this conjecture, we show that the Grothendieck--Witt ring admits a power structure that is compatible with the motivic Euler characteristic and the power structure on the Grothendieck ring of varieties. We then discuss how these conditional results would imply an enrichment of Göttsche's formula for the Euler characteristics of Hilbert schemes.

Algebraic Geometry,Algebraic Topology
Noncommutative Motives I: A Universal Characterization of the Motivic Stable Homotopy Theory of Schemes

Marco Robalo

DOI: https://doi.org/10.48550/arXiv.1206.3645

2013-06-17

Abstract:Let $\V$ be a symmetric monoidal model category and let $X$ be an object in $\V$. From this we can construct a new symmetric monoidal model category $Sp^{\Sigma}(\V,X)$ of symmetric spectra objects in $\V$ with respect to $X$, together with a left Quillen monoidal map $\V\to Sp^{\Sigma}(\V,X)$ sending $X$ to an invertible object. In this paper we use the recent developments in the subject of Higher Algebra to understand the nature of this construction. Every symmetric monoidal model category has an underlying symmetric monoidal $(\infty,1)$-category and the first notion should be understood as a mere "presentation" of the second. Our main result is the characterization of the underlying symmetric monoidal $\infty$-category of $Sp^{\Sigma}(\V,X)$, by means of a universal property inside the world of symmetric monoidal $(\infty,1)$-categories. In the process we also describe the link between the construction of ordinary spectra and the one of symmetric spectra. As a corollary, we obtain a precise universal characterization for the motivic stable homotopy theory of schemes with its symmetric monoidal structure. This characterization trivializes the problem of finding motivic monoidal realizations and opens the way to compare the motivic theory of schemes with other motivic theories. As an application we provide a new approach to the theory of noncommutative motives by constructing a stable motivic homotopy theory for the noncommutative spaces of Kontsevich. For that we introduce an analogue for the Nisnevich topology in the noncommutative setting. Our universal property for the classical theory for schemes provides a canonical monoidal map towards these new noncommutative motives and allows us to compare the two theories.

Algebraic Geometry,Category Theory
Polynomial Structures in Generalized Geometry

Marco Aldi,Daniele Grandini

DOI: https://doi.org/10.1016/j.difgeo.2022.101925

2022-05-25

Abstract:On the generalized tangent bundle of a smooth manifold, we study skew-symmetric endomorphism satisfying an arbitrary polynomial equation with real constant coefficients. We study the compatibility of these structures with the de Rham operator and the Courant-Dorfman bracket. In particular we isolate several conditions that when restricted to the motivating example of generalized almost complex structure are equivalent to the notion of integrability.

Differential Geometry,Symplectic Geometry
Motivic Splittings For Symmetric Matrices

Anubhav Nanavaty

2024-10-12

Abstract:We show that the space of symmetric matrices of a fixed rank $k$ over a field $K$ of characteristic not equal to $2$ is split Tate. We do this by promoting the point-counting strategy of MacWilliams over finite fields to a filtration of the locus of rank $\leq k$ symmetric matrices that is independent of the field. This filtration immediately allows for a computation of their isomorphism classes in the Grothendieck ring of varieties in terms of the Lefschetz motive. We then promote this computation to prove that the space of symmetric matrices of a fixed rank $k$ are split Tate in Voevodsky's category of motives in characteristic $0$ and Kelly's category of motives in characteristic $p$.

Algebraic Geometry
On the representation theory of the symmetry group of the Cantor set

Andrew Snowden

2024-04-09

Abstract:In previous work with Harman, we introduced a new class of representations for an oligomorphic group $G$, depending on an auxiliary piece of data called a measure. In this paper, we look at this theory when $G$ is the symmetry group of the Cantor set. We show that $G$ admits exactly two measures $\mu$ and $\nu$. The representation theory of $(G, \mu)$ is the linearization of the category of $\mathbf{F}_2$-vector spaces, studied in recent work of the author and closely connected to work of Kuhn and Kovács. The representation theory of $(G, \nu)$ is the linearization of the category of vector spaces over the Boolean semi-ring (or, equivalently, the correspondence category), studied by Bouc--Thévenaz. The latter case yields an important counterexample in the general theory.

Representation Theory
Arithmetic geometry of character varieties with regular monodromy, I

Masoud Kamgarpour,GyeongHyeon Nam,Anna Puskás

2023-09-15

Abstract:We study character varieties arising as moduli of representations of an orientable surface group into a reductive group $G$. We first show that if $G/Z$ acts freely on the representation variety, then both the representation variety and the character variety are smooth and equidimensional. Next, we count points on a family of smooth character varieties; namely, those involving both regular semisimple and regular unipotent monodromy. In particular, we show that these varieties are polynomial count and obtain an explicit expression for their $E$-polynomials. Finally, by analysing the $E$-polynomial, we determine certain topological invariants of these varieties such as the Euler characteristic and the number of connected components. As an application, we give an example of a cohomologically rigid representation which is not physically rigid.

Representation Theory,Algebraic Geometry
String Moduli Spaces and Parabolic Factorizations

Paul S. Aspinwall

2024-07-30

Abstract:The symmetric spaces that appear as moduli spaces in string theory and supergravity can be decomposed with explicit metrics using parabolic subgroups. The resulting isometry between the original moduli space and this decomposition can be used to find parametrizations of the moduli. One application is to determine the volume parameter in conformal field moduli spaces for K3 surfaces. Other applications involve simple Dynkin diagram manipulations inducing "going up and down" between symmetric spaces by adding parameters and going to limits respectively. For supersymmetries such as N=6, this involves combinatorics of less familiar "restricted" Dynkin diagrams.

High Energy Physics - Theory
Hyperquot schemes on curves: virtual class and motivic invariants

Sergej Monavari,Andrea T. Ricolfi

2024-04-27

Abstract:Let $C$ be a smooth projective curve, $E$ a locally free sheaf. Hyperquot schemes on $C$ parametrise flags of coherent quotients of $E$ with fixed Hilbert polynomial, and offer alternative compactifications to the spaces of maps from $C$ to partial flag varieties. Motivated by enumerative geometry, in this paper we construct a perfect obstruction theory (and hence a virtual class and a virtual structure sheaf) on these moduli spaces, which we use to provide criteria for smoothness and unobstructedness. Under these assumptions, we determine their motivic partition function in the Grothendieck ring of varieties, in terms of the motivic zeta function of $C$.

Algebraic Geometry
Motivic integration on Berkovich spaces

Tommaso de Fernex,Chung Ching Lau

2023-11-14

Abstract:We define a motivic measure on the Berkovich analytification of an algebraic variety defined over a trivially valued field, and introduce motivic integration in this setting. The construction is geometric with a similar spirit as Kontsevich's original definition, and leads to the formulation of a functorial theory which mirrors, in this aspect, the approach of Cluckers and Loeser via constructibe motivic functions. A version of the integral over nontrivially valued fields and its relation to Hrushovski and Kazhdan's integration are also discussed.

Algebraic Geometry
Symmetric Ideals and Invariant Hilbert Schemes

Sebastian Debus,Andreas Kretschmer

2024-04-24

Abstract:A symmetric ideal is an ideal in a polynomial ring which is stable under all permutations of the variables. In this paper we initiate a global study of zero-dimensional symmetric ideals. By this we mean a geometric study of the invariant Hilbert schemes $\mathrm{Hilb}_{\rho}^{S_n}(\mathbb{C}^n)$ parametrizing symmetric subschemes of $\mathbb{C}^n$ whose coordinate rings, as $S_n$-modules, are isomorphic to a given representation $\rho$. In the case that $\rho = M^\lambda$ is a permutation module corresponding to certain special types of partitions $\lambda$ of $n$, we prove that $\mathrm{Hilb}_{\rho}^{S_n}(\mathbb{C}^n)$ is irreducible or even smooth. We also prove irreducibility whenever $\dim \rho \leq 2n$ and the invariant Hilbert scheme is non-empty. In this same range, we classify all homogeneous symmetric ideals and decide which of these define singular points of $\mathrm{Hilb}_{\rho}^{S_n}(\mathbb{C}^n)$. A central tool is the combinatorial theory of higher Specht polynomials.

Algebraic Geometry,Commutative Algebra,Combinatorics
Motivic Gauss and Jacobi sums

Noriyuki Otsubo,Takao Yamazaki

2024-04-09

Abstract:We study the Gauss and Jacobi sums from a viewpoint of motives. We exhibit isomorphisms between Chow motives arising from the Artin-Schreier curve and the Fermat varieties over a finite field, that can be regarded as (and yield a new proof of) classically known relations among Gauss and Jacobi sums such as Davenport-Hasse's multiplication formula. As a key step, we define motivic analogues of the Gauss and Jacobi sums as algebraic correspondences, and show that they represent the Frobenius endomorphisms of such motives. This generalizes Coleman's result for curves. These results are applied to investigate the group of invertible Chow motives with coefficients in a cyclotomic field.

Number Theory,Algebraic Geometry,K-Theory and Homology
A geometric realization of Catalan functions

Syu Kato

2024-04-20

Abstract:We construct a smooth projective algebraic variety $X_{\Psi}$ that compactifies an equivariant vector subbundle of the cotangent bundle of the flag variety of $\mathop{GL} ( n )$ (corresponding to a root ideal $\Psi$). The variety $X_\Psi$ carries natural class of line bundles whose spaces of global sections realize the Catalan functions defined in Chen-Haiman [thesis, UCBerkeley] and studied in Blasiak-Morse-Pun-Summers [J. Amer. Math. Soc. (2019), Invent. Math. (2024)]. We prove the vanishing conjectures of Chen-Haiman and (the tame cases of these of) Blasiak-Morse-Pun, as well as the monotonicity conjectures of Shimozono-Weyman [Electronic J. Combin. (2000)] using the geometry of $X_\Psi$.

Algebraic Geometry,Combinatorics,Representation Theory
Representations on canonical models of generalized Fermat curves and their syzygies

Kostas Karagiannis

2023-04-06

Abstract:We study canonical models of $\left(\mathbb{Z}/k\mathbb{Z}\right)^n$- covers of the projective line, tamely ramified at exactly $n+1$ points each of index $k$, when $k,n\geq 2$ and the characteristic of the ground field $K$ is either zero or does not divide $k$. We determine explicitly the structure of the respective homogeneous coordinate ring first as a graded $K$-algebra, next as a $\left(\mathbb{Z}/k\mathbb{Z}\right)^n$- representation over $K$, and then as a graded module over the polynomial ring; in the latter case, we give generators for its first syzygy module, which we also decompose as a direct sum of irreducible representations.

Algebraic Geometry
On Motivic and Arithmetic Refinements of Donaldson-Thomas invariants

Felipe Espreafico,Johannes Walcher

2023-07-27

Abstract:In recent years, a version of enumerative geometry over arbitrary fields has been developed and studied by Kass-Wickelgren, Levine, and others, in which the counts obtained are not integers but quadratic forms. Aiming to understand the relation to other "refined invariants", and especially their possible interpretation in quantum theory, we explain how to obtain a quadratic version of Donaldson-Thomas invariants from the motivic invariants defined in the work of Kontsevich and Soibelman and pose some questions. We calculate these invariants in a few simple examples that provide standard tests for these questions, including degree zero invariants of $\mathbb A^3$ and higher-genus Gopakumar-Vafa invariants recently studied by Liu and Ruan. The comparison with known real and complex counts plays a central role throughout.

Algebraic Geometry,High Energy Physics - Theory
Symmetry and parity in Frobenius action on cohomology

Junecue Suh

2024-10-02

Abstract:We prove that the Newton polygons of Frobenius on the crystalline cohomology of proper smooth varieties satisfy a symmetry that results, in the case of projective smooth varieties, from Poincaré duality and the hard Lefschetz theorem. As a corollary, we deduce that the Betti numbers in odd degrees of any proper smooth variety over a field are even (a consequence of Hodge symmetry in characteristic zero), answering an old question of Serre. Then we give a generalization and a refinement for arbitrary varieties over finite fields, in response to later questions of Serre and of Katz.

Algebraic Geometry,Number Theory
Motivic measures of the moduli spaces of pure sheaves on $\mathbb{P}^2$ with all degrees

Yao Yuan

DOI: https://doi.org/10.48550/arXiv.1503.06309

2015-03-31

Abstract:Let $\mathcal{M}(d,\chi)$ be the moduli stack of stable sheaves of rank 0, Euler characteristic $\chi$ and first Chern class $dH~(d>0)$, with $H$ the hyperplane class in $\mathbb{P}^2$. We compute the $A$-valued motivic measure $\mu_A(\mathcal{M}(d,\chi))$ of $\mathcal{M}(d,\chi)$ and get explicit formula in codimension $D:=\rho_d-1$, where $\rho_d$ is $d-1$ for $d=p$ or $2p$ with $p$ prime, and $7$ otherwise. As a corollary, we get the last $2(D+1)$ Betti numbers of the moduli scheme $M(d,\chi)$ when $d$ is coprime to $\chi$.

Algebraic Geometry

Motivic measures of configuration spaces and polysymmetric functions

Motivic configurations on the line

Motivic invariants of birational maps

Scanning the moduli of smooth hypersurfaces

Bernstein-Kouchnirenko-Khovanskii with a symmetry

Symmetric powers of null motivic Euler characteristic

Noncommutative Motives I: A Universal Characterization of the Motivic Stable Homotopy Theory of Schemes

Polynomial Structures in Generalized Geometry

Motivic Splittings For Symmetric Matrices

On the representation theory of the symmetry group of the Cantor set

Arithmetic geometry of character varieties with regular monodromy, I

String Moduli Spaces and Parabolic Factorizations

Hyperquot schemes on curves: virtual class and motivic invariants

Motivic integration on Berkovich spaces

Symmetric Ideals and Invariant Hilbert Schemes

Motivic Gauss and Jacobi sums

A geometric realization of Catalan functions

Representations on canonical models of generalized Fermat curves and their syzygies

On Motivic and Arithmetic Refinements of Donaldson-Thomas invariants

Symmetry and parity in Frobenius action on cohomology

Motivic measures of the moduli spaces of pure sheaves on $\mathbb{P}^2$ with all degrees