The tag has no wiki summary.

learn more… | top users | synonyms

1
vote
0answers
45 views

Symplectic structures on the grassmannian model of the based loop group

$\newcommand{\Ad}{\operatorname{Ad}}$ In the study of (smooth/algebraic) based loop spaces of compact groups, one often uses a Grassmannian model to study the space. In particular, the Grassmannian ...
5
votes
1answer
161 views

Singular/Smooth locus of Schubert variety of the affine grassmannian

Let $G$ be a connected, simply connected, semisimple, complex linear algebraic group with maximal torus $T$ and affine Grassmannian $\mathcal Gr$. It is well known that $\mathcal Gr$ admits a Bruhat ...
4
votes
2answers
459 views

Based loop groups as stacks?

I have been stuck for some time, thinking about the following question. Let $G$ be a Lie group. Its classifying space $BG$ can be seen as the differentiable stack $[pt/G]$, which is of dimension ...
5
votes
2answers
330 views

Concise mathematical definition of the fusion product on the Verlinde ring?

The Verlinde ring of a (let us say) simply connected simple compact Lie group has as underlying additive group the Grothendieck group of representations of the central extension $\widehat{LG}$ of the ...
0
votes
0answers
79 views

Equivalence of Kahler structures of based loop group and its Grassmannian model

In Pressley-Segal's Loop Groups, we have the following spaces equipped with Kahler structures. Let $G$ be a compact, connected, (simply connected) group with Lie algebra $\mathfrak g$. Let ...
3
votes
1answer
161 views

Do the following two filtrations of the affine Grassmannian agree?

Let $H = L^{2}(S^{1},\mathbb{C}^{n})$, $H_{0}\subseteq H$ the subset of maps that extend holomorphically to the unit disc, and $H_{m} = z^{m}H_{0}$. Consider the affine Grassmannian for $GL_{n}$ in ...
0
votes
0answers
66 views

Computer software for manipulating loop groups or matrices with polynomial entries

I need to deal with loop groups $LG$ over the complex numbers $\mathbb{C}$, as well as related spaces like the affine Grassmannian and affine flag variety a lot. In type A, the loop group consists ...
1
vote
0answers
41 views

Estimate for the Iwasawa decomposition in loop groups

Let $GL(n,\mathbb{C})$ be the general linear group and let $U(n)$ be the unitary group in it, which is a maximal compact subgroup. I consider the loop group $\Lambda GL(n,\mathbb{C})$ of maps from ...
7
votes
0answers
248 views

Reconciling the affine grassmannian and the based loop group

I'm trying to reconcile the differences between the (algebraic) based loop group and the affine grassmannian. I once believed that I understood the relationship, but I just read a paper which has ...
6
votes
1answer
178 views

Lattice model for Affine Grassmannians of non type A

There is a Lattice model for affine Grassmannians of type A, due to Lusztig. It describes affine Grassmannians of type A as the moduli space of certain subspaces in an infinite-dimensional ...
7
votes
1answer
274 views

What is the level of a positive energy loop group representation?

I am trying to learn a bit about loop group representation theory to understand its role in string geometry. Let $G$ be a Lie group. I am thinking of $\text{Spin}(n)$, so you may assume $G$ to be ...
18
votes
1answer
499 views

Why should affine lie algebras and quantum groups have equivalent representation theories?

Let $\mathfrak{g}$ be a simple lie algebra over $\mathbb{C}$ and let $\hat{\mathfrak{g}}$ be the Kac-Moody algebra obtained as the canonical central extension of the algebraic loop algebra ...
3
votes
0answers
48 views

adjoint orbit of (twisted) loop group

Let $G$ be the twisted loop group of $SL_2(\mathbb C)$ and let $g$ be its Lie algebra, where diagonal entries are even functions and off diagonal entries are odd functions (of loop parameter lambda). ...
7
votes
3answers
450 views

Real varieties with enough algebraic loops

Let $(X,\sigma)$ be a complex variety with complex conjugation (equivalently, an algebraic variety over $\mathbb R$). We use the notations $X(\mathbb R):=X^\sigma$ for the set of fixed points of $X$ ...
1
vote
0answers
79 views

Holomorphic convergence conditions on $\mathbb C((z))$-valued points of a group $G$

Let $G$ be a complex, connected, simply connected, semisimple group. I'm trying to compare the following two spaces: The free loop space $LG$ of $G$, and the $\mathbb C((z))$-valued points of $G$, ...
3
votes
0answers
103 views

Equivariant Poincare Series of Based Loop Group of SU(2)

Let $\Omega SU(2)$ denote the based loop group of $SU(2)$, and consider the action of $S^1$ on $\Omega SU(2)$ as a maximal torus of $SU(2)$. (This is not the "loop rotation" action.) Is there an ...
2
votes
1answer
210 views

$\text{mod} \, p^2$ trace identity

Let $p$ be a prime, and let $\text{GL}_n \big( \Bbb{Z} / p^2 \Bbb{Z} \big)$ be the group of $n \times n$ invertible matrices over the ring $\Bbb{Z} / p^2 \Bbb{Z}$. Does there exist a positive integer ...
10
votes
2answers
1k views

Central extension of the algebraic loop group

I'm doing some constructions with the universal central extension $\widehat{\Omega G}$ of the loop group $\Omega G$ (here $G$ is a matrix group), where a priori the loops involved are just smooth, but ...
10
votes
0answers
222 views

differentiating positive energy LG reps

Background:Let $G$ be a cscsc¹ Lie group, and let $\widetilde{LG}$ be the universal central extension (center = $S^1$) of $LG:=Map_{C^\infty}(S^1,G)$, with the topology inherited from the $C^\infty$ ...
2
votes
0answers
170 views

Is Pic( G((z)) ) = $\mathbb{Z}$?

There are a fair number of papers by Beauville, Laszlo, Sorger, Kumar and others on the geometry of $LG/L^+G = G((z))/G[[z]]$ where $G$ is a simply connected and simple group over $\mathbb{C}$. In ...
5
votes
1answer
369 views

Is there a fusion rule in positive characteristic?

Verlinde's fusion gives a certain "tensor product" of representations of loop groups. The category of representations of loop groups has (essentially equivalent) two incarnations. One is analytic, ...