arXiv subjects
Publications and source records attributed to Ngo Bao Chau.
In this paper we propose a partition of loop Lie algebras into invariant sets parametrized by polar data. Our polar partition is motivated by J-K. Yu's construction of supercuspidal representations and leads to a conjectural construction of character sheaves on loop Lie algebras.
For $G=\mathrm{SL}_2$ or $\mathrm{GL}_2$, we present explicit formulas for the nonabelian Fourier kernels on $G$, as conjectured by A. Braverman and D. Kazhdan. Additionally, we furnish explicit formulas for the orbital Hankel transform on $G$, a topic investigated by the second author, and provide an explicit formula for the stable orbital integral of the basic function. These results are applicable to local fields with residual characteristics other than two.
We use the companion matrix construction for $\mathrm{GL}_n$ to build canonical sections of the Chevalley map $[\mathfrak{g}/G]\to \mathfrak{g}/\!/ G$ for classical groups $G$ as well as the group $G_2$. To do so, we construct canonical tensors on the associated spectral covers. As an application, we make explicit lattice descriptions of affine Springer fibers and Hitchin fibers for classical groups and $G_2$.
We prove the Chevalley restriction theorem for the commuting scheme of symplectic Lie algebras. The key step is the construction of the inverse map of the Chevalley restriction map called the spectral data map. Along the way, we establish a certain multiplicative property of the Pfaffian which is of independent interest.
Starting with the first international publication of Le Van Thiem in 1947, modern mathematics in Vietnam is a longstanding research field. However, what is known about its development usually comes from discrete essays such as anecdotes or interviews of renowned mathematicians. We introduce SciMath-a database on publications of Vietnamese mathematicians. To ensure this database covers as many publications as possible, data entries are manually collected from scientists' publication records, journals' websites, universities, and research institutions. Collected data went through various verification steps to ensure data quality and minimize errors. At the time of this report, the database covered 8372 publications, profiles of 1566 Vietnamese, and 1492 foreign authors since 1947. We found a growing capability in mathematics research in Vietnam in various aspects: scientific output, publications on influential journals, or collaboration. The database and preliminary results were presented to the Scientific Council of Vietnam Institute for Advanced Study in Mathematics (VIASM) on November 13th, 2020.
In this paper, we explore the structure of the Hitchin morphism for higher dimensional varieties. We show that the Hitchin morphism factors through a closed subscheme of the Hitchin base, which is in general a non-linear subspace of lower dimension. We conjecture that the resulting morphism, which we call the spectral data morphism, is surjective. In the course of the proof, we establish connections between the Hitchin morphisms for higher dimensional varieties, the invariant theory of the commuting schemes, and Weyl's polarization theorem. We use the factorization of the Hitchin morphism to construct the spectral and cameral covers. In the case of general linear groups and algebraic surfaces, we show that spectral surfaces admit canonical finite Cohen-Macaulayfications, which we call the Cohen-Macaulay spectral surfaces, and we use them to obtain a description of the generic fibers of the Hitchin morphism similar to the case of curves. Finally, we study the Hitchin morphism for some class of algebraic surfaces.
In this paper, we explore the structure of the Hitchin map for higher dimensional varieties with emphasis on the case of algebraic surfaces.
We study the Weierstrass preparation and division theorems over arbitrary test rings and the local structure of singularities in the space of nondegenerate arcs on algebraic varieties. As an application, we prove a strengthened version of a theorem of Grinberg-Kazhdan and Drinfeld.
Let $X$ be a scheme of finite type over a finite field $k$, and let $\mathcal L X$ denote its arc space; in particular, $\mathcal L X(k) = X(k[[t]])$. Using the theory of Grinberg, Kazhdan, and Drinfeld on the finite-dimensionality of singularities of $\mathcal L X$ in the neighborhood of non-degenerate arcs, we show that a canonical "basic function" can be defined on the non-degenerate locus of $\mathcal L X(k)$, which corresponds to the trace of Frobenius on the stalks of the intersection complex of any finite-dimensional model. We then proceed to compute this function when $X$ is an affine toric variety or an "$L$-monoid". Our computation confirms the expectation that the basic function is a generating function for a local unramified $L$-function; in particular, in the case of an $L$-monoid we prove a conjecture formulated by the second-named author.
Following our joint work arXiv:1003.4578 with Robert Langlands, we make the first steps toward developing geometric methods for analyzing trace formulas in the case of the function field of a curve defined over a finite field. We also suggest a conjectural framework of geometric trace formulas for curves defined over the complex field, which exploits the categorical version of the geometric Langlands correspondence.
We outline an approach to proving functoriality of automorphic representations using trace formula. More specifically, we construct a family of integral operators on the space of automorphic forms whose eigenvalues are expressed in terms of the L-functions of automorphic representations and begin the analysis of their traces using the orbital side of the stable trace formula. We show that the most interesting part, corresponding to regular conjugacy classes, is nothing but a sum over a finite-dimensional vector space over the global field, which we call the Steinberg-Hitchin base. Therefore it may be analyzed using the Poisson summation formula. Our main result is that the leading term of the dual sum (the value at 0) is precisely the dominant term of the trace formula (the contribution of the trivial representation). This gives us hope that the full Poisson summation formula would reveal the patterns predicted by functoriality.
Deligne constructed a remarkable local system on $\bP^1-\{0,\infty\}$ attached to a family of Kloosterman sums. Katz calculated its monodromy and asked whether there are Kloosterman sheaves for general reductive groups and which automorphic forms should be attached to these local systems under the Langlands correspondence. Motivated by work of Gross and Frenkel-Gross we find an explicit family of such automorphic forms and even a simple family of automorphic sheaves in the framework of the geometric Langlands program. We use these automorphic sheaves to construct l-adic Kloosterman sheaves for any reductive group in a uniform way, and describe the local and global monodromy of these Kloosterman sheaves. In particular, they give motivic Galois representations with exceptional monodromy groups G_2,F_4,E_7 and E_8. This also gives an example of the geometric Langlands correspondence with wild ramifications for any reductive group.
We propose a proof for conjectures of Langlands, Shelstad and Waldspurger known as the fundamental lemma for Lie algebras and the non-standard fundamental lemma. The proof is based on a study of the decomposition of the l-adic cohomology of the Hitchin fibration into direct sum of simple perverse sheaves.
We propose a geometric interpretation of the theory of elliptic endoscopy, due to Langlands and Kottwitz, in terms of the Hitchin fibration. As applications, we prove a global analog of a purity conjecture, due to Goresky, Kottwitz and MacPherson. For unitary groups, this global purity statement has been used, in a joint work with G. Laumon, to prove the fundamental lemma over local fields of equal characteristics.