Showing 1–44 of 44 results for author: Kaveh, K

Equivariant vector bundles on complexity-one T-varieties and Bruhat-Tits buildings

Authors: Jyoti Dasgupta, Chandranandan Gangopadhyay, Kiumars Kaveh, Christopher Manon

Abstract: We give a combinatorial classification of torus equivariant vector bundles on a (normal) projective T-variety of complexity-one. This extends the classification of equivariant line bundles on complexity-one T-varieties by Petersen-Süss on one hand, and Klyachko's classification of equivariant vector bundles on toric varieties on the other hand. A main ingredient in our classification is the classi… ▽ More We give a combinatorial classification of torus equivariant vector bundles on a (normal) projective T-variety of complexity-one. This extends the classification of equivariant line bundles on complexity-one T-varieties by Petersen-Süss on one hand, and Klyachko's classification of equivariant vector bundles on toric varieties on the other hand. A main ingredient in our classification is the classification of torus equivariant vector bundles on toric schemes over a DVR in terms of piecewise affine maps to the (extended) Bruhat-Tits building of the general linear group. △ Less

Submitted 5 June, 2024; originally announced June 2024.

Comments: 29 pages, 1 figure. arXiv admin note: text overlap with arXiv:2402.18712

MSC Class: 14L30 (primary); 20E42 (secondary)

Tropical vector bundles and matroids

Authors: Kiumars Kaveh, Christopher Manon

Abstract: We introduce a notion of tropical vector bundle on a tropical toric variety which is a tropical analogue of a torus equivariant vector bundle on a toric variety. Alternatively it can be called a toric matroid bundle. We define equivariant $K$-theory and characteristic classes of these bundles. As a particular case, we show that any matroid comes with tautological tropical toric vector bundles over… ▽ More We introduce a notion of tropical vector bundle on a tropical toric variety which is a tropical analogue of a torus equivariant vector bundle on a toric variety. Alternatively it can be called a toric matroid bundle. We define equivariant $K$-theory and characteristic classes of these bundles. As a particular case, we show that any matroid comes with tautological tropical toric vector bundles over the permutahedral toric variety and the corresponding equivariant $K$-classes and Chern classes recover the tautological classes of matroids constructed in the recent work of Berger-Eur-Spink-Tseng. In analogy with toric vector bundles, we define sheaf of sections and Euler characteristic as well as positivity notions such as global generation, ampleness and nefness for tropical toric vector bundles. Moreover, we prove a vanishing of higher cohomologies result. Finally, we study the splitting of our tropical toric vector bundles and, in particular, an analogue of Grothendieck's theorem on splitting of vector bundles on projective line. △ Less

Submitted 13 August, 2024; v1 submitted 6 May, 2024; originally announced May 2024.

Comments: Title changed. We now call the main combinatorial objects introduced in the paper "tropical toric vector bundles" (previously we called them "toric matroid bundles"). New material added, in particular a theorem about vanishing of higher cohomologies (after tensoring with a high power of an ample line bundle) was added. 38 pages, 3 figures

MSC Class: 14M25 (Primary) 52B40; 14T90 (Secondary)

Spherical amoebae and a spherical logarithm map

Authors: Victor Batyrev, Megumi Harada, Johannes Hofscheier, Kiumars Kaveh

Abstract: Let $G$ be a connected reductive algebraic group over $\mathbb{C}$ with a maximal compact subgroup $K$. Let $G/H$ be a (quasi-affine) spherical homogeneous space. In the first part of the paper, following Akhiezer's definition of spherical functions, we introduce a $K$-invariant map $sLog_{Γ, t}: G/H \to \mathbb{R}^s$ which depends on a choice of a finite set $Γ$ of dominant weights and $s = |Γ|$.… ▽ More Let $G$ be a connected reductive algebraic group over $\mathbb{C}$ with a maximal compact subgroup $K$. Let $G/H$ be a (quasi-affine) spherical homogeneous space. In the first part of the paper, following Akhiezer's definition of spherical functions, we introduce a $K$-invariant map $sLog_{Γ, t}: G/H \to \mathbb{R}^s$ which depends on a choice of a finite set $Γ$ of dominant weights and $s = |Γ|$. We call $sLog_{Γ, t}$ a spherical logarithm map. We show that when $Γ$ generates the highest weight monoid of $G/H$, the image of the spherical logarithm map parametrizes $K$-orbits in $G/H$. This idea of using the spherical functions to understand the geometry of the space $K \backslash G/H$ of $K$-orbits in $G/H$ can be viewed as a generalization of the classical Cartan decomposition. In the second part of the paper, we define the spherical amoeba (depending on $Γ$ and $t$) of a subvariety $Y$ of $G/H$ as $sLog_{Γ, t}(Y)$, and we ask for conditions under which the image of a subvariety $Y \subset G/H$ under $sLog_{Γ, t}$ converges, as $t \to 0$, in the sense of Kuratowski to its spherical tropicalization as defined by Tevelev and Vogiannou. We prove a partial result toward answering this question, which shows in particular that the valuation cone is always contained in the Kuratowski limit of the spherical amoebae of $G/H$. We also show that the limit of the spherical amoebae of $G/H$ is equal to its valuation cone in a number of interesting examples, including when $G/H$ is horospherical, and in the case when $G/H$ is the space of hyperbolic triangles. △ Less

Submitted 14 March, 2024; originally announced March 2024.

Comments: 29 pages, 2 figures

MSC Class: 14M27; 14T20

Equivariant Chern Classes of Toric Vector Bundles over a DVR and Bruhat--Tits Buildings

Authors: Ana María Botero, Kiumars Kaveh, Christopher Manon

Abstract: We define equivariant Chern classes of a toric vector bundle over a proper toric scheme over a DVR. We provide a combinatorial description of them in terms of piecewise polynomial functions on the polyhedral complex associated to the toric scheme, which factorize through to an extended Bruhat--Tits building. We further motivate this definition from an arithmetic perspective, connecting to the non-… ▽ More We define equivariant Chern classes of a toric vector bundle over a proper toric scheme over a DVR. We provide a combinatorial description of them in terms of piecewise polynomial functions on the polyhedral complex associated to the toric scheme, which factorize through to an extended Bruhat--Tits building. We further motivate this definition from an arithmetic perspective, connecting to the non-Archimedean Arakelov theory of toric varieties. △ Less

Submitted 28 February, 2024; originally announced February 2024.

Comments: Comments welcome!

MSC Class: 14M25; 51E24; 14C17

Toric vector bundles, valuations and tropical geometry

Authors: Kiumars Kaveh, Christopher Manon

Abstract: A toric vector bundle $\mathcal{E}$ is a torus equivariant vector bundle on a toric variety. We give a valuation theoretic and tropical point of view on toric vector bundles. We present three (equivalent) classifications of toric vector bundles, which should be regarded as repackagings of the Klyachko data of compatible $\mathbb{Z}$-filtrations of a toric vector bundle: (1) as piecewise linear map… ▽ More A toric vector bundle $\mathcal{E}$ is a torus equivariant vector bundle on a toric variety. We give a valuation theoretic and tropical point of view on toric vector bundles. We present three (equivalent) classifications of toric vector bundles, which should be regarded as repackagings of the Klyachko data of compatible $\mathbb{Z}$-filtrations of a toric vector bundle: (1) as piecewise linear maps to space of $\mathbb{Z}$-valued valuations, (2) as valuations with values in the semifield of piecewise linear functions, and (3) as points in tropical linear ideals over the semifield of piecewise linear functions. Moreover, we interpret the known criteria for ampleness and global generation of $\mathcal{E}$ as convexity conditions on its piecewise linear map in (1). Finally, using (2) we associate to $\mathcal{E}$ a collection of polytopes indexed by elements of a certain (representable) matroid encoding the dimensions of weight spaces of global sections of $\mathcal{E}$. This recovers and extends the Di Rocco-Jabbusch-Smith matriod and parliament of polytopes of $\mathcal{E}$. This is a follow up paper to arXiv:1806.05613. △ Less

