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
1answer
17 views

A sufficient condition for irreducibility of a $G$-variety

Let $G$ be an algebraic group over a field $k$ and let $V$ be a variety on which $G$ acts. Suppose $U\subset V$ is a closed, irreducible, $G$-stable subset which intersects every $G$-orbit ...
1
vote
0answers
21 views

Invariants of $O(2) \times O(2)$ under simultaneous conjugation

Let $G= \textrm{O}(2)$ be the group of orthogonal $2 \times 2$ matrices over $\mathbb{C}$. $G$ acts on $G \times G$ by conjugation: $g \cdot (a,b) :=(g a g^{T}, g b g^T)$. This induces an action on ...
-2
votes
1answer
50 views

The identity element of a group

We define the process in Z. Then, is a group. In this group,which is the identity element? The correct answer is the element 10. why ?
0
votes
2answers
17 views

Polynomial Ring of Linear Algebraic Group

During lectures, we defined the Linear Algebraic group as the algebraic set $ GL(V):=k^{n^2}-V(Det) $ Where $V(Det)$ are the matrices with $0$ determinant. Then we proceed by identifying the ...
1
vote
1answer
39 views

Definition of unipotent linear algebraic groups over non algebraically closed fields

Suppose we have a field $F$ with $\text{char}\ F=0$ and $F$ is not necessarily algebraically closed. What is the definition of a unipotent linear algebraic group over $F$? I'd really appreciate ...
1
vote
1answer
41 views

Lemma 5.2.5 in Springer's Linear Algebraic Groups

I'm stuck trying to understand the first paragraph of this proof. Let $X\rightarrow Y$ be a dominant morphism of affine varieties and denote $B=k[X]$,$A=k[Y]$. Assume there exists $b\in B$ such that ...
1
vote
0answers
18 views

What do you get when you pull the Bruhat Decomposition back to the Lie algebra via the exponential map?

If $G$ is a connected, reductive, complex group with Borel subgroup $B < G$ and Weyl group $W$, we can write $$G = \bigsqcup_{w \in W} B w B$$ If $\mathfrak{g}$ is the Lie algebra of $G$, we have ...
3
votes
0answers
38 views

Is a connected unipotent subgroup always contained in a Borel subgroup?

As the question says, is a connected unipotent subgroup $U$ of a linear algebraic group scheme $G$ always contained in a Borel subgroup of $G$? I have an argument for why the answer is yes, and I ...
1
vote
1answer
39 views

The structure of maximal tori in finite simple groups

Let $\mathbf{G}$ be a linear algebraic group over an algebraic closed field of characteristic $p$ and $F$ a proper frobenius map on it with fixed point group $\mathbf{G}^f=G$ such that ...
1
vote
0answers
22 views

Ideas for seminar talk on Algebraic Groups related to Number Theory

In a few weeks I have to give a seminar talk in an algebraic groups seminar, and the topic is number theory (possibly elliptic curves). I am not very knowledgeable in the subject, so I was hoping I ...
1
vote
0answers
35 views

diagonalizable group

The following is an exercise from Humphrey's Linear Algebraic Groups (page 108): Let $G$ be an algebraic group, $ \displaystyle H= \cap_{ \chi \in X (G)} \ker ( \chi) $. Prove that: (a) $H$ ...
2
votes
0answers
26 views

Computing cohomology of finite groups of Lie type

Let $G_{/\mathbf{Z}}$ be a Chevalley-Demazure group scheme, i.e. a split reductive group scheme over $\mathbf{Z}$. Let $\rho:G\to \operatorname{GL}(V_{/\mathbf{Z}})$ be a representation. If $k$ is a ...
0
votes
0answers
67 views

A Question about Zariski topology

Zariski topology which is used in the definition of an algebraic group is only defined for affine and projective varieties, isn't it?
7
votes
0answers
156 views

Representation theory of the general linear group over a finite prime field

The irreducible modules of $\operatorname{GL}_n(\mathbb C)$ over $\mathbb C$ are completely classified and well-understood via Schur-Weyl duality, the algebraic Peter-Weyl theorem and the entire ...
1
vote
0answers
37 views

Quotients of linear algebraic groups in different categories?

