# Algebraic Geometry (math.AG)

• We study certain deformations of abstract Brieskorn lattices in fixed abstract Gauss-Manin systems, and show that the ambiguity of expressions of deformations coming from automorphisms of base spaces is essentially the same as the one coming from the choice of opposite filtrations, and hence is finite dimensional, although the freedom of parameters in the expressions of deformations is infinite dimensional. This implies a certain difficulty in constructing versal deformations of these Brieskorn lattices inside fixed Gauss-Manin systems.
• This survey is based on my lectures given in last a few years. As a reference, constructions of moduli spaces of parabolic sheaves and generalized parabolic sheaves are provided. By a refinement of the proof of vanishing theorem, we show, without using vanishing theorem, a new observation that ${\rm dim}\,H^0(\sU_C,\Theta_{\sU_C})$ is independent of all of the choices for any smooth curves. The estimate of various codimension and computation of canonical line bundle of moduli space of generalized parabolic sheaves on a reducible curve are provided in Section 6, which is completely new.
• In this paper we study the arithmetically Cohen-Macaulay (ACM) property for sets of points in multiprojective spaces. Most of what is known is for $\mathbb P^1\times \mathbb P^1$ and, more recently, in $(\mathbb P^1)^r.$ In $\mathbb P^1\times \mathbb P^1$ the so called inclusion property characterizes the ACM property. We extend the definition in any multiprojective space and we prove that the inclusion property implies the ACM property in $\mathbb P^m\times \mathbb P^n$. In such an ambient space it is equivalent to the so-called $(\star)$-property. Moreover, we start an investigation of the ACM property in $\mathbb P^1\times \mathbb P^n.$ We give a new construction that highlights how different the behavior of the ACM property is in this setting.
• We exhibit an intimate relationship between "motives with modulus" from arXiv:1511.07124 [math.AG] and "reciprocity sheaves" from arXiv:1402.4201 [math.AG]. Assuming resolution of singularities, we prove that the triangulated category of effective motivic complexes $\mathbf{MDM}^{\mathrm{eff}}$ admits a $t$-structure whose heart is equivalent to the category of reciprocity Nisnevich sheaves. We also give an isomorphism between some Hom groups in $\mathbf{MDM}^{\mathrm{eff}}$ and the hypercohomology of some Suslin complexes with modulus. As an application, we prove some Mayer-Vietoris sequences for Suslin homology with modulus.
• Let $\{\rho_\ell\}_\ell$ be the system of $\ell$-adic representations arising from the $i$th $\ell$-adic cohomology of a complete smooth variety $X$ defined over a number field $K$. Denote the image of $\rho_\ell$ by $\Gamma_\ell$ and its Zariski closure, which is a linear algebraic group over $\mathbb{Q}_\ell$, by $\mathbf{G}_\ell$. We prove that $\mathbf{G}_\ell^{red}$, the quotient of $\mathbf{G}_\ell^\circ$ by its unipotent radical, is unramified over a totally ramified extension of $\mathbb{Q}_\ell$ for all sufficiently large $\ell$. We give a sufficient condition on $\{\rho_\ell\}_\ell$ such that for all sufficiently large $\ell$, $\Gamma_\ell$ is in some sense maximal compact in $\mathbf{G}_\ell(\mathbb{Q}_\ell)$. Since the condition is satisfied when $X$ is an abelian variety by the Tate conjecture, we obtain maximality of Galois actions for abelian varieties.
• Jul 25 2017 math.AG arXiv:1707.07347v1
We develop a local positivity theory for movable curves on projective varieties similar to the classical Seshadri constants of nef divisors. We give analogues of the Seshadri ampleness criterion, of a characterization of the augmented base locus of a big and nef divisor, and of the interpretation of Seshadri constants as an asymptotic measure of jet separation.
• Let $\mathbb{F}$ be a finite field, an algebraically closed field, or the field of real numbers. Consider the vector space $V=\mathbb{F}^3 \otimes \mathbb{F}^3$ of $3 \times 3$ matrices over $\mathbb{F}$, and let $G \leq \text{PGL}(V)$ be the setwise stabiliser of the corresponding Segre variety $S_{3,3}(\mathbb{F})$ in the projective space $\text{PG}(V)$. The $G$-orbits of lines in $\text{PG}(V)$ were determined by the first author and Sheekey as part of their classification of tensors in $\mathbb{F}^2 \otimes V$ in the article "Canonical forms of $2 \times 3 \times 3$ tensors over the real field, algebraically closed fields, and finite fields", Linear Algebra Appl. 476 (2015) 133-147. Here we consider the related problem of classifying those line orbits that may be represented by \em symmetric matrices, or equivalently, of classifying the line orbits in the $\mathbb{F}$-span of the Veronese variety $\mathcal{V}_3(\mathbb{F}) \subset S_{3,3}(\mathbb{F})$ under the natural action of $K=\text{PGL}(3,\mathbb{F})$. Interestingly, several of the $G$-orbits that have symmetric representatives split under the action of $K$, and in many cases this splitting depends on the characteristic of $\mathbb{F}$. The corresponding orbit sizes and stabiliser subgroups of $K$ are also determined in the case where $\mathbb{F}$ is a finite field, and connections are drawn with old work of Jordan, Dickson and Campbell on the classification of pencils of conics in $\text{PG}(2,\mathbb{F})$, or equivalently, of pairs of ternary quadratic forms over $\mathbb{F}$.
• We define Chern-Schwartz-MacPherson (CSM) cycles of an arbitrary matroid. These are balanced weighted fans supported on the skeleta of the corresponding Bergman fan. In the case that the matroid arises from a complex hyperplane arrangement A, we show that these cycles represent the CSM class of the complement of A. We also prove that for any matroid, the degrees of its CSM cycles are given by the coefficients of (a shift of) the reduced characteristic polynomial, and that CSM cycles are valuations under matroid polytope subdivisions.
• This paper concerns the existence of curves with low gonality on smooth hypersurfaces of sufficiently large degree. It has been recently proved that if $X\subset \mathbb{P}^{n+1}$ is a hypersurface of degree $d\geq n+2$, and if $C\subset X$ is an irreducible curve passing through a general point of $X$, then its gonality verifies $\mathrm{gon}(C)\geq d-n$, and equality is attained on some special hypersurfaces. We prove that if $X\subset \mathbb{P}^{n+1}$ is a very general hypersurface of degree $d\geq 2n+2$, the least gonality of an irreducible curve $C\subset X$ passing through a general point of $X$ is $\mathrm{gon}(C)=d-\left\lfloor\frac{\sqrt{16n+1}-1}{2}\right\rfloor$, apart from a series of possible exceptions, where $\mathrm{gon}(C)$ may drop by one.
• We fix a counting function of multiplicities of rational points in a hypersurface of a projective space, and take the sum over all rational points of a bounded height. An upper bound for the sum with respect to this counting function will be given in terms of the degree of the hypersurface, the dimension of the singular locus and the upper bound of height. This upper bound gives a description of the complexity of the singular locus of this hypersurface.
• Let $X$ be a smooth projective geometrically irreducible curve over a perfect field $k$ of positive characteristic $p$. Suppose $G$ is a finite group acting faithfully on $X$ such that $G$ has non-trivial cyclic Sylow $p$-subgroups. We show that the decomposition of the space of holomorphic differentials of $X$ into a direct sum of indecomposable $k[G]$-modules is uniquely determined by the lower ramification groups and the fundamental characters of closed points of $X$ which are ramified in the cover $X\to X/G$. We apply our method to determine the $\mathrm{PSL}(2,\mathbb{F}_\ell)$-module structure of the space of holomorphic differentials of the reduction of the modular curve $\mathcal{X}(\ell)$ modulo $p$ when $p$ and $\ell$ are distinct odd primes and the action of $\mathrm{PSL}(2,\mathbb{F}_\ell)$ on this reduction is not tamely ramified. This provides some non-trivial congruences modulo appropriate maximal ideals containing $p$ between modular forms arising from isotypic components with respect to the action of $\mathrm{PSL}(2,\mathbb{F}_\ell)$ on $\mathcal{X}(\ell)$.
• We prove an invariance of plurigenera for some foliated surface pairs of general type.