Let $X$ be a smooth, projective, geometrically connected curve over a finite field $\mathbb{F}_q$, and let $G$ be a split semisimple algebraic group over $\mathbb{F}_q$. Its dual group $\hat{G}$ is a split reductive group over $\mathbb{Z}$. Conjecturally, any $l$-adic $\hat{G}$-local system on $X$ (equivalently, any conjugacy class of continuous homomorphisms $π_1(X) \to \hat{G}(\bar{\mathbb{Q}}_l)$) should be associated to an everywhere unramified automorphic representation of the group $G$.
We show that for any homomorphism $π_1(X) \to \hat{G}(\bar{\mathbb{Q}}_l)$ of Zariski dense image, there exists a finite Galois cover $Y \to X$ over which the associated local system becomes automorphic.
Let $d \ge 1$. We study a subspace of the space of automorphic forms of $\mathrm{GL}_d$ over a global field of positive characteristic (or, a function field of a curve over a finite field). We fix a place $\infty$ of $F$, and we consider the subspace $\mathcal{A}_{\mathrm{St}}$ consisting of automorphic forms such that the local component at $\infty$ of the associated automorphic representation is the Steinberg representation (to be made precise in the text). We have two results. One theorem (Theorem 16) describes the constituents of $\mathcal{A}_{\mathrm{St}}$ as automorphic representation an…
Let $q$ be a prime power and $\mathbb{F}_q$ be the finite field with $q$ elements. In this article we investigate the space of unramified automorphic forms for $\mathrm{PGL}_n$ over the rational function field defined over $\mathbb{F}_q$ (i.e.\ for $\mathbb{P}^1$ defined over $\mathbb{F}_q$). In particular, we prove that the space of unramified cusp form is trivial and (for $n=3$) that the space of eigenforms is one dimensional. Moreover, we show that there are no nontrivial unramified toroidal forms for $\mathrm{PGL}_3$ over $\mathbb{P}^1$ and conjecture that the space of all toroidal automor…
I give an algorithm for computing the full space of automorphic forms for definite unitary groups over Q, and apply this to calculate the automorphic forms of level $G(Z-hat)$ and various small weights for an example of a rank 3 unitary group. This leads to some examples of various types of endoscopic lifting from automorphic forms for U_1 x U_1 x U_1 and U_1 x U_2, and to an example of a non-endoscopic form of weight (3,3) corresponding to a family of 3-dimensional irreducible l-adic Galois representations. I also compute the 2-adic slopes of some automorphic forms with level structure at 2, …
If C is a smooth projective curve over a number field k, then, under fair hypotheses, its L-function admits meromorphic continuation and satisfies the anticipated functional equation if and only if a related function is X-mean-periodic for some appropriate functional space X. Building on the work of Masatoshi Suzuki for modular elliptic curves, we will explore the dual relationship of this result to the widely believed conjecture that such L-functions should be automorphic. More precisely, we will directly show the orthogonality of the matrix coefficients of GL_{2g}-automorphic representations…
In \cite{lafforgue2012chtoucas}, Vicent Lafforgue attaches a semisimple Langlands parameter (or, what amounts to the same thing, a $\hat{G}$-pseudocharacter) to every cuspidal automorphic representation of a reductive group $G$ over the field of functions of a smooth projective algebraic curve $X$ over a finite field. Hence, gets a decomposition of the space of cusp forms. In this note, we show that in the case of $G = SL(n)$, Lafforgue's decomposition coincides with the classical decomposition using $L$-packets, and moreover, the number of ($G$-equivalence classes of) extensions of an unramif…
Let $F$ be a number field. These notes explore Galois-theoretic, automorphic, and motivic analogues and refinements of Tate's basic result that continuous projective representations $Gal(\bar{F}/F) \to PGL_n(C)$ lift to $GL_n(C)$. We take special interest in the interaction of this result with algebraicity (on the automorphic side) and geometricity (in the sense of Fontaine-Mazur). On the motivic side, we study refinements and generalizations of the classical Kuga-Satake construction. Some auxiliary results touch on: possible infinity-types of algebraic automorphic representations; comparison …
Let X be a smooth projective connected curve over an algebraically closed field k of positive characteristic. Let G be a reductive group over k, γbe a dominant coweight for G, and E be an \ell-adic \check{G}-local system on X, where \check{G} denotes the Langlands dual group. Let \Bun_G be the moduli stack of G-bundles on X. Under some conditions on the triple (G,γ,E) we propose a conjectural construction of a distinguished E-Hecke automorphic sheaf on \Bun_G. We are motivated by a construction of automorphic forms suggested by Ginzburg, Rallis and Soudry in [6,7]. We also generalize Laumon's …
Let $G$ be a connected split reductive group over a finite field ${\mathbb F}_q$ and $X$ a smooth projective geometrically connected curve over ${\mathbb F}_q$. The $\ell$-adic cohomology of stacks of $G$-shtukas is a generalization of the space of automorphic forms with compact support over the function field of $X$. In this paper, we construct a constant term morphism on the cohomology of stacks of shtukas which is a generalization of the constant term morphism for automorphic forms. We also define the cuspidal cohomology which generalizes the space of cuspidal automorphic forms. Then we sho…
Generalised hypergeometric sheaves are rigid local systems on the punctured projective line with remarkable properties. Their study originated in the seminal work of Riemann on the Euler--Gauss hypergeometric function and has blossomed into an active field with connections to many areas of mathematics. In this paper, we construct the Hecke eigensheaves whose eigenvalues are the irreducible hypergeometric local systems, thus confirming a central conjecture of the geometric Langlands program for hypergeometrics. The key new concept is the notion of hypergeometric automorphic data. We prove that …
We consider certain families of automorphic representations over number fields arising from the principle of functoriality of Langlands. Let $G$ be a reductive group over a number field $F$ which admits discrete series representations at infinity. Let $^{L}G=\hat G \rtimes \mathrm{Gal}(\bar F/F)$ be the associated $L$-group and $r:{}^L G\to \mathrm{GL}(d,\mathbb{C})$ a continuous homomorphism which is irreducible and does not factor through $\mathrm{Gal}(\bar F/F)$. The families under consideration consist of discrete automorphic representations of $G(\mathbb{A}_F)$ of given weight and level a…
In this article we consider outer Galois actions on a free profinite group of rank two, induced by the étale fundamental group of a projective line minus three points or of a pointed elliptic curve over a number field. Under mild technical assumptions their respective images uniquely determine the curves and the number fields.
Let K/F be an arbitrary Galois extension of number fields and r be a representation of Gal(K/F) into GSp(4,C). Let E_16 be the elemetary abelian group of order 16 and C_5 the cyclic group of order 5. If the image of r in the projective space PGSp(4,C) is isomorphic to the semidirect product of E_16 by C_5, then we show r satisfies Artin's conjecture by proving r corresponds to an automorphic representation. A specific case is given where r is primitive, so Artin's conjecture does not follow from previous results.
In this paper we construct a connection on the trivial G-bundle on the projective line for any simple complex algebraic group G, which is regular outside of the points 0 and infinity, has a regular singularity at the point 0, with principal unipotent monodromy, and has an irregular singularity at the point infinity, with slope 1/h, the reciprocal of the Coxeter number of G. This connection, which admits the structure of an oper in the sense of Beilinson and Drinfeld, appears to be the characteristic 0 counterpart of a hypothetical family of l-adic representations, which should parametrize a sp…
Let F be a global function field with constant field $\mathbb{F}_q$. Let G be a reductive group over $\mathbb{F}_q$. We establish a variant of Arthur's truncated kernel for G and for its Lie algebra which generalizes Arthur's original construction. We establish a coarse geometric expansion for our variant truncation. As applications, we consider some existence and uniqueness problems of some cuspidal automorphic representations for the functions field of the projective line $\mathbb{P}^1_{\mathbb{F}_q}$ with two points of ramifications.
This communication is an introduction to the Langlands Program and to ($G$-) shtukas (over algebraic curves) over function fields. Modular curves and Drinfeld (elliptic) modules and shtukas are used in coding theory. From this point of view the communication is concerned with mathematical models and methods of coding theory. For a connected reductive group $ G $ over a global field $ K $, the Langlands correspondence relates automorphic forms on $ G $ and global Langlands parameters, i.e. conjugacy classes of homomorphisms from the Galois group $ {\mathcal Gal} ({\overline K} / K) $ to the dua…
Let $π: E\to B$ be an elliptic surface defined over a number field $K$, where $B$ is a smooth projective curve, and let $P: B \to E$ be a section defined over $K$ with canonical height $\hat{h}_E(P)\not=0$. In this article, we show that the function $t \mapsto \hat{h}_{E_t}(P_t)$ on $B(\overline{K})$ is the height induced from an adelically metrized line bundle with non-negative curvature on $B$. Applying theorems of Thuillier and Yuan, we obtain the equidistribution of points $t \in B(\overline{K})$ where $P_t$ is torsion, and we give an explicit description of the limiting distribution on $B…
Let $C$ be a smooth projective irreducible curve defined over a finite field $\mathbb{F}_q$ and $K=\mathbb{F}_q(C)$. Let $A\subset K$ be the ring of functions regular outside a fixed place $\infty$ of $K$. Let $ϕ:A\to\text{End}(\mathbb{G}_a)$ be a Drinfeld $A$-module of rank $r$ defined over a finite extension $L$ of $K$ and $\hat{h}_ϕ$ its canonical height. Given a non-torsion point $α$ of $ϕ$ of degree $d$ over $K$, we prove that $\hat{h}_ϕ(α)\ge 1/d$. A similar statement is proved for the canonical height of a point of infinite order of a non-constant semi-stable elliptic curve defined over…
Let $F$ be the field of rational functions on a smooth projective curve over a finite field, and let $π$ be an unramified cuspidal automorphic representation for $\mathrm{PGL}_2$ over $F$. We prove a variant of the formula of Yun and Zhang relating derivatives of the $L$-function of $π$ to the self-intersections of Heegner-Drinfeld cycles on moduli spaces of shtukas. In our variant, instead of a self-intersection, we compute the intersection pairing of Heegner-Drinfeld cycles coming from two different quadratic extensions of $F$, and relate the intersection to the $r$-th derivative of a produc…
According to a program of Braverman, Kazhdan and Ngô Bao Châu, for a large class of split unramified reductive groups $G$ and representations $ρ$ of the dual group $\hat{G}$, the unramified local $L$-factor $L(s,π,ρ)$ can be expressed as the trace of $π(f_{ρ,s})$ for a suitable function $f_{ρ,s}$ with non-compact support whenever $\mathrm{Re}(s) \gg 0$. Such functions can be plugged into the trace formula to study certain sums of automorphic $L$-functions. It also fits into the conjectural framework of Schwartz spaces for reductive monoids due to Sakellaridis, who coined the term basic functio…
Let $X_{1}$ be a projective, smooth and geometrically connected curve over $\mathbb{F}_{q}$ with $q=p^{n}$ elements where $p$ is a prime number, and let $X$ be its base change to an algebraic closure of $\mathbb{F}_{q}$. We give a formula for the number of irreducible $\ell$-adic local systems ($\ell\neq p$) with a fixed rank over $X$ fixed by the Frobenius endomorphism. We prove that this number behaves like a Lefschetz fixed point formula for a variety over $\mathbb{F}_q$, which generalises a result of Drinfeld in rank $2$ and proves a conjecture of Deligne. To do this, we pass to the automo…
Let $f: \mathbb{P}^1\to \mathbb{P}^1$ be a map of degree $>1$ defined over a function field $k = K(X)$, where $K$ is a number field and $X$ is a projective curve over $K$. For each point $a \in \mathbb{P}^1(k)$ satisfying a dynamical stability condition, we prove that the Call-Silverman canonical height for specialization $f_t$ at point $a_t$, for $t \in X(\bar{\mathbb{Q}})$ outside a finite set, induces a Weil height on the curve $X$; i.e., we prove the existence of a $\mathbb{Q}$-divisor $D = D_{f,a}$ on $X$ so that the function $t\mapsto \hat{h}_{f_t}(a_t) - h_D(t)$ is bounded on $X(\bar{\m…
We show that the order three algebraic differential equation over ${\mathbb Q}$ satisfied by the analytic $j$-function defines a non-$\aleph_0$-categorical strongly minimal set with trivial forking geometry relative to the theory of differentially closed fields of characteristic zero answering a long-standing open problem about the existence of such sets. The theorem follows from Pila's modular Ax-Lindemann-Weierstrass with derivatives theorem using Seidenberg's embedding theorem and a theorem of Nishioka on the differential equations satisfied by automorphic functions. As a by product of this…
Let $G$ be a discrete countable group, and let $Γ$ be an almost normal subgroup. In this paper we investigate the classification of (projective) unitary representations $π$ of $G$ into the unitary group of the Hilbert space $l^2(Γ)$ that extend the left regular representation of $Γ$. Representations with this property are obtained by restricting to $G$ square integrable representations of a larger semisimple Lie group $\bar G$, containing $G$ as dense subgroup and such that $Γ$ is a lattice in $\bar G$. This type of unitary representations of of $G$ appear in the study of automorphic forms. We…
