# Tagged Questions

**2**

votes

**0**answers

147 views

### Rational structures on the flag variety over a finite field [on hold]

Let $G$ be a connected reductive group over $\bar{\mathbb{F}}_q$, with a rational structure over $\mathbb{F}_q$ (see below for the clarifications of the notions), denote by $F$ the associated ...

**6**

votes

**3**answers

402 views

### Does a lisse $\ell$-adic sheaf give rise to an affine group scheme?

Let $k$ be a finitely generated field, $\ell$ a prime different from the characteristic of $k$, $S$ a $k$-variety, and $\mathcal{V}$ a lisse $\ell$-adic sheaf on $S$. Fix an algebraic closure ...

**5**

votes

**1**answer

168 views

### Over a finite field, does a torsor under the component group of G lift to a torsor under G?

Let $k$ be a finite field and $G$ a finite type smooth $k$-group scheme. Let $G^0$ and $\Gamma$ be the connected component of identity and the component group of $G$, so there is an exact sequence $1 ...

**0**

votes

**0**answers

100 views

### Base extension of the Weil restriction

It is a problem in Waterhouse's book, "Affine group schemes, p 61":
(a) Let $B$ be finite dimensional (commutative) $k$-algebra. Let $G$ be an affine group scheme over $B$. Define the Weil ...

**3**

votes

**1**answer

179 views

### The cardinality of first non-abelian Galois cohomology

Let $G$ be a linear algebraic group over a non-archimedean local field $F$. Let $H^1(F,G)$ be the first non-abelian Galois cohomology. It is known that when $F$ is of characteristic 0, i.e. finite ...

**8**

votes

**1**answer

235 views

### Known norm varieties and the Bloch-Kato conjecture

The Bloch-Kato conjecture states that
$K_M^n(k)/l \simeq H^n(k,\mu^{\otimes n}_l)$ for every $n,l$,while $l$ is invertible in $k$.
A important part in the proof of the Bloch-Kato conjecture is to ...

**6**

votes

**1**answer

91 views

### Number of Richardson orbits in simple Lie algebras of types $E_n$?

This is a follow-up to my question about nilpotent orbits here asked in connection with an earlier discussion of symplectic resolutions. Leaving aside the connections with algebraic geometry and ...

**0**

votes

**0**answers

87 views

### torsors on quasi-split groups

Let $\mathbf{G}$ be a split connected reductive group scheme over a scheme $X$.
Let $X'\rightarrow X$ an étale Galois cover of group $\Gamma$.
We consider $G$ a quasi-split group scheme over $X$ ...

**1**

vote

**0**answers

204 views

### Relationship between algebraic groups and Lie groups? [closed]

In the literature, e.g. in representation theory, there seems to be a passage from Lie groups to (linear) algebraic groups. It is clear, particularly over $\mathbb R$ and $\mathbb C$ that they are ...

**2**

votes

**1**answer

83 views

### dimensions of strata of Pfaffian varieties

Let $V$ a complex vector space of dimension $2n$. Let us consider $W=\wedge^2V$ and the Pfaffian variety $Pf\subset \mathbb{P}W$ that parametrize degenerate skew-symmetric matrices. $Pf$ is naturally ...

**0**

votes

**0**answers

68 views

### Commutative algebraic groups endowed with a ring action

Let $k$ be an arbitrary closed field (of arbitrary characteristic). Assume that we have a short exact sequence of k-algebraic abelian connected groups
$$
1\rightarrow K\rightarrow G \rightarrow ...

**3**

votes

**1**answer

357 views

### Is every element of $\mathrm{SL}(n,R)$ of finite order diagonalizable?

Let $k>0$ be an integer, let $R$ be a ring (commutative, unital), which contains $\mathbb{Q}$ (i.e. with a ring homomorphism $\mathbb{Q}\to R$) and all $k$-roots of unity. The examples I have in ...

**3**

votes

**4**answers

335 views

### Reference for an algebraic group preserving a cubic form

Let $R=k[u,v,w]$ and $p\in R$ be a cubic form. Let $G$ be the group of graded automorphisms of $R$ which preserve $p$, i.e., $G$ is the subgroup
of $GL_3(k)$ consisting of elements $g$ such that $g(p) ...

**3**

votes

**1**answer

201 views

### Quasi-coherent sheaves on classifying stacks

Let $G$ be a smooth group scheme over some base $S$. Then we have the $S$-stack $BG$ whose $T$-points are the $G$-torsors on $T$. Under which conditions do we have $\mathsf{Qcoh}(BG) \simeq ...

**12**

votes

**3**answers

572 views

### Does every reductive group scheme admit a maximal torus?

A theorem of Grothendieck states that any smooth reductive algebraic group over a field $k$ admits a maximal torus over $k$. My question concerns what happens for schemes.
Let $S$ be a scheme and ...

**2**

votes

**0**answers

89 views

### Is the group of rational points of an anisotropic absolutely quasi-simple algebraic group over a non-archimedean local field known to be perfect?

Suppose that $G$ is an algebraic group defined over a non-archimedean local field $k$ which is absolutely quasi-simple and anisotropic over $k$. Is it known whether the group $G(k)$ is necessarily ...

**8**

votes

**1**answer

520 views

### What is the status of the Friedlander-Milnor conjecture today?

