Source author record

Nadir Matringe

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

16works
5topics
4close collaborators

Published work

16 publications

preprint2022arXiv

Intertwining periods and distinction for p-adic Galois symmetric pairs

We consider distinction of representations in the context of pp-adic Galois symmetric spaces. We provide new sufficient conditions for distinction of parabolically induced representations in terms of similar conditions on the inducing data and deduce a characterization for distinction of representations parabolically induced from cuspidal. We explicate the results further for classical groups and give several applications, in particular, concerning the preservation of distinction via Langlands functoriality. We relate our results with a conjecture of Dipendra Prasad.

preprint2022arXiv

The Kirillov model in families

Let FF be a non-archimedean local field, let kk be an algebraically closed field of characteristic ℓ\ell different from the residual characteristic of FF, and let AA be a commutative Noetherian W(k)W(k)-algebra, where W(k)W(k) denotes the Witt vectors. Using the Rankin-Selberg functional equations and extending recent results of the second author, we show that if VV is an A[GLn(F)]A[\text{GL}_n(F)]-module of Whittaker type, then the mirabolic restriction map on its Whittaker space is injective. This gives a new quick proof of the existence of Kirillov models for representations of Whittaker type, including complex representations, which generalizes to the ℓ\ell-modular and families setting, in contrast with the previous proofs. In the special case where A=k=Fℓ‾A=k=\overline{\mathbb{F}_{\ell}} and VV is irreducible generic, our result in particular answers a question of Vignéras from 1989.

preprint2016arXiv

Derivatives and asymptotics of Whittaker functions

Let FF be a pp-adic field, and GnG_n one of the groups GL(n,F)GL(n,F), GSO(2n−1,F)GSO(2n-1,F), GSp(2n,F)GSp(2n,F), or GSO(2(n−1),F)GSO(2(n-1),F). Using the mirabolic subgroup or analogues of it, and related "derivative" functors, we give an asymptotic expansion of functions in the Whittaker model of generic representations of GnG_n, with respect to a minimal set of characters of subgroups of the maximal torus. Denoting by ZnZ_n the center of GnG_n, and by NnN_n the unipotent radical of its standard Borel subgroup, we characterize generic representations occurring in L2(ZnNn\Gn)L^2(Z_nN_n\backslash G_n) in terms of these characters. This is related to a conjecture of Lapid and Mao for general split groups, asserting that the generic representations occurring in L2(ZnNn\Gn)L^2(Z_nN_n\backslash G_n) are the generic discrete series; we prove it for the group GnG_n.

preprint2016arXiv

Derivatives and Asymptotics of Whittaker functions

Let F be a p-adic field, and Gn one of the groups GL(n, F), GSO(2n-1, F), GSp(2n, F), or GSO(2(n - 1), F). Using the mirabolic subgroup or analogues of it, and related "derivative" functors, we give an asymptotic expansion of functions in the Whittaker model of generic representations of Gn, with respect to a minimal set of characters of subgroups of the maximal torus. Denoting by Zn the center of Gn, and by Nn the unipotent radical of its standard Borel subgroup, we characterize generic representations occurring in L2(ZnNn\Gn) in terms of these characters. This is related to a conjecture of Lapid and Mao for general split groups, asserting that the generic representations occurring in L2(ZnNn\Gn) are the generic discrete series; we prove it for the group Gn.

preprint2016arXiv

Distinction of the Steinberg representation for inner forms of GL(n)GL(n)

Let FF be a non archimedean local field of characteristic not 22. Let DD be a division algebra of dimension d2d^2 over its center FF, and EE a quadratic extension of FF. If mm is a positive integer, to a character χχ of E∗E^*, one can attach the Steinberg representation St(χ)St(χ) of G=GL(m,D⊗FE)G=GL(m,D\otimes_F E). Let HH be the group GL(m,D)GL(m,D), we prove that St(χ)St(χ) is HH-distinguished if and only if χ∣F∗χ_{|F^*} is the quadratic character ηE/Fmd−1η_{E/F}^{md-1}, where ηE/Fη_{E/F} is the character of F∗F^* with kernel the norms of E∗E^*. We also get multiplicity one for the space of invariant linear forms. As a corollary, we see that the Jacquet-Langlands correspondence preserves distinction for Steinberg representations.

