2026-09-18T21:47:37Zhttps://dspace.mit.edu/server/oai/requestoai:dspace.mit.edu:1721.1/1513642023-08-01T03:03:14Zcom_1721.1_7582com_1721.1_7581col_1721.1_131022
Yun, Zhiwei
Salmon, Andrew
Massachusetts Institute of Technology. Department of Mathematics
2023-07-31T19:34:19Z
2023-07-31T19:34:19Z
2023-06
2023-05-24T14:46:50.168Z
https://hdl.handle.net/1721.1/151364
https://orcid.org/0000-0002-9901-399X
V. Lafforgue constructed Langlands parameters from automorphic forms for any reductive group over a function field using excursion operators. Our aim is to give a general approach for proving certain local-global compatibilities satisfied by these Langlands parameters. The main consequence for the Langlands correspondence is to show that Lafforgue's construction is compatible with Lusztig's theory of character sheaves at a given point of a smooth curve over a finite field. Namely, using the theory of character sheaves, one attaches a torus character and a two-sided cell to an irreducible representation of a reductive group over a finite field. If our automorphic form lives in an isotypic component determined by this irreducible representation, we show that the torus character and two-sided cell determine the semisimple and unipotent parts of the image of the tame generator under the Langlands correspondence, respectively.
One key step is showing that nearby cycles commute with pushforward of certain perverse sheaves from the stack of global shtukas to a power of a curve. The main technical ingredient is the notion of what we call $\Psi$-factorizability, where nearby cycles over a general base are independent of the composition of specializations chosen, and the $\Psi$-factorizability statements we make give some answers to a question raised by Genestier-Lafforgue. To compute the action of framed excursion operators, we instead compute in monodromic affine Hecke categories. Ultimately, this reduces certain questions in the global function field Langlands program to questions in local geometric Langlands.
Ph.D.
Massachusetts Institute of Technology
In Copyright - Educational Use Permitted
Copyright retained by author(s)
https://rightsstatements.org/page/InC-EDU/1.0/
Nearby cycles and the cohomology of shtukas
Thesis
application/pdf
Doctoral
Doctor of Philosophy
Publication
unknown
unknown
<Publication xmlns="https://www.openaire.eu/cerif-profile/1.1/" id="ef471e44-d1ed-4792-8c3f-c050d27cbf79">
<Type xmlns="https://www.openaire.eu/cerif-profile/vocab/COAR_Publication_Types">http://purl.org/coar/resource_type/c_1843</Type>
<Title>Nearby cycles and the cohomology of shtukas</Title>
<PublishedIn>
<Publication>
</Publication>
</PublishedIn>
<PublicationDate>2023-06</PublicationDate>
<Authors>
<Author>
<DisplayName>Salmon, Andrew</DisplayName>
<Affiliation>
<OrgUnit>
</OrgUnit>
</Affiliation>
</Author>
</Authors>
<Editors>
</Editors>
<Publishers>
<Publisher>
<DisplayName>Massachusetts Institute of Technology</DisplayName>
<OrgUnit />
</Publisher>
</Publishers>
<License>https://rightsstatements.org/page/InC-EDU/1.0/</License>
<Abstract>V. Lafforgue constructed Langlands parameters from automorphic forms for any reductive group over a function field using excursion operators. Our aim is to give a general approach for proving certain local-global compatibilities satisfied by these Langlands parameters. The main consequence for the Langlands correspondence is to show that Lafforgue's construction is compatible with Lusztig's theory of character sheaves at a given point of a smooth curve over a finite field. Namely, using the theory of character sheaves, one attaches a torus character and a two-sided cell to an irreducible representation of a reductive group over a finite field. If our automorphic form lives in an isotypic component determined by this irreducible representation, we show that the torus character and two-sided cell determine the semisimple and unipotent parts of the image of the tame generator under the Langlands correspondence, respectively.
One key step is showing that nearby cycles commute with pushforward of certain perverse sheaves from the stack of global shtukas to a power of a curve. The main technical ingredient is the notion of what we call $\Psi$-factorizability, where nearby cycles over a general base are independent of the composition of specializations chosen, and the $\Psi$-factorizability statements we make give some answers to a question raised by Genestier-Lafforgue. To compute the action of framed excursion operators, we instead compute in monodromic affine Hecke categories. Ultimately, this reduces certain questions in the global function field Langlands program to questions in local geometric Langlands.</Abstract>
<Access xmlns="http://purl.org/coar/access_right"
>
</Access>
</Publication>