What are the points of simple algebraic groups over extensions of $\mathbb{F}_1$?

Question

The "field with one element" $\mathbb{F}_1$ is, of course, a very speculative object. Nevertheless, some things about it seem to be generally agreed, even if the theory underpinning them is not; in particular:

• $\mathbb{F}_1$ seems to have a unique extension of degree $m$, generally written $\mathbb{F}_{1^m}$ (even if this is slightly silly), which is thought to be in some sense generated by the $m$-th roots of unity. See, e.g., here and here and the references therein.

• If $G$ is a (split, =Chevalley) semisimple linear algebraic group, then $G$ is in fact "defined over $\mathbb{F}_1$", and $G(\mathbb{F}_1)$ should be the Weyl group $\mathcal{W}(G)$ of $G$. For example, $\mathit{SL}_n(\mathbb{F}_1)$ should be the symmetric group $\mathfrak{S}_n$. (See also this recent question.) I think this is, in fact, the sort of analogy which led Tits to suggest the idea of a field with one element in the first place.

These two ideas taken together suggest the following question:

What would be the points of a semisimple (or even reductive) linear algebraic group $G$ over the degree $m$ extension $\mathbb{F}_{1^m}$ of $\mathbb{F}_1$?

My intuition is that $\mathit{GL}_n(\mathbb{F}_{1^m})$ should be the generalized symmetric group $\mu_m\wr\mathfrak{S}_n$ (consisting of generalized permutation matrices whose nonzero entries are in the cyclic group $\mu_m$ of $m$-th roots of unity); and of course, the adjoint $\mathit{PGL}_n(\mathbb{F}_{1^m})$ should be the quotient by the central (diagonal) $\mu_m$; what $\mathit{SL}_n(\mathbb{F}_{1^m})$ should be is already less clear to me (maybe generalized permutation matrices of determinant $\pm1$ when $m$ is odd, and $+1$ when $m$ is even? or do we ignore the signature of the permutation altogether?). But certainly, the answer for general $m$ (contrary to $m=1$) will depend on whether $G$ is adjoint or simply connected (or somewhere in between).

I also expect the order of $G(\mathbb{F}_{1^m})$ to be $m^r$ times the order of $G(\mathbb{F}_1) = \mathcal{W}(G)$, where $r$ is the rank. And there should certainly be natural arrows $G(\mathbb{F}_{1^m}) \to G(\mathbb{F}_{1^{m'}})$ when $m|m'$. (Perhaps the conjugacy classes of the inductive limit can be described using some sort of Kac coordinates?)

Anyway, since the question is rather speculative, I think I should provide guidelines on what I consider an answer should satisfy:

• The answer need not follow from a general theory of $\mathbb{F}_1$. On the other hand, it should be generally compatible with the various bits of intuition outlined above (or else argue why they're wrong).

• More importantly, the answer should be "uniform" in $G$: that is, $G(\mathbb{F}_{1^m})$ should be constructed from some combinatorial data representing $G$ (root system, Chevalley basis…), not on a case-by-case basis.

(An even wilder question would be if we can give meaning to ${^2}A_n(\mathbb{F}_{1^m})$ and ${^2}D_n(\mathbb{F}_{1^m})$ and ${^2}E_6(\mathbb{F}_{1^m})$ when $m$ is even, and ${^3}D_4(\mathbb{F}_{1^m})$ when $3|m$.)

Answer 1

Not an answer - just opposite - some additional requirments which good answer may satisfy and further comments.

0) Parabolic subgroups should also be defined. I mean good definition should also come with definition of parabolic subgroups. For example for $S_n$, it seems natural to consider $S_{d_1}\times ... \times S_{d_k}$ as parabolics.

1) Element count should be compatible with "known" (= widely agreed) zeta-functions of P^n (and also Grassmanians, Flags). I mean one can define P^n, Grassmanians, Flags in a standard way just by quotients of G/Parabolic. So one should get number of points for such manifold over $F_{1^l}$, hence one can write a standard Weil's zeta function. For example for S_n for Grassamnian $|S_n/(S_k\times S_{n-k}) | = n!/(k!(n-k)!)$. Requirment: zeta should agree with the "known" one (for example s(s-1)...(s-n+1) for P^n).

2) Structure of representation theory of such groups should be similar to G(F_q). For example for GL(F_1^l) one may expect that similar structure as in Zelevinsky theorem (see MO272686), i.e. all representations (for all "n" GL(n)) organized into Hopf algebra using induction and restriction should be isomorphic to several copies of the same Hopf algebra for S_n, each copy for each cuspidal representation. Interesting question how many cuspidals will one have for fixed GL(n,F_1^l) ?

3) Alvis-Carter duality should work. It is defind as roughly speaking as follows - take character - restrict it to parabolic and than back induction, with summation over all parabolics with appropriate sign. The statement is that: it has order two and isometry on generalized characters. Steinberg representation is dual to trivial. For S_n it is transposition of Young diagram (if I rember correctly).

4) Frobenius action and Lang-Steiberg theorem. One knows that for F_q there is Frobenius and Lang-Steinberg theorem (e.g. G.Hiss page 15) holds that map $G^{-1}F(G)$ is surjection. How to define Frobenius ?

5) "Good" bijection between irreducible representation and conjugacy classes (toy Langldands correspondence). Similar to MO270916 one may expect "good" bijection between conjugacy classes - which might be considered as a toy model for local Langlands correspondence for field with one element. For example for S_n there is well-known "good" bijection between the two sets via Young diagrams.

---

OP made intersting proposal for an $GL(F_{1^n})$ - monomial matrices with roots of unity entries. It would be very intersting to check whether the properties above holds true for such proposal. What is most unclear for me - what should be Frobenius map ?