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

4
votes
1answer
65 views

How to visualize $\operatorname{Lie}(\operatorname{GL}_n)=\mathfrak{gl}_n$ in positive characteristic?

I'd like an intuitive explanation as to why the Lie algebra of $\operatorname{GL}_n$ is $\mathfrak{gl}_n$ when working over fields of positive characteristic. Below I reproduce how I "see" this fact ...
2
votes
0answers
33 views

PGL_1(A) as a rational group.

Let $A$ be a central simple algebra over a field $F$. How one can see that the group scheme ${\bf\rm{PGL}}_1(A)$ is embedded as an open subgroup of $\mathbb{P}(A)$, the projective space over $A$. ...
4
votes
0answers
107 views

Identifying the cotangent bundle of the flag variety

Suppose $G$ is a Lie group (or I guess a linear algebraic group), $P \subset G$ a Lie subgroup with Lie algebras $\mathfrak{g}$ and $\mathfrak{p}$ respectively. In Chriss and Ginzburg's book ...
1
vote
1answer
58 views

Direct product of algebraic groups is an algebraic group

I am attempting to verify that the product variety $G \times G'$ of algebraic groups with the direct product group structure is an algebraic group, though I'm running into trouble. In particular, I'm ...
0
votes
1answer
64 views

Exercise in Springer: Linear Algebraic Groups (1.4.8 (i) )

This is a pretty bad book to learn algebraic geometry from if you've never seen it before. I'm trying to verify the following assertion. Let $k$ be an algebraically closed field, and $X, Y$ be ...
1
vote
1answer
52 views

About algebraic groups defined over Q

I'm studying automorphic forms and there's something I don't understand, when we talk about a connected reductive algebraic group $G$ defined over $\mathbb{Q}$, connected means connected as an ...
2
votes
0answers
58 views

Maximal tori in Lie vs algebraic groups

If $G$ is a Lie group, we define a maximal [Lie] torus in $G$ to be a maximal connected compact abelian Lie subgroup of $G$. These guys correspond to Cartan subalgebras of $\mathfrak{g}=Lie(G)$. If ...
0
votes
0answers
98 views

How to show that $\text{Spec}(\mathbb{Z}[x_1,x_2,\ldots, x_n]) \cong (\mathbb{G}_m)^n$?

How to show that $\text{Spec}(\mathbb{Z}[x_1,x_2,\ldots, x_n]) \cong (\mathbb{G}_m)^n$? Here $\mathbb{G}_m$ is the multiplicative group. Thank you very much. Edit: $\mathbb{G}_m = k - \{0\}$ is ...
1
vote
1answer
26 views

Poisson actions defined in terms of coactions.

If $(M,\{ \cdot,\cdot \}_{M})$ and $(M',\{ \cdot,\cdot \}_{M'})$ are two Poisson manifolds, then a smooth mapping $\varphi: M \to M'$ is called a Poisson map if it respects the Poisson structures, ...
6
votes
1answer
163 views

Lie algebras of reductive groups

Let $k$ be an algebraically closed field of positive characteristic and let $G$ be a connected split reductive group. We know $G$ is the product of its center $Z(G)$ and derived group $[G, G]$ and ...
1
vote
1answer
40 views

Describe invariants using coaction.

Let $X$ be an algebraic variety and $G$ be an algebraic group which acts on $X$. We know that an invariant function $f$ in the coordinate ring $\mathbb{C}[X]$ is a function such that $g(f) = f$ for ...
4
votes
1answer
59 views

$\mathbb{G}_a$ or $\mathbb{G}_m$ as subgroups of Affine Algebraic Groups

Is it true that every connected Affine Algebraic Group has a subgroup isomorphic to $\mathbb{G}_a$ or $\mathbb{G}_m$? If so- why?
2
votes
1answer
50 views

Is $\mathbb{C}[T \times_T T] = (\mathbb{C}[T] \otimes \mathbb{C}[T])^T$?

Let $T$ be an algebraic group. There is a left $T$ action on $T$ given by left multiplication and a right action on $T$ given by right multiplication. Let $T$ acts in the middle of $T \times T$ by the ...
2
votes
1answer
38 views

Does $G\to X$ have dense image iff $T_eG \to T_{\theta(e)}X$ is surjective?

Let $G$ be a connected algebraic group, $X$ a variety and and $\theta : G\to X$ be a morphism of varieties. (In particular it could be the orbit of some action of $G$.) Consider the corresponding ...
1
vote
1answer
27 views

Is $\mathbb{C}[T \times_T T] \cong \mathbb{C}[T]$?

Let $T$ be an algebraic group. Do we have the following result: The algebra $\mathbb{C}[T \times_T T]$ is equal to the image of the co-multiplication $\mathbb{C}[T] \to \mathbb{C}[T] \otimes ...
1
vote
0answers
46 views

line bundle descents?

Let the permutation group $S_4$ act on $\mathbb C^4$ by permuting the coordinates. Consider the categorical quotient $\mathbb P(\mathbb C^4)/S_4$. It is a projective variety by a theorem of Mumford. ...
3
votes
0answers
52 views

structure of commutative algebraic groups

I've read that there is a structure theorem for commutative algebraic groups over an algebraically closed field $K$ namely they are the direct product of a semisimple group and a unipotent group. ...
3
votes
1answer
49 views

Fixed point subspaces $V^B$ and $V^G$ for a Borel subgroup $B\subset G$ coincide

