On the formal arc space of a reductive monoid

Abstract

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.

Erratum added at the end, to account for a shift in the argument of the L-function

References in corpus (2)

• Basic functions and unramified local L-factors for split groups
• Cohomologie étale des espaces d'arcs

Cited by in corpus (13)

• On the continuity of the geometric side of the trace formula
• The Schwartz space of a smooth semi-algebraic stack
• On an invariant bilinear form on the space of automorphic forms via asymptotics
• Zeta integrals, Schwartz spaces and local functional equations
• Harmonic Analysis and Gamma Functions on Symplectic Groups
• Embedding codimension of the space of arcs
• A refined Poisson summation formula for certain Braverman-Kazhdan spaces
• Local Factors, Reciprocity and Vinberg Monoids
• On generalized Fourier Transforms for standard L-functions (with an appendix by Wen-Wei Li)
• Unramified Godement-Jacquet theory for the spin similitude group
• Intersection complexes and unramified $L$-factors
• A summation formula for triples of quadratic spaces
• On the balanced Voronoi formula for GL${}_N$