For questions about groups which have additional structure as a algebraic varieties (the vanishing sets of collections of polynomials) which is compatible with their group structure. Consider using with the (group-theory) tag.

learn more… | top users | synonyms

1
vote
0answers
32 views

Characterising subgroup

Let $\omega $ be a path in $\hat{X}$ with $\omega(0), \omega(1) \in p^{-1}(x_0)$, where $p$ is a covering map $p:\hat{X} \rightarrow X$. Let $\alpha=[p \circ \omega] \in \pi_1(X,x_0)$. Then we have ...
0
votes
0answers
38 views

$SU(n)$ as a variety

Consider the algebraic group $SU(n)$ as an algebraic group scheme over $\mathbb R$. Is it birational to an affine space over $\mathbb R$?
0
votes
0answers
15 views

Example of algebraic group of non simply connected nor adjoint type?

I expect this question has been asked but I can't find it. What are some examples of simple linear algebraic group that are not semisimple nor adjoint type? Are there "good" descriptions of them?
1
vote
1answer
35 views

How to characterize elements in the Bruhat open cell?

This might be an elementary question. For simplicity, let's assume $G=GL(n,F)$, where $F$ is a local field. Let $U$ be the subgroup of upper triangular unipotents, $A$ the subgroup of diagonal ...
1
vote
0answers
18 views

What are the elements in $U/U(w)$?

Let $U$ be the maximal upper unipotent subgroup of $GL_n$. Let $U(w) = U \cap wUw^{-1}$. Then $$ U(w) = \{(a_{ij}) \in U: a_{ij} = 0, \text{ if } i<j, w^{-1}(i) < w^{-1}(j) \}. $$ My question ...
0
votes
1answer
22 views

How to compute $U \cap wUw^{-1}$?

Let $U$ be the upper unipotent subgroup of of $GL_n$. It is said that $$ U \cap wUw^{-1} = \{ (a_{ij}) \in U \mid a_{ij}=0, i<j, w^{-1}(i) > w^{-1}(j) \}. $$ How to prove this? I try to compute ...
0
votes
0answers
22 views

Factorization of parabolic subgroups.

Let $P$ be a parabolic subgroup of an algebraic group $G$. How to prove that $P = L_P U_P$? Here $L_P$ is the Levi of $P$ and $U_P$ is the unipotent radical of $P$. Thank you very much. Edit: I think ...
0
votes
0answers
42 views

Copy of C in H , trace is independent of the choice [closed]

Let X€ Mn(H). For each of the choices of a copy of C in H , write out the corresponding matrix of X as an element of M(2n,C). Use this formula to show that the trace of X is independent of the choice. ...
4
votes
1answer
97 views

Find a closed subset of an algebraic group, closed under products, which does not contain $e$.

The accepted answer for this question proves the following statement: If $S$ is a closed subset of an algebraic group $G$ which contains $e$ and is closed under taking products in $G$, then $S$ is ...
3
votes
1answer
67 views

$SU(2)$ as an algebraic group

The $\mathbb R$-valued points of the algebraic group $SU(2)$ can be identified with the real 3-sphere. But how does one define $SU(2)$ over the base field $\mathbb R$ as an algebraic group? What are ...
2
votes
1answer
20 views

Hopefully easy Lang-Steinberg computation: for Weyl elements

How do you write an element of the Weyl group as $g^{-1} F(g)$? For instance, let $G = \langle x_1(t), x_2(t), x_{-1}(t), x_{-2}(t) : t \in K \rangle$ where $K$ is an algebraically closed field ...
0
votes
0answers
22 views

Some things about maximal tori

Let $G$ be a linear algebraic group over an algebraic closed field of characteristic $p\neq 2$. Suppose $\overline{G}_{\sigma}={G}_{\sigma}/Z({G}_{\sigma})$ where ${G}_{\sigma}$ is the set of fixed ...
1
vote
0answers
53 views

Regular elements of a module is open and dense

Let $\mathfrak{g}$ be an algebraic Lie algebra and $V$ be a $\mathfrak{g}$-module, then for each $v\in V$, define $\mathfrak{g}^v = \{x\in\mathfrak{g}:xv = 0\}$. Let $V_{reg}$ be the set of all $v$ ...
1
vote
0answers
17 views

Non-central proper normal subgroups of unitary groups over fields

Short version: Can someone give an example of an anisotropic Hermitian form over a field such that its corresponding projective unitary group is not simple? Let $F$ be a (commutative, associative, ...
6
votes
2answers
166 views

Lie Groups/Lie algebras to algebraic groups

I am reading some lie groups/lie algebras on my own.. I am using Brian Hall's Lie Groups, Lie Algebras, and Representations: An Elementary Introduction I was checking for some other references on ...
2
votes
1answer
28 views

Computing a differential on a derivation

Let $\varphi:G\to G'$ be a morphism of algebraic groups over an algebraically closed field $k$, so that $d\varphi:\mathscr{L}(G)\to\mathscr{L}(G')$ is a morphism of Lie algebras. Here I view ...
0
votes
0answers
14 views