preprint2016arXiv

On the local Bump-Friedberg L function II

Let FF be a pp-adic field with residue field of cardinality qq. To each irreducible representation of GL(n,F)GL(n,F), we attach a local Euler factor LBF(q−s,q−t,π)L^{BF}(q^{-s},q^{-t},π) via the Rankin-Selberg method, and show that it is equal to the expected factor L(s+t+1/2,ϕπ)L(2s,Λ2∘ϕπ)L(s+t+1/2,ϕ_π)L(2s,Λ^2\circ ϕ_π) of the Langlands' parameter ϕπϕ_π of ππ. The corresponding local integrals were introduced in [BF], and studied in [M15]. This work is in fact the continuation of [M15]. The result is a consequence of the fact that if δδ is a discrete series representation of GL(2m,F)GL(2m,F), and χχ is a character of Levi subgoup L=GL(m,F)×GL(m,F)L=GL(m,F)\times GL(m,F), trivial on GL(m,F)GL(m,F) embedded diagonally, then δδ is (L,χ)(L,χ)-distinguished if an only if it admits a Shalika model, a result which was only established for χ=1χ=1 before.

preprint2016arXiv

Test vectors for local periods

Let E/FE/F be a quadratic extension of non-archimedean local fields of characteristic zero. An irreducible admissible representation ππ of GL(n,E)GL(n,E) is said to be distinguished with respect to GL(n,F)GL(n,F) if it admits a non-trivial linear form that is invariant under the action of GL(n,F)GL(n,F). It is known that there is exactly one such invariant linear form up to multiplication by scalars, and an explicit linear form is given by integrating Whittaker functions over the FF-points of the mirabolic subgroup when ππ is unitary and generic. In this paper, we prove that the essential vector of [JPSS81] is a test vector for this standard distinguishing linear form and that the value of this form at the essential vector is a local LL-value. As an application we determine the value of a certain proportionality constant between two explicit distinguishing linear forms. We then extend all our results to the non-unitary generic case.

preprint2015arXiv

Rankin-Selberg local factors modulo ℓ\ell

After extending the theory of Rankin-Selberg local factors to pairs of ℓ\ell-modular representations of Whittaker type, of general linear groups over a non-archimedean local field, we study the reduction modulo ℓ\ell of ℓ\ell-adic local factors and their relation to these ℓ\ell-modular local factors. While the ℓ\ell-modular local γγ-factor we associate to such a pair turns out to always coincide with the reduction modulo ℓ\ell of the ℓ\ell-adic γγ-factor of any Whittaker lifts of this pair, the local LL-factor exhibits a more interesting behaviour; always dividing the reduction modulo-ℓ\ell of the ℓ\ell-adic LL-factor of any Whittaker lifts, but with the possibility of a strict division occurring. In our main results, we completely describe ℓ\ell-modular LL-factors in the generic case. We obtain two simple to state nice formulae: Let π,π′π,π' be generic ℓ\ell-modular representations; then, writing πb,πb′π_b,π'_b for their banal parts, we have L(X,π,π′)=L(X,πb,πb′).L(X,π,π')=L(X,π_b,π_b'). Using this formula, we obtain the inductivity relations for local factors of generic representations. Secondly, we show that L(X,π,π′)=GCD(rℓ(L(X,τ,τ′))),L(X,π,π')=\mathbf{GCD}(r_{\ell}(L(X,τ,τ'))), where the divisor is over all integral generic ℓ\ell-adic representations ττ and τ′τ' which contain ππ and π′π', respectively, as subquotients after reduction modulo ℓ\ell.

preprint2014arXiv

Characterization of Termination for Linear Loop Programs

We present necessary and sufficient conditions for the termination of linear homogeneous programs. We also develop a complete method to check termination for this class of programs. Our complete characterization of termination for such programs is based on linear algebraic methods. We reduce the verification of the termination problem to checking the orthogonality of a well determined vector space and a certain vector, both related to loops in the program. Moreover, we provide theoretical results and symbolic computational methods guaranteeing the soundness, completeness and numerical stability of the approach. Finally, we show that it is enough to interpret variable values over a specific countable number field, or even over its ring of integers, when one wants to check termination over the reals.

