# Algebraic Geometry (math.AG)

• Jan 18 2017 math.AG math.AC arXiv:1701.04738v1
The goal of the present article is to survey the general theory of Mori Dream Spaces, with special regards to the question: When is the blow-up of toric variety at a general point a Mori Dream Space? We translate the question for toric surfaces of Picard number one into an interpolation problem involving points in the projective plane. An instance of such an interpolation problem is the Gonzalez-Karu theorem that gives new examples of weighted projective planes whose blow-up at a general point is not a Mori Dream Space.
• We consider a general primitively polarized K3 surface $(S,H)$ of genus $g+1$ and a 1-nodal curve $\widetilde C\in |H|$. We prove that the normalization $C$ of $\widetilde C$ has surjective Wahl map provided $g=40,42$ or $\ge 44$.
• Let $K/\mathbb{Q}$ be a finitely generated field of characteristic zero and $X/K$ a smooth projective variety. Fix $q\in\mathbb{N}$. For every prime number $\ell$ let $\rho_\ell$ be the representation of $\mathrm{Gal}(K)$ on the étale cohomology group $H^q(X_{\overline{K}}, \mathbb{Q}_\ell)$. For a field $k$ we denote by $k_{\mathrm{ab}}$ its maximal abelian Galois extension. We prove that there exist finite Galois extensions $k/\mathbb{Q}$ and $F/K$ such that the restricted family of representations $(\rho_\ell|\mathrm{Gal}(k_{\mathrm{ab}} F))_\ell$ is group theoretically independent in the sense that $\rho_{\ell_1}(\mathrm{Gal}(k_{\mathrm{ab}} F))$ and $\rho_{\ell_2}(\mathrm{Gal}(k_{\mathrm{ab}} F))$ do not have a common finite simple quotient group for all prime numbers $\ell_1\neq \ell_2$.
• We provide a characterization of quotient spaces of three-dimensional complex tori by finite groups that act freely in codimension two via a vanishing condition on the first and second Chern class. For this we need to define the Chern classes of a complex space with canonical singularities, a notion which to the best of our knowledge has not been discussed in the literature before.
• In this note we prove a variational open adelic image theorem for the Galois action on the cohomology of smooth proper $S$-schemes where $S$ is a smooth variety over a finitely generated field of positive characteristic. A central tool is a recent result of Cadoret, Hui and Tamagawa.
• Jan 18 2017 math.AG arXiv:1701.04649v1
Let X be an irreducible smooth projective curve, of genus at least two, over an algebraically closed field k. Let $\mathcal{M}^d_G$ denote the moduli stack of principal G-bundles over X of fixed topological type $d \in \pi_1(G)$, where G is any almost simple affine algebraic group over k. We prove that the universal bundle over $X \times \mathcal{M}^d_G$ is stable with respect to any polarization on $X \times \mathcal{M}^d_G$. A similar result is proved for the Poincaré adjoint bundle over $X \times M_G^{d, rs}$, where $M_G^{d, rs}$ is the coarse moduli space of regularly stable principal G-bundles over X of fixed topological type d.
• The purpose of this paper is to prove the upper bound in Malle's conjecture on the distribution of finite extensions of $\mathbb{F}_q(t)$ with specified Galois group. As in previous work of Ellenberg-Venkatesh-Westerland, our result is based upon computations of the homology of braid groups with certain (exponential) coefficients. However, the approach in this paper is new, relying on a connection between the cohomology of Hurwitz spaces and the cohomology of quantum shuffle algebras.
• The purpose of this short article is to prove a product formula relating the log Gromov-Witten invariants of $V \times W$ with those of $V$ and $W$ in the case the log structure on $V$ is trivial.
• The Hasse-Witt matrix of a hypersurface in ${\mathbb P}^n$ over a finite field of characteristic $p$ gives essentially complete mod $p$ information about the zeta function of the hypersurface. But if the degree $d$ of the hypersurface is $\leq n$, the zeta function is trivial mod $p$ and the Hasse-Witt matrix is zero-by-zero. We generalize a classical formula for the Hasse-Witt matrix to obtain a matrix that gives a nontrivial congruence for the zeta function for all $d$. We also describe the differential equations satisfied by this matrix and prove that it is generically invertible.
• This paper presents two approaches to reducing problems on $2$-cycles on a smooth cubic hypersurface $X$ over an algebraically closed field of characteristic $\neq 2$, to problems on $1$-cycles on its variety of lines $F(X)$. The first one relies on bitangent lines of $X$ and Tsen-Lang theorem. It allows to prove that $\mathrm{CH}_2(X)$ is generated, via the action of the universal $\mathbb P^1$-bundle over $F(X)$, by $\mathrm{CH}_1(F(X))$. When the characteristic of the base field is $0$, we use that result to prove that if $dim(X)\geq 7$, then $\mathrm{CH}_2(X)$ is generated by classes of planes contained in $X$ and if $dim(X)\geq 9$, then $\mathrm{CH}_2(X)\simeq \mathbb Z$. The second approach consists of an extension to subvarieties of $X$ of higher dimension of an inversion formula developped by Shen in the case of curves of $X$. This inversion formula allows to lift torsion cycles in $\mathrm{CH}_2(X)$ to torsion cycles in $\mathrm{CH}_1(F(X))$. For complex cubic $5$-folds, it allows to prove that the birational invariant provided by the group $\mathrm{CH}^3(X)_{tors,AJ}$ of homologically trivial, torsion codimension $3$ cycles annihilated by the Abel-Jacobi morphism is controlled by the group $\mathrm{CH}_1(F(X))_{tors,AJ}$ which is a birational invariant of $F(X)$, possibly always trivial for Fano varieties.