Questions tagged [loop-groups]
The loop-groups tag has no usage guidance.
19 questions with no upvoted or accepted answers
11
votes
0
answers
476
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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