Questions tagged [loop-groups]
The loop-groups tag has no usage guidance.
40 questions
5
votes
0
answers
90
views
Rational maps from the circle to the unitary group (energy-preserving convolutive mixtures)
Consider a rational map $A : S^1 \to U(n)$, i.e. a matrix of rational functions such that evaluation at any $z \in S^1 \subset \mathbf C$ is unitary. These objects show up in digital signal processing ...
- 151
1
vote
0
answers
81
views
"More stable" definitions of principal $G$-bundle
Let $G$ be a topological group. For any pointed topological space $X$, define $[X,G]$ to be the group whose underlying topological space is the space of pointed continuous maps from $X$ to $G$, with ...
- 863
1
vote
0
answers
127
views
A Weierstrass product theorem for invertible formal Laurent series over local Artinian rings?
Let $(A,\mathfrak{m},\kappa)$ denote a commutative local Artinian ring. Somewhat by accident, I've stumbled across the following interesting decomposition:
$$
A(\!(t)\!)^\times = t^\mathbb{Z} \cdot (1 ...
- 7,127
3
votes
0
answers
67
views
The basic representation of $LU(1)$
Let $H = L^2(U(1),\mathbb{C})$. The "basic" irreducible projective level 1 representation $\mathcal{H}$ of the loop group $LU(1)$ has underlying Hilbert space isomorphic to $\smash{\hat{\...
- 181
6
votes
1
answer
384
views
What is the cardinality of liners of rank 4? Is it always equal 27?
Definition 1. A binary operation $\cdot:X\times X\to X$, $\cdot:(xy)\mapsto xy$, on a set $X$ will be called a line operation if
$$xx=x,\quad xy=yx,\quad (xy)x=y$$
for every $x,y\in X$.
Remark 1. ...
- 41.8k
2
votes
1
answer
206
views
Difference between two definitions of affine Lie algebras
Let $\mathfrak{g}$ be a finite-dimensional simple Lie algebra over $\mathbb{C}$, we have the notion of affinization of $\mathfrak{g}$, which is the central extension of the corresponding loop algebra.
...
- 1,391
3
votes
1
answer
80
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 ...
- 9,853
5
votes
2
answers
404
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_\...
- 35.4k
7
votes
0
answers
160
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 ...
- 959
2
votes
0
answers
209
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 ...
- 959
1
vote
0
answers
32
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 ...
- 1,947
6
votes
1
answer
677
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$ ...
- 553
5
votes
0
answers
244
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 ($...
- 189
8
votes
0
answers
176
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'...
- 461
6
votes
2
answers
491
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 ...
- 677
8
votes
1
answer
702
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 ...
- 18.7k
15
votes
1
answer
770
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 ...
- 156k
4
votes
0
answers
136
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^\...
- 81
11
votes
0
answers
475
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 ...
- 1,073
3
votes
1
answer
160
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 ...
- 111
1
vote
0
answers
150
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 ...
- 627
5
votes
1
answer
963
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 ...
- 627
4
votes
2
answers
633
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 $-...
- 123
7
votes
2
answers
954
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 ...
- 35.4k
1
vote
0
answers
129
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 ...
- 627
3
votes
1
answer
328
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 ...
- 474
4
votes
0
answers
185
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^...
- 653
21
votes
1
answer
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 ...
- 627
6
votes
1
answer
506
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}-...
- 1,719
8
votes
1
answer
875
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 ...
37
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{...
- 9,481
3
votes
0
answers
120
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).
...
- 31
8
votes
3
answers
540
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$ ...
- 43.2k
1
vote
0
answers
89
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(\...
- 627
3
votes
0
answers
151
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 ...
- 4,920
2
votes
1
answer
259
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 $...
- 2,137
11
votes
2
answers
2k
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 ...
- 35.4k
10
votes
0
answers
269
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$ ...
- 43.2k
2
votes
0
answers
188
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 ...
- 3,968
5
votes
1
answer
564
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, ...
- 18.7k