Search

Let $G$ be a subgroup of ${\rm PGL}_2({\mathbb F}_q)$, where $q$ is any prime power, and let $Q \in {\mathbb F}_q[x]$ such that ${\mathbb F}_q(x)/{\mathbb F}_q(Q(x))$ is a Galois extension with group $G$. By explicitly computing the Artin map on unramified degree-1 primes in ${\mathbb F}_q(Q)$ for various groups $G$, interesting new results emerge about finite fields, additive polynomials, and conjugacy classes of ${\rm PGL}_2({\mathbb F}_q)$. For example, by taking $G$ to be a unipotent group, one obtains a new characterization for when an additive polynomial splits completely over ${\mathbb F}_q$. When $G = {\rm PGL}_2({\mathbb F}_q)$, one obtains information about conjugacy classes of ${\rm PGL}_2({\mathbb F}_q)$. When $G$ is the group of order 3 generated by $x \mapsto 1 - 1/x$, one obtains a natural tripartite symbol on ${\mathbb F}_q$ with values in ${\mathbb Z}/3{\mathbb Z}$. Some of these results generalize to ${\rm PGL}_2(K)$ for arbitrary fields $K$. Apart from the introduction, this article is written from first principles, with the aim to be accessible to graduate students or advanced undergraduates. An earlier draft of this article was published on the Math arXiv in June 2019 under the title {\it More structure theorems for finite fields}., Comment: Version 4 contains minor corrections and updates to the bibliograpy. Version 3 is a major revision, including a change in the title from "More structure theorems for finite fields" to "Explicit Artin maps into PGL2". The author thanks Xander Faber for insightful comments that led to the change in the title

To each automorphism of a spherical building, there is a naturally associated opposition diagram, which encodes the types of the simplices of the building that are mapped onto opposite simplices. If no chamber (that is, no maximal simplex) of the building is mapped onto an opposite chamber, then the automorphism is called domestic. In this paper, we give the complete classification of domestic automorphisms of split spherical buildings of types $\mathsf {E}_6$ , $\mathsf {F}_4$ , and $\mathsf {G}_2$ . Moreover, for all split spherical buildings of exceptional type, we classify (i) the domestic homologies, (ii) the opposition diagrams arising from elements of the standard unipotent subgroup of the Chevalley group, and (iii) the automorphisms with opposition diagrams with at most two distinguished orbits encircled. Our results provide unexpected characterizations of long root elations and products of perpendicular long root elations in long root geometries, and analogues of the density theorem for connected linear algebraic groups in the setting of Chevalley groups over arbitrary fields.

This article deals with the tamely ramified geometric Langlands correspondence for GL_2 on $\mathbf{P}_{\mathbf{F}_q}^1$, where $q$ is a prime power, with tame ramification at four distinct points $D = \{\infty, 0,1, t\} \subset \mathbf{P}^1(\mathbf{F}_q)$. We describe in an explicit way (1) the action of the Hecke operators on a basis of the cusp forms, which consists of $q$ elements; and (2) the correspondence that assigns to a pure irreducible rank 2 local system $E$ on $\mathbf{P}^1 \setminus D$ with unipotent monodromy its Hecke eigensheaf on the moduli space of rank 2 parabolic vector bundles. We define a canonical embedding $\mathbf{P}^1$ into this module space and show with a new proof that the restriction of the eigensheaf to the degree 1 part of this moduli space is the intermediate extension of $E$., 34 pages

We prove the vanishing of z -eigen distributions on a quasi-split real reductive group which change according to a non-degenerate character under the left action of the unipotent radical of the Borel subgroup, and are equivariant under the right action of a spherical subgroup.