Topic overview

math.AG

5393 works5466 researchers0 institutions

Topic snapshot

What this area looks like now

5393works

5466authors

0experts visible

0communities

Next steps

Move from topic reading into action

The graph preview below keeps the nearby papers, people and communities visible in the same reading flow.

Inspect nearby papers, researchers, institutions and communities without opening a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2020arXiv

Exodromy

Let $X$ be a quasicompact quasiseparated scheme. Write $\operatorname{Gal}(X)$ for the category whose objects are geometric points of $X$ and whose morphisms are specializations in the étale topology. We define a natural profinite topology on the category $\operatorname{Gal}(X)$ that globalizes the topologies of the absolute Galois groups of the residue fields of the points of $X$. One of the main results of this book is that $\operatorname{Gal}(X)$ variant of MacPherson's exit-path category suitable for the étale topology: we construct an equivalence between representations of $\operatorname{Gal}(X)$ and constructible sheaves on $X$. We show that this 'exodromy equivalence' holds with nonabelian coefficients and with finite abelian coefficients. More generally, by using the pyknotic/condensed formalism, we extend this equivalence to coefficients in the category of modules over profinite rings and algebraic extensions of $\mathbf{Q}_{\ell}$. As an 'exit-path category', the topological category $\operatorname{Gal}(X)$ also gives rise to a new, concrete description of the étale homotopy type of $X$. We also prove a higher categorical form of Hochster Duality, whic

preprint2020arXiv

Characterisations of V-sufficiency and C^0-sufficiency of relative jets

We consider the problems of sufficiency of jets relative to a given closed set. In the non-relative case, criteria for r-jets to be V-sufficient and C^0-sufficient in C^r mappings or C^{r+1} mappings have been obtained. In particular, it is shown that V-sufficiency and C^0-sufficiency in C^r functions or C^{r+1} functions are equivalent. In this paper we discuss characterisations of V-sufficiency and C^0-sufficiency in the relative case, corresponding to the above non-relative results. Applying the results obtained in the relative case, we construct examples of polynomial functions whose relative r-jets are V-sufficient in C^r functions and C^{r+1} functions but not C^0-sufficient in C^r functions and C^{r+1} functions, respectively. In addition, we give characterisations of relative finite V-determinacy and also relative finite C^r contact determinacy.

preprint2020arXiv

Level correspondence of $K$-theoretic $I$-function in Grassmann duality

In this paper, we prove a class of nontrivial q-Pochhammer symbol identities with extra parameters by iterated residue method. Then we use these identities to find relations of the quasi-map $K$-theoretical $I$-functions with level structure between Grassmannian and its dual Grassmannian. Here we find an interval of levels within which two $I$-functions are the same, and on the boundary of that interval, two $I$-functions are intertwining with each other. We call this phenomenon level correspondence in Grassmann duality.

preprint2020arXiv

Effective divisors on Hurwitz spaces

We prove the effectiveness of the canonical bundle of several Hurwitz spaces of degree k covers of the projective line from curves of genus 13<g<20.

preprint2020arXiv

Affine Laumon spaces and a conjecture of Kuznetsov

We prove a conjecture of Kuznetsov stating that the equivariant K-theory of affine Laumon spaces is the universal Verma module for the quantum affine algebra U_q(gl_n^). We do so by reinterpreting the action of the quantum toroidal algebra U_q(gl_n^^) on the K-theory from [14] in terms of the shuffle algebra studied in [12], which constructs an embedding of U_q(gl_n^) into U_q(gl_n^^)

preprint2020arXiv

The torsion in the cohomology of wild elliptic fibers

Given an elliptic fibration $f \colon X \to S$ over the spectrum of a complete discrete valuation ring with algebraically closed residue field, we use a Hochschild--Serre spectral sequence to express the torsion in $R^1f_\ast \mathscr{O}_X$ as the first group cohomology $H^1(G,H^0(S^\prime, \mathscr{O}_{S^\prime}))$. Here, $G$ is the Galois group of the maximal extension $K^\prime / K$ such that the normalization of $X \times_S S^\prime$ induces an étale covering of $X$, where $S^\prime$ is the normalization of $S$ in $K^\prime$. The case where $S$ is a Dedekind scheme is easily reduced to the local case. Moreover, we generalize to higher-dimensional fibrations.

preprint2020arXiv

The Saito determinant for Coxeter discriminant strata

Let $W$ be a finite Coxeter group and $V$ its reflection representation. The orbit space $\mathcal{M}_W= V/W$ has the remarkable Saito flat metric defined as a Lie derivative of the $W$-invariant bilinear form $g$. We find determinant of the Saito metric restricted to an arbitrary Coxeter discriminant stratum in $\mathcal{M}_W$. It is shown that this determinant is proportional to a product of linear factors in the flat coordinates of the form $g$ on the stratum. We also find multiplicities of these factors in terms of Coxeter geometry of the stratum. This result may be interpreted as a generalisation to discriminant strata of the Coxeter factorisation formula for the Jacobian of the group $W$. As another interpretation, we find determinant of the operator of multiplication by the Euler vector field in the natural Frobenius structure on the strata.

