Searcharxiv⌕ Search

arXiv · math/0606263

Twisted character of a small representation of GL(4)

Abstract

We compute by a purely local method the (elliptic) twisted by transpose-inverse character χ_{π_Y} of the representation π_Y=I_{(3,1)}(1_3xχ_Y) of G=GL(4,F), where F is a p-adic field, p not 2, and Y is an unramified quadratic extension of F; χ_Y is the nontrivial character of F^\x/N_{Y/F}Y^x. The representation π_Y is normalizedly induced from \pmatrix m_3&\ast 0&m_1\endpmatrix \mapstoχ_Y(m_1), m_i in GL(i,F), on the maximal parabolic subgroup of type (3,1). We show that the twisted character χ_{π_Y} of π_Y is an unstable function: its value at a twisted regular elliptic conjugacy class with norm in C_Y=``GL(2,Y)/F^x'' is minus its value at the other class within the twisted stable conjugacy class. It is zero at the classes without norm in C_Y. Moreover π_Y is the endoscopic lift of the trivial representation of C_Y. We deal only with unramified Y/F, as globally this case occurs almost everywhere. Naturally this computation plays a role in the theory of lifting of C_Y and GSp(2) to GL(4) using the trace formula. Our work extends -- to the context of nontrivial central characters -- the work of math.NT/0606262, where representations of PGL(4,F) are studied. In math.NT/0606262 a 4-dimensional analogue of the model of the small representation of PGL(3,F) introduced with Kazhdan in a 3-dimensional case is developed, and the local method of computation introduced by us in the 3-dimensional case is extended. As in math.NT/0606262 we use here the classification of twisted (stable) regular conjugacy classes in GL(4,F).

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Yuval Z. Flicker, Dmitrii Zinoviev. 2006-06-12. Twisted character of a small representation of GL(4). https://arxiv.org/abs/math/0606263

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Modularity over $\mathbb{C}$ implies modularity over $\mathbb{Q}$

We give an account of Mazur's proof that, for an elliptic curve over $\mathbb{Q}$, if it admits a nonconstant mapping from $X(N)$ defined over the complex numbers $\mathbb{C}$, for some $N$, then it also admits a nonconstant mapping from $X_0(M)$ for some (possibly different) $M$ defined over the rational numbers $\mathbb{Q}$. We also briefly discuss two open questions of Khare concerning uniformisations of elliptic curves by noncongruence modular curves. This expository note is based on the author's expository talk in March 2022 during the 2nd Trimester Program on "Modularity and the Generalised Fermat Equation" held online and organised by Bhaskaracharya Pratishthana in Pune, India.

math.NT↗

On pairs of $r$-primitive and $k$-normal elements with prescribed traces over finite fields

Given $\mathbb{F}_{q^{n}}$, a field with $q^n$ elements, where $q $ is a prime power and $n$ is positive integer. For $r_1,r_2,m_1,m_2 \in \mathbb{N}$, $k_1,k_2 \in \mathbb{N}\cup \{0\}$, a rational function $F = \frac{F_1}{F_2}$ in $\mathbb{F}_{q}[x]$ with deg($F_i$) $\leq m_i$; $i=1,2,$ satisfying some conditions, and $a,b \in \mathbb{F}_{q}$, we construct a sufficient condition on $(q,n)$ which guarantees the existence of an $r_1$-primitive, $k_1$-normal element $ε\in \mathbb{F}_{q^n}$ such that $F(ε)$ is $r_2$-primitive, $k_2$-normal with $\operatorname{Tr}_{\mathbb{F}_{q^n}/\mathbb{F}_q}(ε) = a$ and $\operatorname{Tr}_{\mathbb{F}_{q^n}/\mathbb{F}_q}(ε^{-1}) = b$. For $m_1=10, \; m_2=11,\; r_1 = 3, \; r_2 = 2, \; k_1=2,\;k_2 = 1$, we establish bounds on $q$, for various $n$, to determine the existence of such elements in $\mathbb{F}_{q^{n}}$. Furthermore, we identify all such pairs $(q,n)$ excluding 10 possible values of $(q,n)$, in fields of characteristics 13.

math.NT↗

Uniform existential definitions of valuations in function fields in one variable

We study function fields of curves over a base field $K$ which is either a global field or a large field having a separable field extension of degree divisible by $4$. We show that, for any such function field, Hilbert's 10th Problem has a negative answer, the valuation rings containing $K$ are uniformly existentially definable, and the finitary holomorphy rings are definable by a universal-existential formula. In order to obtain these results, we develop further the usage of local-global principles for quadratic forms in function fields to definability of certain subrings. We include a first systematic presentation of this general method, without restriction on the characteristic.

math.NT↗