All Questions
931 questions with no upvoted or accepted answers
1
vote
0
answers
82
views
Behavior of translation functors in characteristic $p$
Let $G$ be a semisimple and simply connected algebraic group over an algebraically closed field of characteristic $p>0$, and let $\mathfrak g$ be the Lie algebra of $G$. Let $U_\chi(\mathfrak g)$ ...
- 2,974
1
vote
0
answers
60
views
Reference for Gröbner-Shirshov algorithm in free restricted Lie algebras
I am searching for a reference on the Gröbner-Shirshov algorithm specifically for free restricted Lie algebras. I have already consulted the textbook by Bokut et al (Gröbner–Shirshov Bases Normal ...
- 1,013
1
vote
0
answers
46
views
The difference between two description of affine Weyl groups
I have a question about the difference between two description of affine Weyl groups.
Let me write two descriptions of affine Weyl groups:
Let $\mathfrak{g}=\mathfrak{g}(A)$ be affine Lie algebras ...
- 137
1
vote
0
answers
52
views
How large can the normalizer of $\mathrm{Ad}(G)$ in $\mathrm{GL}(\mathfrak{g})$ be?
$\DeclareMathOperator\GL{GL}\DeclareMathOperator\Ad{Ad}$Let $G$ be a real Lie group with Lie algebra $\mathfrak g$ (say reductive/semisimple if it makes the question easier).
I am interested in ...
- 1,942
1
vote
0
answers
58
views
Linear algebraic group, absolute root system, computing roots
Let $G(F)$ be a reductive linear algebraic group, where $F$ is a local field. Let $T(F)$ be a maximal anisotropic torus of $G$ that splits over a quadratic extension of $F$. Is there an efficient ...
- 11
1
vote
0
answers
281
views
A question about decomposition of irreducible root system
Fix an irreducible root system $\Phi$ with rank $r$ and a root base $\Delta$ (we only care type ADE). Call a disjoint union $\Phi = \Phi_{1}\sqcup\dotsb\sqcup\Phi_{s}$ a decomposition of $\Phi$ if ...
- 93
1
vote
0
answers
65
views
Some details about relationship between central charges and second cohomology group of the Lie algebra
S. Weinberg in his book "The quantum theory of fields" talks about central charge that appear in Lie algebra of a given Lie group. To be more precise, on page 83 in the book, he computes the ...
- 287
1
vote
0
answers
79
views
The partial orders on the elements of a root system coming from the positive spans of the weights and the roots
Let $(\Delta,V)$ be a root system with a choice of positive roots $\Delta^+$. Denote the $\mathbb{N}_0$-span of the positive roots by $\mathcal{O}^+$, and the $\mathbb{N}_0$-span of the associated ...
1
vote
0
answers
148
views
Which elements lie in a Cartan subalgebra?
Let $\mathfrak{g}$ be a Lie subalgebra of the real upper triangular matrices (i.e. $\mathfrak{g}$ is a completely solvable real Lie algebra). $\mathfrak{g}$ has an exponential radical $\mathfrak{r}$, ...
1
vote
0
answers
139
views
Integral convex polytopes formed from the weight diagrams of representations of $\mathfrak {sl}_4$($\mathbb{C}$)
I'm a student studying undergraduate abstract algebra and doing a summer research project in the mathematics department at my school. I'm barely familiar with the rudiments of representation theory; I ...
- 111
1
vote
0
answers
58
views
Can a maximal rank subgroup of a simply connected Lie group have simply connected factors?
$\DeclareMathOperator\SU{SU}\DeclareMathOperator\rank{rank}$Take a simply connected Lie group $G$ such as $\SU(N)$ and a maximal rank subgroup $H$, i.e. $\rank(G) = \rank(H)$. Assume that $H$ takes ...
1
vote
0
answers
50
views
Discrete nonabelian free subgroups of semisimple Lie groups
I understand that the following is a theorem: If $G$ is a noncompact connected semisimple Lie group, then $G$ contains a discrete nonabelian free subgroup.
I can find proofs that such a $G$ contains a ...
- 3,115
1
vote
0
answers
70
views
How can we construct a non-trivial central extension of a Lie group
Let $G$ be a connected and simply connected Lie group with its Lie algebra $\mathfrak{g}$. Assume that $[c]\in H^2 (\mathfrak{g};\mathbb{R})$ is a non-trivial 2-cocycle. Then we can construct a non-...
- 287
1
vote
0
answers
50
views
Simple highest weight modules of quantum affine algebras
Let $U_q(\hat{\mathfrak g})$ be a quantum affine algebra, and let $L$ be an integrable simple highest weight module of $U_q(\hat{\mathfrak g})$. In [Lu], Lusztig proved that the limit of $L$ when $q\...
- 11
1
vote
0
answers
79
views
Extension of a type A Springer fibre
Given a decomposition $p=(p_1,\dots,p_n)$ of $n$, one can associate its corresponding
partial flag variety $$\mathcal{B}_p=\{F=(0=F_0\subset F_1\subset \dots \subset F_n=\mathbb{C}^n) \mid \dim F_i/F_{...
- 1,687
1
vote
0
answers
67
views
Is the adjoint action of $\mathrm{SU}(2)$ on the Schwartz space proper and free?
$\DeclareMathOperator\SU{SU}$Let $t_1, t_2, t_3$ be generators of the Lie algebra $\mathfrak{su}(2)$.
Let us consider a Schwartz space $\mathcal{S}$ defined as
\begin{equation}
\mathcal{S}:= \Bigl\{ \...
- 3,507
1
vote
0
answers
93
views
Representation theory for symmetries of probability distribution functions
I would like to parameterize all the possible modifications to a probability density function. Is there a representation theory for this? Something along the lines of, these are all the operators $L$ ...
- 119
1
vote
0
answers
242
views
Is the span of all nilpotent ideals also a nilpotent ideal?
Given a non-zero Lie algebra $\mathcal{L}$ over $\mathbb{C}$, we define $\mathcal{L}^2 = \big[\mathcal{L}, \mathcal{L} \big] = \big\{ [x, y]: x, y\in \mathcal{L} \big\}$, and for any $k\in\mathbb{N}$ ...
- 307
1
vote
0
answers
101
views
Explicit central elements of $\mathcal{U}(\mathfrak{so}(4,1))$
I am interested in finding the central elements of the universal enveloping algebra of the Lie algebra $\mathfrak{so}(4,1)$.
Notation: the 10 generators are $D, J_i, P_i, K_i$ ($i=1,2,3$), satisfying ...
- 163
1
vote
0
answers
82
views
Generators of simple Lie groups and finite word length
Let $G$ be a connected simple Lie group with finite center. Let $a=\mathrm{exp}(X)$ be a semisimple element. Then we can decompose the lie algebra of $G$ into the direct sum of the eigenspaces of $\...
- 31
1
vote
0
answers
59
views
A certain subalgebra of $\mathfrak{e}_8$ over a p-adic field
Can $\mathfrak{e}_8(\mathrm{k})$ have a maximal subalgebra isomorphic to $\mathfrak{sl}_1(\mathrm{D})\oplus\mathfrak{g}_2(\mathrm{K})$, where $\mathrm{k}$ is a finite extension of some $\mathbb{Q}_p$, ...
- 2,773
1
vote
0
answers
165
views
Rotation number for homeomorphisms of a Lie group other than $S^1$
Let $G$ be a Lie group whose Lie algebra is $\mathfrak{g}$ with exponential map $\exp:\mathfrak{g}\to G$.
For what kind of Lie group $G$ the standard process of definition of rotation number ...
- 366
1
vote
0
answers
111
views
Questions on the differential of the Lie logarithm
Let $G$ be a Lie group. Recall the Lie logarithm is well-defined about a neighborhood $U \subset G$ of the identity: $\log:U\to \mathfrak{g}$. I am dealing with a research problem that concerns the ...
- 518
1
vote
0
answers
70
views
Minimal $K$-orbit on $\mathfrak{g}$
Let $\mathfrak{g}_0$ be a noncompact simple Lie algebra with Cartan decomposition $\mathfrak{g}_0=\mathfrak{k}_0+\mathfrak{p}_0$. Write $\mathfrak{g}=\mathfrak{k}+\mathfrak{p}$ for the ...
- 951
1
vote
0
answers
67
views
Poisson bracket on $T^*T\mathrm{SU}(1,1)$
Consider the cotangent bundle of the tangent bundle $T^*TG$ of a Lie group $G$. Denote its the Lie algebra by $\mathfrak{g}$. By left translations, we have the trivialization $T^*G \cong G \times \...
- 829
1
vote
0
answers
88
views
Bad primes of twists of modular curves $X_E^{-1}(p)$
I am interested in a good reference for reading about primes of bad reduction for the modular curve $X_E^{-}(N)$, which is a twist of $X(N)$ parametrizing all elliptic curves $E'$ whose $N$-torsion ...
- 637
1
vote
0
answers
106
views
How does $R \equiv 1\ (\text {mod}\ h)\ $?
Definition $:$ Let $H$ be a Hopf algebra. An invertible element $R \in H \otimes H$ is called a coboundary structure on $H$ if
$(1)$ $\Delta^{\text {op}} = R \Delta R^{-1},$
$(2)$ $R_{21} = R^{-1},$
$(...
- 41
1
vote
0
answers
102
views
How do you find the generators of $E_{10}$?
$E_{10}$ is a hyperbolic Lie group, i.e. one that not only has infinite generators, but one where the number of generators grows exponentially when you commutate more elements of the algebra. So at ...
- 255
1
vote
0
answers
150
views
Relative compactification without resolutions of singularities
Let $Y$ be a smooth proper variety over a field $k$, let $X$ be a smooth variety over $k$, $U\hookrightarrow X$ the complement of a strict normal crossing divisor and $\phi\colon U\to Y$ a map. By ...
- 309
1
vote
0
answers
119
views
symmetrization and invariants
Let $V$ be a supervector space over $\mathbb C$ and let $T^n(V):=V \otimes V \otimes \cdots \otimes V$ and let $S^n(V)$ be the super vectorspace of symmetric tensors. Then we have a cannonical ...
- 673
1
vote
0
answers
214
views
Lie algebra cohomology: Künneth formula for semidirect product?
In trying to understand an example of Lie algebra for which every one-dimensional extension splits (see this question), but not every extension splits, I found it necessary to use the following ...
- 1,225
1
vote
0
answers
75
views
Carleman approximation for functions from $\mathbb R$ to (closed convex subset of) a Lie algebra
I am looking for an approximation result dealing with continuous functions of a real parameter with values in (some subset of) the unitary algebra. However, I wouldn't be surprised if the following ...
1
vote
0
answers
146
views
Fiberwise exponential map for vector bundle automorphisms
Let $p:E \to B$ be a smooth vector bundle of rank $n$ over a manifold $B$ and we identify $B$ with the image of the corresponding zero section.
For $b\in B$ denote by $E_b = p^{-1}(b)$ the fiber over $...
1
vote
1
answer
340
views
Problem in understanding the coadjoint action of $\mathfrak {g}^{\ast}$ on $\mathfrak {g}$
$\DeclareMathOperator\ad{ad}$Let $\mathfrak {g}$ be a Lie bialgebra. Then $\mathfrak {g}^{\ast}$ is also a Lie bialgebra which is dual to $\mathfrak {g}$. Let the brackets on $\mathfrak {g}$ and $\...
- 199
1
vote
0
answers
137
views
A question about Araki's 1962 paper on classification of irreducible symmetric spaces
I am looking at Sôhô Araki's 1962 paper for the classification of real semisimple lie algebras. Here's the link to the paper: On root systems and an infinitesimal classification of irreducible ...
- 251
1
vote
0
answers
101
views
Singular vectors/null states in algebra $\mathfrak{su}(2)_{-4/3}$
I encounter recently admissible affine Lie algebras when visiting some physics problems. I am reading Adamovic's A construction of admissible $A_1^{(1)}$-modules of level $−4/3$.
In section 3, it is ...
- 857
1
vote
0
answers
179
views
Relationship between singular values, traces and Hermitian conjugate
I am working on a following problem in my free time (which is a simplified version of a problem described here - arxiv.org/abs/0711.2613):
Let $A$, $B$ be zero-trace $4 \times 4$ matrices that meet ...
1
vote
0
answers
71
views
Coxeter-Dynkin diagrams resulting in Lie-ing algebras
We know that certain structures in a Coxeter-Dynkin diagram will guarantee that it never encodes a (semi)simple Lie algebra, for example a quadruple node or the diagram $E_n,n>8$, which is "...
- 4,829
1
vote
0
answers
64
views
Is the Lie bracket on $\mathfrak g^{\ast}$ induced from a cocommutator defined on $\mathfrak g\ $?
Let $G$ be a Poisson-Lie group. Let $\mathfrak g = \text {Lie} (G) = T_1 G$ be the corresponding Lie algebra. Then the Poisson structure on $G$ gives rise to a Lie bracket $[\cdot, \cdot]$ on $\...
- 199
1
vote
0
answers
75
views
Problem in understanding Theorem $6.2.9$ from Chari and Pressley
The theorem I am referring to here says that if we start with a Lie bialgebra $\mathfrak g$ determined by some skew-symmetric element $r \in \mathfrak g \otimes \mathfrak g$ satisfying classical Yang-...
- 199
1
vote
0
answers
42
views
Do the Tits-Kantor-Koecher construction extend to non unital Jordan algebras?
I have an infinite dimensional Jordan algebra which is not-unital. I would like to study a Lie algebra related to it (if it exists). Natural choice would be to look at the KKT construction, but ...
- 295
1
vote
0
answers
100
views
Extension of an involution on $G$ to an involution on $G_\mathbb{C}$
I asked this question on MSE https://math.stackexchange.com/questions/4475382/extension-of-an-involution-on-g-to-an-involution-on-g-mathbbc but didn't receive any answer so far. My question is the ...
- 139
1
vote
0
answers
83
views
Right-invariant metrics on the unitary groups and embeddings in the complexification
Let $G = SU(n)$ and $G_c = SL(n, \mathbb{C})$. Let $g$ be a right-invariant metric on $G$ and let $g_k$ be the Killing metric on $G_c$.
Define the map $p$ from $G_c$ to $G$ which maps $h \in G_c$ to
$$...
- 5,215
1
vote
0
answers
138
views
When is the zero weight space of an irreducible $\frak{sl}_{n+1}$-module non-trivial?
Take the complex semisimple Lie algebra $\frak{sl}_{n+1}$, with space of dominant integral weights $P(\frak{sl}_{n+1})$. For $V(\lambda)$ the irreducible representation corresponding to $\lambda \in P(...
- 969
1
vote
0
answers
195
views
Gross-Hopkins duality
$\DeclareMathOperator\Spf{Spf}\DeclareMathOperator\Pic{Pic}\DeclareMathOperator\Mod{Mod}$One can deduce the invertibility of the Gross-Hopkins dualizing spectrum from purely algebro-geometric ...
- 448
1
vote
0
answers
133
views
Irreducible unitary representations of $\mathrm{SL}(n,\mathbb R)$ from those of $\mathrm{GL}(n,\mathbb R)$
$\DeclareMathOperator\SL{SL}\DeclareMathOperator\GL{GL}$In the case of a non-Archimedean local field $\mathbb F$, one may reduce the representation theory of $\SL(n,\mathbb F)$ to that of $\GL(n,\...
- 1,121
1
vote
0
answers
125
views
Is there a classifying space for transitive Lie algebroids? If so, what is it?
Let $M$ be a manifold. The data of a Lie groupoid over $M$ is equivalent to the data of a singular foliation $M=\sqcup\mathcal{F}_i$ and, for each $i$, a map (mod homotopy) $f_i:F_i\to BG_i$ (where $...
- 1,969
1
vote
0
answers
86
views
Isomorphism between $T_{[g,X]} (G \times _H \mathfrak{g}/\mathfrak{h})$ and $\mathfrak{g}/\mathfrak{h} \times \mathfrak{g}/\mathfrak{h}$
Let $G$ be a compact Lie group with Lie algebra $\mathfrak{g}$ and $H$ be a Lie subgroup of $G$ with Lie algebra $\mathfrak{h}$. Consider the action of $H$ on $G$ by right multiplication and the ...
- 139
1
vote
0
answers
103
views
Infinite-dimensional Lie group corresponding to $U\mathfrak{g}$?
Let $\mathfrak{g}$ be a Lie algebra. The universal enveloping algebra $U\mathfrak{g}$ is then an infinite-dimensional associative algebra which can be endowed with the structure of a Lie algebra. Is ...
- 101
1
vote
0
answers
149
views
Why do such a birational map exists? And why it is unique?
Let $G$ be a complex linear algebraic group which is connected and reductive and let $\mathfrak g$ be its Lie algebra.
Suppose that $H \subset G$ is a 1-dimensional torus such that
the action of $H$ ...
- 381