The algebraic-groups tag has no wiki summary.

**1**

vote

**0**answers

63 views

### Reference request: Lusztig's symmetries

Let $W$ be the Weyl group of a simple algebraic group $G$. The Artin braid group $Br_{\mathfrak{g}}$ is generated by the $T_i$ , $i \in I$ such that for all $i, j \in I$,
\begin{align}
...

**0**

votes

**0**answers

101 views

### Enveloping algebras of map algebras as hyperalgebras of algebraic groups

This is a continuation of various questions about Chevalley groups over rings, cf these two questions (and a rather bad question of mine here). Consider a semisimple Lie algebra $\mathfrak g$ over ...

**0**

votes

**0**answers

81 views

### The centralizer $Z_G(X)$ of a nilpotent element in a real simple Lie group

I am looking for the description of the centralizer $Z_G(X)$ , where $G$ is a real simple Lie Group and $X\in \ Lie (G) $ such that $X^d=0,\ X^{d-1}\neq 0 $. It is is helpful to me any references or ...

**3**

votes

**1**answer

110 views

### Non-abelian group from affine hermitian curve

I was playing with the Hermitian curve $y^q + y = x^{q+1}$ over the field $GF(q^2)$ and chanced upon the following (non Abelian) group law on the points of the affine curve:
$(a,b) * (c,d) = ...

**1**

vote

**1**answer

125 views

### Form of a block upper triangular matrix of finite order

If I take a block upper triangular matrix and the matrix is known to be diagonalizable and the leading blocks in the diagonal are each of finite order, is it true that away from the leading block ...

**7**

votes

**1**answer

209 views

### Open cell decomposition after applying a Weyl group element

Let $G=\operatorname{GL}(n,\mathbb C)$. What follows can be put into a more general context, but I would like to first understand it for this case, the generalization is a second step.
For ...

**2**

votes

**1**answer

158 views

### Which subgroups of a finite reflection group have distingushed coset representatives?

Let $W$ be a finite reflection group with length function $l$ and let $I$ be a set of simple reflections that generate $W$. Let $\phi$ be an automorphism of $W$ permuting $I$. Consider the orbits of ...

**3**

votes

**2**answers

301 views

### Quotient of a rational variety by a finite group

