Source author record

Michael Harris

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

9works
3topics
4close collaborators

Published work

9 publications

preprint2022arXiv

Local Langlands correspondences

The first part of this article is a review of the properties expected of any local Langlands correspondence that aims to be considered "canonical," and of known results that establish some or all of these properties for specific groups. In the absence of compatibility with a global correspondence it is not known in general that this list of desirable properties suffices to characterize the correspondence. The remainder of the article outlines elements of a strategy to prove that the LL-packets attached to irreducible local parameters are finite and non-empty, in particular, for the specific parametrization constructed by Genestier and Lafforgue when FF is of positive characteristic.

preprint2022arXiv

On the generalized Ramanujan conjecture over function fields

Let GG be a simple group over a global function field KK, and let ππ be a cuspidal automorphic representation of GG. Suppose KK has two places uu and vv (satisfying a mild restriction on the residue field cardinality), at which the group GG is quasi-split, such that πuπ_u is tempered and πvπ_v is unramified and generic. We prove that ππ is tempered at all unramified places KwK_w at which GG is unramified quasi-split. The proof uses the Galois parametrization of cuspidal representations due to V. Lafforgue to relate the local Satake parameters of ππ to Deligne's theory of Frobenius weights. The main observation is that, in view of the classification of generic unitary spherical representations, due to Barbasch and the first-named author, the theory of weights excludes generic complementary series as possible local components of ππ. This in turn determines the local Frobenius weights at all unramified places. In order to apply this observation in practice we need a result of the second-named author with Gan and Sawin on the weights of discrete series representations.

preprint2020arXiv

p-adic L-functions for unitary groups

This paper completes the construction of pp-adic LL-functions for unitary groups. More precisely, in 2006, the last three named authors proposed an approach to constructing such pp-adic LL-functions (Part I). Building on more recent results, including the first named author's construction of Eisenstein measures and pp-adic differential operators, Part II of the present paper provides the calculations of local ζζ-integrals occurring in the Euler product (including at pp). Part III of the present paper develops the formalism needed to pair Eisenstein measures with Hida families in the setting of the doubling method.

preprint2020arXiv

Virtues of Priority

The conjecture that every elliptic curve with rational coefficients is a so-called modular curve -- since 2000 a theorem due in large part to Andrew Wiles and, in complete generality, to Breuil-Conrad-Diamond-Taylor -- has been known by various names: Weil Conjecture, Taniyama-Weil Conjecture, Shimura-Taniyama-Weil Conjecture, or Shimura-Taniyama Conjecture, among others. The question of the authorship of this conjecture, one of whose corollaries is Fermat's Last Theorem, has been the subject of a priority dispute that has often been quite bitter, but the principles behind one attribution or another have (almost) never been made explicit. The author proposes a reading inspired in part by the "virtue ethics" of Alasdair MacIntyre, analyzing each of the attributions as the expression of a specific value, or virtue, appreciated by the community of mathematicians.

preprint2016arXiv

Period relations and special values of Rankin-Selberg LL-functions

This is a survey of recent work on values of Rankin-Selberg LL-functions of pairs of cohomological automorphic representations that are {\it critical} in Deligne's sense. The base field is assumed to be a CM field. Deligne's conjecture is stated in the language of motives over $\QQ$, and express the critical values, up to rational factors, as determinants of certain periods of algebraic differentials on a projective algebraic variety over homology classes. The results that can be proved by automorphic methods express certain critical values as (twisted) period integrals of automorphic forms. Using Langlands functoriality between cohomological automorphic representations of unitary groups, which can be identified with the de Rham cohomology of Shimura varieties, and cohomological automorphic representations of GL(n)GL(n), the automorphic periods can be interpreted as motivic periods. We report on recent results of the two authors, of the first-named author with Grobner, and of Guerberoff.

preprint2014arXiv

On the Rigid Cohomology of Certain Shimura Varieties

We construct the compatible system of ll-adic representations associated to a regular algebraic cuspidal automorphic representation of GLnGL_n over a CM (or totally real) field and check local-global compatibility for the ll-adic representation away from ll and finite number of rational primes above which the CM field or the automorphic representation ramify. The main innovation is that we impose no self-duality hypothesis on the automorphic representation.

preprint2012arXiv

Testing rationality of coherent cohomology of Shimura varieties

Let G′⊂GG' \subset G be an inclusion of reductive groups whose real points have a non-trivial discrete series. Combining ergodic methods of Burger-Sarnak and the author with a positivity argument due to Li and the classification of minimal KK-types of discrete series, due to Salamanca-Riba, we show that, if ππ is a cuspidal automorphic representation of GG whose archimedean component is a sufficiently general discrete series, then there is a cuspidal automorphic representation of G′G', of (explicitly determined) discrete series type at infinity, that pairs non-trivially with ππ. When GG and G′G' are inner forms of U(n) and U(n−1)U(n-1), respectively, this result is used to define rationality criteria for sufficiently general coherent cohomological forms on GG.

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.