Questions tagged [loop-groups]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
1 vote
0 answers
121 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 ...
M.G.'s user avatar
  • 6,683
3 votes
0 answers
62 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{\...
lw h's user avatar
  • 161
6 votes
1 answer
378 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. ...
Taras Banakh's user avatar
  • 40.8k
2 votes
1 answer
137 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. ...
Estwald's user avatar
  • 1,187
3 votes
1 answer
71 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 ...
Matthias Ludewig's user avatar
5 votes
2 answers
340 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_\...
David Roberts's user avatar
  • 33.8k
7 votes
0 answers
140 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 ...
onefishtwofish's user avatar
2 votes
0 answers
200 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 ...
onefishtwofish's user avatar
1 vote
0 answers
31 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 ...
saolof's user avatar
  • 1,823
6 votes
1 answer
593 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$ ...
G. Gallego's user avatar
5 votes
0 answers
234 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 ($...
Xu Kai's user avatar
  • 189
8 votes
0 answers
166 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'...
ChiHong Chow's user avatar
5 votes
2 answers
472 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 ...
userabc's user avatar
  • 667
8 votes
1 answer
620 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 ...
John Pardon's user avatar
  • 18.3k
15 votes
1 answer
742 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 ...
David E Speyer's user avatar
4 votes
0 answers
130 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^\...
Gabe Frieden's user avatar
11 votes
0 answers
447 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 ...
Aswin's user avatar
  • 1,063
3 votes
1 answer
155 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 ...
Meer Ashwinkumar's user avatar
1 vote
0 answers
149 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 ...
Tyler Holden's user avatar
5 votes
1 answer
895 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 ...
Tyler Holden's user avatar
4 votes
2 answers
616 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 $-...
Oliver's user avatar
  • 123
7 votes
2 answers
894 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 ...
David Roberts's user avatar
  • 33.8k
1 vote
0 answers
128 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 ...
Tyler Holden's user avatar
3 votes
1 answer
322 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 ...
James Mracek's user avatar
4 votes
0 answers
179 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^...
Jeremy Daniel's user avatar
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 ...
Tyler Holden's user avatar
6 votes
1 answer
478 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}-...
Qiao's user avatar
  • 1,669
8 votes
1 answer
816 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 ...
Lars Borutzky's user avatar
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{...
Yonatan Harpaz's user avatar
3 votes
0 answers
114 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). ...
joe's user avatar
  • 31
8 votes
3 answers
526 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$ ...
André Henriques's user avatar
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(\...
Tyler Holden's user avatar
3 votes
0 answers
148 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 ...
Peter Crooks's user avatar
  • 4,870
2 votes
1 answer
257 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 $...
A. Leverkuhn's user avatar
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 ...
David Roberts's user avatar
  • 33.8k
10 votes
0 answers
266 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$ ...
André Henriques's user avatar
2 votes
0 answers
184 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 ...
solbap's user avatar
  • 3,938
5 votes
1 answer
548 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, ...
John Pardon's user avatar
  • 18.3k