Skip to main content

All Questions

Filter by
Sorted by
Tagged with
11 votes
1 answer
1k views

Pointless groups

This question now has two sequels, Pointless groups II (to which @R.vanDobbendeBruyn gave a counterexample for an infinite, imperfect field) and Pointless groups III, both using revised wording ...
2 votes
0 answers
154 views

Reference request - obtaining finite simple groups from algebraic groups

I'm looking for references for the following statements, which I believe are true: Let $G$ be a simply connected simple linear algebraic group over a finite field $k$ of cardinality $q\ge 4$. Let $Z\...
3 votes
2 answers
221 views

Number of involutions in finite reductive groups

Let $G$ be a connected split reductive group over $\mathbb{Z}$. Let $n$ be a positive integer. Let $i_n(q)$ be the number of elements of $G(\mathbb{F}_q)$ satisfying $x^n=1$. Question: Is there a &...
3 votes
1 answer
237 views

invariant subspaces of general linear groups for finite fields

Let $K$ be a finite field, let $n\ge 1$ be an integer and let $G=\mathrm{GL}(n,K)$ be acting linearly on a finite dimensional $K$-vector space $V$. Although $G$ is a reductive group, it is not ...
5 votes
1 answer
203 views

Orbit counting polynomials over finite fields

Let $X$ be an affine variety defined over $\mathbb{Z}$ and let $G$ be an algebraic group defined over $\mathbb{Z}$. Let $q$ be a power of a prime number. We write $\mathbb{F}_q$ for the field with $q$ ...
3 votes
1 answer
181 views

Centralizers of $\mathbb{F}_q$-rational semisimple elements of a finite group of Lie type

Let $\mathbb{G}$ be a connected reductive $\mathbb{F}_q$ algebraic group over its algebraic closure $\bar{\mathbb{F}_q}$, and $\mathbb{T}$ be an $\mathbb{F}_q$-defined maximal torus. Let $\Phi$ be the ...
4 votes
1 answer
287 views

Character values of principal series representations of $GL_n(\mathbb{F}_q)$

Let $P_{\alpha}$ be the principal series representation of $GL_n(\mathbb{F}_q)$, where $\alpha = ( \alpha_1, \alpha_2, \cdots, \alpha_n)$ and $\alpha_i : \mathbb{F}_q^* \rightarrow \mathbb{C}^*$. ...
3 votes
1 answer
169 views

Image of the Lang-Steinberg map on disconnected centralizers of semisimple elements

Let $\newcommand{\dbF}{\mathbb F}\dbF_q$ be a finite field and let $G\subseteq\mathrm{GL}_N(\bar{\dbF}_q)$ be a connected reductive group defined over $\dbF_q$. Let $F$ be the associated Frobenius map,...
6 votes
0 answers
160 views

$\mathbb{F}_q$-rational elements in unipotent classes of a finite group of Lie-type

I've tried posting this question on MSE, but didn't manage to get an answer there, so I'm trying again here. Sorry in advance if this question is trivial or trivially false. I haven't managed to find ...
0 votes
0 answers
147 views

Groups implementable by finite field

I'm interested in finding all groups for which the group operation (and inverse map) may be implemented using finite field arithmetic. I've done some searching and have come across "algebraic groups",...
1 vote
1 answer
154 views

Lifting Lang-Steinberg to DVR's in Characteristic 0

Let $A$ be a compact DVR in characteristic $0$, uniformizer $\pi$ and residue field $k$. Let $A\subset B$ be a complete DVR with the same uniformizer $\pi$ and algebraicly closed residue field $F$. ...
4 votes
0 answers
99 views

Monoid cohomology of $\mathbb{N}$ for a linear algebraic group

Let $k$ be a finite field and $k_E:=k((X))$ denote the field of Laurent series over $k$. We define a Frobenius endomorphism on $k_E$ via $f(X)\mapsto f(X^p)$. We choose a lift $\varphi:k_E^{sep}\...
2 votes
2 answers
327 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 ...
2 votes
1 answer
115 views

Binary algebra, is it possible to partition the elements in GF(2^12) into 65 subgroups closed under addition?

The set of all binary vectors with 12 components forms a field with 2^12 elements containing 000000000000 and another 65*63 elements. Is it possible to partition these elements into 65 subgroups of 63 ...
3 votes
1 answer
608 views

Representation of GL(n, F_p) over F_p, for n small

The question is related to this post Representation theory of the general linear group over a finite prime field However, I am asking for more detailed references for n small, for example, for n=2, ...
6 votes
1 answer
560 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 \...
7 votes
2 answers
2k views

The Lang isogeny

Let $G$ be a connected commutative algebraic group over $\mathbb{F}_q$. If $\text{Fr}_q : G \to G$ denotes the $q$-Frobenius morphism, we define the Lang isogeny $L_q$ to be the endomorphism of $G$ ...