No label defined (Q4952811)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1445479
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 1445479 |
Statements
30 October 2001
0 references
positive roots
0 references
compact homogeneous manifold
0 references
curvature form
0 references
Grassmannian
0 references
0.7137652635574341
0 references
0.7137213945388794
0 references
0.707595705986023
0 references
In this very interesting paper the authors prove three important theorems cited as Theorem 2, Theorem 3, and Theorem 4. If \(G\) is a connected complex semisimple Lie group and \(B\) a Borel subgroup, then \(X=G/B\) is a compact homogeneous complex manifold. If \(K\) is a maximal compact subgroup of \(G\), then \(K\) acts transitively on \(X\) and \(X\) can be identified with the quotient space \(K/T\) where \(T=K\cap B\) is the maximal torus of \(K\). Let \(C(X)\) denote the subalgebra in the algebra of differential forms on \(X\) that is generated by the curvature forms \(\theta (L_\lambda)\) of line bundles \(L_\lambda\), \(\lambda \in \widehat T\). \(C(X)=C^0 (X)\oplus C^1(X)\oplus C^2(X) \oplus\dots\) where \(C^k (X)\) is the subspace of \(2k\)-forms in \(C(X)\). In Theorem 2, the authors prove that the dimension of \(C(X)\) is equal to the number \(\text{ind} (\Delta_+)\) of independent subsets in the set of positive roots \(\Delta_+\) and the dimension of \(C^k(X)\) is equal to the number of independent subsets \(S\subset\Delta_+\) such that \(k=N-|S|-\text{act}(S)\), where \(N=|\Delta_+|\) and \(\text{act}(S)\) denotes the number of externally active vectors with respect to \(S\). In Theorems 3 and 4 the authors consider a more general algebra \(C_v\), associated with an element \(P\) of the Grassmannian \(G(n,N)\) of \(n\)-dimensional planes in \(\mathbb{C}^N\), where \(N\geq n\), and show that the dimension of the algebra \(C_v\) is equal to number \(\text{ind}(V)\) of independent subsets in \(V\) and exhibit the algebra \(C_v\) in terms of its gererators and relations. Finally, some very interesting open problems for further study and the possible interrelations of this work with that of H. Tamvakis and of Konstant are presented in section 5 of the paper. For the entire collection see [Zbl 0921.00044].
0 references