**1**

vote

**1**answer

120 views

### cubic forms and finiteness of $k^*/(k^*)^3$

In some recent computation I came across certain cubic forms and was wondering about analogue of following result for quadratic forms.
If $k^*/(k^*)^2$ is finite then there are only finitely many ...

**2**

votes

**2**answers

258 views

### Epimorphisms between affine group schemes

Does there exist a simple characterization of epimorphisms between affine group schemes over a field ? Are they faithfully flat morphisms ?

**4**

votes

**1**answer

64 views

### reduced norm from degree 3 division algebra

Let $D$ be a degree $3$ division algebra over a field $k$ of char not 2 and 3.
Any such division algebra is cyclic. I am interested in knowing the cases when the reduced norm map $Nrd : D^* \...

**4**

votes

**1**answer

114 views

### How to write the map $ℂ[G/U]↪ℂ[B]$ explicitly?

Let $G$ be a reductive algebraic group and $B$ a Borel subgroup of $G$. Let $T$ be a maximal torus of $G$ contained in $B$. The $B=UT=TU$ for some unipotent subgroup $U$ of $G$. We have Bruhat ...

**7**

votes

**2**answers

319 views

### Examples to keep in mind while reading the book 'The Admissible Dual…' by Bushnell and Kutzko and the importance of Interwining of representations

I am a beginner in the field of representation theory. I was reading the book 'The Admissible Dual of $GL(N)$ Via Compact Open Subgroups' by Bushnell and Kutzko.
Let me first describe the book a ...

**1**

vote

**3**answers

