Questions tagged [loop-groups]
Groups of loops in a topological groups, such as the group of based loops.
40 questions
0
votes
1
answer
247
views
Existence of 4-point rational loops on rank 0 elliptic curves?
I am studying elliptic curves and came across an interesting pattern.
For the elliptic curve:
$$
y^2 = x^3 - 219x + 1654.
$$
In this elliptic curve there are only $8$ solution couples $(x,y)$, the ...
2
votes
0
answers
113
views
Cartan decomposition over rings
Let $R$ be a local reduced ring, $G$ split semisimple simply connected over $R$ and $g\in G(R[t,t^{-1}])$. Assume that there exists a dominant cocharacter $\lambda\in X_{*}(T)^{+}$ such that for ...
8
votes
1
answer
187
views
Cubic version of Kan loop group
Is there a version of the Kan loop group that is based on cubic rather than simplicial objects?
5
votes
0
answers
129
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 ...
1
vote
0
answers
133
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 ...
1
vote
0
answers
162
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 ...
3
votes
0
answers
99
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{\...
2
votes
1
answer
296
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.
...
3
votes
1
answer
121
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 ...
7
votes
2
answers
697
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_\...
8
votes
0
answers
213
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
242
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 ...
6
votes
1
answer
908
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
281
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
201
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'...