We introduce and study the notion of conic stability of multivariate complex polynomials in $\mathbb{C}[z_1,\ldots, z_n]$, which naturally generalizes the stability of multivariate polynomials. In particular, we generalize Borcea's and Brändén's multivariate version of the Hermite-Kakeya-Obreschkoff Theorem to the conic stability and provide a characterization in terms of a directional Wronskian. And we generalize a major criterion for stability of determinantal polynomials to stability with respect to the positive semidefinite cone.

The present paper is the first of a series aimed to study the Hall algebra of coherent sheaves on the infinite root stack $X_\infty$ over a smooth projective curve $X$ defined over a finite field $\mathbb{F}_q$. The main results of the present paper are the definition and geometric construction of the quantum enveloping algebra $\mathbf{U}_q(\widehat{\mathfrak{sl}}(\infty)))$ of the affinization $\widehat{\mathfrak{sl}}(\infty)$ as well as the construction of its fundamental representation, its tensor and symmetric tensor representations (of any genus).

We establish the relation of the potential function constructed by Gross-Hacking-Keel-Kontsevich's and Berenstein-Kazhdan's decoration function on the open double Bruhat cell in the base affine space $G/\mathcal{N}$ of a simple, simply connected, simply laced algebraic group $G$. As a byproduct we derive explicit identifications of polyhedral parametrization of canonical bases of the ring of regular functions on $G/\mathcal{N}$ arising from the tropicalizations of the potential and decoration function with the classical string and Lusztig parametrizations.

A vector bundle on a projective variety X is called finite if it satisfies a nontrivial polynomial equation with integral coefficients. Nori proved that a vector bundle E on X is finite if and only if the pullback of E to some finite etale Galois covering of X is trivial. We prove the same statement when X is a compact complex manifold admitting a Gauduchon astheno-Kahler metric.

Nov 21 2017

math.AG arXiv:1711.07129v1

We give a characterization of smooth quadrics in terms of the existence of full exceptional collections of certain type, which generalizes a result of C.Vial for projective spaces.

Let $(\mathsf{G},\mathsf{X})$ be a Shimura datum of Hodge type. Let $p$ be an odd prime such that $\mathsf{G}_{\mathbb{Q}_p}$ splits after a tamely ramified extension and $p\nmid |\pi_1(\mathsf{G}^{\rm der})|$. Under some mild additional assumptions that are satisfied if the associated Shimura variety is proper and $\mathsf{G}_{\mathbb{Q}_p}$ is either unramified or residually split, we prove the generalisation of Mantovan's formula for the $l$-adic cohomology of the associated Shimura variety. On the way we derive some new results about the geometry of the Newton stratification of the reduction modulo $p$ of the Kisin-Pappas integral model.

Nov 21 2017

math.AG arXiv:1711.07034v1

In this paper, we study the problem of tropicalizing tame degree three coverings of the projective line. Given any degree three covering $C\longrightarrow{\mathbb{P}^{1}}$, we give an algorithm that produces the Berkovich skeleton of $C$. In particular, this gives an algorithm for finding the Berkovich skeleton of a genus $3$ curve. The algorithm uses a continuity statement for inertia groups of semistable Galois coverings, which we prove first. After that we give a formula for the decomposition group of an irreducible component $\Gamma\subset{\mathcal{C}_{s}}$ for a semistable Galois covering $\mathcal{C}\longrightarrow{\mathcal{D}}$. We conclude the paper with a simple application of these $S_{3}$-coverings to elliptic curves, giving another proof of the familiar semistability criterion for elliptic curves using a natural degree three morphism to $\mathbb{P}^{1}$ instead of the usual degree two morphism.

We show that in any $\mathbb{Q}$-Gorenstein flat family of klt singularities, normalized volumes can only jump down at countably many subvarieties. A quick consequence is that smooth points have the largest normalized volume among all klt singularities. Using an alternative characterization of K-semistability developed by Li, Xu and the author, we show that K-semistability is a very generic or empty condition in any $\mathbb{Q}$-Gorenstein flat family of log Fano pairs.

We extend the result of a previous work to the case of curves with semi-stable reduction. In this case, one can replace Coleman integration by Vologodsky integration to extend the Coleman-Gross definition of a $p$-adic height pairing. we show that this pairing still equals the one defined by Nekovar.

We prove that the Vologodsky integral of a mermorphic one-form on a curve over a $p$-adic field with semi-stable reduction restrict to Coleman integrals on the rigid subdomains reducing to the components of the smooth part of the special fiber and that on the connecting annuli the differences of these Coleman integrals form a harmonic cochain on the edges of the dual graph of the special fiber. This determines the Vologodsky integral completely. We analyze the behavior of the integral on the connecting annuli and we explain the results in the case of a Tate elliptic curve.

We introduce the notion of integrality of Grothendieck categories as a simultaneous generalization of the primeness of noncommutative noetherian rings and the integrality of locally noetherian schemes. Two different spaces associated to a Grothendieck category yield respective definitions of integrality, and we prove the equivalence of these definitions using a Grothendieck-categorical version of Gabriel's correspondence, which originally related indecomposable injective modules and prime two-sided ideals for noetherian rings. The generalization of prime two-sided ideals is also used to classify locally closed localizing subcategories. As an application of the main results, we develop a theory of singular objects in a Grothendieck category and deduce Goldie's theorem on the existence of the quotient ring as its consequence.

Let $X$ be a smooth projective Calabi-Yau variety and $L$ a Koszul line bundle on $X$. We show that for Betti numbers of a maximal Cohen-Macaulay module over the homogeneous coordinate ring $A$ of $X$ there are formulas similar to the formulas for cohomology number. This similarity is realized via the box-product resolution of the diagonal $\Delta_X \subset X \times X$.

Nov 21 2017

math.AG arXiv:1711.06903v1

We prove Riemann's theorems on extensions of functions over certain mixed characteristic analytic adic spaces, first introduced by Johansson and Newton. We use these results to reprove a theorem of de Jong identifying global sections of an $\mathcal{O}_K$-flat normal formal scheme, locally formally of finite type over $\mathcal{O}_K$, with locally powerbounded sections over the generic fibre.

In this paper we prove an analogue of the Neukirch-Uchida Theorem for purely inseparable field extensions. The main tool we are using is the Tannakian description of the local Nori fundamental gerbe developed in "Algebraic and Nori Fundamental Gerbe" by F.Tonini and L.Zhang.

Nov 21 2017

math.AG arXiv:1711.07352v1

The aim of this paper is to study the Okounkov bodies associated to abundant divisors. First, we extend a result of Lazarsfeld-Mustaţă and Jow to the valuative Okounkov bodies of abundant divisors: two abundant divisors are numerically equivalent if and only if they have the same valuative Okounkov bodies with respect to all admissible flags. Thus the valuative Okounkov bodies encode all numerical information of an abundant divisor. We then recover the restricted base locus of an abundant divisor from the valuative Okounkov bodies. Note that these statements were proven for limiting Okounkov bodies in our previous papers, but do not hold true in general for valuative Okounkov bodies of arbitrary effective divisors. Finally, we show a criterion of when the valuative and limiting Okounkov bodies of an abundant divisor coincide by comparing their Euclidean volumes. To achieve these theorems, we prove some versions of Fujita's approximations for Okounkov bodies, and use results on Nakayama subvarieties and Iitaka fibrations.