For the purposes of this question, the Friedlander-Milnor (FM) conjecture asserts an equality of the group homology for algebraic groups, and their discretizations in the following sense:
Conjecture ...

**4**

votes

**1**answer

208 views

### Is the big cell a principal open set?

Let $G$ be a complex affine reductive algebraic group, $B\subseteq G$ a Borel with maximal torus $T$ and unipotent radical $U$. Let $w\in\operatorname N_G(T)$ be a representative of the longest Weyl ...

**1**

vote

**0**answers

191 views

### Pullback of a sheaf associated to a divisor

I am reading a paper Desingularisation des varietes de Schubert generalisees by Demazure. I am interested in Lemma 3 on page 58. In particular, I would like to know whether the lemma is true and how ...

**2**

votes

**0**answers

57 views

### Homomorphisms between groups of Hermitian type and Hodge type and orthogonality

By a group of Hermitian type I mean a real group $H$ with a maximal compact subgroup $K$ such that $H/K$ is Hermitan Symmetric domain. A real group $W$ is called of Hodge type if the associatd ...

**3**

votes

**3**answers

480 views

### Non existence of cyclic infinite linear algebraic groups

Let $G$ be a linear algebraic group defined over some algebraically closed field $\mathbb{K}$ and also over some subfield $k\subset \mathbb{K}$. There is thus a natural group structure on the set of ...

**6**

votes

**1**answer

228 views

### Is $G_{\operatorname{red}}$ normal in $G$?

Let $G$ be an affine group scheme of finite type over a field $k$. It is well known that the associated reduced subscheme $G_{\operatorname{red}}$ of $G$ is a subgroup if $k$ is perfect. So let us ...

**7**

votes

**1**answer

147 views

### Complexity of rational $\mathrm{GL}_{n(r)}$-modules

Let $k$ be an algebraically closed field of characteristic $p>0$, and let $G=\mathrm{GL}_n(k)$ for some natural number $n$. For any integer $r\ge 1$, let $G_{(r)}$ denote the $r$th Frobenius ...

**1**

vote

**0**answers

74 views

### Splitting for Subsequence of Automorphism Sequence for Algebraic Groups

Let $G$ be a split reductive algebraic group over an arbitrary field $k$ Suppose we have a split maximal torus $T$. There is a short exact sequence of groups
$$
1\to \mathrm{Inn}(G)\to ...

**1**

vote

**1**answer

174 views

### Is a semisimple conjugacy class closed?

Let $G$ be any algebraic subgroup of $\mathrm{GL}_n$ over an algebraically closed field of any characteristic.
If $s$ is a semisimple element of $G$, can the $G$-conjugacy class of $s$ fail to be ...

**5**

votes

**1**answer

240 views

### rationality question while dealing with an isogeny

I don't think that the following is known, but before going to other things, I would like to know what can be said about it. Thanks in advance for any relevant comment !
So here is the situation. Let ...

**2**

votes

**1**answer

181 views

### fundamental group and torus action

Let $T$ be the complex torus acting on a complex connected algebraic variety $X$
and let $p \colon X\rightarrow Y$ be a good quotient for this action.
For any $y\in Y$ we have a sequence $p^{-1}(y) ...

**1**

vote

**2**answers

185 views

### Duality for group variety

For any abelian variety $A$, there is a dual abelian variety $\hat{A}$ which parametrizes degree zero line bundles.
Is it possible to expect similar duality for group varieties (suppose over ...

**4**

votes

**1**answer

220 views

### About the pro-algebraic group structure of $G(\mathbb{C}[[t]])$

I hope this is not too elementary!
Let $G$ be a algebraic reductive group over $\mathbb{C}$.
The group $G(\mathbb{C}[[t]])$ can be given the structure of a pro algebraic group as follows.
Let $l\in ...

**0**

votes

**1**answer

191 views

### Quotient of an algebraic group by a closed algebraic subgroup

Let $G$ be a complex, linear algebraic group and $H\subseteq G$ a closed and normal subgroup. Then, the quotient $G/H$ has the structure of a affine variety. I am looking for the most "modern" ...

**12**

votes

**1**answer

530 views

### automorphisms of fat points

Let $k$ be an algebraically closed field. I am looking for an
easily quotable description of automorphism groups of $\mathrm{Spec} k[x]/(x^n)$. I could compute explicit matrix representations for ...

**6**

votes

**2**answers

240 views

### Whitney stratification and affine grassmanian

Let $G$ a simply connected group over $\mathbb{C}$ and $Gr:=G(\mathbb{C}((t)))/G(\mathbb{C}[[t]])$ the affine grassmannian. By Cartan decomposition we have a partition of stratas indexed by ...

**6**

votes

**2**answers

230 views

### conjugacy classes in anisotropic semisimple groups

You have an anistropic semisimple algebraic group $G$ defined over a non-archimedean local field $k$. When can you say that the $k$-rational part of the conjugacy class of a $k$-rational point is ...

**0**

votes

**0**answers

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

**7**

votes

**1**answer

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

**3**

votes

**2**answers

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

**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

117 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

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

**2**

votes

**0**answers

174 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

259 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

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

**6**

votes

**1**answer

151 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

40 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

266 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

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

**7**

votes

**2**answers

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