Related papers: Selberg Integral over Local Fields

Let $(R, \mathcal{M})$ be a local ring over a field $k$ with $k = R/\mathcal M$ and $J$ an ideal in $R$ such that $A =R/J$ is an Artinian Gorenstein (AG) $k$-algebra. In 1989, A. Iarrobino introduced the symmetric decomposition of the…

We revisit one of Zilber's early results in model-theoretic algebra, viz. definability in Schur's lemma. This takes place in a broader context than the original version from the seventies. The present exposition contains results extracted…

We give an elementary proof of the Selberg identity for Kloosterman sums, which only requires the orthogonality of additive characters.

Local fields, and fields complete with respect to a discrete valuation, are essential objects in commutative algebra, with applications to number theory and algebraic geometry. We formalize in Lean the basic theory of discretely valued…

The weighted Selberg integral is a discrete mean-square, that is a generalization of the classical Selberg integral of primes to an arithmetic function $f$, whose values in a short interval are suitably attached to a weight function. We…

The adele ring of a number field is a central object in modern number theory. Its status as a locally compact topological ring is one of the key reasons why. We describe a formal proof that the adele ring of a number field is locally…

In 2023, Li, Du, Yi proved a uniqueness theorem for L functions in the extended Selberg class under the assumptions of positive degree, a shared functional equation, and the sharing of three complex values. This was later strengthened by…

The Rankin-Selberg method for studying Langlands' automorphic $L$-functions is to find integral representations, involving certain Fourier coefficients of cusp forms and Eisenstein series, for these functions. In this thesis we develop the…

We study a new Selberg-type integral with $n+m$ indeterminates, which turns out to be related to the deformed Calogero-Sutherland systems. We show that the integral satisfies a holonomic system of $n+m$ non-symmetric linear partial…

We develop explicit formulas and algorithms for arithmetic in radical function fields K/k(x) over finite constant fields. First, we classify which places of k(x) whose local integral bases have an easy monogenic form, and give explicit…

We show that any finite set S in a characteristic zero integral domain can be mapped to the finite field of order p, for infinitely many primes p, preserving all algebraic incidences in S. This can be seen as a generalization of the…

In this paper, we prove that the Bessel functions are locally integrable for all connected split reductive linear algebraic groups over a p-adic field $F$ and the Bessel distributions are given by integrals against these Bessel functions,…

The Selberg integral, an $n$-dimensional generalization of the Euler beta integral, plays a central role in random matrix theory, Calogero--Sutherland quantum many body systems, Knizhnik--Zamolodchikov equations, and multivariable…

This article is a result of the AIM workshop on Moment Maps and Surjectivity in Various Geometries (August 9 - 13, 2004) organized by T.Holm, E.Lerman and S.Tolman. At that workshop I was introduced to the work of T.Hausel and N.Proudfoot…

We prove a generalization of the $q$-Selberg integral evaluation formula. The integrand is that of $q$-Selberg integral multiplied by a factor of the same form with respect to part of the variables. The proof relies on the quadratic norm…

This paper presents a point-free version of the Lebesgue integral for simple functions on $\sigma$-locales. It describes the integral with respect to a measure defined on the coframe of all $\sigma$-sublocales, moving beyond the constraints…

For cofinite Kleinian groups, with finite-dimensional unitary representations, we derive the Selberg trace formula. As an application we define the corresponding Selberg zeta-function and compute its divisor, thus generalizing results of…

Recently, Garunk\v{s}tis, Laurin\v{c}ikas, Matsumoto, J. & R. Steuding showed an effective universality-type theorem for the Riemann zeta-function by using an effective multi-dimensional denseness result of Voronin. We will generalize…

We give a new proof of the so-called Lie algebra version of Jacquet-Rallis's fundamental lemma for local non-Archimedean fields of characteristic zero. This proof is local and based on a previous result of W. Zhang on the compatibility of…

The authors establish a connection between the Quillen K-theory of certain local fields and the de Rham-Witt complex of their rings of integers with logarithmic poles at the maximal ideal. They consider fields K that are complete discrete…