preprint2020arXiv

Projective spaces as orthogonal modular varieties

We construct $16$ reflection groups $Γ$ acting on symmetric domains $\mathcal{D}$ of Cartan type IV, for which the graded algebras of modular forms are freely generated by forms of the same weight, and in particular the Satake--Baily--Borel compactification of $\mathcal{D} / Γ$ is isomorphic to a projective space. Four of these are previously known results of Freitag--Salvati Manni, Matsumoto, Perna and Runge. In addition we find several new modular groups of orthogonal type whose algebras of modular forms are freely generated.

preprint2020arXiv

A journey from the octonionic $\mathbb P^2$ to a fake $\mathbb P^2$

We discover a family of surfaces of general type with $K^2=3$ and $p=q=0$ as free $C_{13}$ quotients of special linear cuts of the octonionic projective plane $\mathbb O \mathbb P^2$. A special member of the family has $3$ singularities of type $A_2$, and is a quotient of a fake projective plane. We use the techniques of \cite{BF20} to define this fake projective plane by explicit equations in its bicanonical embedding.

preprint2020arXiv

Note on Lisbon integrals and their associated D--modules

The aim of this Note is to specify the links between the three kinds of Lisbon integrals, trace functions and trace forms with the corresponding D--modules.

preprint2020arXiv

Quantitative singularity theory for random polynomials

Motivated by Hilbert's 16th problem we discuss the probabilities of topological features of a system of random homogeneous polynomials. The distribution for the polynomials is the Kostlan distribution. The topological features we consider are type-$W$ singular loci. This is a term that we introduce and that is defined by a list of equalities and inequalities on the derivatives of the polynomials. In technical terms a type-$W$ singular locus is the set of points where the jet of the Kostlan polynomials belongs to a semialgebraic subset $W$ of the jet space, which we require to be invariant under orthogonal change of variables. For instance, the zero set of polynomial functions or the set of critical points fall under this definition. We will show that, with overwhelming probability, the type-$W$ singular locus of a Kostlan polynomial is ambient isotopic to that of a polynomial of lower degree. As a crucial result, this implies that complicated topological configurations are rare. Our results extend earlier results from Diatta and Lerario who considered the special case of the zero set of a single polynomial. Furthermore, for a given polynomial function $p$ we provide a determini

preprint2020arXiv

Chilean configuration of conics, lines and points

Using the theory of rational elliptic fibrations, we construct and discuss a one parameter family of configurations of $12$ conics and $9$ points in the projective plane that realizes an abstract configuration $(12_6,9_8)$. This is analogous to the famous Hesse configuration of $12$ lines and $9$ points forming an abstract configuration $(12_3,9_4)$. We also show that any Halphen elliptic fibration of index $2$ with four triangular singular fibers arises from such configuration of conics.

preprint2020arXiv

$K$-theory of regular compactification bundles

Let $G$ be a connected reductive algebraic group. Let $\mathcal{E}\rightarrow \mathcal{B}$ be a principal $G\times G$-bundle and $X$ be a regular compactification of $G$. We describe the Grothendieck ring of the associated fibre bundle $\mathcal{E}(X):=\mathcal{E}\times_{G\times G} X$, as an algebra over the Grothendieck ring of a canonical toric bundle over a flag bundle on $\mathcal{B}$. These are relative versions of the results on equivariant $K$-theory of regular compactifications of $G$. They also generalize the well known results on the Grothendieck rings of projective bundles, toric bundles and flag bundles.

preprint2020arXiv

Dual Infinite Wedge is $\mathrm{GL}_{\infty}$-equivariantly noetherian

We prove the (equivariant) noetherian property for a wide class of varieties generalizing the class of Plucker varieties (Theorem 1). It improves previous results of Draisma-Eggermont who treated the case of bounded Plucker varieties. Key ingredient of our proof is the constructive proof of the equivariant noetherianity for the hyper-Pfaffians (Theorem 36) which implies the equivariant noetherianity of the dual infinite wedge.

preprint2020arXiv

A finiteness theorem for special unitary groups of quaternionic skew-hermitian forms with good reduction

Given a field $K$ equipped with a set of discrete valuations $V$, we develop a general theory to relate reduction properties of skew-hermitian forms over a quaternion $K$-algebra $Q$ to quadratic forms over the function field $K(Q)$ obtained via Morita equivalence. Using this we show that if $(K,V)$ satisfies certain conditions, then the number of $K$-isomorphism classes of the universal coverings of the special unitary groups of quaternionic skew-hermitian forms that have good reduction at all valuations in $V$ is finite and bounded by a value that depends on size of a quotient of the Picard group of $V$ and the size of the kernel and cokernel of residue maps in Galois cohomology of $K$ with finite coefficients. As a corollary we prove a conjecture of Chernousov, Rapinchuk, Rapinchuk for groups of this type.

preprint2020arXiv

Quasi-compact group schemes, Hopf sheaves, and their representations

