[Paper Review] Algebras of curvature forms on homogeneous manifolds

Alexander Postnikov, Boris Shapiro+1 more|ArXiv.org|Jan 19, 1999

Advanced Topics in Algebra4 references4 citations

TL;DR

This paper computes the Hilbert polynomial and presents the algebra C(X) of curvature 2-forms on complex homogeneous manifolds X = G/B as a quotient of a polynomial ring. It establishes that the dimension of C(X) equals the number of independent subsets of roots in the associated root system, using a generalized algebra on Grassmannians as a key tool, thereby linking differential geometry with combinatorial root system invariants.

ABSTRACT

Let C(X) be the algebra generated by the curvature 2-forms of the standard hermitian line bundles over the complex homogeneous manifold X=G/B. We calculate the Hilbert polynomial of C(X) and give its presentation as a quotient of a polynomial ring. In particular, we show the dimension of C(X) is equal to the number of independent subsets of roots in the corresponding root system. As a tool we study a more general algebra associated with a point on a Grassmannian and calculate its Hilbert polynomial as well as its presentation in terms of generators and relations.

Motivation & Objective

• To determine the algebraic structure of curvature 2-forms on complex homogeneous manifolds X = G/B.
• To compute the Hilbert polynomial of the algebra C(X) generated by curvature 2-forms of standard hermitian line bundles over X.
• To present C(X) as a quotient of a polynomial ring with explicit generators and relations.
• To establish a connection between the dimension of C(X) and combinatorial invariants of the root system of G.
• To develop and analyze a generalized algebra associated with points on a Grassmannian as a foundational tool.

Proposed method

• The authors define an algebra associated with a point on a Grassmannian, generalizing the curvature algebra C(X).
• They compute the Hilbert polynomial of this generalized algebra using combinatorial and representation-theoretic techniques.
• The structure of C(X) is derived by analyzing the relations among curvature 2-forms via the Lie algebra structure of G.
• The presentation of C(X) as a quotient of a polynomial ring is obtained through explicit generators and relations derived from the root system.
• The dimension of C(X) is computed by counting independent subsets of roots in the corresponding root system.
• The analysis relies on tools from algebraic geometry, Lie theory, and commutative algebra, particularly Hilbert series and graded algebras.

Experimental results

Research questions

• RQ1 What is the Hilbert polynomial of the algebra C(X) generated by curvature 2-forms on a complex homogeneous manifold X = G/B?
• RQ2 How can C(X) be explicitly presented as a quotient of a polynomial ring with generators and relations?
• RQ3 What is the dimension of C(X), and how does it relate to the root system of the Lie group G?
• RQ4 How does the generalized algebra on a Grassmannian contribute to understanding the structure of C(X)?
• RQ5 What combinatorial invariant of the root system corresponds to the dimension of C(X)?

Key findings

• The Hilbert polynomial of C(X) is computed explicitly, providing a generating function for the dimensions of its graded components.
• C(X) is presented as a quotient of a polynomial ring by an ideal generated by specific relations derived from the curvature forms.
• The dimension of C(X) is equal to the number of independent subsets of roots in the root system of G.
• The generalized algebra on a Grassmannian has a Hilbert polynomial that is computed and used as a technical tool in the main proof.
• The structure of C(X) is fully determined by the combinatorics of the root system, particularly the number of independent subsets.
• The paper establishes a precise algebraic-geometric correspondence between curvature algebras and root system invariants.