preprint2014arXiv

Generating Asymptotically Non-Terminating Initial Values for Linear Programs

We present the notion of asymptotically non-terminating initial variable values for linear loop programs. Those values are directly associated to initial variable values for which the corresponding program does not terminate. Our theoretical contributions provide us with powerful computational methods for automatically generating sets of asymptotically non-terminating initial variable values. Such sets are represented symbolically and exactly by a semi-linear space, e.g., characterized by conjunctions and disjunctions of linear equalities and inequalities. Moreover, by taking their complements, we obtain a precise under-approximation of the set of inputs for which the program does terminate. We can then reduce the termination problem of linear programs to the emptiness check of a specific set of asymptotically non-terminating initial variable values. Our static input data analysis is not restricted only to programs where the variables are interpreted over the reals. We extend our approach and provide new decidability results for the termination problem of affine integer and rational programs.

preprint2014arXiv

On the Termination of Linear and Affine Programs over the Integers

The termination problem for affine programs over the integers was left open in\cite{Braverman}. For more that a decade, it has been considered and cited as a challenging open problem. To the best of our knowledge, we present here the most complete response to this issue: we show that termination for affine programs over Z is decidable under an assumption holding for almost all affine programs, except for an extremely small class of zero Lesbegue measure. We use the notion of asymptotically non-terminating initial variable values} (ANT, for short) for linear loop programs over Z. Those values are directly associated to initial variable values for which the corresponding program does not terminate. We reduce the termination problem of linear affine programs over the integers to the emptiness check of a specific ANT set of initial variable values. For this class of linear or affine programs, we prove that the corresponding ANT set is a semi-linear space and we provide a powerful computational methods allowing the automatic generation of these ANTANT sets. Moreover, we are able to address the conditional termination problem too. In other words, by taking ANT set complements, we obtain a precise under-approximation of the set of inputs for which the program does terminate.

preprint2014arXiv

Unitary representations of GL(n,K) distinguished by a Galois involution, for K a p-adic field

Let FF be a pp-adic field, and KK a quadratic extension of FF. Using Tadic's classification of the unitary dual of GL(n,K)GL(n,K), we give the list of irreducible unitary representations of this group distinguished by GL(n,F)GL(n,F), in terms of distinguished discrete series. As it is known that a generalised Steinberg representation St(k,ρ)St(k,ρ) is distinguished if and only if the cuspidal representation ρρ is ηk−1η^{k-1}-distinguished, for ηη the character of F∗F^* with kernel the norms of K∗K^*, this actually gives a classification of distinguished unitary representations in terms of distinguished cuspidal representations.

preprint2013arXiv

On the local Bump-Friedberg L-function

Let FF be a pp-adic field. If ππ be an irreducible representation of GL(n,F)GL(n,F), Bump and Friedberg associated to ππ an Euler fator L(π,BF,s1,s2)L(π,BF,s_1,s_2) in \cite{BF}, that should be equal to L(ϕ(π),s1)L(ϕ(π),Λ2,s2)L(ϕ(π),s_1)L(ϕ(π),Λ^2,s_2), where ϕ(π)ϕ(π) is the Langlands' parameter of ππ. The main result of this paper is to show that this equality is true when (s1,s2)=(s+1/2,2s)(s_1,s_2)=(s+1/2,2s), for ss in $\C$. To prove this, we classify in terms of distinguished discrete series, generic representations of GL(n,F)GL(n,F) which are χαχ_α-distinguished by the Levi subgroup GL([(n+1)/2],F)×GL([n/2],F)GL([(n+1)/2],F) \times GL([n/2],F), for χα(g1,g2)=α(det(g1)/det(g2))χ_α(g_1,g_2)=α(det(g_1)/det(g_2)), where αα is a character of F∗F^* of real part between -1/2 and 1/2. We then adapt the technique of \cite{CP} to reduce the proof of the equality to the case of discrete series. The equality for discrete series is a consequence of the relation between linear periods and Shalika periods for discrete series, and the main result of \cite{KR}.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.