Submitted 21 April, 2023; originally announced April 2023.

Comments: 28 pages, 3 figures. The paper is an expanded and thoroughly revised version of the second half of an early version of arXiv:1806.05613. Following the advice of the referee for arXiv:1806.05613, this second half was removed and made into the present paper

MSC Class: 14M25 (Primary); 14T15; 14J60 (Secondary)

Generalized amoebas for subvarieties of $GL_n(\mathbb{C})$

Authors: Rémi Delloque, Kiumars Kaveh

Abstract: This paper is a report based on the results obtained during a three months internship at the University of Pittsburgh by the first author and under the mentorship of the second author. The notion of an amoeba of a subvariety in a torus $(\mathbb{C}^*)^n$ has been extended to subvarieties of the general linear group $GL_n(\mathbb{C})$ by the second author and Manon. In this paper, we show some basi… ▽ More This paper is a report based on the results obtained during a three months internship at the University of Pittsburgh by the first author and under the mentorship of the second author. The notion of an amoeba of a subvariety in a torus $(\mathbb{C}^*)^n$ has been extended to subvarieties of the general linear group $GL_n(\mathbb{C})$ by the second author and Manon. In this paper, we show some basic properties of these matrix amoebas, e.g. any such amoeba is closed and the connected components of its complement are convex when the variety is a hypersurface. We also extend the notion of Ronkin function to this setting. For hypersurfaces, we show how to describe the asymptotic directions of the matrix amoebas using a notion of Newton polytope. Finally, we partially extend the classical statement that the amoebas converge to the tropical variety. We also discuss a few examples. Our matrix amoeba should be considered as the Archimedean version of the spherical tropicalization of Tevelev-Vogiannou for the variety $GL_n(\mathbb{C})$ regarded as a spherical homogeneous space for the left-right action of $GL_n(\mathbb{C}) \times GL_n(\mathbb{C})$. △ Less

Submitted 6 December, 2022; originally announced December 2022.

Comments: 35 pages, 4 figures

MSC Class: 14T20 (primary); 15A18 (secondary)

Toric principal bundles, Tits buildings and reduction of structure group

Authors: Shaoyu Huang, Kiumars Kaveh

Abstract: A toric principal $G$-bundle is a principal $G$-bundle over a toric variety together with a torus action commuting with the $G$-action. In a recent paper, extending the Klyachko classification of toric vector bundles, Chris Manon and the second author give a classification of toric principal bundles using "piecewise linear maps" to the (extended) Tits building of $G$. In this paper, we use this cl… ▽ More A toric principal $G$-bundle is a principal $G$-bundle over a toric variety together with a torus action commuting with the $G$-action. In a recent paper, extending the Klyachko classification of toric vector bundles, Chris Manon and the second author give a classification of toric principal bundles using "piecewise linear maps" to the (extended) Tits building of $G$. In this paper, we use this classification to give a description of the (equivariant) automorphism group of a toric principal bundle as well as a simple criterion for (equivariant) reduction of structure group, recovering results of Dasgupta et al. Finally, motivated by the equivariant splitting problem for toric principal bundles, we introduce the notion of "Helly's number" of a building and pose the problem of giving sharp upper bounds for Helly's number of Tits buildings of semisimple algebraic groups $G$. △ Less

Submitted 16 April, 2023; v1 submitted 26 November, 2022; originally announced November 2022.

Comments: Minor revisions

MSC Class: 14M25; 20E42; 32L05

Toric vector bundles over a discrete valuation ring and Bruhat-Tits buildings

Authors: Kiumars Kaveh, Christopher Manon, Boris Tsvelikhovskiy

Abstract: We give a classification of rank $r$ torus equivariant vector bundles $\mathcal{E}$ on a toric scheme $\mathfrak{X}$ over a discrete valuation ring $\mathcal{O}$, in terms of graded piecewise linear maps $Φ$ from the fan of $\mathfrak{X}$ to the (extended) building of $GL(r)$. This is an extension of Klyachko's classification of torus equivariant vector bundles on toric varieties over a field on o… ▽ More We give a classification of rank $r$ torus equivariant vector bundles $\mathcal{E}$ on a toric scheme $\mathfrak{X}$ over a discrete valuation ring $\mathcal{O}$, in terms of graded piecewise linear maps $Φ$ from the fan of $\mathfrak{X}$ to the (extended) building of $GL(r)$. This is an extension of Klyachko's classification of torus equivariant vector bundles on toric varieties over a field on one hand, and Mumford's classification of equivariant line bundles on toric schemes over $\mathcal{O}$ on the other hand. We also give a simple criterion for equivariant splitting of $\mathcal{E}$ into a sum of toric line bundles in terms of its piecewise linear map. Among other things, this work lays the foundations for study of arithmetic geometry of toric vector bundles. △ Less

Submitted 1 May, 2025; v1 submitted 8 August, 2022; originally announced August 2022.

Comments: 25 pages, 10 figures, thoroughly revised, classification extended to non-proper toric schemes

MSC Class: 14M25; 51E24

On Combinatorics of the Arthur Trace Formula, Convex Polytopes, and Toric Varieties

Authors: Mahdi Asgari, Kiumars Kaveh

Abstract: We explicate the combinatorial/geometric ingredients of Arthur's proof of the convergence and polynomiality, in a truncation parameter, of his non-invariant trace formula. Starting with a fan in a real, finite dimensional, vector space and a collection of functions, one for each cone in the fan, we introduce a combinatorial truncated function with respect to a polytope normal to the fan and prove… ▽ More We explicate the combinatorial/geometric ingredients of Arthur's proof of the convergence and polynomiality, in a truncation parameter, of his non-invariant trace formula. Starting with a fan in a real, finite dimensional, vector space and a collection of functions, one for each cone in the fan, we introduce a combinatorial truncated function with respect to a polytope normal to the fan and prove the analogues of Arthur's results on the convergence and polynomiality of the integral of this truncated function over the vector space. The convergence statements clarify the important role of certain combinatorial subsets that appear in Arthur's work and provide a crucial partition that amounts to a so-called nearest face partition. The polynomiality statements can be thought of as far reaching extensions of the Ehrhart polynomial. Our proof of polynomiality relies on the Lawrence-Varchenko conical decomposition and readily implies an extension of the well-known combinatorial lemma of Langlands. The Khovanskii-Pukhlikov virtual polytopes are an important ingredient here. Finally, we give some geometric interpretations of our combinatorial truncation on toric varieties as a measure and a Lefschetz number. △ Less

Submitted 3 February, 2022; v1 submitted 31 March, 2021; originally announced March 2021.

Comments: 35 pages, 17 figures; accepted version for publication in the Canadian Journal of Mathematics

MSC Class: 11F72; 14M25

Journal ref: Canadian Journal of Mathematics , Volume 75 , Issue 2 , April 2023 , pp. 375 - 420

Generic tropical initial ideals of Cohen-Macaulay algebras

Authors: Kiumars Kaveh, Christopher Manon, Takuya Murata

Abstract: We study the generic tropical initial ideals of a positively graded Cohen-Macaulay algebra $R$ over an algebraically closed field $\mathbf{k}$. Building on work of Römer and Schmitz, we give a formula for each initial ideal, and we express the associated quasivaluations in terms of certain $I$-adic filtrations. As a corollary, we show that in the case that $R$ is a domain, every initial ideal comi… ▽ More We study the generic tropical initial ideals of a positively graded Cohen-Macaulay algebra $R$ over an algebraically closed field $\mathbf{k}$. Building on work of Römer and Schmitz, we give a formula for each initial ideal, and we express the associated quasivaluations in terms of certain $I$-adic filtrations. As a corollary, we show that in the case that $R$ is a domain, every initial ideal coming from the codimension-$1$ skeleton of the tropical variety is prime, so "generic presentations of Cohen-Macaulay domains are well-poised in codimension-$1$." △ Less

