Arxiv:1306.1515V2 [Math.AG] 3 Jun 2014 At3 Uoopi Forms Automorphic 3

Total Page:16

File Type:pdf, Size:1020Kb

Arxiv:1306.1515V2 [Math.AG] 3 Jun 2014 At3 Uoopi Forms Automorphic 3 THE HODGE CONJECTURE AND ARITHMETIC QUOTIENTS OF COMPLEX BALLS NICOLAS BERGERON, JOHN MILLSON, AND COLETTE MOEGLIN In memory of Raquel Maritza Gilbert beloved wife of the second author. Abstract. Let S be a closed Shimura variety uniformized by the complex n-ball. The Hodge conjecture predicts that every Hodge class in H2k(S, Q), k = 0,...,n, is algebraic. We show that this holds for all degrees k away from the neighborhood ]n/3, 2n/3[ of the middle degree. We also prove the Tate conjecture for the same degrees as the Hodge conjecture and the generalized form of the Hodge conjecture in degrees away from an interval (depending on the codimension c of the subvariety) centered at the middle dimension of S. Finally we extend most of these results to Shimura varieties associated to unitary groups of any signature. The proofs make use of the recent endoscopic classification of automorphic representations of classical groups by [1, 58]. As such our results are conditional on the stabilization of the trace formula for the (disconnected) groups GL(N) ⋊ hθi associated to base change. At present the stabilization of the trace formula has been proved only for the case of connected groups. But the extension needed is now announced, see §1.13 for more details. Contents 1. Introduction 2 Part 1. Local computations 9 2. Hermitian vector spaces over C 9 3. Cohomological unitary representations 11 4. The action of U(p) U(q) U(a) U(b) in the twisted Fock model 21 × × × arXiv:1306.1515v2 [math.AG] 3 Jun 2014 5. The special (u(p, q),K)-cocycles ψbq,aq 31 Part 2. The geometry of Shimura varieties 43 6. Shimura varieties and their cohomology 43 7. The global theta correspondence 49 8. Special cycles 52 9. Main Theorem 57 Part 3. Automorphic forms 62 10. Ontheglobalthetacorrespondence 62 11. Rallis’ inner product formula and the proof of Theorem 10.2 67 12. Weak Arthur theory 71 N.B. is a member of the Institut Universitaire de France. J.M. was partially supported by NSF grant DMS-1206999. 1 2 NICOLAS BERGERON, JOHN MILLSON, AND COLETTE MOEGLIN 13. Applications 77 Appendices 82 Appendix A: proof of Theorem 12.10 82 Appendix B: proof of Theorem 11.5 88 Appendix C: the local product formula 91 References 96 1. Introduction We shall consider Shimura varieties S = S(Γ) = Γ X associated to standard unitary groups. We first recall their construction. \ 1.1. Let F be a totally real field and E be an imaginary quadratic extension of F . Let VE be a vector space defined over E and let (, ) be a non-degenerate Hermitian form on VE . Suppose that (, ) is anisotropic, of signature (p, q) at one Archimedean place and positive definite at all other infinite places. Let V be the real vector space whose points are the real points of vector space obtained from VE by restricting scalars from F to Q. We then have an isomorphism of real vector spaces: V = µ V (j), ∼ ⊕j=1 (j) where the V ’s are the completions of VE w.r.t. the different complex embeddings σj of E considered up to complex conjugation. We furthermore assume that the (1) Hermitian form (, )1 induced by (, ) on V has signature (p, q) and therefore that (j) the Hermitian forms (, )j induced by (, ) on the V , j 2, are all positive definite. By a slight abuse of notations we will denote by (, ) the≥ corresponding Hermitian (j) form on V . It is the orthogonal sum of the (, )j . We finally denote by G the (j) (j) subgroup of Aut(V ) which consist of isometries of (, )j and we set G = j G . The group G is isomorphic to the group of real points of the Q-reductive group Q obtained, by restricting scalars from F to Q, the group of isometries of (, ) on VE. (1) (j) Note that G ∼= U(p, q) and G ∼= U(m) if j 2. We denote by K the maximal compact subgroup of G. ≥ ∞ A congruence subgroup of G(Q) is a subgroup Γ = G(Q) K, where K is a ∩ compact open subgroup of G(Af ) of the finite adelic points of G. The (connected) Shimura variety S = S(Γ) = Γ X is obtained as the quotient of the Hermitian symmetric space X = G/K = U(\ p, q)/(U(p) U(q)) by the congruence subgroup Γ. We will be particularly interested∞ in the q =× 1 case. Then X identifies with the unit ball in Cp. 1.2. The Shimura variety S is a projective complex manifold defined over a finite abelian extension of F . Recall that a cohomology class on S is of level c if it is the pushforward of a cohomology class on a c-codimensional subvariety of S. We c let N H•(S, Q) be the subspace of H•(S, Q) which consists of classes of level at least c. We first observe it is a consequence of the Hard Lefschetz Theorem [27], c pg. 122, that N H•(S, Q) is stable under duality (the isomorphism given by the Hard Lefschetz Theorem). Indeed the projection formula states that cohomological pushforward commutes with the actions of H•(S, C) on the cohomologies of a sub- variety V of S and S and hence with the operators LV and LS of the Hard Lefschetz THE HODGE CONJECTURE AND ARITHMETIC QUOTIENTS OF COMPLEX BALLS 3 k k 2c Theorem. Hence, if β H (S, C) is the pushforward of a class α H − (V, C) for ∈ p k ∈ V a subvariety of codimension c then the dual class LS− (β) is the pushforward of p k LV− (α). Hodge theory provides each Hn(S) with a pure Hodge structure of weight n. We first consider the case where q = 1: 1.3. Theorem. Let S be a connected compact Shimura variety associated to the unitary group U(p, 1) and let n and c be non-negative integers s.t. 2n c<p + p c p c − 1 or 2n + c> 3p 1 or equivalently n [0, 2p] ]p − ,p + − [ . Then, we have: − ∈ \ − 2 2 c n n a,b (1.3.1) N H (S, Q)= H (S, Q) a+b=nH (S, C) . ∩ ⊕ a,b c ≥ Remarks. 1. The inclusion ‘ ’ always holds. In particular N cHn(S, Q) is trivial if n< 2c. ⊂ 2. The conclusion of Theorem 1.3 confirms Hodge’s generalized conjecture in its original formulation (with Q coefficients). Note however that — as it was first observed by Grothendieck [28] — the RHS of (1.3.1) is not always a Hodge structure. Grothendieck corrected Hodge’s original formulation but in our special case it turns out that the stronger form holds. 3. We prove the more precise result that each subspace Ha,b(S, C) Hb,a(S, C), with 3(a + b)+ a b < 2(p + 1), is defined over Q and that every rational⊕ coho- mology class in| that− subspace| is a linear combination with rational coefficients of cup products of (1, 1) classes and cohomology classes obtained as pushforwards of holomorphic or anti-holomorphic classes from algebraic cycles associated to smaller unitary subgroups — the so-called ‘special’ cycles. We want to emphasize that — contrary to the orthogonal case studied in [6] — special cycles associated to smaller unitary subgroups do not span, even in codimension one. One has to use cycles obtained using the Lefschetz (1, 1) Theorem which we don’t know how to realize explicitly. 1.4. Let Zn(S) denote the Q-linear span of the algebraic subvarieties of S of codi- mension n. Poincar´eduality gives the cycle map Zn(S) H2n(S, Q) Hn,n(S, C). → ∩ The subset H2n(S, Q) Hn,n(S, C) of H2n(S, Q) is called the set of Hodge classes. Note that the image of∩ the cycle map is precisely N nH2n(S, Q). The Hodge conjec- ture states that the cycle map is surjective, i.e. that every Hodge class is algebraic. Theorem 1.3 and Poincar´eduality imply: 1.5. Corollary. Let S be a connected compact Shimura variety associated to the p 2p 2n unitary group U(p, 1) and let n [0,p] ] 3 , 3 [. Then every Hodge class in H (S, Q) is algebraic. ∈ \ Tate [69] investigated the ℓ-adic analogue of the Hodge conjecture. Recall that S is defined over a finite abelian extension M of E. Fix a separable algebraic closure M of M. Seeing S as a projective variety over M, we put S = S M M. Given any prime number ℓ we denote by × Hℓ•(S)= H•(S, Qℓ) 4 NICOLAS BERGERON, JOHN MILLSON, AND COLETTE MOEGLIN the ℓ-adic ´etale cohomology of S. Recall that fixing an isomorphism of C with the completion Cℓ of an algebraic closure Qℓ of Qℓ we have an isomorphism (1.5.1) H•(S) C = H•(S, C). ℓ ⊗ ℓ ∼ Given any finite separable extension L( M) of M we let G = Gal(M/L) be the ⊂ L corresponding Galois group. Tensoring with Qℓ embeds L in Qℓ. The elements of GL then extend to continuous automorphisms of Cℓ. For j Z, let Cℓ(j) be the vector space C with the semi-linear action of G defined by∈ (σ, z) χ (σ)j σ(z), ℓ L 7→ ℓ where χℓ is the ℓ-adic cyclotomic character. We define G H•(S)(j) = lim(H•(S) C (j)) L . ℓ ℓ ⊗ ℓ Here the limit is over finite degree separable−→ extensions L of M.
Recommended publications
  • FIELDS MEDAL for Mathematical Efforts R
    Recognizing the Real and the Potential: FIELDS MEDAL for Mathematical Efforts R Fields Medal recipients since inception Year Winners 1936 Lars Valerian Ahlfors (Harvard University) (April 18, 1907 – October 11, 1996) Jesse Douglas (Massachusetts Institute of Technology) (July 3, 1897 – September 7, 1965) 1950 Atle Selberg (Institute for Advanced Study, Princeton) (June 14, 1917 – August 6, 2007) 1954 Kunihiko Kodaira (Princeton University) (March 16, 1915 – July 26, 1997) 1962 John Willard Milnor (Princeton University) (born February 20, 1931) The Fields Medal 1966 Paul Joseph Cohen (Stanford University) (April 2, 1934 – March 23, 2007) Stephen Smale (University of California, Berkeley) (born July 15, 1930) is awarded 1970 Heisuke Hironaka (Harvard University) (born April 9, 1931) every four years 1974 David Bryant Mumford (Harvard University) (born June 11, 1937) 1978 Charles Louis Fefferman (Princeton University) (born April 18, 1949) on the occasion of the Daniel G. Quillen (Massachusetts Institute of Technology) (June 22, 1940 – April 30, 2011) International Congress 1982 William P. Thurston (Princeton University) (October 30, 1946 – August 21, 2012) Shing-Tung Yau (Institute for Advanced Study, Princeton) (born April 4, 1949) of Mathematicians 1986 Gerd Faltings (Princeton University) (born July 28, 1954) to recognize Michael Freedman (University of California, San Diego) (born April 21, 1951) 1990 Vaughan Jones (University of California, Berkeley) (born December 31, 1952) outstanding Edward Witten (Institute for Advanced Study,
    [Show full text]
  • Institut Des Hautes Ét Udes Scientifiques
    InstItut des Hautes É t u d e s scIentIfIques A foundation in the public interest since 1981 2 | IHES IHES | 3 Contents A VISIONARY PROJECT, FOR EXCELLENCE IN SCIENCE P. 5 Editorial P. 6 Founder P. 7 Permanent professors A MODERN-DAY THELEMA FOR A GLOBAL SCIENTIFIC COMMUNITY P. 8 Research P. 9 Visitors P. 10 Events P. 11 International INDEPENDENCE AND FREEDOM, ­­ THE INSTITUTE’S TWO OPERATIONAL PILLARS P. 12 Finance P. 13 Governance P. 14 Members P. 15 Tax benefits The Marilyn and James Simons Conference Center The aim of the Foundation known as ‘Institut des Hautes Études Scientifiques’ is to enable and encourage theoretical scientific research (…). [Its] activity consists mainly in providing the Institute’s professors and researchers, both permanent and invited, with the resources required to undertake disinterested IHES February 2016 Content: IHES Communication Department – Translation: Hélène Wilkinson – Design: blossom-creation.com research. Photo Credits: Valérie Touchant-Landais / IHES, Marie-Claude Vergne / IHES – Cover: unigma All rights reserved Extract from the statutes of the Institut des Hautes Études Scientifiques, 1958. 4 | IHES IHES | 5 A visionary project, for excellence in science Editorial Emmanuel Ullmo, Mathematician, IHES Director A single scientific program: curiosity. A single selection criterion: excellence. The Institut des Hautes Études Scientifiques is an international mathematics and theoretical physics research center. Free of teaching duties and administrative tasks, its professors and visitors undertake research in complete independence and total freedom, at the highest international level. Ever since it was created, IHES has cultivated interdisciplinarity. The constant dialogue between mathematicians and theoretical physicists has led to particularly rich interactions.
    [Show full text]
  • Higher Genus Counterexamples to Relative Manin–Mumford
    Higher genus counterexamples to relative Manin{Mumford Sean Howe [email protected] Advised by prof. dr. S.J. Edixhoven. ALGANT Master's Thesis { Submitted 10 July 2012 Universiteit Leiden and Universite´ Paris{Sud 11 Contents Chapter 1. Introduction 2 Chapter 2. Preliminaries 3 2.1. Conventions and notation 3 2.2. Algebraic curves 3 2.3. Group schemes 4 2.4. The relative Picard functor 5 2.5. Jacobian varieties 8 Chapter 3. Pinching, line bundles, and Gm{extensions 11 3.1. Amalgamated sums and pinching 11 3.2. Pinching and locally free sheaves 17 3.3. Pinching and Gm{extensions of Jacobians over fields 26 Chapter 4. Higher genus counterexamples to relative Manin{Mumford 28 4.1. Relative Manin{Mumford 28 4.2. Constructing the lift 30 4.3. Controlling the order of lifts 32 4.4. Explicit examples 33 Bibliography 35 1 CHAPTER 1 Introduction The goal of this work is to provide a higher genus analog of Edixhoven's construction [2, Appendix] of Bertrand's [2] counter-example to Pink's relative Manin{Mumford conjecture (cf. Section 4.1 for the statement of the conjecture). This is done in Chapter 4, where further discussion of the conjecture and past work can be found. To give our construction, we must first develop the theory of pinchings a la Ferrand [8] in flat families and understand the behavior of the relative Picard functor for such pinchings, and this is the contents of Chapter 3. In Chapter 2 we recall some of the results and definitions we will need from algebraic geometry; the reader already familiar with these results should have no problem beginning with Chapter 3 and referring back only for references and to fix definitions.
    [Show full text]
  • April 2017 Table of Contents
    ISSN 0002-9920 (print) ISSN 1088-9477 (online) of the American Mathematical Society April 2017 Volume 64, Number 4 AMS Prize Announcements page 311 Spring Sectional Sampler page 333 AWM Research Symposium 2017 Lecture Sampler page 341 Mathematics and Statistics Awareness Month page 362 About the Cover: How Minimal Surfaces Converge to a Foliation (see page 307) MATHEMATICAL CONGRESS OF THE AMERICAS MCA 2017 JULY 2428, 2017 | MONTREAL CANADA MCA2017 will take place in the beautiful city of Montreal on July 24–28, 2017. The many exciting activities planned include 25 invited lectures by very distinguished mathematicians from across the Americas, 72 special sessions covering a broad spectrum of mathematics, public lectures by Étienne Ghys and Erik Demaine, a concert by the Cecilia String Quartet, presentation of the MCA Prizes and much more. SPONSORS AND PARTNERS INCLUDE Canadian Mathematical Society American Mathematical Society Pacifi c Institute for the Mathematical Sciences Society for Industrial and Applied Mathematics The Fields Institute for Research in Mathematical Sciences National Science Foundation Centre de Recherches Mathématiques Conacyt, Mexico Atlantic Association for Research in Mathematical Sciences Instituto de Matemática Pura e Aplicada Tourisme Montréal Sociedade Brasileira de Matemática FRQNT Quebec Unión Matemática Argentina Centro de Modelamiento Matemático For detailed information please see the web site at www.mca2017.org. AMERICAN MATHEMATICAL SOCIETY PUSHING LIMITS From West Point to Berkeley & Beyond PUSHING LIMITS FROM WEST POINT TO BERKELEY & BEYOND Ted Hill, Georgia Tech, Atlanta, GA, and Cal Poly, San Luis Obispo, CA Recounting the unique odyssey of a noted mathematician who overcame military hurdles at West Point, Army Ranger School, and the Vietnam War, this is the tale of an academic career as noteworthy for its o beat adventures as for its teaching and research accomplishments.
    [Show full text]
  • The Fermat Conjecture
    THE FERMAT CONJECTURE by C.J. Mozzochi, Ph.D. Box 1424 Princeton, NJ 08542 860/652-9234 [email protected] Copyright C.J. Mozzochi, Ph.D. - 2011 THE FERMAT CONJECTURE FADE IN: EXT. OXFORD GRAMMAR SCHOOL -- DAY (1963) A ten-year-old ANDREW WILES is running toward the school to talk with his friend, Peter. INT. HALL OF SCHOOL Andrew Wiles excitedly approaches PETER, who is standing in the hall. ANDREW WILES Peter, I want to show you something very exciting. Let’s go into this classroom. INT. CLASSROOM Andrew Wiles writes on the blackboard: 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11...positive integers. 3, 5, 7, 11, 13...prime numbers. 23 = 2∙ 2∙ 2 35 = 3∙ 3∙ 3∙ 3∙ 3 xn = x∙∙∙x n-terms and explains to Peter the Fermat Conjecture; as he writes on the blackboard. ANDREW WILES The Fermat Conjecture states that the equation xn + yn = zn has no positive integer solutions, if n is an integer greater than 2. Note that 32+42=52 so the conjecture is not true when n=2. The famous French mathematician Pierre Fermat made this conjecture in 1637. See how beautiful and symmetric the equation is! Peter, in a mocking voice, goes to the blackboard and writes on the blackboard: 1963-1637=326. PETER Well, one thing is clear...the conjecture has been unproved for 326 years...you will never prove it! 2. ANDREW WILES Don’t be so sure. I have already shown that it is only necessary to prove it when n is a prime number and, besides, Fermat could not have known too much more about it than I do.
    [Show full text]
  • Mathematical Sciences Meetings and Conferences Section
    OTICES OF THE AMERICAN MATHEMATICAL SOCIETY Richard M. Schoen Awarded 1989 Bacher Prize page 225 Everybody Counts Summary page 227 MARCH 1989, VOLUME 36, NUMBER 3 Providence, Rhode Island, USA ISSN 0002-9920 Calendar of AMS Meetings and Conferences This calendar lists all meetings which have been approved prior to Mathematical Society in the issue corresponding to that of the Notices the date this issue of Notices was sent to the press. The summer which contains the program of the meeting. Abstracts should be sub­ and annual meetings are joint meetings of the Mathematical Associ­ mitted on special forms which are available in many departments of ation of America and the American Mathematical Society. The meet­ mathematics and from the headquarters office of the Society. Ab­ ing dates which fall rather far in the future are subject to change; this stracts of papers to be presented at the meeting must be received is particularly true of meetings to which no numbers have been as­ at the headquarters of the Society in Providence, Rhode Island, on signed. Programs of the meetings will appear in the issues indicated or before the deadline given below for the meeting. Note that the below. First and supplementary announcements of the meetings will deadline for abstracts for consideration for presentation at special have appeared in earlier issues. sessions is usually three weeks earlier than that specified below. For Abstracts of papers presented at a meeting of the Society are pub­ additional information, consult the meeting announcements and the lished in the journal Abstracts of papers presented to the American list of organizers of special sessions.
    [Show full text]
  • Arthur's Multiplicity Formula for Certain Inner Forms of Special Orthogonal and Symplectic Groups
    Arthur's multiplicity formula for certain inner forms of special orthogonal and symplectic groups Olivier Taïbi ∗ Abstract Let G be a special orthogonal group or an inner form of a symplectic group over a number eld F such that there exists a non-empty set S of real places of F at which G has discrete series and outside of which G is quasi-split. We prove Arthur's multiplicity formula for automorphic representations of G having algebraic regular innitesimal character at all places in S. Contents 1 Introduction2 2 Review of Arthur's results4 2.1 Quasi-split symplectic and special orthogonal groups and their Langlands dual groups....................................4 2.2 Self-dual automorphic cuspidal representations of GLN ............5 2.3 Elliptic endoscopic data and embeddings of L-groups.............5 2.4 Arthur's substitute for global parameters....................7 2.5 Local Arthur packets in the quasi-split case..................8 2.6 Localisation of global parameters........................ 10 3 Certain rigid inner forms and Arthur packets 10 3.1 Certain rigid inner forms............................. 10 3.1.1 Rigid inner forms at real places..................... 11 3.1.2 Global rigid inner forms......................... 14 3.2 Local Arthur packets for real reductive groups having discrete series.... 17 3.2.1 Tempered parameters.......................... 17 3.2.2 Non-tempered parameters: Adams-Johnson packets.......... 20 3.2.3 Relation with Arthur packets...................... 22 3.3 Trivial inner twists................................ 23 3.4 Adèlic Arthur packets for rigid inner forms................... 25 4 Arthur's multiplicity formula for certain inner forms 27 ∗Imperial College London, United Kingdom.
    [Show full text]
  • Year in Review
    Year in review For the year ended 31 March 2017 Trustees2 Executive Director YEAR IN REVIEW The Trustees of the Society are the members Dr Julie Maxton of its Council, who are elected by and from Registered address the Fellowship. Council is chaired by the 6 – 9 Carlton House Terrace President of the Society. During 2016/17, London SW1Y 5AG the members of Council were as follows: royalsociety.org President Sir Venki Ramakrishnan Registered Charity Number 207043 Treasurer Professor Anthony Cheetham The Royal Society’s Trustees’ report and Physical Secretary financial statements for the year ended Professor Alexander Halliday 31 March 2017 can be found at: Foreign Secretary royalsociety.org/about-us/funding- Professor Richard Catlow** finances/financial-statements Sir Martyn Poliakoff* Biological Secretary Sir John Skehel Members of Council Professor Gillian Bates** Professor Jean Beggs** Professor Andrea Brand* Sir Keith Burnett Professor Eleanor Campbell** Professor Michael Cates* Professor George Efstathiou Professor Brian Foster Professor Russell Foster** Professor Uta Frith Professor Joanna Haigh Dame Wendy Hall* Dr Hermann Hauser Professor Angela McLean* Dame Georgina Mace* Dame Bridget Ogilvie** Dame Carol Robinson** Dame Nancy Rothwell* Professor Stephen Sparks Professor Ian Stewart Dame Janet Thornton Professor Cheryll Tickle Sir Richard Treisman Professor Simon White * Retired 30 November 2016 ** Appointed 30 November 2016 Cover image Dancing with stars by Imre Potyó, Hungary, capturing the courtship dance of the Danube mayfly (Ephoron virgo). YEAR IN REVIEW 3 Contents President’s foreword .................................. 4 Executive Director’s report .............................. 5 Year in review ...................................... 6 Promoting science and its benefits ...................... 7 Recognising excellence in science ......................21 Supporting outstanding science .....................
    [Show full text]
  • NEWSLETTER Issue: 492 - January 2021
    i “NLMS_492” — 2020/12/21 — 10:40 — page 1 — #1 i i i NEWSLETTER Issue: 492 - January 2021 RUBEL’S MATHEMATICS FOUR PROBLEM AND DECADES INDEPENDENCE ON i i i i i “NLMS_492” — 2020/12/21 — 10:40 — page 2 — #2 i i i EDITOR-IN-CHIEF COPYRIGHT NOTICE Eleanor Lingham (Sheeld Hallam University) News items and notices in the Newsletter may [email protected] be freely used elsewhere unless otherwise stated, although attribution is requested when EDITORIAL BOARD reproducing whole articles. Contributions to the Newsletter are made under a non-exclusive June Barrow-Green (Open University) licence; please contact the author or David Chillingworth (University of Southampton) photographer for the rights to reproduce. Jessica Enright (University of Glasgow) The LMS cannot accept responsibility for the Jonathan Fraser (University of St Andrews) accuracy of information in the Newsletter. Views Jelena Grbic´ (University of Southampton) expressed do not necessarily represent the Cathy Hobbs (UWE) views or policy of the Editorial Team or London Christopher Hollings (Oxford) Mathematical Society. Robb McDonald (University College London) Adam Johansen (University of Warwick) Susan Oakes (London Mathematical Society) ISSN: 2516-3841 (Print) Andrew Wade (Durham University) ISSN: 2516-385X (Online) Mike Whittaker (University of Glasgow) DOI: 10.1112/NLMS Andrew Wilson (University of Glasgow) Early Career Content Editor: Jelena Grbic´ NEWSLETTER WEBSITE News Editor: Susan Oakes Reviews Editor: Christopher Hollings The Newsletter is freely available electronically at lms.ac.uk/publications/lms-newsletter. CORRESPONDENTS AND STAFF LMS/EMS Correspondent: David Chillingworth MEMBERSHIP Policy Digest: John Johnston Joining the LMS is a straightforward process. For Production: Katherine Wright membership details see lms.ac.uk/membership.
    [Show full text]
  • Mathematisches Forschungsinstitut Oberwolfach Harmonic Analysis
    Mathematisches Forschungsinstitut Oberwolfach Report No. 25/2017 DOI: 10.4171/OWR/2017/25 Harmonic Analysis and the Trace Formula Organised by Werner M¨uller, Bonn Sug Woo Shin, Berkeley Birgit Speh, Ithaca Nicolas Templier, Ithaca 21 May – 27 May 2017 Abstract. The purpose of this workshop was to discuss recent results in harmonic analysis that arise in the study of the trace formula. This theme is common to different directions of research on automorphic forms such as representation theory, periods, and families. Mathematics Subject Classification (2010): Primary: 11xx; secondary: 14Lxx, 22xx. Introduction by the Organisers The Oberwolfach Workshop took place from May 21st through 27th of 2016, and brought together 50 participants. There were 25 talks of 45 minutes each. A motivation of the subject can be seen from the far-reaching reciprocity and func- toriality conjectures of Langlands, according to which all reasonable L-functions arising from Galois representations, arithmetic geometry and harmonic analysis should be automorphic. One of the main tools to study automorphic L-functions is the Arthur-Selberg trace formula. The trace formula is used to globalize local representations into global automorphic forms, and it is essential in the concept of families where one studies an object by deforming it. The trace formula continues to motivate a wide-range of techniques in algebra, representation theory on p-adic, real and adelic groups, in analysis, and in differential and algebraic geometry. Packets. Gan, Moeglin, Mezo, Cunningham, B. Xu, Kaletha, and W.-W. Li (in the order of their talks) spoke on the Langlands packets (L-packets) and Arthur packets (A-packets) for p-adic, real reductive, and adelic groups.
    [Show full text]
  • Fermat Last Theorem Controversy(6) the Fermat Last Theorem Controversy Is an Argument Between 20Th Century Mathematicians Jiang Chun-Xuan(1992) And
    Fermat Last Theorem Controversy(6) The Fermat last theorem controversy is an argument between 20th century mathematicians Jiang Chun-Xuan(1992) and Andrew Wiles(1995) over who has first proved Fermat last theorem. Abstract D.Zagier(1984) and K.Inkeri(1990) said[7] Jiang mathematics is true, but Jiang determinates the irrational numbers to be very difficult for prime exponent p>2.In 1991 Jiang studies the composite exponents n=15,21,33,…,3p and proves Fermat last theorem for prime exponent p>3[1].In 1986 Gerhard Frey places Fermat last theorem at elliptic curve ,now called a Frey curve.Andrew Wiles studies Frey curve.In 1994 Wiles proves Fermat last theorem[9,10].Conclusion:Jiang proof is direct and very simple,but Wiles proof is indirect and very complex. If China mathematicians and Academia Sinica had supported and recognized Jiang proof on Fermat last theorem,Wiles would not have proved Fermat last theorem,because in 1991 Jiang had proved Fermat last theorem[1].Wiles has received many prizes and awards, he should thank China mathematicians and Academia Sinica.To support and to publish Jiang Fermat last theorem paper is prohibited in Academia Sinica. Remark. Chun-Xuan Jiang,A general proof of Fermat last theorem(Chinese),Mimeograph papers,July 1978. In this paper using circulant matrix,circulant determinant and permutation group theory Jiang had proved Fermat last theorem for odd prime exponent. 1 1978 年 7 月 19 日下午在中科院数学所由王元组织蒋春暄费马大定理讨论会, (这次讨论会是国 家科委主任方毅指示下进行的 ) 蒋春暄首先报告, 接着数学所发言, 陈绪明(现在加拿大) 发 言: 你没理解蒋春暄讲话内容. 最后宣布散会. 后来蒋春暄单位收到数学所耒信, 领导对蒋春 暄说, 内容大概如下: <你们单位好好教育蒋春暄, 为社会主义作些有益工作, 不要做些对社会 主任无用的工作>。在这次讨论会上蒋春暄巳经证明了费马大定理。如果数学所所长华罗庚对 这件事关心, 组织有关专家邦助并发表.
    [Show full text]
  • Report for the Academic Years 1987-88 and 1988-89
    Institute /or ADVANCED STUDY REPORT FOR THE ACADEMIC YEARS 1987-88 AND 1988-89 PRINCETON • NEW JERSEY nijiUfi.CAL ?""l::r"- £90"^ jr^^VTE LIBriARlf THE !f^;STiTUTE FQll AC -.MiEO STUDY PR1NCE70M, FmEW JEfiGcV 08540 AS3G TABLE OF CONTENTS 7 FOUNDERS, TRUSTEES AND OFFICERS OF THE BOARD AND OF THE CORPORATION 10 • OFFICERS OF THE ADMINISTRATION AND PROFESSOR AT LARGE 1 1 REPORT OF THE CHAIRMAN 14 REPORT OF THE DIRECTOR 1 ACKNOWLEDGMENTS 19 • FINANCIAL STATEMENTS AND INDEPENDENT AUDITORS' REPORT 32 REPORT OF THE SCHOOL OF HISTORICAL STUDIES ACADEMIC ACTIVITIES OF THE FACULTY MEMBERS, VISITORS AND RESEARCH STAFF 41 • REPORT OF THE SCHOOL OF MATHEMATICS ACADEMIC ACTIVITIES OF THE SCHOOL MEMBERS, VISITORS AND RESEARCH STAFF 51 REPORT OF THE SCHOOL OF NATURAL SCIENCES ACADEMIC ACTIVITIES OF THE FACULTY MEMBERS, VISITORS AND RESEARCH STAFF 58 • REPORT OF THE SCHOOL OF SOCIAL SCIENCE ACADEMIC ACTIVITIES OF THE SCHOOL AND ITS FACULTY MEMBERS, VISITORS AND RESEARCH STAFF 64 • REPORT OF THE INSTITUTE LIBRARIES 66 • RECORD OF INSTITUTE EVENTS IN THE ACADEMIC YEAR 1987 - 1988 86 • RECORD OF INSTITUTE EVENTS IN THE ACADEMIC YEAR 1988 - 1989 f:i'S^o FOUNDERS, TRUSTEES AND OFFICERS OF THE BOARD AND OF THE CORPORATION Foiifidcrs CAROLINE BAMBERGER FULD LOUIS BAMBERGER The Board of Trustees [1987-1989] MARELLA AGNELLI Turin, Italy [1988- ] THORNTON F. BRADSHAW New York, New York [deceased December 6, 1988] CHARLES L. BROWN Princeton, New Jersey FLETCHER L. BYROM Carefree, Arizona GLADYS K. DELMAS New York, New York [ -1988] MICHAEL V. FORRESTAL New York, New York [deceased January 11,1 989] MARVIN L. GOLDBERGER Director Institute for Advanced Study, Princeton, NewJersey VARTAN GREGORIAN President New York Public Library, New York, New York WILFRIED GUTH Chairman of the Supervisory Board Deutsche Bank AG, Frankfurt, Federal Republic of Germany RALPH E.
    [Show full text]