The tag has no wiki summary.

learn more… | top users | synonyms

0
votes
0answers
3 views

Non-linearly isomorphic non-equivalent $G-$representations?

Let $G$ be an algebraic group (or a group scheme) over a field $\Bbbk$, and let $V$ be an algebraic $G-$representation (I mean, corresponding to a homomorphism of $\Bbbk-$group schemes $G\rightarrow ...
2
votes
0answers
104 views

Can the commuting condition in Jordan-Chevalley decomposition be replaced with this global criterion?

Let $G$ be a reductive linear algebraic group defined over an algebraically closed field $k$ of arbitrary characteristic, and write $\mathfrak{g}$ for its Lie algebra. The Jordan-Chevalley ...
1
vote
0answers
72 views

Symmetric spaces which are compact modulo the unipotent radical are compact

Is the following true? Let $X = G/H$ be a symmetric space of a reductive group over a p-adic field $F$. Let $X^0$ be an open orbit w.r.t. the action of the minimal parabolic $B$ of $G$. Let $U$ be ...
0
votes
0answers
85 views

Parahoric group schemes over curves

Let $X$ be a smooth projective curve over $\mathbb{C}$ and Let $G$ be a complex reductive group. By a parahoric group scheme $\mathcal{G}$ over $X$, I mean a smooth group scheme over $X$ whose ...
1
vote
1answer
64 views

Global centralizers in Jordan-Chevalley decomposition in bad characteristic

Let $G$ be an affine algebraic group defined over an algebraically closed field $k$ of arbitrary characteristic, and write $\mathfrak{g}$ for its Lie algebra. Given $X\in\mathfrak{g}$, it has ...
10
votes
1answer
303 views

The Mordell and Bogomolov problems in linear groups

Many things in the arithmetic of abelian varieties have counterparts not only in linear tori, but also for semisimple linear groups. Two examples are the Tamagawa number and the conjectured finiteness ...
3
votes
1answer
70 views

Density of $\Gamma(N)$ in $\mathrm{Sp}_{2g}(\mathbb{Z}_{\ell})$ where $\ell \not | N$

Let $\mathrm{Sp}_{2g}$ denote the symplectic group of $2g \times 2g$ matrices for some $g \geq 1$, and let $\Gamma(N)$ be the level-$N$ principal congruence subgroup of $\mathrm{Sp}_{2g}(\mathbb{Z})$. ...
2
votes
2answers
218 views

Specialisations of flag varieties

Recall that a flag variety over a field $k$ is a smooth projective variety over $k$, which is a homogeneous space for some linear algebraic group. My question concerns specialisations of flag ...
4
votes
0answers
123 views

Is a semiabelian algebraic space a scheme?

Let $S$ be a scheme and let $A$ be a commutative separated smooth $S$-group algebraic space of finite presentation each of whose geometric fibers is an extension of an abelian variety by a torus. Is ...
2
votes
0answers
87 views

$X$-points of reductive group schemes, if $X$ is a proper smooth curve over a finite field

Let $X$ be a connected proper smooth curve over a finite field (so the generic point of $X$ is the spectrum of a global field $K$), and let $G \rightarrow X$ be an affine $X$-group scheme of finite ...
6
votes
1answer
205 views

Generalization of Frobenius groups

Frobenius group is a transitive permutation group on a finite set, such that no non-trivial element fixes more than one point and some non-trivial element fixes a point. In other words, if in a ...
4
votes
1answer
167 views

Automorphisms of SO_n(k,f)

Let $k$ be a field, $n\in\mathbb{N}$ and $f:k^n\times k^n\to k$ a non-degenerate symmetric bilinear form. Let $$O_n(k,f):=\{ g\in GL_n(k) \mid \forall x,y\in k^n : f(x,y)=f(g.x,g.y) \}$$ and ...
0
votes
0answers
7 views

How to characterize elements in the Bruhat open cell? [migrated]

This might be an elementary question. For simplicity, let's assume $G=GL(n,F)$, where $F$ is a local field. Let $U$ be the subgroup of upper triangular unipotents, $A$ the subgroup of diagonal ...
0
votes
3answers
120 views

How do I show that a separable isogeny is central?

I've been trying to prove this (probably very simple) result that is stated in a paper that I'm reading: Let $G$ and $H$ be connected semisimple algebraic groups defined over a field $F$, and let $f: ...
1
vote
0answers
300 views

Rational structures on the flag variety over a finite field

Some Notions A variety over a field is defined to be a scheme of finite type over this field. An $\mathbb{F}_q$-rational structure of an $\bar{\mathbb{F}}_q$-variety $V$ is a $\mathbb{F}_q$-variety ...
2
votes
0answers
53 views

Springer Isomorphisms for Adjoint Simple Exceptional Groups

I'm trying to understand explicitly a construction of Springer isomorphisms for adjoint exceptional groups given by Bardsley and Richardson. Their construction is as follows. Let $G$ be an adjoint ...
1
vote
0answers
70 views

What is classified by $H^1(\mathbb{R},SO(p,q))$ and by $H^1(\mathbb{R},SU(p,q))$?

We denote by $F^{\mathbb{R}}_{p,q}$ the quadratic form over the field ${\mathbb{R}}$ $$ F^{\mathbb{R}}_{p,q}(x)=x_1^2+\dots+x_p^2-(x_{p+1}^2+\dots+x_{p+q}^2) $$ on the vector space ...
6
votes
3answers
409 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
1answer
173 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
0answers
109 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
1answer
189 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
1answer
245 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
1answer
119 views

About G-modules with good filtrations

Let $k$ be an algebraically closed field of positive characteristic, and let $G$ be a reductive algebraic group over $k$ (for instance a classical group). Let $V$ be a (rational) $G$-module. We say ...
6
votes
1answer
94 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 ...
6
votes
2answers
205 views

$G_\mathbb{Z}$-homotopy type of rational Tits building $\Delta_{G, \mathbb{Q}}$

Take $G$ to be a standard semisimple algebraic $\mathbb{Q}$-group, e.g. $Sp_{2g}$ or $SO(h)$ for $h$ a nondegenerate quadratic form over $\mathbb{Q}$. The arithmetic group $\Gamma=G_{\mathbb{Z}}$ has ...
1
vote
2answers
111 views

Explicit description of algebraic hull

I wonder for an explicit description of the "algebraic hull" (and it's associated Hopf algebra) of a given (discrete) group. I know the answer only for finite groups $G$ which is equal to Spec of the ...
2
votes
0answers
52 views

Cohomology and quotients for the canonical topology

Recall that for any category $\mathcal C$, there is a unique finest topology, the canonical topology on $\mathcal C$ for which all representable functors are sheaves. I am interested in the example ...
0
votes
0answers
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$ ...
0
votes
0answers
58 views

Group schemes decomposition

Given an abelian group scheme of finite type $(G,+)$ over $\mathbb{F}$ connected, and given two connected closed subgroup schemes of finite type $G$ over $\mathbb{F}$ connected $H$, $N$ of $G$. ...
1
vote
0answers
207 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
1answer
86 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 ...
3
votes
2answers
146 views

Elementary abelian $p$-subgroups of maximal rank in finite groups of Lie type

Let $k$ be an algebraically closed field of characteristic $p>0$, and let $G$ be a reductive group defined over $\mathbb{F}_p$. For any $d\in\mathbb{Z}^+$, let $C_d(G)$ be the set of conjugacy ...
0
votes
0answers
69 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 ...
16
votes
3answers
367 views

Real Lie groups versus real linear algebraic groups: differences in connexity and fundamental group

There are many introductory texts on real Lie groups, and many on linear algebraic groups in general, but fewer on the specific case of linear algebraic groups over the reals, and even fewer that try ...
3
votes
1answer
360 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 ...
2
votes
0answers
81 views

surjective homomorphism with compact kernel (Milne's note on Shimura varieties)

I'm reading Milne's Introduction to Shimura varieties (http://www.jmilne.org/math/xnotes/svi.pdf) and there is something I don't get. Let $G$ be a connected semisimple algebraic group $G$ over ...
1
vote
1answer
67 views

when the derived group of the group of $k$-rational points has nonempty interior in the strong topology

Suppose that $G$ is an absolutely quasi-simple algebraic group defined over a non-archimedean local field $k$ of positive characteristic. Would there be any kind of reasonable sufficient condition for ...
3
votes
4answers
339 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) ...
1
vote
1answer
122 views

Tables of data associated to reductive algebraic groups?

I am looking for a reference that contains lots of calculations for specific examples of various objects one can associate to a reductive algebraic group. For example, given a (specific) linear ...
3
votes
2answers
164 views

an algebraic group where the function field is not separable over the ground field

Suppose we have an algebraic group $G$ defined over a field $k$. Suppose we consider the fraction field of $k[G]$. Is it possible to get a situation where this field is not a separable extension of ...
9
votes
2answers
524 views

Is GL2( R ) - > PGL2( R ) surjective?

Consider $GL_2$ as the affine group scheme with coordinate ring ${\mathbb Z}[x_1,x_2,x_3,x_4,y]/(\det\left(\begin{array}{cc}x_1& x_2\\ x_3& x_4\end{array}\right)y-1)$. The group scheme ...
3
votes
1answer
203 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
3answers
588 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 ...
1
vote
1answer
139 views

$\Gamma$-action on maximal tori in Borel-Tits

This is about section 6.2 in Borel-Tits' Groupes réductifs where they define a certain $\Gamma$-action on maximal split tori, denoted as $_\Delta \gamma$, distinct from the "usual" one. (If I am not ...
1
vote
0answers
125 views

Reductive Group Actions and Completion

Suppose that $A$ is a Noetherian (not necessarily commutative) $\mathbb{C}[h]$-algebra equipped with a rational action of an affine reductive group $G$, i.e., $A$ is a $\mathbb{C}[G]$-comodule and ...
1
vote
1answer
98 views

Iwasawa decomposition of the pseudo-orthogonal group

This is a soft-question, but I haven't found an answer anywhere: do the factors of the Iwasawa decomposition of the pseudo-orthogonal group SO(p, q) have a simple form, in the same way that the ...
0
votes
0answers
60 views

What algebras does the hidden subgroup problem for finite abelian groups apply to?

Shor's algorithm is said to solve the hidden subgroup problem for finite Abelian groups, of which factoring and the discrete logarithm problem for integers belong to. Apparently the HSP for finite ...
6
votes
3answers
389 views

$SL(n) \times SL(n)$-invariants of $m$-tuples of matrices

I work over field of complex numbers. Let $G=SL(n) \times SL(n)$, and $(A,B) \in G$ acts on $m$-tuples of matrices $M_{n \times n}(\mathbb{C})^{\oplus m}$ as follows $$ (A,B) \cdot (M_1, \ldots, M_m) ...
1
vote
4answers
205 views

Bruhat order and Schubert cycles

I am looking for a good (textbook) reference for the basic fact (due to Chevalley) that for every semisimple Lie group $G$ (without compact factors) with Weyl group $W$, the Bruhat order on $W$ ...
2
votes
0answers
91 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 ...