Algebraic varieties with group operations given by morphisms, or group objects in the category of algebraic varieties, the category of algebraic schemes, or closely related categories.

learn more… | top users | synonyms

-2
votes
0answers
73 views

proof that ${\rm SL}_n (R)=E_n(R)$ in a local ring? [on hold]

I have to prove that ${\rm SL}_n (R)=E_n(R)$ and I need some help. $R =R_1\cdot R_2\cdots R_n$ , and every $R_i$ is a local ring . $E_n(R)$ is the elementary group and ${\rm SL}_n(R)$ is the special ...
4
votes
1answer
149 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 ...
3
votes
1answer
84 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
0answers
201 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
1answer
420 views

Rational points

Let $G$ be an affine algebraic group defined over a field of characteristic zero $K$. Suppose $G$ has only one single $K$-point, can we conclude that $G$ does not have more points?
28
votes
1answer
780 views
+250

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 ...
11
votes
3answers
611 views

Regular elements in the torus of a group of Lie type

Let $G$ be a simple linear algebraic group, and $F$ a Frobenius map, i.e. some power of $F$ is the standard Frobenius map which raises matrix entries to the $q$-th power. Then $G^F$ is a group of Lie ...
4
votes
1answer
195 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
1answer
66 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 ...
1
vote
0answers
69 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
3answers
221 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 ...
2
votes
1answer
282 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$, ...
4
votes
1answer
152 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 ...
3
votes
1answer
77 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 ...
18
votes
3answers
1k views

Small-index subgroups of SL(3,Z)

I would like to know the smallest-index subgroups of ${\rm SL}(3,\mathbb{Z})$. The smallest I could find has even entries $a_{3,1}$ and $a_{3,2}$, along the bottom row. I could not figure out ...
6
votes
2answers
134 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 ...
3
votes
1answer
186 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} ...
1
vote
0answers
24 views

faithful irreducible representation of linear algebraic group over reals [migrated]

Is it true that if a linear algebraic group defined over $\mathbb{R}$ has a faithful irreducible representation, then it is reductive?
11
votes
1answer
175 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). ...
4
votes
0answers
138 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$ ...
3
votes
2answers
195 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 = ...
4
votes
1answer
149 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 ...
2
votes
1answer
82 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 ...
8
votes
1answer
392 views

Kazhdan-Lusztig graph for the Springer fiber of the minimal special unipotent class?

This graph was determined in the case of simply-laced root systems by Igor Dolgachev and Norman Goldstein here. For other root systems the original question should be modified, leading to a precise ...
17
votes
1answer
215 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
1answer
166 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 ...
4
votes
0answers
150 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 ...
2
votes
0answers
99 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
1answer
75 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 ...
0
votes
0answers
90 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
0answers
114 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
1answer
221 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 ...
1
vote
1answer
107 views

Concept of Facets in the structure of reductive algebraic groups

Where can I find a precise definition of Facet ? In some online notes it is stated that Facet is a maximal subset of co-characters having the same sign for every root. But shouldn't then every facet ...
0
votes
0answers
57 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 ...
11
votes
4answers
794 views

Reference request: expository text on the structure of reductive groups over non-archimedean local fields

I am interested in an expository text in English, which summarizes the main results and aspects of the structure theory of reductive groups over local fields, in a hopefully not very technical manner ...
4
votes
2answers
273 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: ...
6
votes
3answers
291 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 -- ...
2
votes
0answers
85 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 ...
3
votes
2answers
154 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 ...
5
votes
1answer
139 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 ...
3
votes
0answers
66 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
1answer
104 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 ...
25
votes
8answers
3k views

Is every finite-dimensional Lie algebra the Lie algebra of an algebraic group?

Harold Williams, Pablo Solis, and I were chatting and the following question came up. In Lie group land (where you're doing differential geometry), given a finite-dimensional Lie algebra g, you can ...
6
votes
1answer
198 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
0answers
85 views

Conjugacy classes of involutions in Kac-Moody groups

Let $A=(a_{s,s'})_{s,s'\in S}$ be a generalized Cartan matrix. Let $G=G(A)$ be the corresponding simply connected complex Kac-Moody group with Cartan subgroup $H$ and Weyl group $W$ acting on $H$. ...
1
vote
1answer
235 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 ...
2
votes
1answer
314 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. ...
5
votes
1answer
354 views

Generating Classical Groups over Finite Local Rings

I am interested in classical groups (in particular $SL_n$, $Sp_{2n}$, $SO_n^{+}$) over finite rings of the form $$R_k=\mathbb{F}_q[t]/(t^k)$$ for some prime power $q$ (where $q$ is odd in the ...
3
votes
0answers
121 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
1answer
109 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 ...