Submitted 15 January, 2021; v1 submitted 10 September, 2020; originally announced September 2020.

Comments: 11 pages, to appear in J. Pure Appl. Algebra

MSC Class: 14T05; 14M05; 13A18

Momentum graphs, Chinese remainder theorem and the surjectivity of the restriction map

Authors: James B. Carrell, Kiumars Kaveh

Abstract: We consider a Chinese remainder theorem for (labeled) graphs. For $X$ a GKM $T$-variety and $Y$ an invariant subvariety, we use this to give a condition for surjectivity of the restriction map $H^*(X) \to H^*(Y)$. In particular, this applies to certain invariant subvarieties in a smooth toric variety. We consider a Chinese remainder theorem for (labeled) graphs. For $X$ a GKM $T$-variety and $Y$ an invariant subvariety, we use this to give a condition for surjectivity of the restriction map $H^*(X) \to H^*(Y)$. In particular, this applies to certain invariant subvarieties in a smooth toric variety. △ Less

Submitted 7 April, 2020; originally announced April 2020.

Comments: 5 pages, 1 figure

MSC Class: 55N91; 14L30; 14M25

Intersections of Hypersurfaces and Ring of Conditions of a Spherical Homogeneous Space

Authors: Kiumars Kaveh, Askold G. Khovanskii

Abstract: We prove a version of the BKK theorem for the ring of conditions of a spherical homogeneous space $G/H$. We also introduce the notion of ring of complete intersections, firstly for a spherical homogeneous space and secondly for an arbitrary variety. Similarly to the ring of conditions of the torus, the ring of complete intersections of $G/H$ admits a description in terms of volumes of polytopes. We prove a version of the BKK theorem for the ring of conditions of a spherical homogeneous space $G/H$. We also introduce the notion of ring of complete intersections, firstly for a spherical homogeneous space and secondly for an arbitrary variety. Similarly to the ring of conditions of the torus, the ring of complete intersections of $G/H$ admits a description in terms of volumes of polytopes. △ Less

Submitted 20 March, 2020; v1 submitted 31 October, 2019; originally announced November 2019.

Comments: dedicated to Dmitry Borisovich Fuchs

MSC Class: 14M27; 14M10

Journal ref: SIGMA 16 (2020), 016, 12 pages

Toric flat families, valuations, and applications to projectivized toric vector bundles

Authors: Kiumars Kaveh, Christopher Manon

Abstract: Using the notion of a valuation into the semifield of piecewise linear functions, we give a classification of torus equivariant flat families of finite type over a toric variety base, by certain piecewise linear maps between fans. As a consequence we derive a classification of toric vector bundles phrased in terms of tropicalized linear spaces. We use these tools to give a characterization of the… ▽ More Using the notion of a valuation into the semifield of piecewise linear functions, we give a classification of torus equivariant flat families of finite type over a toric variety base, by certain piecewise linear maps between fans. As a consequence we derive a classification of toric vector bundles phrased in terms of tropicalized linear spaces. We use these tools to give a characterization of the Mori dream space property for a projectivized toric vector bundle. △ Less

Submitted 11 October, 2022; v1 submitted 1 July, 2019; originally announced July 2019.

Comments: Title changed to emphasize applications to the study of projectivized toric vector bundles. Revised in many places and exposition improved. Some material rearranged and new sections introduced. References updated and a list of notation added. 44 pages

MSC Class: 14M25; 14T05

Cohomology ring of the flag variety vs Chow cohomology ring of the Gelfand-Zetlin toric variety

Authors: Kiumars Kaveh, Elise Villella

Abstract: We compare the cohomology ring of the flag variety $FL_n$ and the Chow cohomology ring of the Gelfand-Zetlin toric variety $X_{GZ}$. We show that $H^*(FL_n, \mathbb{Q})$ is the Gorenstein quotient of the subalgebra $L$ of $A^*(X_{GZ}, \mathbb{Q})$ generated by degree $1$ elements. We compute these algebras for $n=3$ to see that, in general, the subalgebra $L$ does not have Poincare duality. We compare the cohomology ring of the flag variety $FL_n$ and the Chow cohomology ring of the Gelfand-Zetlin toric variety $X_{GZ}$. We show that $H^*(FL_n, \mathbb{Q})$ is the Gorenstein quotient of the subalgebra $L$ of $A^*(X_{GZ}, \mathbb{Q})$ generated by degree $1$ elements. We compute these algebras for $n=3$ to see that, in general, the subalgebra $L$ does not have Poincare duality. △ Less

Submitted 3 April, 2021; v1 submitted 1 June, 2019; originally announced June 2019.

Comments: 16 pages, 3 figures. To appear in Journal of Combinatorial Algebra

MSC Class: Primary: 14M15; 14C15; 14M25; Secondary: 52B20; 57T15

Invariant factors as limit of singular values of a matrix

Authors: Kiumars Kaveh, Peter Makhnatch

Abstract: The paper concerns a result in linear algebra motivated by ideas from tropical geometry. Let $A(t)$ be an $n \times n$ matrix whose entries are Laurent series in $t$. We show that, as $t \to 0$, logarithms of singular values of $A(t)$ approach the invariant factors of $A(t)$. This leads us to suggest logarithms of singular values of an $n \times n$ complex matrix as an analogue of the logarithm ma… ▽ More The paper concerns a result in linear algebra motivated by ideas from tropical geometry. Let $A(t)$ be an $n \times n$ matrix whose entries are Laurent series in $t$. We show that, as $t \to 0$, logarithms of singular values of $A(t)$ approach the invariant factors of $A(t)$. This leads us to suggest logarithms of singular values of an $n \times n$ complex matrix as an analogue of the logarithm map on $(\mathbb{C}^*)^n$ for the matrix group $GL(n, \mathbb{C})$. △ Less

Submitted 7 December, 2022; v1 submitted 15 November, 2018; originally announced November 2018.

Comments: 9 pages, 1 figure

MSC Class: 15A18; 15A21; 20H20; 14T05

Journal ref: Arnold Math. J. 8 (2022), no. 3-4, 561-571

Toric principal bundles, piecewise linear maps and Tits buildings

Authors: Kiumars Kaveh, Christopher Manon

Abstract: We define the notion of a piecewise linear map from a fan $Σ$ to $\tilde{\mathfrak{B}}(G)$, the cone over the Tits building of a linear algebraic group $G$. Let $X_Σ$ be a toric variety with fan $Σ$. We show that when $G$ is reductive the set of integral piecewise linear maps from $Σ$ to $\tilde{\mathfrak{B}}(G)$ classifies the isomorphism classes of (framed) toric principal $G$-bundles on $X_Σ$.… ▽ More We define the notion of a piecewise linear map from a fan $Σ$ to $\tilde{\mathfrak{B}}(G)$, the cone over the Tits building of a linear algebraic group $G$. Let $X_Σ$ be a toric variety with fan $Σ$. We show that when $G$ is reductive the set of integral piecewise linear maps from $Σ$ to $\tilde{\mathfrak{B}}(G)$ classifies the isomorphism classes of (framed) toric principal $G$-bundles on $X_Σ$. This in particular recovers Klyachko's classification of toric vector bundles, and gives new classification results for the orthogonal and symplectic toric principal bundles. △ Less

Submitted 28 October, 2022; v1 submitted 14 June, 2018; originally announced June 2018.

Comments: Final version. 26 pages

MSC Class: 14M25; 55R91; 20E42

Journal ref: Mathematische Zeitschrift 302, 1367-1392 (2022)

A short survey on Newton polytopes, tropical geometry and ring of conditions of algebraic torus

Authors: Kiumars Kaveh, A. G. Khovanskii

