Hyperdiscriminant polytopes, Chow polytopes, and Mabuchi energy asymptotics (Q764058): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 02:09, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Hyperdiscriminant polytopes, Chow polytopes, and Mabuchi energy asymptotics |
scientific article |
Statements
Hyperdiscriminant polytopes, Chow polytopes, and Mabuchi energy asymptotics (English)
0 references
13 March 2012
0 references
Let us consider a projective complex manifold \(X\) and an ample line bundle \(L\) on \(X\). The Mabuchi energy \(\nu\) is a crucial object to detect the existence of a constant scalar curvature Kähler metric (cscK for short) in \(c_1(L)\). It is an energy functional defined on the Kähler potentials that enjoys some natural geometric properties when there exists a cscK metric in \(c_1(L)\). Given the polarization \(L\), one can also consider the space of holomorphic sections \(H^0(X,L ^k)\) and the associated symmetric space of Bergman metrics \(H_k=\mathrm{GL}(N_k,\mathbb{C})/U(N_k)\) where \(N_k=\dim H^0(X,L^k)\). It is well known from the work of G. Tian than the space of Bergman metrics \(H_k\) is dense in the set of Kähler metrics in the class \(c_1(L)\). Therefore it is natural to understand the behavior of the Mabuchi energy over the space of Bergman metrics and to relate this behavior to the geometry of \((X,L)\). This paper provides important results in that direction by giving a simple formula for the restriction of the Mabuchi energy \(\nu\) to the space of Bergman metrics. This formula depends on the log norms of the Chow form \(R_X\) and the hyperdiscriminant \(\Delta_X\) of \((X,L^k)\). Let us recall that the Chow form of \(X\) is given by the equation of the divisor \([R_X]=\{ L \in \mathrm{Gr}(N-1-n,N)| L \cap X\neq \emptyset\}\) where \(n=\dim X\). The hyperdiscriminant \(\Delta_X\) of \(X\) is the equation of the dual variety of \(X \times \mathbb{P}^n\) in the corresponding Segre embedding. Namely, if \(\phi_{\sigma}\) is the potential of the Bergman metric induced by \(\sigma\in \mathrm{SL}(N,\mathbb{C})\), then the author proves that \[ \nu(\phi_{\sigma})=\deg(R_X)\log \frac{\| \sigma \cdot \Delta_X \|^2}{\| \Delta_X\|^2}- \deg(\Delta_X)\log \frac{\|\sigma \cdot R_X\|^2}{\| R_X\|^2}. \] There are several nice consequences of this result. For instance, one can see the asymptotic behavior of the Mabuchi energy along any algebraic one parameter subgroup of a maximal algebraic torus of \(\mathrm{SL}(N,\mathbb{C})\). It is completely determined by the Chow polytope and the hyperdiscriminant polytope associated to \(R_X\) and \(\Delta_X\). Furthermore, the boundedness (or properness) of the Mabuchi energy along degenerations in \(\mathrm{SL}(N,\mathbb{C})\) can be rewritten in a geometric way in terms of inclusions of those polytopes (but unfortunately one needs to check the inclusion for all maximal algebraic tori). This leads the author to give a new definition of the notion of K-stability (which is a priori different from the one introduced by G. Tian and S.K. Donaldson) in terms of inclusion of polytopes. Contrarily to the classical notion of K-stability, the deformation of \(X\) does not play the role and so does not use the delicate notion of test-configuration, but requires to check a property on all maximal tori of \(\mathrm{SL}(N,\mathbb{C})\). Then the stability of \((X,L^k)\) as introduced by the author is equivalent to a condition on the positions of the relative polytopes of \(R_X\) and \(\Delta_X\) and hence involves only classical projective complex geometry.
0 references
K-stability
0 references
polytope
0 references
resultant
0 references
discriminant
0 references
hyperdiscriminant
0 references
chow form
0 references
Mabuchi energy
0 references
properness
0 references
Kähler-Einstein
0 references
Bergman metrics
0 references
projective manifold
0 references
G.I.T
0 references