# Questions tagged [loop-groups]

The loop-groups tag has no usage guidance.

34
questions

3
votes

1
answer

62
views

### Non-invariant forms on loop Lie algebra of semisimple Lie group

Let us consider a Lie group $G$ with Lie algebra $\mathfrak{g}$ and let $L\mathfrak{g} = C^\infty(S^1, \mathfrak{g})$ the Lie algebra of the loop group $LG$.
My question is about continuous Lie ...

5
votes

2
answers

293
views

### What is Pressley and Segal's "basic inner product" for compact simple Lie algebras of types B and C?

In Pressley and Segal's book Loop Groups, they define a "basic inner product" $\langle-,-\rangle$ on a simple Lie algebra to be (minus) the Killing form scaled so that $\langle h_\alpha,h_\...

7
votes

0
answers

113
views

### comparison of polynomial loop group and smooth loop group

I have a question about Section 8.6 of Pressley-Segal's Loop groups book. Let $G$ be a compact, connected Lie group. Proposition 8.6.6 concerns the comparison of homotopy type between its polynomial ...

2
votes

0
answers

183
views

### Error in Proposition 8.7.1 of Pressley–Segal

Let $G$ be a connected, compact Lie group, $T$ a maximal torus. Let $LG$ be the group of smooth (or polynomial) loops and $X=LG/T$ the affine flag variety ($T$ acts say by right multiplication). In ...

1
vote

0
answers

26
views

### Is the (left or right) Bol property Isotopy-invariant?

It is well known that a loop satisfies both the left Bol property $(x(yx))z = x(y(xz))$ and the right Bol property $((zx)y)x = z((xy)x)$ if and only if it is a Moufang loop. It is also well known that ...

6
votes

1
answer

419
views

### Cartan decomposition of loop group

Let $G$ be a complex reductive group. Let $LG$ and $L^+ G$ denote the formal loop spaces given by maps from the punctured formal disk and the formal disk, respectively, to $G$. The quotient $LG/L^+ G$ ...

5
votes

0
answers

208
views

### Borel–Weil–Bott theorem and tensor product

Let $G=\operatorname{SL}(2)$ and $V_n$ be the n+1 dimensional irreducible representation of $G$. This gives a representation for $G(O)=\operatorname{Map}(\operatorname{Spec} k[[t]], G)$ and hence an ($...

8
votes

0
answers

150
views

### Comparison of two well-known bases of the integral homology group of based loop group

Let $G$ be a compact simply-connected Lie group. Then one can look at the homology $H_*(\Omega G;\mathbb{Z})$ of the based-loop space $\Omega G$ in at least two different ways:
(1) Via Bott-Samelson'...

5
votes

2
answers

417
views

### Sheafification of loop scheme/group

Let $X$ be a scheme over $K = k((t))$, where $k$ is a field. We define the loop scheme $LX$ to be the functor from the category of $k$-algebras to sets by $R \mapsto LX(R) := X(Spec (R((t))))$.
Do we ...

8
votes

1
answer

505
views

### Central extensions of loop groups

Let $LG=\operatorname{Maps}(S^1,G)$ be the loop group of a compact Lie group $G$. I should add some adjectives to $G$, but for sake of simplicity let's just take $G=SU(2)$.
There is a central ...

15
votes

1
answer

717
views

### Holomorphic line bundles on $\mathbb{P}^1$ from gluing data

Let $g$ be an $n \times n$ matrix of functions $g_{ij}(z)$ in $\mathbb{C}(z)$. Suppose that the $g_{ij}(z)$ have no poles on the annulus $1-\epsilon < |z| < 1+\epsilon$ and that $\det g(z)$ is ...

4
votes

0
answers

126
views

### Gaussian decomposition in the polynomial loop group

Let $G^\min$ be a minimal Kac-Moody group. There is an affine ind-variety structure on $G^\min$ such that multiplication induces a regular isomorphism of $U^- \times B^\min$ with an open subset $G^\...

11
votes

0
answers

411
views

### Geometric Satake and Restriction

The Geometric Satake correspondence (due to Lusztig, Ginzburg, Mirkovic-Vilonen) relates perverse sheaves on the Loop Group $\hat{G}$ (with their convolution product) to the Representations of the ...

3
votes

1
answer

154
views

### Does Kähler structure on X imply Kähler structure on the loop space of X?

Does Kähler structure on $X$ imply Kähler structure on the loop space ($LX$) of $X$? Since the loop space of $X$ is the space of maps from the circle $S^1$ to $X$, I suspect one may use the pullback ...

1
vote

0
answers

139
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

1
answer

794
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

2
answers

592
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 $-...

7
votes

2
answers

804
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 ...

1
vote

0
answers

126
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 $\mathcal ...

3
votes

1
answer

311
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 ...

4
votes

0
answers

151
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 $S^...

14
votes

0
answers

1k
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

1
answer

446
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 $\mathbb{C}-...

8
votes

1
answer

746
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 ...

36
votes

3
answers

3k
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 $\mathfrak{...

3
votes

0
answers

105
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).
...

8
votes

3
answers

520
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

0
answers

87
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$, $G(\...

3
votes

0
answers

139
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

1
answer

253
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 $...

11
votes

2
answers

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

0
answers

264
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

0
answers

181
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

1
answer

540
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, ...