Group structure at $k$-valued points induces a group scheme?

Let $k$ be an algebraically closed field of characteristic $p>0$. Let $R$ be a finitely generated (possibly non-reduced) $k$-algebra. Let $\mathbf{S} = \mathrm{Spec} (R)$ be the affine scheme of ...
0
votes
0answers
22 views

Are there some examples of Kac-Moody groups which are not reductive?

Are there some examples of Kac-Moody groups which are not reductive? Thank you very much.
1
vote
1answer
30 views

Split groups and quasi-split groups.

By definition, a quasi-split group over a field is a reductive group with a Borel subgroup defined over the field. A split group is a quasi-split group which has split torus ($T = \mathbb{G}_m^n$, ...
2
votes
1answer
32 views

Promise of the hidden subgroup problem for $\mathbb{Z} mod 2$

I am going through the talk, Graph isomorphism, the hidden subgroup problem and identifying quantum states, by Pranab Sen. On slide 3, the promise of the problem is defined as follows. Here is the ...
6
votes
1answer
94 views

Airy differential equation and Galois group

Consider the Airy equation $y^{(2)}=ry$ where $r \in \Bbb{C}(z)$ but not constant. How do you show that $G^0=G$, where $G$ is the galois group of the picard vessiot extension of solutions over ...
1
vote
1answer
41 views

proof of basic fact that torus actions are diagonalizable

Suppose a torus $T=(\mathbb{C}^\ast)^n$ acts on a finite dimensional vector space $W$, and define for $m \in M$ ($M$ is the character lattice of $T$) the eigenspace $W_m$ by $$W_m = \{w \in W \mid ...
1
vote
0answers
11 views

Group schemes decomposition

Given an abelian group scheme of finite type $(G,+)$ over $\mathbb{F}$ connected, and given two connected closed subgroup schemes of finite type $G$ over $\mathbb{F}$ connected $H$, $N$ of $G$. ...
-1
votes
1answer
39 views

Is $\mathbb{C}[N]$ isomorphic to $U(\mathfrak{n})$?

Let $G$ be an algebraic group and $N$ its maximal unipotent subgroup consisting of all upper triangular unipotent matrices. Let $\mathfrak{n}$ be the Lie algebra of $N$. It is said that ...
1
vote
0answers
20 views

Is supercuspidal representation the same as cuspidal representation?

I found that both supercuspidal representation and cuspidal representation are defined as representations which are not subrepresentations of induced representations. Is supercuspidal representation ...
1
vote
1answer
42 views

How to show that $\mathcal{O}_q[U]$ is isomorphic to $U_q(\mathfrak{n})$?

Let $U$ be the positive unipotent radical of $SL_n$ and $\mathfrak{n}$ the Lie algebra of $U$. How to show that $\mathcal{O}_q[U]$ is isomorphic to $U_q(\mathfrak{n})$? Here $\mathcal{O}_q[U]$ is the ...
2
votes
0answers
15 views

Matrix logarithms for various algebraic groups

For any field $k$ of characteristic $p$ the sets $$\left\{g \in GL_n(k) \ \middle| \ g^p = 1\right\} \qquad \text{and} \qquad \left\{x \in \mathbb M_n(k) \ \middle| \ x^p = 0\right\}$$ are in ...
0
votes
0answers
14 views

Local systems on algebraic groups

Two questions about local systems: Given an algebraic group G over a perfect field $k$ and given a colection of vectorial spaces $(F_y)_{y\in G}$ why there is an unique local system $F$ such that the ...
0
votes
0answers
18 views

Does taking $G$-invariant sections commute with infinite $\oplus$?

Let $X$ be a projective scheme over an algebraically closed field $k$, and let $G$ be a reductive algebraic group acting on $X$. If $R=\bigoplus_{n\geq 0}H^0(X,L^{\otimes n})$, then $G$ acts on $R$ ...
0
votes
0answers
24 views

The homogeneous coordinate ring attached to a $G$-linearized action

I am reading Huybrechts-Lehn's book on moduli of sheaves, and on page $85$, when they discuss GIT, the setup is as follows: $X$ is a projective scheme over an algebraically closed field $k$, there is ...
0
votes
0answers
27 views

Unipotent Group Scheme

Is this definition correct: An smooth unipotent group scheme $G$ over a perfect field $k$, with $\operatorname{char}(k) >0$ , is isomorpic to the affine scheme $k[x_1,...x_n]$.
1
vote
1answer
23 views

How to show that a representation is supercuspidal?

Let $G$ be a reductive group. If we know a representation $\pi$ of $G$ explicitly, how could we determine that $\pi$ is supercuspidal or not? Are there some references about this? Thank you very much. ...
0
votes
0answers
26 views

Intuition and examples of weil restriction

It is hard for me to catch the basic ideal of weil restriction, I need some simple examples to understand it, the following exercises are from the Springer's book: Linear Algebraic Groups 11.4.20(3). ...
1
vote
1answer
33 views

About the simply-connectedness of algebraic groups

Let $G$ be a simply-connected algebraic group. Is it necessarily true that its derived subgroup $G'$ is also simply-connected?
5
votes
2answers
123 views

Determining if these surjections have sections

Let $\pi: GL(2,k)\rightarrow PGL(2,k)$ be the canonical homomorphism, and pick some finite subgroup $G\subset PGL(2,k)$. Then we have an exact sequence $$1\rightarrow \{\alpha I\mid \alpha \in k\} ...
1
vote
0answers
10 views

Borel - Regular elements

In Borel's Linear Algebraic Groups (2ed) page 160 a regular element is defined in terms of its semisimple part, “thus $g$ is regular if and only if $g_s$ is regular.” A unipotent element $g$ has ...
3
votes
1answer
47 views

Are semisimplicity and regularity closed or open conditions in an algebraic group $G$?

Let $G$ be a connected algebraic group over an algebraically closed field. I'm trying to understand the phrase "the subvariety of semisimple elements in $G$ which are not regular." This tacitly ...
1
vote
1answer
51 views

Equivalent definitions of a regular element in an algebraic group

Let $G$ be a connected algebraic group over an algebraically closed field $k$. I'd like to see that the following two definitions are equivalent. An element $g\in G$ is regular if $\dim(C_G(g))$ is ...
1
vote
1answer
26 views

Conditions for a matrix in $Bw_0B$.

Let $B$ be the set of all upper triangular matrices in $GL_n$. What are the conditions for a matrix in $GL_n$ lies in $Bw_0B$ (What do the matrices in $Bw_0B$ look like)? Thank you very much.
0
votes
0answers
25 views

Question about a notation.

I have a question about the notation in the paper. On page 8, the 3-rd line from bottom, it is said that $h_J(t)$ is the corresponding diagonal matrix in $GL_4$. I think that $J$ is some set such that ...
0
votes
0answers
43 views

Questions about unipotent matrices.

I have a question about the notation in the paper. On page 8, the 5-th line from bottom, it is said that $u_J(t)$ denotes the upper triangular unipotent matrix with $t$ in position corresponding to ...
0
votes
1answer
32 views

What is the unipotent radical of a parabolic subgroup?

What is the unipotent radical of a parabolic subgroup? For example, let $$ P=\{ \left( \begin{matrix} a & b & k & c \\ d & e & f & g \\ 0 & 0 & h & i \\ 0 & 0 ...
1
vote
0answers
30 views

Coset variety of an algebraic group

Let $k$ be an algebraically closed field of characteristic $p\geq0$. An affine algebraic group $G$ is an affine algebraic variety (a Zariski closed subset of $k^m$ for some $m$) such that ...
1
vote
0answers
26 views

Unimodular groups

Let F be a non-archimedean local fields of characteristic p (for p any given prime number): the field of formal Laurent series Fq((T)) over a finite field Fq (where q is a power of p). Is GL(n,F) ...
4
votes
1answer
46 views

Closed conjugacy classes in $M_n(k)$

Let $k$ be an algebraically closed field, $n$ a positive integer, and consider the action of $\mathrm{GL}_n(k)$ on $M_n(k)$ by conjugation. My professor tells me that semisimple conjugacy classes are ...
4
votes
1answer
104 views

How to prove that $\zeta*\zeta=\zeta$?

Let $F$ be a non-archimedean local field and $\mathcal{O}_F$ the ring of integers in $F$. Let $G_F=GL_2(F)$. Let $\pi_i$, $i=1,\ldots,n$,be non-equivalent finite dimensional irreducible ...
4
votes
1answer
31 views

Is $GL_2(\mathbb{Z}_p)$ a maximal compact subgroup of $GL_2(\mathbb{Q}_p)$?

Let $\mathbb{Q}_p$ be the set of all p-adic numbers and $\mathbb{Z}_p$ the set of all p-adic integers. Is $GL_2(\mathbb{Z}_p)$ a maximal compact subgroup of $GL_2(\mathbb{Q}_p)$? Thank you very ...
1
vote
0answers
8 views

Maximal tori in SL_2(k) with k an algebraically closed field of characteristic two

Suppose that $k$ is an algebraically closed field of characteristic two and that $T$ is a maximal torus of $\mathrm{SL}_{2}(k)$. Is the Lie algebra of $T$ necessarily equal to the centre of ...
2
votes
0answers
25 views

Simple connected semi-simple group

Here is a question form springer's book Linear Algebraic Groups, 8.4.6(6) Let $G$ be semi-simple and simple-connected, $P$ a parabolic subgroup of $G$ with Levi group $L$, Prove the commutator ...
3
votes
2answers
62 views

Proving the associativity of a monoid with $a \circ b = a+b-ab$

For university, it was my excercise to proof the associativity of the monoid $$H=(\mathbb{Q},\circ)\text{ with } a \circ b := a+b-ab\quad(a,b \in \mathbb{Q})$$ The excercise instructor gave us the ...