Discretization of compact semisimple Lie groups

In this paper we describe the new model of the representations of the current groups with a semisimple Lie group of the rank one. In the earlier papers of 70-80-th (Araki, Gelfand-Graev-Vershik) had posed the problem about irreducible representations of the current group for $SL(2,R)$, and was used for this the well-known Fock space-structure That construction could be applied to the arbitrary locally compact group,and is based on a so called special representation of the original group $G$, with nontrivial 1-cohomology. A new construction uses the special property of one dimensional extensions (semi-direct product)of the nilpotent groups which allows immediately to produce the special representation of the group and then to apply the quasi-Poisson construction from the previous papers by authors in order to construct the representation of current group. The parabolic subgroup of the semisimple Lie group of rank one has such semidirect product, and special representation of it can be extended onto whole semisimple group. As result we obtain needed new model of the irreducible representation of semi-simple current groups.

The geometric quantization on a homogeneous manifold is studied. For any quantizable function f , the stochastical expression for the unitary group exp(i tQ λ(f)) generated by the quantized operator Q λ( f ) is established. As an application, a Feynman-Kac formula for the compact semisimple Lie group is rederived.

Let [Formula: see text] be a compact Lie group acting on a smooth manifold [Formula: see text]. In this paper, we consider Meinrenken’s [Formula: see text]-equivariant bundle gerbe connections on [Formula: see text] as objects in a 2-groupoid. We prove this 2-category is equivalent to the 2-groupoid of gerbe connections on the differential quotient stack associated to [Formula: see text], and isomorphism classes of [Formula: see text]-equivariant gerbe connections are classified by degree 3 differential equivariant cohomology. Finally, we consider the existence and uniqueness of conjugation-equivariant gerbe connections on compact semisimple Lie groups.

Functions generated by blocks were introduced by M. Taibleson and G. Weiss in the setting of the one-dimensional torus T T [TW1]. They showed that these functions formed a space "close" to the class of integrable functions for which we have almost everywhere convergence of Fourier series. Together with S. Lu [LTW] they extended the theory to the n n -dimensional torus where this convergence result (for Bochner-Riesz means at the critical index) is valid provided we also restrict ourselves to L log ⁡ L L\log L . In this paper we show that this restriction is not needed if the underlying domain is a compact semisimple Lie group (or certain more general spaces of a homogeneous type). Other considerations (for example, these spaces form an interesting family of quasi-Banach spaces; they are connected with the notion of entropy) guide one in their study. We show how this point of view can be exploited in the setting of more general underlying domains.

Flat connections on punctured surfaces and geodesic polygons in a Lie group

If K is a connected compact Lie group with simple Lie algebra and if k is an integer relatively prime to the order of the Weyl group W of K then the number ν ( K , k ) \nu (K,k) of conjugacy classes of K consisting of elements x satisfying x k = 1 {x^k} = 1 is given by \[ ν ( K , k ) = ∏ i = 1 l m i + k m i + 1 , \nu (K,k) = \prod \limits _{i = 1}^l {\frac {{{m_i} + k}}{{{m_i} + 1}},} \] where l is the rank of K and m 1 , … , m l {m_1}, \ldots ,{m_l} are the exponents of W. If G is the complexification of K then we have ν ( G , k ) = ν ( K , k ) \nu (G,k) = \nu (K,k) without any restriction on k.

Stability results for approximation by positive definite functions on SO(3)

Sharp Fourier type and cotype of Lebesgue spaces and Schatten classes with respect to an arbitrary compact semisimple Lie group are investigated. In the process, a local variant of the Hausdorff-Young inequality on such groups is given.

The Bott–Borel–Weil theorem (BBW) is a statement about a complex homogeneous space X=G/R where G is a compact semisimple Lie group and R is the centralizer of a torus in G. One knows that BBW is equivalent to the determination of how R operates on the cohomology of a certain nilpotent Lie algebra of antiholomorphic tangent vectors operating on an arbitrary irreducible G-module. Upon replacing the complex structure with a space S of spinors BBW is equivalent to a statement about the eigenvalues of the Casimir operator of R in the module S ⊗ Vλ where Vλ is the irreducible G-module with highest weight λ. But then the complex structure is eliminated and the problem makes sense for any compact subgroup R ⊂ G. We solve the problem in the case where R and G have the same rank. The very special case where R is the centralizer of a torus then yields BBW. Involved in the general case (i.e. arbitrary R) is a new (at least to mathematicians) Dirac operator with a cubic term whose square is expressed in terms of the Casimir operator. Actually the spectral resolution of the Dirac operator is determined in the general case. The kernel of the Dirac operator is only given in the equal rank case. A key feature in that case is that, associated to λ, there is a multiplet of representations of R, having rather striking properties, and cardinality equal to the Euler number of G/R.

