**4**

votes

**0**answers

79 views

### Automorphisms of unipotent groups

I start with a hopelessly broad question: what is known about the structure of the automorphism group of a (smooth, connected) unipotent group (over a field), and particularly about the structure of ...

**1**

vote

**2**answers

163 views

### Maps between symmetric powers of the natural module for $SL_2 (k)$ in prime characteristic

Let $G=SL_2(k)$ considered as a linear algebraic group over an algebraically closed field of prime characteristic. Let $E$ be the natural module for $G$ and denote by $S^r (E)$ its $r-$th symmetric ...

**2**

votes

**1**answer

129 views

### Affine open subsets for algebraic group actions

Let $G$ be a reductive algebraic group over an algebraically closed field $K$ of characteristic zero.
Assume that $G$ acts on an affine variety $X$. Assume that $X$ contains an open orbit $U$ (so $\...

**6**

votes

**1**answer

369 views

### Wonderful compactification

Suppose $G$ is a semi-simple group of adjoint type over an algebraic closed field, and $X$ its wonderful compactification a la De Concini and Procesi. Let $P=MU$ be a parabolic subgroup in $G$, and ...

**18**

votes

**0**answers

295 views

### Follow-up to Steinberg's problem (12) in his 1966 ICM talk?

Steinberg's lecture at the 1966 ICM in Moscow here surveyed his work on regular elements of semisimple algebraic groups, while also formulating a number of then-open questions as "problems" (with ...

**5**

votes

**1**answer

245 views

### Subgroup schemes of $\mathbb{A}^n$

Let $R$ be an integral $\bar{k}$-algebra of finite type. Let $V(I) \subseteq \mathbb{A}_R^n$ be a reduced (closed) subgroup scheme such that $V(I)\backslash \{0\} \neq \emptyset$ and the $\mathbb{G}_m^...

**0**

votes

**0**answers

95 views

### Splitting the Tits algebras of a anisotropic group

Assume we are given an anisotropic algebraic group $G$ over a field $k$, having non trivial Tits algebras (i am interested in the $E_7$ adjoint cases).
Question: Is it possible that there exists a ...

**14**

votes

**2**answers

617 views

### Is the wonderful compactification of a spherical homogeneous variety always projective?

Let $G/H$ be a spherical homogeneous variety, where $G$ is a complex semisimple group. Assume that the subgroup $H$ is self-normalizing, i.e., $\mathcal{N}_G(H)=H$. Then by results of Brion and Pauer
...

**2**

votes

**0**answers

155 views

### Reference request: proofs of the theorems in the paper “On the representation of the group GL(n, K) where K is a local field”

In the paper On the representation of the group $GL(n, K)$ where $K$ is a local field by Gelfand and Kazhdan, it is said that the proofs of the theorems in the paper are published in some other papers....

**4**

votes

**1**answer

99 views

### A quotient group of a self-normalizing spherical subgroup

Let $G$ be simply connected, simple algebraic group over $\mathbb{C}$.
Let $H\subset G$ be a self-normalizing spherical subgroup of $G$,
not necessarily connected or reductive.
Here "self-normalizing" ...

**0**

votes

**0**answers

66 views

### On orders of stabilisers of group actions and stacks

Let $X$ be a finite type irreducible separated DM-stack over $\mathbb C$. Let $x$ be an object of $X(\mathbb C)$ with stabilizer $G_x$. Let $y$ be an object of $X(\mathbb C)$ with stabilizer $G_y$.
...

**1**

vote

**4**answers

451 views

### About structure of parabolic subgroups of finite classical algebraic groups

I am interested about a Fact (if it is right) of the structure of parabolic subgroups of finite classical algebraic groups:
Let $G$ be a classical algebraic group over the finite field of order $r^{e}...

**4**

votes

**1**answer

206 views

### inductive construction of unipotent radicals

Consider a directed coxeter diagram $\vec{\Gamma}$, i.e. a finite graph where each edge is decorated with one of the integer weights $\big\{3,4,6\big\}$ and those edges with weights $4$ or $6$ are ...

**8**

votes

**0**answers

131 views

### Smooth quotients of algebraic spaces that are varieties away from codimension $\ge 2$ subset

This is a question about when a smooth complex algebraic space that is very close to being an algebraic variety is actually an algebraic variety.
General question: Let $X$ be a smooth separated ...

**14**

votes

**4**answers

701 views

### Groups of matrices in which all elements have all eigenvalues equal in modulus

I am writing a research article in which I need to use the following fact: if $G$ is a subgroup of $GL_3(\mathbb{R})$ which is irreducible in the sense that no proper nontrivial subspace of $\mathbb{R}...

**2**

votes

**1**answer

272 views

### Any representation is a subrepresentation of a direct sum of the regular representation

I need a reference for the following statement:
Let $G$ be a linear algebraic group over algebraically closed field $k.$ Let $V$ be a finite dimensional $G$-module. Then $V$ is subrepresentation of $...

**3**

votes

**1**answer

218 views

### Irreducible representations containing simple actions of $\mathrm{SL}(2,\mathbb{C})$

Let $G$ be a complex semisimple Lie group and let $\rho: G \longrightarrow \mathrm{SL}(n,\mathbb{C})$ be a faithful irreducible representation of $G$ with $n \geq 3$. Suppose that $G$ contains a copy ...

**-3**

votes

**0**answers

161 views

### The center of a group is equal to the center of its radical?

Given a linear algebraic group $G$, is the connected component of the identity of the center of $G$ equal to the connected component of the identity of the center of its solvable radical? If not, is ...

**0**

votes

**1**answer

65 views

### Is the toral component of a connected Lie group equal to the toral component of its radical? [closed]

Given a connected Lie group, define its toral component as the maximal connected and compact subgroup of its center.
Is the toral component of a connected Lie group equal to the toral component of ...

**5**

votes

**1**answer

450 views

### Are principal bundles isotrivial?

Let $U$ be a $k$-scheme, where $k$ is a field. Let $G$ be a smooth affine $k$-group. Recall that a principal $G$-bundle over $U$ is a smooth surjective $U$-scheme $E$ with an action of $G$ on $E$ such ...

**1**

vote

**1**answer

109 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 ...

**4**

votes

**1**answer

225 views

### Symmetrization for hyperalgebras in positive characteristic

Let $G$ be an algebraic group over an algebraically closed field $k$ of arbitrary characteristic and let $U$ be the hyperalgebra of $G$. Recall that $U$ is defined as the subspace of the full linear ...

**1**

vote

**0**answers

87 views

### Bounding the number of “generalized $\mathbb{F}_q$-rational points” of a variety in terms of dimension and degree

In what follows, for a prime power $q=p^m$, $\phi_q$ denotes the Frobenius endomorphism $x\mapsto x^q$ of a finite-dimensional affine space over the algebraic closure $\overline{\mathbb{F}_p}$ (the ...

**2**

votes

**3**answers

426 views

### Algebraic groups “generated” by a Lie algebra element

Here is a definition which I invented and which I would like to understand better.
Let $ A $ be a complex affine algebraic group. Let $ X \in \mathfrak g $ be an element in its Lie algebra. We say ...

**8**

votes

**1**answer

205 views

### Is the image of an $S$-arithmetic subgroup under a surjective $k$-morphism $S$-arithmetic?

Let $k$ be a global field and let $S$ be a non-empty set of places containing all archimedean ones. Suppose $f:G\to H$ is a surjective $k$-morphism of $k$-groups and let $\Gamma\leq G(k)$ be an $S$-...

**6**

votes

**4**answers

262 views

### Examples of discrete subgroups of $PSL_2(\mathbf{R})$ with finite covolume and which are not co-compact

Is there a natural example of a discrete subgroup $\Gamma\leq PSL_2(\mathbf{R})$ such that
(1) $\Gamma$ has finite covolume
(2) $\mathfrak{h}/\Gamma$ is not compact ($\mathfrak{h}$ being the upper ...

**5**

votes

**1**answer

647 views

### Wrong Tits-Index of E7 from Springer 's book

In the his book
Linear algebraic groups, by T.A. Springer,
there is a list of possible Tits-Indexes. For the $E_7$ case, there is an index shown, such that vertex $1$ and $7$ are circled (Bourbaki ...

**4**

votes

**0**answers

152 views

### 'Noether normalization' for finite group schemes

Throughout let $p$ be a prime, and let $k$ be a field of characteristic $p$.
Let $G$ be a compact Lie group. Such a $G$ can always be embedded as a closed subgroup of $SU(n)$ for some $n$. This ...

**6**

votes

**1**answer

294 views

### Nonabelian $H^2$ and Galois descent

I would like to know whether the following metatheorem on nonabelian $H^2$ has been ever stated and/or proved.
Let $k$ be a perfect field and $k^s$ its fixed separable closure.
Let $X^s$ be a variety ...

**6**

votes

**2**answers

794 views

### Unitary groups over number fields

When defining unitary groups over number fields, one usually takes $F$ to be a totally real number field, $E$ a CM quadratic extension of $F$, and $V$ a hermitian space attached to $E/F$. Then $U(V)$ ...

**2**

votes

**1**answer

108 views

### If a Weyl element preserves a root, then it has a representative which preserves the root space?

Let $G$ be a reductive group defined over a field $F$. Let $\Sigma$ be the set of roots of $G$ with respect to a Borel subgroup $B=TU$ with torus $T$. Let $W=N_G(T)/T$ be the Weyl group of $G$. For $\...

**6**

votes

**1**answer

153 views

### Does every cocompact lattice admit a homomorphism (with infinite image) into a compact Lie group?

Let $\Gamma$ be a cocompact arithmetic lattice in a semisimple algebraic group. Does it admit a homomorphism $\Gamma \to K$ with infinite image into a compact real Lie group $K$?

**5**

votes

**1**answer

224 views

### Constructing groups of Type E7 with certain Tits Index

In a new survey on $E_8$, namely
Skip Garibaldi - E8 the most exceptional group
, the author gives an example (Example 8.4., page 15) on how to construct a group of type E8 with a prescribed Tits-...

**4**

votes

**0**answers

169 views

### Is the class of commutative generalized Euclidean rings stable under quotient and localization?

Let $R$ be an associative ring with indentity and let $E_n(R)$ be the subgroup of $GL_n(R)$ generated by matrices obtained from the identity matrix by replacing an off-diagonal entry by some $r∈R$. ...

**2**

votes

**0**answers

221 views

### Can I recognize the quotient of a group by a closed subgroup? (for example the standard representation of S3 in GL(2,C))

The first question might be too much in general.
The cases I'd like to understand in practice are quotients (as algebraic varieties) of GL(n,C) (or SL(n,C) if you prefer) by finite subgroups.
Is ...

**3**

votes

**2**answers

486 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 ...

**1**

vote

**2**answers

167 views

### How to prove that $A$ is supersingular iff the Picard number $\rho(A)$ is equal to the second $l$-adic Betti number $b_2(A) = 6$?

Let $A$ be an abelian surface over algebraically closed field $k$ of characteristic $p > 2$. How to prove that $A$ is supersingular (in other words, there is an isogeny between $A$ and $E^2$, where ...

**1**

vote

**3**answers

505 views

### Perverse sheaves and tensor product

If $X$ is a connected algebraic variety of finite type over $k$ (with $k$ a field of positive characteristic) of dimension $d$, and if $\mathcal{F}$ and $\mathcal{G}$ are perverse sheaves on $X$ so $(\...

**21**

votes

**4**answers

1k views

### Hasse principle for rational times square

Does a Hasse principle hold for the property of being a rational times a square ?
Let $a \in \mathbb{K}$ be an element of a number field. Assume that at every place $\mathbb{K}_v$ of $\mathbb{K}$, $a$...

**0**

votes

**1**answer

71 views

### representing base changes of the unit section

Let $S$ be a scheme and $G$ be a sheaf in groups on the big étale site over $S$. Let $e:S\rightarrow G$ be the unit section. Is it true that given an algebraic space in groups $H$, étale over $S$, and ...

**5**

votes

**1**answer

123 views

### Centreless semisimple Lie group that is not real algebraic

Let $G$ be a connected semisimple Lie group with trivial centre and $\mathfrak{g}$ its Lie algebra. The adjoint representation of $G$ defines an isomorphism of $G$ onto the connected component of the ...

**3**

votes

**2**answers

813 views

### Classification of quasi-split unitary groups

Let $U$ be a unitary group defined with respect to an extension $E/F$ of non-archimedean local fields, and assume it is realised with respect to a pair $(V,q)$, where $V$ is an $n$-dimensional vector ...

**16**

votes

**0**answers

599 views

### Should the Dynkin diagrams of types $A_1$ and $B_2$ be labelled $C_1$ and $C_2$?

The labels $A$--$G$ attached to connected Dynkin diagrams are of course arbitrary,
the result of historical accidents. In order to avoid repetitions, the four infinite
families $A_\ell, B_\ell, C_\...

**12**

votes

**2**answers

380 views

### Affine GIT is an open map?

Let $k$ be a field, $X= \text{Spec}\,A$ be an affine scheme, with $A$ a finitely generated $k$-algebra. $G=\text{Spec}\,R$ is a linearly reductive group acting rationally on A, i.e. every element of $...

**4**

votes

**0**answers

127 views

### Centralizer action on components of Springer fibers

Let $G$ be a complex adjoint group. Let $u\in G$ be unipotent. The group $A(u):=\pi_0(Z_G(u))$ acts on the set of components of the Springer fiber $\mathcal{B}_u$, the variety of Borel subgroups that ...

**2**

votes

**2**answers

866 views

### The normalizer of a reductive subgroup

Let $k$ be a field and $G$ a linear algebraic group over $k$. Let $H$ be a diagonalizable subgroup of $G$. Then it is a classical fact that the centralizer $C_G(H)$ of $H$ is of finite index in the ...

**2**

votes

**1**answer

193 views

### Chow ring of an algebraic group for another equivalence relation than rational

For $G$ a split algebraic group of arbitrary Dynkin typ, the Chow ring with rational equivalence and $\mathbb{Z}/p\mathbb{Z}$, for $p$ some torsion prime of $G$, is well known and will be denoted as
...

**13**

votes

**4**answers

1k views

### Is the normalizer of a reductive subgroup reductive?

Let $G$ be a reductive algebraic group over an algebraically closed field (of characteristic zero if it matters) and $H \subset G$ a subgroup, also reductive. Is the identity component of the ...

**7**

votes

**1**answer

243 views

### Is it known whether every symmetric pair of finite groups of Lie type is a Gelfand pair?

A pair of groups $(G,H)$ is called a symmetric pair if $H$ is the group of fixed points of an involutive automorphism of $G$, for example $(GL(2n,\mathbb{F}_q),Sp(2n,\mathbb{F_q}))$ is a symmetric ...

**2**

votes

**0**answers

63 views

### Can we write an element in a super Grassmannian as a pair of matrices?

Super Grassmannians are introduced by Manin, see for example.
Elements in a grassmannian can be written as matrices, see for example.
Can we write an element in a super Grassmannian as a pair of ...