I have a question on quotients of linear algebraic groups. Let $G$ be a linear algebraic group and $H$ a linear algebraic group acting on $G$ as an algebraic group. I would like to know what the ...
0
votes
0answers
23 views

Is a form of a linear algebraic group over $k$ a linear algebraic group over $k$?

As the title says. $k$ : field with char($k$) = $0$ form: if $G$ is a l.a.g. over $k$ a form of $G$ is an algebraic group $G'$ over $k$ such that $G_{\bar{k}} \cong G'_{\bar{k}}$.
1
vote
1answer
47 views

Does a projective variety have a torus fixed point?

Let $X$ be a projective variety over $\mathbb{C}$ and let $T=(\mathbb{C^*})^k$ act on it. Is it true that there is a fixed point of this action on every irreducible component of $X$ just because $X$ ...
2
votes
2answers
38 views

Projective Special Linear Group is an Linear Algebraic Group

So I was wondering why the group $PSL(2,K)$ is a linear algebraic group, in the case that the characteristic of $K$ is not equal to $2$. Actually there is a description of $PSL(2,K)$, namely: ...
1
vote
1answer
39 views

Variety of Connected Components

In Milne's text http://www.jmilne.org/math/CourseNotes/iAG.pdf (A71), he introduces the "variety of connected components" of a finite type scheme $X$ over $k$ as the universal example of a zero ...
0
votes
1answer
23 views

maximal subtorus of a connected commutative algebraic linear group [closed]

I'm wondering the following: is the maximal subtorus of a connected commutative algebraic linear group over $k$ a) normal and closed b) defined over $k$ (for $k$ a field of characteristic zero, ...
2
votes
0answers
58 views

When is “being a linear algebraic $k$-group” preserved?

Let $G$ be a linear algebraic group over a field $k$, with Char$(k)=0$. What "group-theoretical operations" preserve the property of "being a $k$-linear algebraic group"? For example When ...
0
votes
0answers
18 views

QR decomposition, borel groups and generalizations

Then every matrix $M$ in $M_{m\times m} (\mathbb{C})$ can be written in the form: $QR=M$, where $Q$ is unitary and $R$ is upper-triangular. My question is simple, does this generalize in the ...
1
vote
1answer
34 views

Relative center of relative group scheme

This might be an easy question. Let $p: X \rightarrow S$ be a relative group scheme. In particular the fibers are group schemes. I want to know if there are constructions like the ``relative ...
1
vote
1answer
23 views

Question on subgroups of reductive groups

A linear algebraic group $G$ over some field $k$, which I assume being of characteristic 0, is reductive if $R_u(G^0_{\overline{k}})$ is trivial, where $R_u$ denotes the unipotent radical, $G^0$ is ...
1
vote
0answers
24 views

The simply connected form of a semisimple algebraic group

Let $G$ be a semisimple algebraic group over an algebraically closed field $k$, so that $G$ is an almost-direct product of its minimal closed connected normal subgroups of positive dimension, ...
12
votes
2answers
167 views

Is there a group between $SO(2,\mathbb{R})$ and $SL(2,\mathbb{R})$?

Is there a non-trivial subgroup $H \subset SL(2,\mathbb{R})$ such that $H \supset SO(2,\mathbb{R})$ ? My intuition is that, since $\dim SO(2)=1$ and $\dim SL(2)=3$, there should be some group ...
1
vote
2answers
18 views

How to show that $GL_n/U$ is birationally isomorphic to $B^-$?

It is said that $GL_n/U$ is birationally isomorphic to $B^-$. Here $U$ acts by right multiplication on $GL_n$. I think that $GL_n/U$ consisting of cosets. Two matrices in the same coset if any two ...
2
votes
1answer
60 views

quasi-split algebraic group

While reading papers, there usually an assumption "quasi-split" for reductive algebraic groups. To use their results I need to know which groups are quasi-split. For the case I am interested in ...
0
votes
1answer
26 views

Weyl group of $B_n$ and $D_n$

Is it true that the Weyl group $W(D_n)$ is also a quotient of the Weyl group $W(B_n)$? One can see that $W(D_n)$ is a normal subgroup of $W(B_n)$ irrespective of $n$ even or odd.
4
votes
0answers
34 views

Is there anywhere some explicit Bruhat decompositions are written down?