Pluriclosed metrics on compact semisimple Lie groups

Let G be a compact semisimple Lie group, g its Lie algebra, (,) an AdG-invariant inner product on g, and M an adjoint orbit in 9. In this article, if (M,(,)|M) is Kähler with respect to its canonical complex structure, then we give, for a closed minimal Lagrangian submanifold L⊂M, upper bounds on the first positive eigenvalue λ1(L) of the Laplacian ΔL, which acts on C∞(L), and lower bounds on the volume of L. In particular, when (M,(,)|M) is Kähler-Einstein, (p=cω, where p and ω are Ricci form and Kähler form of (M,(,)|M) with respect to the canonical complex structure respectively, and c is a positive constant,) we prove λ1(L)≤c. Combining with a result of Oh [5], we can see that L is Hamiltonian stable if and only if λ1(L)=c.

A flag manifold is a homogeneous space M = G/K, where G is a compact semisimple Lie group, and K the centralizer of a torus in G. Equivalently, M can be identified with the adjoint orbit Ad (G)w of an element w in the Lie algebra of G. We present several aspects of flag manifolds, such as their classification in terms of painted Dynkin diagrams, T-roots and G-invariant metrics, and Kähler metrics. We give a Lie-theoretic expression of the Ricci tensor in M, hence reducing the Einstein equation on flag manifolds into an algebraic system of equations, which can be solved in several cases. A flag manifold is also a complex manifold, and this dual representation as a real and a complex manifold is related to a similar property of an infinite-dimensional manifold, the loop space, which in fact can be viewed as a "universal" flag manifold.

A generalized metric on a manifold M M , i.e., a pair ( g , H ) (g,H) , where g g is a Riemannian metric and H H a closed 3 3 -form, is a fixed point of the generalized Ricci flow if and only if ( g , H ) (g,H) is Bismut Ricci flat: H H is g g -harmonic and R c ( g ) = 1 4 H g 2 Rc(g)=\tfrac {1}{4}H_g^2 . On any homogeneous space M = G / K M=G/K , where G = G 1 × G 2 G=G_1\times G_2 is a compact semisimple Lie group with two simple factors, under some mild assumptions, we exhibit a Bismut Ricci flat G G -invariant generalized metric, which is proved to be unique among a 4 4 -parameter space of metrics in many cases, including when K K is neither abelian nor semisimple. On the other hand, if K K is simple and the standard metric is Einstein on both G 1 / π 1 ( K ) G_1/\pi _1(K) and G 2 / π 2 ( K ) G_2/\pi _2(K) , we give a one-parameter family of Bismut Ricci flat G G -invariant generalized metrics on G / K G/K and show that it is most likely pairwise non-homothetic by computing the ratio of Ricci eigenvalues. This is proved to be the case for every space of the form M = G × G / Δ K M=G\times G/\Delta K and for M 35 = S O ( 8 ) × S O ( 7 ) / G 2 M^{35}=SO(8)\times SO(7)/G_2 .

This chapter explores integration on a compact connected Lie group. One of the great advantages of working with a compact Lie group is the possibility of extending the notion of averaging from a finite group to the compact Lie group. If the compact Lie group is connected, then there exists a unique bi-invariant top-degree form with total integral 1, which simplifies the presentation of averaging. The averaging operator is useful for constructing invariant objects. For example, suppose a compact connected Lie group G acts smoothly on the left on a manifold M. Given any C∞ differential k-form ω‎ on M, by averaging all the left translates of ω‎ over G, one can produce a C∞ invariant k-form on M. As another example, on a G-manifold one can average all translates of a Riemannian metric to produce an invariant Riemann metric.

An estimation problem in compact Lie groups