We explore the notion of representation of an affine extension of an abelian variety -- such an extension is a faithfully flat affine morphism of $\Bbbk$-group schemes $q:G\to A$, where $A$ is an abelian variety. We characterize the categories that arise as the category of representations of an affine extension $q:G\to A$, generalizing the classical results of Tannaka Duality established for affine $\Bbbk$-group schemes (that is, when $A=\operatorname{Spec}(\Bbbk)$). We also prove the existence of a contravariant equivalence between the category of affine extensions of a given $A$ and the category of faithful commutative Hopf sheaves on $A$, generalizing in this manner the well-known op-equivalence between affine group schemes and commutative Hopf algebras. If $\mathcal H_q$ is the Hopf sheaf on $A$ associated to $q$, the category of representations of $q$ is equivalent to the category of $\mathcal H_q$-comodules.

preprint2020arXiv

A model for complex analytic equivariant elliptic cohomology from quantum field theory

We construct a global geometric model for complex analytic equivariant elliptic cohomology for all compact Lie groups. Cocycles are specified by functions on the space of fields of the two-dimensional sigma model with background gauge fields and $\mathcal{N} = (0, 1)$ supersymmetry. We also consider a theory of free fermions valued in a representation whose partition function is a section of a determinant line bundle. We identify this section with a cocycle representative of the (twisted) equivariant elliptic Euler class of the representation. Finally, we show that the moduli stack of $U(1)$-gauge fields carries a multiplication compatible with the complex analytic group structure on the universal (dual) elliptic curve, with the Euler class providing a choice of coordinate. This provides a physical manifestation of the elliptic group law central to the homotopy-theoretic construction of elliptic cohomology.

preprint2020arXiv

Virasoro constraints for moduli of weighted pointed stable curves

We formulate Virasoro constraints for the generating functions of the intersection numbers on Hassett's moduli of weighted pointed curves and show that they are governed by the KdV integrable hierarchy.

preprint2020arXiv

A purity theorem for configuration spaces of smooth compact algebraic varieties

B. Totaro showed \cite{totaro} that the rational cohomology of configuration spaces of smooth complex projective varieties is isomorphic as an algebra to the $E_2$ term of the Leray spectral sequence corresponding to the open embedding of the configuration space into the Cartesian power. In this note we show that the isomorphism can be chosen to be compatible with the mixed Hodge structures. In particular, we prove that the mixed Hodge structures on the configuration spaces of smooth complex projective varieties are direct sums of pure Hodge structures.

preprint2020arXiv

Dimensions of faces of Gram spectrahedra

Let $f\inΣ_{n,2d}$ be a sum of squares. The Gram spectrahedron of $f$ is a compact, convex set that parametrizes all sum of squares representations of $f$. Let $F\subseteq\mathrm{Gram}(f)$ be a face of its Gram spectrahedron. We are interested in upper bounds for the dimension of $F$. We show that this upper bound can be determined combinatorially. As it turns out, if the degree is large enough, a face realizing this bound, is a face of a Gram spectrahedron such that the form $f$ is singular. Thus we are also interested in finding better bounds whenever the form $f$ is smooth.

preprint2020arXiv

Delta-invariants for Fano varieties with large automorphism groups

For a variety $X$, a big $\mathbb{Q}$-divisor $L$ and a closed connected subgroup $G \subset \mathrm{Aut}(X, L)$ we define a $G$-invariant version of the $δ$-threshold. We prove that for a Fano variety $(X, -K_X)$ and a connected subgroup $G \subset \mathrm{Aut}(X)$ this invariant characterizes $G$-equivariant uniform $K$-stability. We also use this invariant to investigate $G$-equivariant $K$-stability of some Fano varieties with large groups of symmetries, including spherical Fano varieties. We also consider the case of $G$ being a finite group.

preprint2020arXiv

Quasi-positive orbifold cotangent bundles ; Pushing further an example by Junjiro Noguchi

In this work, we investigate the positivity of logarithmic and orbifold cotangent bundles along hyperplane arrangements in projective spaces. We show that a very interesting example given by Noguchi (as early as in 1986) can be pushed further to a very great extent. Key ingredients of our approach are the use of Fermat covers and the production of explicit global symmetric differentials. This allows us to obtain some new results in the vein of several classical results of the literature on hyperplane arrangements. These seem very natural using the modern point of view of augmented base loci, and working in Campana's orbifold category. As an application of our results, we derive two new orbifold hyperbolicity results, going beyond some classical results of value distribution theory.

preprint2020arXiv

A generalization of Luna's fundamental lemma for stacks with good moduli spaces

We generalize Luna's fundamental lemma to smooth morphisms between stacks with good moduli spaces. We also give a precise condition for when it holds for non-smooth morphisms and versions for coherent sheaves and complexes. This generalizes earlier results by Alper, Abramovich--Temkin, Edidin and Nevins.

preprint2020arXiv

Classes caractéristiques des schémas feuilletés

We study a notion of derived foliations on schemes and derived schemes of arbitrary characteristics. We introduce the Hodge filtration associated to a derived foliation, which functorialy filters derived de Rham cohomology. We use this filtration to study vanishing results of Chern classes of perfect complexes endowed with connexions along derived foliations. As an application, we prove a positive characteristic version of Bott's vanishing theorem and more generally of existence of residues for foliations with singularities due to Baum-Bott in characteristic zero.