Multigraded algebras and multigraded linear series

Abstract

This paper is devoted to the study of multigraded algebras and multigraded linear series. For an $\mathbb{N}^s$-graded algebra $A$, we define and study its volume function $F_A:\mathbb{N}_+^s\to \mathbb{R}$, which computes the asymptotics of the Hilbert function of $A$. We relate the volume function $F_A$ to the volume of the fibers of the global Newton-Okounkov body $Δ(A)$ of $A$. Unlike the classical case of standard multigraded algebras, the volume function $F_A$ is not a polynomial in general. However, in the case when the algebra $A$ has a decomposable grading, we show that the volume function $F_A$ is a polynomial with non-negative coefficients. We then define mixed multiplicities in this case and provide a full characterization for their positivity. Furthermore, we apply our results on multigraded algebras to multigraded linear series. Our work recovers and unifies recent developments on mixed multiplicities. In particular, we recover results on the existence of mixed multiplicities for (not necessarily Noetherian) graded families of ideals and on the positivity of the multidegrees of multiprojective varieties.

Theorems & Definitions (83)

• Theorem 1.1: KAVEH_KHOVANSKIIlazarsfeld09
• Theorem A: \ref{['thm_limit_graded']}
• Theorem B: \ref{['thm-globalNO']}, \ref{['cor-global']}
• Theorem C: \ref{['thm_poly_decomp']}
• Theorem D: \ref{['thm-linear-series']}
• Theorem 2.1: Kaveh-Khovanskii, KAVEH_KHOVANSKII
• Theorem 2.2: KAVEH_KHOVANSKII, lazarsfeld09
• Theorem 2.3: Minkowski
• Remark 1
• Theorem 2.4: KEMPER_TRUNG