Assume that $G$ is a linear algebraic group, and let $B \subset G$ a Borel subgroup of it. Let $(V,\rho)$ a rational $G$-module. Define $$V^G := \{ v \in V \mid g \cdot v = v \quad \forall g \in G ...
1
vote
1answer
67 views

Frobenius map in scheme theory

Let $\mathbb{K}$ be a field of characteristic $p$ and let $f: \mathbb{A}_{\mathbb{K}}^{1} \mapsto \mathbb{A}_{\mathbb{K}}^{1}$ be the morphism of the form $x \mapsto x^p$. We consider ...
4
votes
1answer
66 views

Is “being solvable” a geometric property for linear algebraic groups?

Say $G$ is a solvable linear algebraic group over some field $k$ of characteristic 0. This means that its derived series eventually terminates with a 1. My question is: Is "being solvable" a ...
2
votes
0answers
55 views

Does the adjoint action induce a trivial action on Lie algebra cohomology?

Let $k$ be an algebraically closed field and $\Gamma$ a finite group. $\Gamma$ acts on itself via conjugation, and it is true that the induced action on the cohomology algebra $H^{*}(\Gamma,k)$ is ...
1
vote
0answers
27 views

Solvable algebraic groups and base-change

Let $G$ be an algebraic group over a field $k$ of characteristic zero. My understanding is that solvability is not a geometric property (is this correct though?). This motivates my questions: Let ...
0
votes
1answer
75 views

Clarifications about parabolic subgroups of $GL_4$

I'm asked to find all the parabolic groups $P$ which contains $T_4$, the subgroup (borel) of upper triangular invertible matrices. This is my definition of parabolic subgroup Let $P$ be a subgroup ...
2
votes
0answers
120 views

Maximal solvable subgroup not Borel

Given $G$ connected linear algebraic group I want to find a $U \subset G$ maximal solvable subgroup which is not connected. My attempt is to take $G=SO(n)$ for $n \geq 3$ and $U=D_{n}\cap SO(n)$: ...
1
vote
1answer
30 views

$B$-action on $U$.

Let $G$ be an algebraic, $B$ Borel subgroup, and $U$ unipoent subgroup of $G$. For example, we take $G=GL_n$, $B$ the subgroup of lower triangular matrices, and $U$ unipoent upper triangular matrices. ...
1
vote
0answers
67 views

Jacquet-Langlands double coset decomposition

Let $G=\mathrm{GL}(2,F)$ with $F$ a non-archimedean local field. Let $K=\mathrm{GL}(2,\mathcal{O}_F)$ be a maximal compact subgroup. Every element of $G$ lies in one of the double cosets ...
0
votes
1answer
30 views

twists of unipotent algebraic groups

Let $U$ be a unipotent linear algebraic group over some field $k$ with char$k$=0. Let $U'$ be a linear algebraic group over $k$ such that $U'_{\bar{k}} = U_{\bar{k}}$ (ie $U'$ is a $\bar{k}/k$-twist ...
1
vote
0answers
36 views

Albert- Algebras and Traceforms

Im new to the topic so this could be basic nonsense to you. Any Albert-Algebra $A$ has a trace map $T:A \rightarrow k$ and thus one can assign a quadratic form $q_A$ of rank $27$ by setting $q_A(x) = ...
2
votes
3answers
91 views

on the condition “$G$ is defined over $\mathbb{Q}$”

This might be a stupid question, but I cannot understand the "technical condition" when studying some basics of arithmetic groups, that is an algebraic group is defined over $\mathbb{Q}$. ...
2
votes
1answer
83 views

A point in $ PGL(R) $ not in $ GL(R)/R^{\times} $

A bit of notational background first. Let $k$ be a field and define $ PGL_{n} = Spec(k[x_{ij}]_{(det)}) $, where $i,j = 1,...,n$ and where $k[x_{ij}]_{(det)}$ denote the degree $0$ part of the graded ...
1
vote
1answer
101 views

Which categories of linear representations are semisimple?

Let $k$ be a field of characteristic $0$. For which smooth algebraic groups $G$ over $k$ does the abelian category of linear representations $\mathsf{Rep}_k(G)$ (not assumed to be finite-dimensional) ...
1
vote
1answer
34 views

action of $GL_3$ on $P^2$

Find the action of $GL_3(K)$ on $\mathbb P_k^2 $, and compute its orbits and also the isotropy groups for all its orbits. ($K$ is an algebraically closed field) I know that $GL_3$ acts on ...
3
votes
1answer
104 views

Understanding the stack $B\mathbb{Z}$

Here, let $\mathbb{Z}$ be the group scheme whose functor of points is the constant functor which takes a connected affine scheme to the group $\mathbb{Z}$. I'm having a bit of trouble understanding ...
2
votes
1answer
25 views

connected linear algebraic group over the algebraic closure of a field

Let $G$ be a connected linear algebraic group over a field $k$ of characteristic 0. A paper I'm reading seems to imply that $\overline{G}:= G \times_k \overline{k}$ will also be connected, but I don't ...
2
votes
1answer
38 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 ...
3
votes
1answer
73 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 ...
-3
votes
1answer
66 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
30 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
52 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
51 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 ...
2
votes
0answers
36 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
94 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
52 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
45 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
41 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 ...
9
votes
0answers
248 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
52 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 ...
1
vote
1answer
84 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
161 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
87 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 ...