Let $X$ be a rational variety and let $G$ be a finite group acting on $X$. Let us consider the diagonal action of $G$ over the product $X^{h} = X\times...\times X$,
$$G\times(X\times...\times ...

**0**

votes

**0**answers

58 views

### rational conjugacy classes

Say that $G$ is a reductive group over a local field $F$ and $g\in G(F)$. Can we show that the conjugacy class of $g$ in $G(F)$ has finite index in the $F$-rational part of the conjugacy class of $g$ ...

**2**

votes

**0**answers

83 views

### Properties of algebraic vector fields which generates a $\mathbb{C^*}$ action

My question is rather vague and I apologize. Let $X$ be a smooth quasi-projective variety over $\mathbb{C}$. I am interested in whether there are homological properties which distinguish algebraic ...

**2**

votes

**1**answer

118 views

### centralisers of maximal split tori

Suppose that $G$ is a reductive group defined over a field $k$ which is not quasisplit. Suppose that $S$ is a maximal $k$-split torus. Let $\mathcal{L}(S)$ be the centraliser of $S$ and ...

**3**

votes

**2**answers

257 views

### isogeny and congruence subgroup

Let $G_1$ and $G_1$ be two semisimple algebraic groups defined over $\mathbb{Q}$, suppose we have a surjective homomorphism $f: G_1\to G_2$, with finite kernel contained in the center of $G_1$.
By ...

**3**

votes

**1**answer

340 views

### Orbits of group scheme action

I am interested in orbits of the action of a group scheme on a scheme and I'm particularly interested in the following special case: Let $k$ be an algebraically closed field, let $G$ be an affine ...

**1**

vote

**0**answers

82 views

### faithful modules of algebraic group

Let $G$ be a linear algebraic group over a field $k$. $k[G]$ is the
coordinate ring of $G$. $k[G]^{*}$ is the dual algebra of the
coalgebra $k[G]$. $H=k[G]^{\circ}$ is the finite dual of the Hopf
...

**2**

votes

**2**answers

154 views

### Preimage of a maximal compact open subgroup in the simply connected cover

Let $G$ be a semi-simple algebraic group over $Q_p$ and $K$ in
$G(Q_p)$ a maximal compact open subgroup. Let $\tilde{\pi}\colon \tilde{G}\rightarrow G$
be the simply connected cover. Then ...

**4**

votes

**1**answer

161 views

### When does the derived subgroup of $G(F)$ contains the $F$-points of unipotent subgroups of $G$

Let $F$ be a local field of characteristic $0$ and $G$ a connected split reductive group over $F$.
Let's look at the derived groups. We have $(G(F),G(F)) \subset (G,G)(F)$ and this inclusion is of ...

**4**

votes

**2**answers

226 views

### Root system automorphisms as inner automorphisms of extended Chevalley group

For each automorphism $\sigma$ of a root system $\Phi$ there is a unique automorphism of the Chevalley group $G(\Phi,R)$ such that $\sigma(x_\alpha(t))=x_{\sigma\alpha}(t')$. While conjugating by ...

**1**

vote

**0**answers

112 views

### How to decompose tensor products of simple modules for algebraic groups in GAP (or similar) [closed]

Is it possible to decompose tensor products for algebraic groups (in characteristic zero) in GAP?
I know that GAP has a Littlewood-Richardson rule function and is very good for character tables of ...

**1**

vote

**1**answer

79 views

### Cohen-Macaulayness of the scheme of centralizer

Let $G$ be a simply connected group over an algebraically closed field $k$, and
$I:=\{(g,\gamma)\in G\times G\vert~ g\gamma=\gamma g\}$
the scheme of centralizer.
Is $I$ a Cohen-Macaulay scheme ...

**2**

votes

**0**answers

175 views

### Chevalley groups over $k[t]/t^n$

This question is motivated partly by a recent question on Chevalley groups over arbitrary commutative rings (and see also this older question). The answers to that question point to a large and ...

**4**

votes

**1**answer

162 views

### Mumford-Tate groups of products of Hodge structures

Let $V_1$, $V_2$ be two polarised simple $Q$-Hodge structures which are non-isomorphic.
I am assuming that the Mumford-Tate groups of $V_1$ and $V_2$ are semi-simple adjoint.
Is it true in this case ...

**3**

votes

**1**answer

263 views

### A question on algebraic loop groops

Setup:
Let $\mathcal{K}=\mathbb{C}((t))$, $\mathcal{O}:= \mathbb{C}[[t]]$ and $G$ be a reductive algebraic group (over $\mathbb{C}$). Let further $\mathcal{K}_n$ denote the $\mathcal{O}$-ideal in ...

**4**

votes

**1**answer

254 views

### Zariski dense subgroups of linear algebraic groups

The theorem of Matthews, Vaserstein and Weisfeiler asserts that if $G$ is a simply connected absolutely almost simple groups over $Q$ and $\Gamma$ a finitely generated subgroup of $G(Q)$ which is ...

**4**

votes

**1**answer

227 views

### Bruhat decomposition for reductive groups in characteristic zero?

Let $G$ be a reductive, linear algebraic group (variety) over an algebraically closed field $\Bbbk$ of characteristic zero. If $G$ is connected, I know from Humphrey's book that for any Borel subgroup ...

**2**

votes

**1**answer

101 views

### Subgroup containing a given torus as a maximal torus

Let T be a non-trivial torus in a semisimple group G of adjoint type defined over Q.
I was wondering whether there exists a reductive subgroup H of G (defined over Q !) such that T is a maximal torus ...

**2**

votes

**2**answers

211 views

### Centralizer of a subtorus in a reductive group is Levi?

Questions a bit similar to this one have already appeared I think on the forum but I couldn't find the answer to my question using those answers. I must say from the beginning that my knowledge of ...

**7**

votes

**0**answers

229 views

### Higher-dimensional generalization of Pink's theorem

Pink's theorem in the title of the question refers to the main theorem of Pink's paper "Compact Subgroups of Linear Algebraic Groups" that appeared in Journal of Algebra (206) in 1998. It essentially ...

**6**

votes

**1**answer

152 views

### regular semisimple elements on spherical varieties

Let $(G,H_1)$ and $(G,H_2)$ be spherical pairs (i.e. $G$ is a reductive group, $H_i$ are its closed subgroups and the Borel subgroup $B$ of $G$ has a finite number of orbits on $G/H_i$).
What can ...

**3**

votes

**0**answers

41 views

### points with small U stabilizer on a spherical variety

Let $(G,H)$ be a spherical pair (i.e. $G$ is a reductive group, $H$ is a closed subgroup and the Borel subgroup $B$ of $G$ has a finite number of orbits on $G/H$). Let $U$ be the unipotent radical of ...

**4**

votes

**1**answer

268 views

### When does a group action on a k-algebra induce an algebraic action on the spectrum?

This question arose from my last question, which I considered answered - from the comments, however, it is obvious that the answer is only complete in characteristic zero, and I am trying to ...

**0**

votes

**0**answers

93 views

### semisimple conjugacy classes over general bases

Let $k$ be an algebraically closed field, $G$ a connected reductive group, $T$ a maximal torus, $W$ the Weyl group and $\chi:G\rightarrow T/W$ the Steinberg morphism.
We know that if ...

**4**

votes

**1**answer

152 views

### Finding Finite Generators of a Subset of a Quaternion Algebra/Cocompact Lattices

I was wondering if anyone had some ideas (books, papers, experience) on how to explicitly compute generators for the elements of a quaternion algebra, $Q$, with reduced norm $1$. I'm trying to ...

**7**

votes

**2**answers

372 views

### Equivariant normalization?

Let $G=\mathrm{Gl}_n\mathbb C$ and let $X$ be an affine $G$-variety. Let $\phi:\tilde X\to X$ be the normalization of $X$, i.e. the spectrum of the integral closure of $\mathbb C[X]$ in its fraction ...

**5**

votes

**1**answer

229 views

### Smooth affine algebraic subgroups as complete intersections

Let's fix an algebraically closed field $k$ of arbitrary characteristic and a connected nonsingular affine algebraic $k$-group $G$. Under what conditions can I assume that a connected nonsingular ...

**0**

votes

**0**answers

154 views

### on the Galois cohomology of reductive groups

Let $G$ a simply connected group over an algebraically closed field.
$F=k((t))$ and $\mathcal{O}=k[[t]]$.
Let $\gamma\in G(\mathcal{O})\cap G(F)^{rs}$.
Let $E=k((t^{1/n}))$ with $n$ prime to the ...

**3**

votes

**1**answer

74 views

### Set of isomorphisms of Pfister forms corresponding to first cohomology of algebraic group

Assume $k_0$ is a field with char($k_0$) not $2$. Let us define functors from $\rm Field_{/k_0}\to \rm Sets$ as $\rm Pfister_n(k):=\{\text{isomorphism classes of n-fold Pfister forms over k}\}$;
...

**1**

vote

**1**answer

150 views

### Equivariant fibre product

Let $G$ be an algebraic group. Let $X$ and $Y$ be $S$-schemes such that $X$, $Y$ and $S$ are $G$-schemes and the structural morphisms are equivariant. My question is: Can the fiber product ...

**3**

votes

**1**answer

118 views

### On matrices conjugated in a faithful representation

Let $k$ an algebraically closed field.
Let $O=k[[\pi]]$ and $F=k((\pi))$ and $G\rightarrow GL_{n}$ a faithful representation of a semisimple group.
Let $A, B\in G(O)\cap G(F)^{rs}$ (rs for regular ...

**2**

votes

**0**answers

82 views

### integral stable conjugacy classes

Let $G$ be a semisimple simply connected group over $k$ algebraically closed field .
Let $\gamma,\gamma'\in G(k[[\pi]])$ that are generically regular semisimple on $G(k((\pi)))$.
We assume that ...

**1**

vote

**0**answers

140 views

### on the open bruhat cell

Let $G$ a connected reductive group and $S=U^{-}TU$ the open cell.
Do we have $G=\bigcup\limits_{g\in G}gSg^{-1}$?
And also if I assume that $G$ is adjoint and $\overline{G}$ is the de ...

**3**

votes

**3**answers

290 views

### Topological properties of $K$ orbits in $G/B$

I'll be working over the complex numbers.
Let $G$ be a connected reductive group, $\theta\colon G\to G$ an involution. Let $K=G^{\theta}$ be the fixed point subgroup. I am trying to track down ...

**4**

votes

**1**answer

197 views

### The Representation of $\mathrm{Sp}_{2n}$ of Dimension $2^n$ in characteristic 2

Let $G:=\mathrm{Sp}_{2n}$ be the simple algebraic group of simply connected type with root-system $C_n$.
Is there a way, to explicitly construct the
highest weight representation ...

**8**

votes

**1**answer

340 views

### Action of the endomorphism monoid on an irreducible GL-module

Let $G=\mathrm{Gl}_n(\mathbb C)$ and $V$ an irreducible $G$-module on which $G$ acts polynomially. In other words, the algebraic group action of $G$ on the affine space $V$ extends to an algebraic ...

**2**

votes

**0**answers

142 views

### Compute the discriminant for reductive groups

Consider $G=GL_{2}$ and $F=k((\pi))$, and a diagonal matrix $t=\left(\begin{array}{cc}a&0\\0&b\end{array}\right)$.
The characteristic polynomial of $t$ is $X^{2}-(a+b)X+ab$, and the ...

**3**

votes

**1**answer

212 views

### Existence of quotient variety for group implies existence of quotient for normal subgroups

Let $G=G_1\times G_2$ be a product of two linear algebraic groups over an algebraically closed field. Assume that $G$ acts on a variety $X$ such that the quotient $X\rightarrow X/G$ exists in the ...

**4**

votes

**2**answers

187 views

### Splitting field of a Torus

Let $T$ be a torus over a non-necessary perfect field $k$. Let $\bar k$ an algebraic closure of $k$. Is there a smallest extension $k'$ of $k$ in $\bar k$ such that $T \times_{{\rm spec}\, k} {\rm ...

**3**

votes

**0**answers

135 views

### determine if a toric variety is Gorenstein

Let $G$ a simply connected group over $k$ and $car(k)=0$.
Let $T_{+}=(T\times T)/Z_{G}$ we consider the closure $\overline{T}_{+}$ of the torus $T_{+}$ in $\prod ...

**0**

votes

**0**answers

98 views

### a very elementary question on the conjugated matrices

Let $A$ and $B$ two matrices in $GL_{n}(K[[\pi]])$, regular semisimple on $GL_{n}(K((\pi)))$, with $K$ an algebraically closed field of characteristic zero .
We suppose that they have the same ...

**3**

votes

**0**answers

56 views

### on Neron defect of smoothness for groups schemes

Let $G$ a semisimple simply connected group over $\mathbb{C}$.
Let $\gamma\in G(\mathbb{C}[[t]])$ such that $\gamma$ is regular semisimple on $G(\mathbb{C}((t)))$.
We consider $I_{\gamma}$ the group ...

**3**

votes

**2**answers

219 views

### Why does the expression “the largest quotient of a linear algebraic group that is multiplicative type” make sense?

For the past few weeks I've been trying to get myself acquainted with the language and basic theory of linear algebraic group schemes. In an attempt to see whether I have learned enough to read a ...