504 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 $(\...

**9**

votes

**0**answers

211 views

### Rationality of a certain real algebraic variety

Let $A_n$ denote the vector space of $n\times n$ antisymmetric matrices over ${\mathbb{Q}}$, where $n$ is even.
Let $A_n^*\subset A_n$ denote the affine ${\mathbb{Q}}$-subvariety of invertible ...

**4**

votes

**2**answers

226 views

### A finiteness property for semi-simple algebraic groups

Let $G$ be a semi-simple algebraic group over a field $K$, I am considering a question about whether there exists a finite set of semi-simple $K$-subgroups, say $H_1,...,H_r$, such that for any semi-...

**3**

votes

**1**answer

91 views

### Extension property for unipotent linear groups over rings

This is my first question, so my apologies if it is too simple/poorly motivated.
During the course of some recent research I came across a particular variant of the following problem.
Let $G$ ...

**1**

vote

**0**answers

212 views

### How to check that an ideal of $\mathbb{C}[GL_n]$ is a coideal or not?

Let $I$ be an ideal of $\mathbb{C}[GL_n]$. Are there effective methods or software to check whether $I$ is a coideal or not? Thank you very much.
For example, let I be the ideal of $\mathbb{C}[GL_3]$ ...

**1**

vote

**0**answers

72 views

### Notation clash between a representation and spectral radius

I am currently writing a paper where I need talk both about a representation of a semisimple Lie group (usually denoted by $\rho$), and about spectral radii of linear maps (also usually denoted by $\...

**4**

votes

**1**answer

305 views

### How to compute the tangent space of a quotient by a finite group

Let $I\subseteq R:=\mathbb C[x_0,\ldots,x_n]$ be a homogeneous ideal defining a subscheme $X\subseteq\Bbb P^n$. As in my previous question, the permutation group $\mathfrak S_{n+1}$ acts on $R$ by ...

**1**

vote

**1**answer

75 views

### Tangent spaces of an indecomposable family of abelian varieties (parametrized by a Hodge type Shimura variety)

Let $G$ be a $\mathbb{Q}$-subgroup of $\mathrm{GSp}_{2g}$, reductive and defines a Shimura subdatum of $(\mathrm{GSp}_{2g},\mathfrak{H}_g)$. Let $V$ be the natural representation of $\mathrm{GSp}_{2g}$...

**5**

votes

**3**answers

270 views

### structure of maximal tori in semisimple algebraic groups

I feel experts might be able to answer this question immediately.
Let $G$ be a connected $\mathbb Q$-simple and $\mathbb Q$-isotropic algebraic group.
Let $S$ be a maximal $\mathbb Q$-split torus ...

**3**

votes

**1**answer

93 views

### Is Koszulity equivalent to the Lusztig character formula holding?

Let $\pi$ denote a saturated set of weights. Let $S_q(\pi)$ denote the associated generalised $q$-Schur algebra. I was wondering if the following claim is true:
Claim: The algebra $S_q(\pi)$ is ...

**30**

votes

**1**answer

907 views

### Roadmap to Geometric Representation Theory (leading to Langlands)?

I believe there has been at least one question similar to this one and yet I still think this particular question deserves to have a thread of its own.
I'm becoming increasingly fascinated by stuff ...

**10**

votes

**1**answer

196 views

### commutators in upper triangular matrices

Consider the group $T_p(n)$ of all non-singular upper triangular matrices with entries in $\mathbb{F}_p.$ Its commutator subgroup is $U_p(n)$ (all elements in $T_p(n)$ with $1$s on the main diagonal). ...

**5**

votes

**2**answers

148 views

### Cartan subspaces for general algebraic representations

So I feel like asking the following likely open-ended question: What good generalizations of the notion of Cartan subspace do we have?
To be precise, let $G\curvearrowright V$ be an algebraic ...

**18**

votes

**1**answer

225 views

### How many ways can I factor a matrix (over $\mathbb{Z}$)?

Let $A$ be a fixed matrix in $M_2\mathbb{Z}$ with determinant $n \neq 0$.
Question 1 How many ways can I write $A = XY$ for $X, Y \in M_2\mathbb{Z}$?
The answer to this question is pretty clearly ...

**4**

votes

**0**answers

164 views

### Descent of line bundles to the quotient

If a finite group acts $G$ on a variety $X$, consider the quotient $X/G$. I would like to understand which line bundle on $X$ descends to $X/G$. The action is not free. Can anyone direct me to some ...

**3**

votes

**1**answer

194 views

### system of complex equations

I am working on a system of complex equations The question is the following:
Let $a_1,a_2,\ldots,a_N\in \mathbb{C}$ such that
$$\sum_{j=1}^N \sum_{q=0}^{N-1-k} {N-1 \choose q} {N-1 \choose k+q} |a_j|...

**3**

votes

**0**answers

110 views

### Quotients of quasi affine varieties and extension of scalars

I have some questions about GIT quotients and extensions of scalars of categorical quotients:
1) Let $X$
be a complex algebraic quasi-affine variety, $G$
an algebraic reductive group over $\...

**0**

votes

**1**answer

80 views

### presentation for a nilpotent group associated to the square of a coxeter element

This question is related to one asked earlier about inductive presentations of unipotent radicals in Kac-Moody groups.
Let $\Gamma$ be a coxeter diagram --- i.e. an unoriented graph with $r$ vertices ...

**4**

votes

**0**answers

146 views

### Affine Steinberg groups vs Steinberg groups over Laurent polynomials

Let $R$ be a commutative ring and $\Phi$ be a finite (also called spherical) reduced irreducible root system of rank $\geq 2$. I will denote by $\mathrm{St}(\Phi,R)$ the Steinberg group of type $\Phi$ ...

**4**

votes

**1**answer

178 views

### Is the Luna slice theorem valid for any orbit with a reductive stabilizer?

The Luna slice theorem states that if a reductive group $G$ acts on an affine space $X$ and $O$ is a closed orbit, then (in the etale topology) there exists a $G$-invariant negihborhood of $O$ with a ...

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

**0**

votes

**0**answers

101 views

### Action on algebraic variety and adjoint bundles

Let $X$ be a complex algebraic variety and let $G$ be a complex algebraic group; I mean that $X$ is a reduced, separated scheme of finite type on $\operatorname{Spec}\mathbb{C}$, and the underlying ...

**3**

votes

**0**answers

123 views

### reduction mod $p$ of Weyl modules

Let $G$ be a reductive algebraic group defined over a non-Archimedean field $F$.
Let $k_F$ be its residue field, of characteristic $p$.
Assume $G$ is unramified over $F$, then it admits a hyperspecial ...

**11**

votes

**1**answer

234 views

### Property of bundles with connections on abelian variety doesn't hold for additive or multiplicative group?

This question is a followup to two of my previous questions, see here and here.
Let $A$ be an abelian variety over a field $k$ of characteristic $0$. How do I prove, without using ...

**6**

votes

**2**answers

148 views

### Can we count the number of simple modules for a reduced enveloping algebra?

Let $G$ be a reductive algebraic group over a field of positive characteristic $p$, which I'll assume to be very good for $G$. Then the Lie algebra $\mathfrak{g}$ is restricted and each simple $\...

**0**

votes

**0**answers

59 views

### Connectedness of Centralisers in Unitary group

I want to understand centralizers of semisimple elements in unitary groups.
Let us begin with example of $GL_n(k)$. Centralizers of semisimple elememts are a product of smaller $GL_m(k)$ thus ...

**3**

votes

**2**answers

206 views

### open subgroup scheme closed

Let $G/S$ be a group scheme and $H \leq G$ an open subgroup scheme. Is $H \subseteq G$ closed? I want to apply this to $G^0 \leq G$ (see SGA 3, VI_B, Théorème 3.10) for $G$ commutative.
(*) If $S = \...

**2**

votes

**0**answers

89 views

### Centralizer of a dense subgroup in a maximal subgroup of a reductive group

I am looking for a reference to the following statement
"Let $G$ be a reductive algebraic group and $K$ a maximal compact subgroup of $G$. If $H$ is a dense subgroup in $K$, then the centralizer of $H$...

**3**

votes

**0**answers

75 views

### Do character sheaves split over the Lang isogeny?

Let $G$ be a smooth commutative connected algebraic group over a finite field $\mathbb{F}_q$. For my purposes a character sheaf on G is a rank one $\ell$-adic local system $\mathcal{L}$ on $G$ ...

**4**

votes

**1**answer

114 views

### Quotient of a reductive group by a Levi subgroup and locally triviality

Suppose $G$ is a connected reductive algebraic group over an algebraically closed field $k$, and suppose $L$ is a Levi subgroup (of some parabolic subgroup of $G$), is it always true that the ...

**5**

votes

**1**answer

266 views

### If $G$ is absolutely simple simply connected, why is G(F_v) quasisimple for almost every valuation v?

Let $G$ be an absolutely simple simply connected and connected algebraic group defined over a global field $k$ with ring of integers $\mathcal{O}$. Fix an embedding of $G$ into $GL_n$. Given $v$ a non-...

**3**

votes

**2**answers

164 views

### Replacement for Lie-algebra complements

All groups are linear algebraic over some fixed field $k$.
I believe that it is true that, in characteristic $0$, if $G'$ is a reductive subgroup of $G$, then there is a $G'$-invariant complement to $...

**6**

votes

**3**answers

317 views

### Simple lie algebras, (almost-)simple groups of Lie type

Take an algebraic group $G$ defined over a finite field $K$. Suppose its Lie algebra $\mathfrak{g}$ is simple. It should follow that $G$ is almost-simple. (By this I mean not that $G(K)$ is simple -- ...

**4**

votes

**1**answer

175 views

### Smooth algebraic stacks with precisely two $\mathbb C$-objects

In my quest of "understanding" stacks, I recently tried to figure out the structure of a smooth algebraic stack of finite type $\mathcal X$ over $\mathbb C$ with affine diagonal and precisely one $\...

**6**

votes

**1**answer

219 views

### Are Picard stacks group objects in the category of algebraic stacks

I've been wondering about what a "group algebraic stack" should be, and ran into the notion of a Picard stack.
I'm slightly confused by the terminology here.
Given an algebraic stack $\mathcal X$ ...

**2**

votes

**1**answer

286 views

### When is a $\overline{\mathbb{Q}}_{\ell}$-local system the inverse image of a $\overline{\mathbb{Q}}_{\ell}$-local system?

I am trying to learn character sheaf theory, and encounter the following question:
(*) Let $f\colon X\rightarrow Y$ be a morphism of quasi-projective smooth varieties over $\overline{\mathbb{F}}_q$, ...

**1**

vote

**1**answer

245 views

### Zariski-closed subgroups of ${\mathbf G}_{\mathbf a}^n$

Let's work over an algebraically closed field $K$. A $1$-dimensional Zariski-closed connected subgroup of ${\mathbf G}_{\mathbf a}^n$ is isomorphic to ${\mathbf G}_{\mathbf a}^1$. If $K$ has ...

**3**

votes

**0**answers

123 views

### For which fields are the 1-dimensional algebraic groups known?

Given an algebraically closed field, or even a perfect one, a connected 1-dimensional algebraic group $G$ over the field $K$ is isomorphic to either $\mathbf G_a$ or $\mathbf G_m$.
For which fields $...

**2**

votes

**1**answer

319 views

### One-dimension Algebraic groups

I am searching for a possible analogue of a result in algebraic groups in a non-commutative setting, so I am looking for different proofs of the following :
Let $K$ be an algebraically closed field. ...

**1**

vote

**0**answers

112 views

### Conjugacy scheme, fppf versus GIT

I would be glad to have some guidance in the following.
Let $k$ be an algebraically closed field. Let $G$ be a connected reductive group over $k$. Denote by $\mathfrak{c}$ the Zariski spectrum of the ...

**6**

votes

**2**answers

421 views

### First Galois cohomology of Weil restriction of $\mathbb{G}_m$

Let $L/K$ be a finite Galois extension, write $G:= Gal(L/K)$. Denote by $R = Res(\mathbb{G}_m)$ the Weil restriction of $\mathbb{G}_m$, from $L$ to $K$. I want to show that its first Galois cohomology ...

**4**

votes

**2**answers

280 views

### odd length Chevalley relations (in rank two)

The unipotent radicals $\text{N}$ of the Borel subgroups of the complex algebraic groups of type $A_2$, $B_2$, and $G_2$ can each be abstractly presented using two one-parameter subgroups $x_1, x_2: \...

**2**

votes

**1**answer

113 views

### What finite groups are stabilizers in Kirwan's desingularization construction?

Assume $X$ is a smooth projective curve of genus $g\geq 3$ over $\mathbb{C}$ and let $M$ be the (singular) moduli space of semistable rank two vector bundles with trivial determinant on $X$. Then ...

**0**

votes

**2**answers

173 views

### Existence of $B$-reduction of a $G$-torsor on a curve

Let $k$ be an algebraically closed field, $X$ a connected smooth curve over $k$, $G$ a connected reductive group over $k$, and $B \subset G$ a Borel subgroup.
Given a $G$-torsor $E$ on $X$ in the ...

**3**

votes

**1**answer

319 views

### Galois cohomology of a non-abelian group over a function field

Let $k$ be an algebraically closed field, and $X$ a connected smooth projective curve over $X$. Let $F$ be the function field of $k$. Let $G$ be an algebraic group over $k$ (assume that it is smooth, ...