Question in title: most places I see Bruhat decompositions treated they're only briefly mentioned and no examples are given. Also, I calculated the following regarding the Bruhat decomposition of ...
2
votes
1answer
59 views

Two equivalent definitions of GIT semistable points

Let $X$ be a projective variety, acted on by a reductive algebraic group $G$. We fix a linearization given by the $G$-equivariant ample line bundle $L\to X$. I am aware of two definitions of the ...
3
votes
2answers
69 views

T//W for adjoint type group PGL3

Let $G$ be a reductive algebraic group and $T$ a maximal torus (over $\mathbb{C}$). It is well known that if $G$ is simply connected type then $T//W = \mathbb{A}^r$. I want to verify that the ...
0
votes
1answer
39 views

Complex conjugation of positive roots

I have a simple question about root systems. Suppose that $G$ is a connected reductive group over the reals $\mathbb{R}$, and $T\subset G$ is a maximal torus (by this I mean that $T_{\mathbb{C}}$ is a ...
0
votes
0answers
45 views

Examples of inner forms

Let $G$ and $G′$ be two linear algebraic groups over a field $F$. From what I understand, $G$ is called an inner form of $G′$ if $G$ and $G′$ are isomorphic over a the (or an?) algebraic closure of ...
1
vote
0answers
36 views

$p$-divisible group of tori

I am looking for a reference of the following question which should be well known. Let $k$ be any field and $T$ an algebraic torus over $k$ which is not necessarily split. Let $T(l)$ be the ...
0
votes
0answers
35 views

Orbits of $Sp(n,R)$ under action of $Gl(2n,R)$ by conjugation

These questions arose from a question related to K-theory, I am hoping for (big) results from the theory of linear algebraic groups to be helpful. Maybe somebody with a better background there can ...
2
votes
1answer
25 views

Maximal tori in $SO(n,\mathbb{C})$

What are maximal tori in $SO(n,\mathbb{C})$? (not $SO(n,\mathbb{R})$) Can a maximal torus in $SO(n,\mathbb{C})$ be written as $T\cap SO(n,\mathbb{C})$ for some maximal torus $T$ in ...
0
votes
0answers
17 views

Is this a compact group?

Consider $$x(t)=e^{-iHt}x(0)$$ and define $$G=\{ e^{-iHt}\mid t\in \mathbb{R}_{\geq 0}\}$$ Also write $\bar{G}$ to the closure of $G$ wrt the Euclidean topology. Q: is $\bar{G}$ a compact group? ...
1
vote
1answer
63 views

Algebraic groups of multiplicative type in char 0

For a number field $k$ (so of char 0), are algebraic $k$-groups of multiplicative type always linear?
1
vote
1answer
32 views

Order of a group of matrices

I have to calculate the order of the group $G=\operatorname{GL}(n,\mathbb{Z}_m)$ with $m=p^k$ for $p$ prime and $k\in \mathbb{N}$. So I was thinking on the homomorphism $\det: G \rightarrow ...
2
votes
2answers
32 views

The set of one-parameter subgroup of the Multiplicative group $G_m$ is Z

Let $G_m= k^{*}=k-{0}$ be the multiplicative group. We know this is an Algebraic group also. How does one prove any algebraic group morphism $G_m \rightarrow G_m$ is of the form $t \mapsto t^{n}$ for ...
3
votes
1answer
44 views

Which p-adic groups are simply-connected?

Suppose that we are working over a nonarchimedean local field $F$, for instance $\mathbb{Q}_p$. Which semisimple algebraic groups (or Lie groups) over $F$ are simply-connected? In particular, I am ...
4
votes
1answer
52 views

Closed immersion factors through closed immersion

I'm currently working through the proof of Theorem 1, III.12 in Mumford's "Abelian Varieties". Let $G$ be a finite $k$-group scheme acting on an affine $k$-scheme $X:=\text{Spec}~A$ and let $\phi: ...
3
votes
1answer
40 views

Field of Definition of an Algebraic Group

Linear Algebraic Groups- James E. Humphreys Chapter-XII Let $K$ be an algebraically closed field and $k$ be a arbitrary sub-field of $K.$ A closed set X in $A^n=K\times ...$(n times)$\times K$ is ...
1
vote
0answers
39 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$?
1
vote
1answer
39 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
20 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
24 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
25 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 ...