Abstract: The purpose of this note is to give an exposition of some interesting combinatorics and convex geometry concepts that appear in algebraic geometry in relation to counting the number of solutions of a system of polynomial equations in several variables over complex numbers. The exposition is aimed for a general audience in mathematics and we hope to be accessible to undergraduate as well as advance… ▽ More The purpose of this note is to give an exposition of some interesting combinatorics and convex geometry concepts that appear in algebraic geometry in relation to counting the number of solutions of a system of polynomial equations in several variables over complex numbers. The exposition is aimed for a general audience in mathematics and we hope to be accessible to undergraduate as well as advance high school students. The topics discussed belong to relatively new, and closely related branches of algebraic geometry which are usually referred to as tropical geometry and toric geometry. These areas make connections between the study of algebra and geometry of polynomials and the combinatorial and convex geometric study of piecewise linear functions. The main results discussed in this note are descriptions of the so-called "ring of conditions" of algebraic torus. △ Less

Submitted 19 March, 2018; originally announced March 2018.

Comments: 15 pages, 4 figures

MSC Class: 14M25; 14T05

On a notion of anticanonical class for families of convex polytopes

Authors: Kiumars Kaveh, Elise Villella

Abstract: The purpose of this note is to give a generalization of the statement that the anticanonical class of a (smooth) projective toric variety is the sum of invariant prime divisors, corresponding to the rays in its fan (or facets in its polytope), to some other classes of varieties with algebraic group actions. To this end, we suggest an analogue of the notion of anticanonical class (of a compact comp… ▽ More The purpose of this note is to give a generalization of the statement that the anticanonical class of a (smooth) projective toric variety is the sum of invariant prime divisors, corresponding to the rays in its fan (or facets in its polytope), to some other classes of varieties with algebraic group actions. To this end, we suggest an analogue of the notion of anticanonical class (of a compact complex manifold) for linear families of convex polytopes. This is inspired by the Serre duality for smooth projective varieties as well as the Ehrhart-Macdonald reciprocity for rational polytopes. The main examples we have in mind are: (1) The family of polytopes normal to a given fan (which corresponds to the case of toric varieties). (2) The family of Gelfand-Zetlin polytopes (which corresponds to the case of the flag variety). (3) The family of Newton-Okounkov polytopes for a (smooth) group compactification. △ Less

Submitted 19 February, 2018; originally announced February 2018.

Comments: 16 pages

MSC Class: 14M25; 52B20; 14M27

On degenerations of projective varieties to complexity-one T-varieties

Authors: Kiumars Kaveh, Christopher Manon, Takuya Murata

Abstract: Let $R$ be a positively graded finitely generated $\textbf{k}$-domain with Krull dimension $d+1$. We show that there is a homogeneous valuation $\mathfrak{v}: R \setminus \{0\} \to \mathbb{Z}^d$ of rank $d$ such that the associated graded $\text{gr}_\mathfrak{v}(R)$ is finitely generated. This then implies that any polarized $d$-dimensional projective variety $X$ has a flat deformation over… ▽ More Let $R$ be a positively graded finitely generated $\textbf{k}$-domain with Krull dimension $d+1$. We show that there is a homogeneous valuation $\mathfrak{v}: R \setminus \{0\} \to \mathbb{Z}^d$ of rank $d$ such that the associated graded $\text{gr}_\mathfrak{v}(R)$ is finitely generated. This then implies that any polarized $d$-dimensional projective variety $X$ has a flat deformation over $\mathbb{A}^1$, with reduced and irreducible fibers, to a polarized projective complexity-one $T$-variety (i.e. a variety with a faithful action of a $(d-1)$-dimensional torus $T$). As an application we conclude that any $d$-dimensional complex smooth projective variety $X$ equipped with an integral Kähler form has a proper $(d-1)$-dimensional Hamiltonian torus action on an open dense subset that extends continuously to all of $X$. △ Less

Submitted 13 January, 2020; v1 submitted 8 August, 2017; originally announced August 2017.

Comments: Presentation improved in many places and many typos fixed

MSC Class: 14D06; 13D10; 14M25

Convergence of polarizations, toric degenerations, and Newton-Okounkov bodies

Authors: Mark Hamilton, Megumi Harada, Kiumars Kaveh

Abstract: Let $X$ be a smooth irreducible complex algebraic variety of dimension $n$ and $L$ a very ample line bundle on $X$. Given a toric degeneration of $(X,L)$ satisfying some natural technical hypotheses, we construct a deformation $\{J_s\}$ of the complex structure on $X$ and bases $\mathcal{B}_s$ of $H^0(X,L, J_s)$ so that $J_0$ is the standard complex structure and, in the limit as $s \to \infty$, t… ▽ More Let $X$ be a smooth irreducible complex algebraic variety of dimension $n$ and $L$ a very ample line bundle on $X$. Given a toric degeneration of $(X,L)$ satisfying some natural technical hypotheses, we construct a deformation $\{J_s\}$ of the complex structure on $X$ and bases $\mathcal{B}_s$ of $H^0(X,L, J_s)$ so that $J_0$ is the standard complex structure and, in the limit as $s \to \infty$, the basis elements approach dirac-delta distributions centered at Bohr-Sommerfeld fibers of a moment map associated to $X$ and its toric degeneration. The theory of Newton-Okounkov bodies and its associated toric degenerations shows that the technical hypotheses mentioned above hold in some generality. Our results significantly generalize previous results in geometric quantization which prove "independence of polarization" between Kähler quantizations and real polarizations. As an example, in the case of general flag varieties $X=G/B$ and for certain choices of $λ$, our result geometrically constructs a continuous degeneration of the (dual) canonical basis of $V_λ^*$ to a collection of dirac delta functions supported at the Bohr-Sommerfeld fibres corresponding exactly to the lattice points of a Littelmann-Berenstein-Zelevinsky string polytope $Δ_{\underline{w}_0}(λ) \cap \mathbb{Z}^{\dim(G/B)}$. △ Less

Submitted 1 March, 2018; v1 submitted 28 December, 2016; originally announced December 2016.

Comments: 27 pages. Comments welcome

MSC Class: Primary: 53D50; 14D06; Secondary: 14M25

Gröbner theory and tropical geometry on spherical varieties

Authors: Kiumars Kaveh, Christopher Manon

Abstract: Let $G$ be a connected reductive algebraic group. We develop a Gröbner theory for multiplicity-free $G$-algebras, as well as a tropical geometry for subschemes in a spherical homogeneous space $G/H$. We define the notion of a spherical tropical variety and prove a fundamental theorem of tropical geometry in this context. We also propose a definition for a spherical amoeba in $G/H$. Our work partly… ▽ More Let $G$ be a connected reductive algebraic group. We develop a Gröbner theory for multiplicity-free $G$-algebras, as well as a tropical geometry for subschemes in a spherical homogeneous space $G/H$. We define the notion of a spherical tropical variety and prove a fundamental theorem of tropical geometry in this context. We also propose a definition for a spherical amoeba in $G/H$. Our work partly builds on the previous work of Vogiannou on spherical tropicalization and in some ways is complementary. △ Less

Submitted 6 July, 2017; v1 submitted 6 November, 2016; originally announced November 2016.

Comments: Some sections throughly revised. In particular, added a subsection about fan structure on spherical tropical varieties. In the spherical tropical varieties sections, previously we used a G-line bundle on G/H, we now use a very ample G-line bundle on a projective spherical embedding of G/H. Typos corrected and presentation improved in several places. 43 pages, 1 figure

MSC Class: 14M27; 14T05; 13P10

Khovanskii bases, higher rank valuations and tropical geometry

Authors: Kiumars Kaveh, Christopher Manon

Abstract: Given a finitely generated algebra $A$, it is a fundamental question whether $A$ has a full rank discrete (Krull) valuation $\mathfrak{v}$ with finitely generated value semigroup. We give a necessary and sufficient condition for this, in terms of tropical geometry of $A$. In the course of this we introduce the notion of a Khovanskii basis for $(A, \mathfrak{v})$ which provides a framework for far… ▽ More Given a finitely generated algebra $A$, it is a fundamental question whether $A$ has a full rank discrete (Krull) valuation $\mathfrak{v}$ with finitely generated value semigroup. We give a necessary and sufficient condition for this, in terms of tropical geometry of $A$. In the course of this we introduce the notion of a Khovanskii basis for $(A, \mathfrak{v})$ which provides a framework for far extending Gröbner theory on polynomial algebras to general finitely generated algebras. In particular, this makes a direct connection between the theory of Newton-Okounkov bodies and tropical geometry, and toric degenerations arising in both contexts. We also construct an associated compactification of $Spec(A)$. Our approach includes many familiar examples such as the Gel'fand-Zetlin degenerations of coordinate rings of flag varieties as well as wonderful compactifications of reductive groups. We expect that many examples coming from cluster algebras naturally fit into our framework. △ Less

Submitted 9 May, 2019; v1 submitted 2 October, 2016; originally announced October 2016.

Comments: Extensively revised and many typos and errors corrected. Section on Gröbner bases and higher rank tropical geometry moved to the appendix. To appear in SIAM Journal on Applied Algebra and Geometry (SIAGA). 43 pages

MSC Class: 14T05; 13P10

Toric degenerations and symplectic geometry of smooth projective varieties

Authors: Kiumars Kaveh

Abstract: Let $X$ be an $n$-dimensional smooth complex projective variety embedded in $\mathbb{C}\mathbb{P}^{N}$. We construct a smooth family $\mathcal{X}$ over $\mathbb{C}$ with an embedding in $\mathbb{C}\mathbb{P}^{N} \times \mathbb{C}$ whose generic fiber is $X$ and the special fiber is the torus $(\mathbb{C}^*)^n$ sitting in $\mathbb{C}\mathbb{P}^{N}$ via a monomial embedding. We use this to show that… ▽ More Let $X$ be an $n$-dimensional smooth complex projective variety embedded in $\mathbb{C}\mathbb{P}^{N}$. We construct a smooth family $\mathcal{X}$ over $\mathbb{C}$ with an embedding in $\mathbb{C}\mathbb{P}^{N} \times \mathbb{C}$ whose generic fiber is $X$ and the special fiber is the torus $(\mathbb{C}^*)^n$ sitting in $\mathbb{C}\mathbb{P}^{N}$ via a monomial embedding. We use this to show that if $ω$ is an integral Kähler form on $X$ then for any $ε> 0$ there is an open subset $U_ε\subset X$ such that $vol(X \setminus U_ε) < ε$ and $U_ε$ is symplectomorphic to $(\mathbb{C}^*)^n$ equipped with a (rational) toric Kähler form. As an application we obtain lower bounds for the Gromov width of $(X, ω)$ in terms of its associated Newton-Okounkov bodies. We also show that if $ω$ lies in the class $c_1(L)$ of a very ample line bundle $L$ then $(X, ω)$ has a full symplectic packing with $d$ equal balls where $d$ is the degree of $(X, L)$. △ Less

Submitted 20 March, 2016; v1 submitted 3 August, 2015; originally announced August 2015.

Comments: Revised in many places, applications to symplectic packing problem and lower bounds on Gromov width in terms of Newton-Okounkov bodies added, 26 pages, 1 figure

MSC Class: 53D05; 14D06

Complete intersections in spherical varieties

Authors: Kiumars Kaveh, A. G. Khovanskii

Abstract: Let G be a complex reductive algebraic group. We study complete intersections in a spherical homogeneous space G/H defined by a generic collection of sections from G-invariant linear systems. Whenever nonempty, all such complete intersections are smooth varieties. We compute their arithmetic genus as well as some of their h^{p,0} numbers. The answers are given in terms of the moment polytopes and… ▽ More Let G be a complex reductive algebraic group. We study complete intersections in a spherical homogeneous space G/H defined by a generic collection of sections from G-invariant linear systems. Whenever nonempty, all such complete intersections are smooth varieties. We compute their arithmetic genus as well as some of their h^{p,0} numbers. The answers are given in terms of the moment polytopes and Newton-Okounkov polytopes associated to G-invariant linear systems. We also give a necessary and sufficient condition on a collection of linear systems so that the corresponding generic complete intersection is nonempty. This criterion applies to arbitrary quasi-projective varieties (i.e. not necessarily spherical homogeneous spaces). When the spherical homogeneous space under consideration is a complex torus (C^*)^n, our results specialize to well-known results from the Newton polyhedra theory and toric varieties. △ Less

Submitted 9 June, 2015; originally announced June 2015.

Comments: 36 pages

MSC Class: 14M27 (Primary); 14M10 (Secondary)

Springer's Weyl group representation via localization

Authors: Jim Carrell, Kiumars Kaveh

Abstract: Let $G$ denote a reductive algebraic group over $\mathbb{C}$ and $x$ a nilpotent element of its Lie algebra $\mathfrak{g}$. The Springer variety $\mathcal{B}_x$ is the closed subvariety of the flag variety $\mathcal{B}$ of $G$ parameterizing the Borel subalgebras of $\mathfrak{g}$ containing $x$. It has the remarkable property that the Weyl group $W$ of $G$ admits a representation on the cohomolog… ▽ More Let $G$ denote a reductive algebraic group over $\mathbb{C}$ and $x$ a nilpotent element of its Lie algebra $\mathfrak{g}$. The Springer variety $\mathcal{B}_x$ is the closed subvariety of the flag variety $\mathcal{B}$ of $G$ parameterizing the Borel subalgebras of $\mathfrak{g}$ containing $x$. It has the remarkable property that the Weyl group $W$ of $G$ admits a representation on the cohomology of $\mathcal{B}_x$ even though $W$ rarely acts on $\mathcal{B}_x$ itself. Well-known constructions of this action due to Springer et al use technical machinery from algebraic geometry. The purpose of this note is to describe an elementary approach that gives this action when $x$ is what we call parabolic-surjective. The idea is to use localization to construct an action of $W$ on the equivariant cohomology algebra $H_S^*(\mathcal{B}_x)$, where $S$ is a certain algebraic subtorus of $G$. This action descends to $H^*(\mathcal{B}_x)$ via the forgetful map and gives the desired representation. The parabolic-surjective case includes all nilpotents of type $A$ and, more generally, all nilpotents for which it is known that $W$ acts on $H_S^*(\mathcal{B}_x)$ for some torus $S$. Our result is deduced from a general theorem describing when a group action on the cohomology of the fixed point set of a torus action on a space lifts to the full cohomology algebra of the space. △ Less

Submitted 12 February, 2017; v1 submitted 24 May, 2015; originally announced May 2015.

Comments: 6 pages, title changed and made shorter, the presentation of the paper totally revised, final version to appear in the Canadian Mathematical Bulletin

MSC Class: 14M15; 14F43; 55N91

Journal ref: Can. Math. Bull. 60 (2017) 478-483

On mixed multiplicities of ideals

Authors: Kiumars Kaveh, A. G. Khovanskii

Abstract: Let R be the local ring of a point on a variety X over an algebraically closed field k. We make a connection between the notion of mixed (Samuel) multiplicity of m-primary ideals in R and intersection theory of subspaces of rational functions on X which deals with the number of solutions of systems of equations. From this we readily deduce several properties of mixed multiplicities. In particular,… ▽ More Let R be the local ring of a point on a variety X over an algebraically closed field k. We make a connection between the notion of mixed (Samuel) multiplicity of m-primary ideals in R and intersection theory of subspaces of rational functions on X which deals with the number of solutions of systems of equations. From this we readily deduce several properties of mixed multiplicities. In particular, we prove a (reverse) Alexandrov-Fenchel inequality for mixed multiplicities due to Teissier and Rees-Sharp. As an application in convex geometry we obtain a proof of a (reverse) Alexandrov-Fenchel inequality for covolumes of convex bodies inscribed in a convex cone. △ Less

Submitted 12 May, 2015; v1 submitted 29 October, 2013; originally announced October 2013.

Comments: Minor corrections: a reference to a paper of B. Teissier added and reference to results of B. Teissier and Rees-Sharp in the introduction corrected

MSC Class: Primary: 13H15; Secondary: 11H06

Convex bodies and multiplicities of ideals

Authors: Kiumars Kaveh, A. G. Khovanskii

Abstract: We associate convex regions in R^n to m-primary graded sequences of subspaces, in particular m-primary graded sequences of ideals, in a large class of local algebras (including analytically irreducible local domains). These convex regions encode information about Samuel multiplicities. This is in the spirit of the theory of Grobner bases and Newton polyhedra on one hand, and the theory of Newton-O… ▽ More We associate convex regions in R^n to m-primary graded sequences of subspaces, in particular m-primary graded sequences of ideals, in a large class of local algebras (including analytically irreducible local domains). These convex regions encode information about Samuel multiplicities. This is in the spirit of the theory of Grobner bases and Newton polyhedra on one hand, and the theory of Newton-Okounkov bodies for linear systems on the other hand. We use this to give a new proof, as well as a generalization of a Brunn-Minkowski inequality for multiplicities due to Teissier and Rees-Sharp. △ Less

Submitted 25 February, 2014; v1 submitted 11 February, 2013; originally announced February 2013.

Comments: Final version, 20 pages, some typos fixed and minor corrections done. To appear in Proceedings of Steklov Institute of Mathematics

MSC Class: Primary: 13H15; 11H06; Secondary: 13P10

Note on the Grothendieck group of subspaces of rational functions and Shokurov's b-divisors

Authors: Kiumars Kaveh, A. G. Khovanskii

Abstract: In a previous paper the authors develop an intersection theory for subspaces of rational functions on an algebraic variety X over complex numbers. In this note, we first extend this intersection theory to an arbitrary algebraically closed ground field. Secondly we give an isomorphism between the group of b-divisors on the birational class of X and the Grothendieck group of the semigroup of subspac… ▽ More In a previous paper the authors develop an intersection theory for subspaces of rational functions on an algebraic variety X over complex numbers. In this note, we first extend this intersection theory to an arbitrary algebraically closed ground field. Secondly we give an isomorphism between the group of b-divisors on the birational class of X and the Grothendieck group of the semigroup of subspaces of rational functions on X. The constructed isomorphism moreover preserves the intersection numbers. This provides an alternative approach to b-divisors and their intersection theory. △ Less

Submitted 11 February, 2013; originally announced February 2013.

Comments: 9 pages

MSC Class: 14C20; 14Exx

Integrable systems, toric degenerations and Okounkov bodies

Authors: Megumi Harada, Kiumars Kaveh

Abstract: Let X be a smooth complex projective variety of dimension n equipped with a very ample Hermitian line bundle L. In the first part of the paper, we show that if there exists a toric degeneration of X satisfying some natural hypotheses (which are satisfied in many settings), then there exists a completely integrable system on X in the sense of symplectic geometry. More precisely, we construct a coll… ▽ More Let X be a smooth complex projective variety of dimension n equipped with a very ample Hermitian line bundle L. In the first part of the paper, we show that if there exists a toric degeneration of X satisfying some natural hypotheses (which are satisfied in many settings), then there exists a completely integrable system on X in the sense of symplectic geometry. More precisely, we construct a collection of real-valued functions H_1, ... H_n on X which are continuous on all of X, smooth on an open dense subset U of X, and pairwise Poisson-commute on U. Moreover, we show that in many cases, we can construct the integrable system so that the functions H_1, ..., H_n generate a Hamiltonian torus action on U. In the second part, we show that the toric degenerations arising in the theory of Newton-Okounkov bodies satisfy all the hypotheses of the first part of the paper. In this case the image of the "moment map" μ= (H_1, ..., H_n): X to R^n is precisely the Okounkov body Δ= Δ(R, v) associated to the homogeneous coordinate ring R of X, and an appropriate choice of a valuation v on R. Our main technical tools come from algebraic geometry, differential (Kaehler) geometry, and analysis. Specifically, we use the gradient-Hamiltonian vector field, and a subtle generalization of the famous Lojasiewicz gradient inequality for real-valued analytic functions. Since our construction is valid for a large class of projective varieties X, this manuscript provides a rich source of new examples of integrable systems. We discuss concrete examples, including elliptic curves, flag varieties of arbitrary connected complex reductive groups, spherical varieties, and weight varieties. △ Less

Submitted 8 April, 2015; v1 submitted 23 May, 2012; originally announced May 2012.

Comments: 44 pages. Final version. Appeared in Inventiones Mathematicae

MSC Class: 14M25; 53D20

Crystal bases and Newton-Okounkov bodies

Authors: Kiumars Kaveh

Abstract: Let G be a connected reductive algebraic group. We prove that the string parametrization of a crystal basis for a finite dimensional irreducible representation of G extends to a natural valuation on the field of rational functions on the flag variety G/B, which is a highest term valuation corresponding to a coordinate system on a Bott-Samelson variety. This shows that the string polytopes associat… ▽ More Let G be a connected reductive algebraic group. We prove that the string parametrization of a crystal basis for a finite dimensional irreducible representation of G extends to a natural valuation on the field of rational functions on the flag variety G/B, which is a highest term valuation corresponding to a coordinate system on a Bott-Samelson variety. This shows that the string polytopes associated to irreducible representations, can be realized as Newton-Okounkov bodies for the flag variety. This is closely related to an earlier result of A. Okounkov for the Gelfand-Cetlin polytopes of the symplectic group. As a corollary we recover a multiplicativity property of the canonical basis due to P. Caldero. We generalize the results to spherical varieties. From these the existence of SAGBI bases for the homogeneous coordinate rings of flag and spherical varieties, as well as their toric degenerations follow, recovering previous results of Caldero, Alexeev-Brion and the author. △ Less

Submitted 5 August, 2015; v1 submitted 9 January, 2011; originally announced January 2011.

Comments: Minor corrections. To appear in Duke Mathematical Journal. 33 pages

MSC Class: 14M15; 05E10; 14M27

Journal ref: Duke Math. J. 164, no. 13 (2015), 2461-2506

Newton polytopes for horospherical spaces

Authors: Kiumars Kaveh, A. G. Khovanskii

Abstract: A subgroup H of a reductive group G is horospherical if it contains a maximal unipotent subgroup. We describe the Grothendieck semigroup of invariant subspaces of regular functions on G/H as a semigroup of convex polytopes. From this we obtain a formula for the number of solutions of a generic system of equations on G/H in terms of mixed volume of polytopes. This generalizes Bernstein-Kushnirenko… ▽ More A subgroup H of a reductive group G is horospherical if it contains a maximal unipotent subgroup. We describe the Grothendieck semigroup of invariant subspaces of regular functions on G/H as a semigroup of convex polytopes. From this we obtain a formula for the number of solutions of a generic system of equations on G/H in terms of mixed volume of polytopes. This generalizes Bernstein-Kushnirenko theorem from toric geometry. △ Less

Submitted 24 July, 2010; originally announced July 2010.

Comments: 17 pages

MSC Class: 14M17; 14M25

Moment polytopes, semigroup of representations and Kazarnovskii's theorem

Authors: Kiumars Kaveh, Askold G. Khovanskii

Abstract: Two representations of a reductive group G are spectrally equivalent if the same irreducible representations appear in both of them. The semigroup of finite dimensional representations of G with tensor product and up to spectral equivalence is a rather complicated object. We show that the Grothendieck group of this semigroup is more tractable and give a description of it in terms of moment polyt… ▽ More Two representations of a reductive group G are spectrally equivalent if the same irreducible representations appear in both of them. The semigroup of finite dimensional representations of G with tensor product and up to spectral equivalence is a rather complicated object. We show that the Grothendieck group of this semigroup is more tractable and give a description of it in terms of moment polytopes of representations. As a corollary, we give a proof of the Kazarnovskii theorem on the number of solutions in G of a system f_1(x) = ... = f_m(x) = 0, where m=dim(G) and each f_i is a generic function in the space of matrix elements of a representation pi_i of G. △ Less

Submitted 1 March, 2010; v1 submitted 28 February, 2010; originally announced March 2010.

Comments: 16 pages, submitted to Smale Festschrift Vol VII

MSC Class: 05E10; 14L30

A remark on asymptotic enumeration of highest weights in tensor powers of a representation

Authors: Kiumars Kaveh

Abstract: We consider the semigroup S of highest weights appearing in tensor powers V^k of a finite dimensional representation V of a connected reductive group. We describe the cone generated by S as the cone over the weight polytope of V intersected with the positive Weyl chamber. From this we get a description for the asymptotic of the number of highest weights appearing in V^k in terms of the volume of t… ▽ More We consider the semigroup S of highest weights appearing in tensor powers V^k of a finite dimensional representation V of a connected reductive group. We describe the cone generated by S as the cone over the weight polytope of V intersected with the positive Weyl chamber. From this we get a description for the asymptotic of the number of highest weights appearing in V^k in terms of the volume of this polytope. △ Less

Submitted 5 August, 2015; v1 submitted 9 February, 2010; originally announced February 2010.

Comments: Minor corrections, title slightly changed, an example added. 7 pages

MSC Class: 05E10; 20G05

Journal ref: Bulletin of the Iranian Mathematical Society. Vol. 41, No. 3 (2015), p. 639-646

Convex bodies associated to actions of reductive groups

Authors: Kiumars Kaveh, Askold G. Khovanskii

Abstract: We associate convex bodies to a wide class of graded G-algebras where G is a connected reductive group. These convex bodies give information about the Hilbert function as well as multiplicities of irreducible representations appearing in the graded algebra. We extend the notion of Duistermaat-Heckman measure to graded G-algebras and prove a Fujita type approximation theorem and a Brunn-Minkowski i… ▽ More We associate convex bodies to a wide class of graded G-algebras where G is a connected reductive group. These convex bodies give information about the Hilbert function as well as multiplicities of irreducible representations appearing in the graded algebra. We extend the notion of Duistermaat-Heckman measure to graded G-algebras and prove a Fujita type approximation theorem and a Brunn-Minkowski inequality for this measure. This in particular applies to arbitrary G-line bundles giving an equivariant version of the theory of volumes of line bundles. We generalize the Brion-Kazarnowski formula for the degree of a spherical variety to arbitrary G-varieties. Our approach follows some of the previous works of A. Okounkov. We use the asymptotic theory of semigroups of integral points and Newton-Okounkov bodies developed in our ealier work arXiv:0904.3350 △ Less

Submitted 28 March, 2012; v1 submitted 26 January, 2010; originally announced January 2010.

Comments: 23 pages. Revised in several places and made considerably shorter. Final version, to appear in Moscow Mathematical Journal volume in honor of V. I. Arnold

MSC Class: 14L30; 53D20; 52A39

Newton-Okounkov bodies, semigroups of integral points, graded algebras and intersection theory

Authors: Kiumars Kaveh, A. G. Khovanskii

Abstract: Generalizing the notion of Newton polytope, we define the Newton-Okounkov body, respectively, for semigroups of integral points, graded algebras, and linear series on varieties. We prove that any semigroup in the lattice Z^n is asymptotically approximated by the semigroup of all the points in a sublattice and lying in a convex cone. Applying this we obtain several results: we show that for a large… ▽ More Generalizing the notion of Newton polytope, we define the Newton-Okounkov body, respectively, for semigroups of integral points, graded algebras, and linear series on varieties. We prove that any semigroup in the lattice Z^n is asymptotically approximated by the semigroup of all the points in a sublattice and lying in a convex cone. Applying this we obtain several results: we show that for a large class of graded algebras, the Hilbert functions have polynomial growth and their growth coefficients satisfy a Brunn-Minkowski type inequality. We prove analogues of Fujita approximation theorem for semigroups of integral points and graded algebras, which imply a generalization of this theorem for arbitrary linear series. Applications to intersection theory include a far-reaching generalization of the Kushnirenko theorem (from Newton polytope theory) and a new version of the Hodge inequality. We also give elementary proofs of the Alexandrov-Fenchel inequality in convex geometry and its analogue in algebraic geometry. △ Less

Submitted 28 March, 2012; v1 submitted 21 April, 2009; originally announced April 2009.

Comments: 39 pages. Revised in several places and the title slightly modified. Final version, to appear in Annals of Mathematics

MSC Class: 14C20 (Primary); 13D40; 52A39 (Secondary)

Algebraic equations and convex bodies

Authors: Kiumars Kaveh, A. G. Khovanskii

Abstract: The well-known Bernstein-Kushnirenko theorem from the theory of Newton polyhedra relates algebraic geometry and the theory of mixed volumes. Recently the authors have found a far-reaching generalization of this theorem to generic systems of algebraic equations on any quasi-projective variety. In the present note we review these results and their applications to algebraic geometry and convex geom… ▽ More The well-known Bernstein-Kushnirenko theorem from the theory of Newton polyhedra relates algebraic geometry and the theory of mixed volumes. Recently the authors have found a far-reaching generalization of this theorem to generic systems of algebraic equations on any quasi-projective variety. In the present note we review these results and their applications to algebraic geometry and convex geometry. △ Less

Submitted 26 December, 2008; originally announced December 2008.

Comments: 16 pages. To appear in the conference volume in honor of Oleg Y. Viro

MSC Class: 14C20; 52A39

Mixed volume and an extension of intersection theory of divisors

Authors: Kiumars Kaveh, A. G. Khovanskii

Abstract: Let K(X) be the collection of all non-zero finite dimensional subspaces of rational functions on an n-dimensional irreducible variety X. For any n-tuple L_1,..., L_n in K(X), we define an intersection index [L_1,..., L_n] as the number of solutions in X of a system of equations f_1 = ... = f_n = 0 where each f_i is a generic function from the space L_i. In counting the solutions, we neglect the… ▽ More Let K(X) be the collection of all non-zero finite dimensional subspaces of rational functions on an n-dimensional irreducible variety X. For any n-tuple L_1,..., L_n in K(X), we define an intersection index [L_1,..., L_n] as the number of solutions in X of a system of equations f_1 = ... = f_n = 0 where each f_i is a generic function from the space L_i. In counting the solutions, we neglect the solutions x at which all the functions in some space L_i vanish as well as the solutions at which at least one function from some subspace L_i has a pole. The collection K(X) is a commutative semigroup with respect to a natural multiplication. The intersection index [L_1,..., L_n] can be extended to the Grothendieck group of K(X). This gives an extension of the intersection theory of divisors. The extended theory is applicable even to non-complete varieties. We show that this intersection index enjoys all the main properties of the mixed volume of convex bodies. Our paper is inspired by the Bernstein-Kushnirenko theorem from the Newton polytope theory. △ Less

Submitted 5 January, 2010; v1 submitted 2 December, 2008; originally announced December 2008.

Comments: 31 pages. To appear in Moscow Mathematical Journal

MSC Class: 14C20; 52A39

On the equivariant cohomology of subvarieties of a B-regular variety

Authors: James B. Carrell, Kiumars Kaveh

Abstract: By a $B$-regular variety, we mean a smooth projective variety over $C$ admitting an algebraic action of the upper triangular Borel subgroup $B \subset SL_2(C)$ such that the unipotent radical in $B$ has a unique fixed point. A result of M. Brion and the first author describes the equivariant cohomology algebra (over $C$) of a $B$-regular variety $X$ as the coordinate ring of a remarkable affine… ▽ More By a $B$-regular variety, we mean a smooth projective variety over $C$ admitting an algebraic action of the upper triangular Borel subgroup $B \subset SL_2(C)$ such that the unipotent radical in $B$ has a unique fixed point. A result of M. Brion and the first author describes the equivariant cohomology algebra (over $C$) of a $B$-regular variety $X$ as the coordinate ring of a remarkable affine curve in $X \times P^1$. The main result of this paper uses this fact to classify the $B$-invariant subvarieties $Y$ of a $B$-regular variety $X$ for which the restriction map $i_Y:H^*(X) \to H^*(Y)$ is surjective. △ Less

Submitted 6 September, 2008; originally announced September 2008.

Comments: 12 pages, LaTeX. To appear in Transformation Groups

MSC Class: 14L30; 14M15; 55N91

Convex bodies and algebraic equations on affine varieties

Authors: Kiumars Kaveh, Askold G. Khovanskii

Abstract: Given an affine variety X and a finite dimensional vector space of regular functions L on X, we associate a convex body to (X, L) such that its volume is responsible for the number of solutions of a generic system of functions from L. This is a far reaching generalization of usual theory of Newton polytopes (which is concerned with toric varieties). As applications we give new, simple and transp… ▽ More Given an affine variety X and a finite dimensional vector space of regular functions L on X, we associate a convex body to (X, L) such that its volume is responsible for the number of solutions of a generic system of functions from L. This is a far reaching generalization of usual theory of Newton polytopes (which is concerned with toric varieties). As applications we give new, simple and transparent proofs of some well-known theorems in both algebraic geometry (e.g. Hodge Index Theorem) and convex geometry (e.g. Alexandrov-Fenchel inequality). Our main tools are classical Hilbert theory on degree of subvarieties of a projective space (in algebraic geometry) and Brunn-Minkowski inequality (in convex geometric). △ Less

Submitted 25 April, 2008; originally announced April 2008.

Comments: Preliminary version, may contain several typos, 44 pages

Vector fields, torus actions and equivariant cohomology

Authors: Jim Carrell, Kiumars Kaveh, Volker Puppe

Abstract: An old result of the first author and David Lieberman says that if a compact Kaehler manifold X admits a holomorphic vector field V having at least one zero, then the Dolbeault cohomology algebra H^*(X, Ω^*) of X is isomorphic with the bigraded algebra associated to a certain filtered graded ring. If V has isolated zeros this is the graded algebra associated to a certain filtration of the coordi… ▽ More An old result of the first author and David Lieberman says that if a compact Kaehler manifold X admits a holomorphic vector field V having at least one zero, then the Dolbeault cohomology algebra H^*(X, Ω^*) of X is isomorphic with the bigraded algebra associated to a certain filtered graded ring. If V has isolated zeros this is the graded algebra associated to a certain filtration of the coordinate ring of the scheme Z defined by zero(V). The purpose of this note is to show that if V is generated by a torus action then equivariant Dolbeault cohomology can be used to give direct geometric proofs of the above result. What is particularly interesting is the picture obtained when zero(V) has positive dimension. △ Less

Submitted 28 February, 2005; originally announced March 2005.

Comments: 15 pages

MSC Class: 14F43; 57R91

Note on cohomology rings of spherical varieties and volume polynomial

Authors: Kiumars Kaveh

Abstract: Let G be a complex reductive group and X a projective spherical G-variety. Moreover, assume that the subalgebra A of the cohomology ring H^*(X, R) generated by the Chern classes of line bundles has Poincare duality. We give a description of the subalgebra A in terms of the volume of polytopes. This generalizes the Khovanskii-Pukhlikov description of the cohomology ring of a smooth toric variety. I… ▽ More Let G be a complex reductive group and X a projective spherical G-variety. Moreover, assume that the subalgebra A of the cohomology ring H^*(X, R) generated by the Chern classes of line bundles has Poincare duality. We give a description of the subalgebra A in terms of the volume of polytopes. This generalizes the Khovanskii-Pukhlikov description of the cohomology ring of a smooth toric variety. In particular, we obtain a unified description for the cohomology rings of complete flag varieties and smooth toric varieties. As another example we get a description of the cohomology ring of the variety of complete conics. We also address the question of additivity of the moment and string polytopes and prove the additivity of the moment polytope for complete symmetric varieties. △ Less

Submitted 2 April, 2012; v1 submitted 30 December, 2003; originally announced December 2003.

Comments: 15 pages. Presentation of paper improved, some minor errors fixed and some references as well as example of complete conics added. Final version, appeared in J. Lie Theory

MSC Class: 14M17

Journal ref: J. Lie Theory 21 (2011), no. 2, 263-283

SAGBI bases and Degeneration of Spherical Varieties to Toric Varieties

Authors: Kiumars Kaveh

Abstract: Let X \subset Proj(V) be a projective spherical G-variety, where V is a finite dimensional G-module and G = SP(2n, C). In this paper, we show that X can be deformed, by a flat deformation, to the toric variety corresponding to a convex polytope Δ(X). The polytope Δ(X) is the polytope fibred over the moment polytope of X with the Gelfand-Cetlin polytopes as fibres. We prove this by showing that i… ▽ More Let X \subset Proj(V) be a projective spherical G-variety, where V is a finite dimensional G-module and G = SP(2n, C). In this paper, we show that X can be deformed, by a flat deformation, to the toric variety corresponding to a convex polytope Δ(X). The polytope Δ(X) is the polytope fibred over the moment polytope of X with the Gelfand-Cetlin polytopes as fibres. We prove this by showing that if X is a horospherical variety, e.g. flag varieties and Grassmanians, the homogeneous coordinate ring of X can be embedded in a Laurent polynomial algebra and has a SAGBI basis with respect to a natural term order. Moreover, we show that the semi-group of initial terms, after a linear change of variables, is the semi-group of integral points in the cone over the polytope Δ(X). The results of this paper are true for other classical groups, provided that a result of A. Okounkov on the representation theory of SP(2n,C) is shown to hold for other classical groups. △ Less

Submitted 25 September, 2003; originally announced September 2003.

Comments: 17 pages, LaTex, uses the package xy

MSC Class: 14M17; 13P10

Fixed Points of Torus Action and Cohomology Ring of Toric Varieties

Authors: Kiumars Kaveh

Abstract: Let X be a smooth simplicial toric variety. Let Z be the set of T-fixed points of X. We construct a filtration for A(Z), the ring of complex-valued functions on Z, such that Gr A(Z) is isomorphic to the cohomology algebra of X. This is the explanation of the general results of Carrell and Liebermann on the cohomology of T-varities, in the case of toric varieties. We give an explicit isomorphism… ▽ More Let X be a smooth simplicial toric variety. Let Z be the set of T-fixed points of X. We construct a filtration for A(Z), the ring of complex-valued functions on Z, such that Gr A(Z) is isomorphic to the cohomology algebra of X. This is the explanation of the general results of Carrell and Liebermann on the cohomology of T-varities, in the case of toric varieties. We give an explicit isomorphism between Gr A(Z) and Brion's description of the polytope algebra. △ Less

Submitted 27 August, 2003; originally announced August 2003.

Comments: 15 pages, LaTex file, 2 .eps figures, 1 .eepic figure

MSC Class: 14M25; 52B20

Morse theory and Euler characteristic of sections of spherical varieties

Authors: Kiumars Kaveh

Abstract: A theorem due to D. Bernstein states that Euler characteristic of a hypersurface defined by a polynomial f in (C\{0})^n is equal (upto a sign) to n! times volume of the Newton polyhedron of f. This result is related to algebaric torus actions and toric varieties. In this thesis, I prove that one can generalize the above result to actions of reductive groups with spherical orbits. That is, if a r… ▽ More A theorem due to D. Bernstein states that Euler characteristic of a hypersurface defined by a polynomial f in (C\{0})^n is equal (upto a sign) to n! times volume of the Newton polyhedron of f. This result is related to algebaric torus actions and toric varieties. In this thesis, I prove that one can generalize the above result to actions of reductive groups with spherical orbits. That is, if a reductive group acts linearly on a vector space such that generic orbits are spherical, one can compute the Euler characteristic of generic hyperplane sections of a generic orbit in terms of combinatorial data. Our main tool is Morse theory. We begin with developing a variant of classical Morse theory for algebraic submanifolds of R^n and linear functionals. This will become related to stratification theory of Thom and Whitney as well as Palais-Smale generalized Morse theory. △ Less

Submitted 6 December, 2001; originally announced December 2001.

Comments: 69 pages