Brunn-Minkowski inequality for multiplicities (Q1923249): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Removed claims
RedirectionBot (talk | contribs)
Changed an Item
Property / author
 
Property / author: Andrei Okounkov / rank
 
Normal rank
Property / reviewed by
 
Property / reviewed by: Serguey M. Pokas / rank
 
Normal rank

Revision as of 21:24, 10 February 2024

scientific article
Language Label Description Also known as
English
Brunn-Minkowski inequality for multiplicities
scientific article

    Statements

    Brunn-Minkowski inequality for multiplicities (English)
    0 references
    5 January 1997
    0 references
    Let a connected reductive group \(G\) act in a vector space \(V\). Suppose \(X\) is a closed \(G\)-stable irreducible subvariety of \(\mathbb P(V)\). Let \(F[X] =\bigoplus_mF[X]_m\) be the homogeneous coordinate ring of \(X\). Consider the decomposition of \(F[X]_m\) as \(G\)-module \(F[X]_m =\bigoplus_{\lambda}\mu_m(\lambda)V^\lambda\), where \(V^\lambda\) is the irreducible \(G\)-module with highest weight \(\lambda\) and \(\mu_m(\lambda)\) are the multiplicities. Let us consider \(\mu_m\) as a measure supported on the weight lattice \(P\) of \(G\). Put \(\varGamma=\text{Convex hull}\left(\bigcup_m(\text{supp}\mu_m)/m\right)\). This is a convex subset of the real vector space \(P\bigotimes_{\mathbb Z}\mathbb R\). It is known that the total mass of \(\mu_m\) is a polynomial in \(m\) for sufficiently large \(m\) (denote by \(k\) its degree) and \(m^{\dim\varGamma -k}\mu_m(m\cdot\lambda)\overset\text{weak}\longrightarrow\mu(\lambda)d\gamma\), where \(d\gamma\) is the Lebesgue measure supported on \(\varGamma\) and the density \(\mu(\lambda)\) is a piecewise-polynomial function. The aim of this paper is to prove the following: the function \(\mu^{1/(k-\dim\varGamma)}\) is concave on \(\varGamma\); the function \(\log \mu\) is concave on \(P\bigotimes_\mathbb Z\mathbb R\).
    0 references
    Brunn-Minkowski inequality
    0 references
    multiplicity theory
    0 references
    logarithmic convexity
    0 references
    log-concavity of multiplicities
    0 references
    moment mappings
    0 references
    convexity properties of the moment mapping
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references