Searcharxiv⌕ Search

arXiv subjects

Yotam I. Hendel

Publications and source records attributed to Yotam I. Hendel.

11 recordsLinked to original sources

A lower bound on the analytic log-canonical threshold over local fields of positive characteristic

Given a local field $F$ of positive characteristic, an $F$-analytic manifold $X$ and an analytic function $f:X\rightarrow F$, the $F$-analytic log-canonical threshold $\mathrm{lct}_{F}(f;x_{0})$ is the supremum over the values $s\geq0$ such that $\left|f\right|_{F}^{-s}$ is integrable near $x_{0}\in X$. We show that $\mathrm{lct}_{F}(f;x_{0})>0$. Moreover, if $f$ is a regular function on a smooth algebraic $F$-variety, we obtain an effective lower bound $\mathrm{lct}_{F}(f;x_{0})>C$, where $C>0$ is explicit and depends only on the complexity class of $X$ and $f$.

math.AG↗

A geometric determinant method and geometric dimension growth

We study a geometric version of the dimension growth conjecture. While it is closely related in spirit to themes arising in geometric Manin's conjecture, it applies in greater generality and provides more uniform bounds. For an irreducible projective variety $X$ defined over $\mathbb{C}(t)$, the set $X(b)$ of $\mathbb{C}(t)$-rational points on $X$ of degree less than $b$ has a natural structure of an algebraic variety over $\mathbb{C}$. We study the dimension and irreducibility of $X(b)$ when $X$ has degree $d \ge 2$, and obtain a geometric analogue of the classical dimension growth conjecture, namely that $\dim X(b) \le b\dim X $ for every $b \ge 1$. In particular, when $X$ is defined over $\mathbb{C}$, this provides uniform bounds on the dimension of the space of degree $b$ rational curves on $X$. We also develop a geometric version of Heath-Brown's $p$-adic determinant method for varieties defined over $\mathbb{C}(t)$. This allows us to show that as soon as $d \ge 6$, the number of irreducible components of $X(b)$ of dimension $b\dim X$ is bounded by a polynomial in $d$ which is independent of $b$. As a further application, we obtain an analogue of the Bombieri--Pila theorem for affine curves, as well as a corresponding result for projective curves.

math.NT↗

Improvements on dimension growth results and effective Hilbert's irreducibility theorem

We sharpen and generalize the dimension growth bounds for the number of points of bounded height lying on an irreducible algebraic variety of degree $d$, over any global field. In particular, we focus on the affine hypersurface situation by relaxing the condition on the top degree homogeneous part of the polynomial describing the affine hypersurface, while sharpening the dependence on the degree in the bounds compared to previous results. We formulate a conjecture about plane curves which provides a conjectural approach to the uniform degree $3$ case (the only remaining open case). For induction on dimension, we develop a higher dimensional effective version of Hilbert's irreducibility theorem, which is of independent interest.

math.NT↗

Integrability and singularities of Harish-Chandra characters

Let $G$ be a reductive group over a local field $F$ of characteristic $0$. By Harish-Chandra's regularity theorem, the character $Θ_π$ of an irreducible, admissible representation $π$ of $G$ is given by a locally integrable function $θ_π$ on $G$. It is a natural question whether $θ_π$ has better integrability properties, namely, whether it is locally $L^{1+ε}$-integrable for some $ε>0$. It turns out that the answer is positive, and this gives rise to a new singularity invariant of representations $ε_{\star}(π):=\sup\left\{ ε:θ_π\in L_{Loc}^{1+ε}(G)\right\} $, which we explore in this paper. We provide a lower bound on $ε_{\star}(π)$ which depends only on the absolute root system of $G$, and explicitly determine $ε_{\star}(π)$ in the case of a $p$-adic $\mathrm{GL}_{n}$. This is done by studying integrability properties of the Fourier transforms $\widehatξ_{\mathcal{O}}$ of stable Richardson nilpotent orbital integrals $ξ_{\mathcal{O}}$. We express $ε_{\star}(\widehatξ_{\mathcal{O}})$ as the log-canonical threshold of a suitable relative Weyl discriminant, and use a resolution of singularities algorithm coming from the theory of hyperplane arrangements, to compute it in terms of the partition associated with the orbit. We obtain several applications; firstly, we provide bounds on the multiplicities of $K$-types in irreducible representations of $G$ in the $p$-adic case, where $K$ is an open compact subgroup. We further obtain bounds on the multiplicities of the irreducible representations appearing in the space $L^{2}(K/L)$, where $K$ is a compact simple Lie group, and $L\leq K$ is a Levi subgroup. Finally, we discover surprising applications in random matrix theory, namely to the study of the eigenvalue distribution of powers of random unitary matrices.

math.RT↗

Integrability of pushforward measures by analytic maps

Given a map $ϕ:X\rightarrow Y$ between $F$-analytic manifolds over a local field $F$ of characteristic $0$, we introduce an invariant $ε_{\star}(ϕ)$ which quantifies the integrability of pushforwards of smooth compactly supported measures by $ϕ$. We further define a local version $ε_{\star}(ϕ,x)$ near $x\in X$. These invariants have a strong connection to the singularities of $ϕ$. When $Y$ is one-dimensional, we give an explicit formula for $ε_{\star}(ϕ,x)$, and show it is asymptotically equivalent to other known singularity invariants such as the $F$-log-canonical threshold $\operatorname{lct}_{F}(ϕ-ϕ(x);x)$ at $x$. In the general case, we show that $ε_{\star}(ϕ,x)$ is bounded from below by the $F$-log-canonical threshold $λ=\operatorname{lct}_{F}(\mathcal{J}_ϕ;x)$ of the Jacobian ideal $\mathcal{J}_ϕ$ near $x$. If $\dim Y=\dim X$, equality is attained. If $\dim Y<\dim X$, the inequality can be strict; however, for $F=\mathbb{C}$, we establish the upper bound $ε_{\star}(ϕ,x)\leqλ/(1-λ)$, whenever $λ<1$. Finally, we specialize to polynomial maps $φ:X\rightarrow Y$ between smooth algebraic $\mathbb{Q}$-varieties $X$ and $Y$. We geometrically characterize the condition that $ε_{\star}(φ_{F})=\infty$ over a large family of local fields, by showing it is equivalent to $φ$ being flat with fibers of semi-log-canonical singularities.

math.AG↗

A number theoretic characterization of $E$-smooth and (FRS) morphisms: estimates on the number of $\mathbb{Z}/p^{k}\mathbb{Z}$-points

We provide uniform estimates on the number of $\mathbb{Z}/p^{k}\mathbb{Z}$-points lying on fibers of flat morphisms between smooth varieties whose fibers have rational singularities, termed (FRS) morphisms. For each individual fiber, the estimates were known by work of Avni and Aizenbud, but we render them uniform over all fibers. The proof technique for individual fibers is based on Hironaka's resolution of singularities and Denef's formula, but breaks down in the uniform case. Instead, we use recent results from the theory of motivic integration. Our estimates are moreover equivalent to the (FRS) property, just like in the absolute case by Avni and Aizenbud. In addition, we define new classes of morphisms, called $E$-smooth morphisms ($E\in\mathbb{N}$), which refine the (FRS) property, and use the methods we developed to provide uniform number-theoretic estimates as above for their fibers. Similar estimates are given for fibers of $\varepsilon$-jet flat morphisms, improving previous results by the last two authors.

math.AG↗

On singularity properties of convolutions of algebraic morphisms -- the general case (with an appendix joint with Gady Kozma)

Let $K$ be a field of characteristic zero, $X$ and $Y$ be smooth $K$-varieties, and let $G$ be a algebraic $K$-group. Given two algebraic morphisms $φ:X\rightarrow G$ and $ψ:Y\rightarrow G$, we define their convolution $φ*ψ:X\times Y\to G$ by $φ*ψ(x,y)=φ(x)\cdotψ(y)$. We then show that this operation yields morphisms with improved smoothness properties. More precisely, we show that for any morphism $φ:X\rightarrow G$ which is dominant when restricted to each absolutely irreducible component of $X$, by convolving it with itself finitely many times, one can obtain a flat morphism with reduced fibers of rational singularities, generalizing the main result of our previous paper. Uniform bounds on families of morphisms are given as well. Moreover, as a key analytic step, we also prove the following result in motivic integration; if $\{f_{\mathbb{Q}_{p}}:\mathbb{Q}_{p}^{n}\rightarrow\mathbb{C}\}_{p\in\mathrm{primes}}$ is a collection of functions which is motivic in the sense of Denef-Pas, and $f_{\mathbb{Q}_{p}}$ is $L^{1}$ for any $p$ large enough, then in fact there exists $ε>0$ such that $f_{\mathbb{Q}_{p}}$ is $L^{1+ε}$ for any $p$ large enough.

math.AG↗

On singularity properties of word maps and applications to probabilistic Waring type problems

We study singularity properties of word maps on semisimple algebraic groups and Lie algebras, generalizing the work of Aizenbud-Avni in the case of the commutator map. Given a word $w$ in a free Lie algebra $\mathcal{L}_{r}$, it induces a word map $φ_{w}:\mathfrak{g}^{r}\rightarrow\mathfrak{g}$ for every semisimple Lie algebra $\mathfrak{g}$. Given two words $w_{1}\in\mathcal{L}_{r_{1}}$ and $w_{2}\in\mathcal{L}_{r_{2}}$, we define and study the convolution of the corresponding word maps $φ_{w_{1}}*φ_{w_{2}}:=φ_{w_{1}}+φ_{w_{2}}:\mathfrak{g}^{r_{1}+r_{2}}\rightarrow\mathfrak{g}$. We show that for any word $w\in\mathcal{L}_{r}$ of degree $d$, and any simple Lie algebra $\mathfrak{g}$ with $φ_{w}(\mathfrak{g}^{r})\neq0$, one obtains a flat morphism with reduced fibers of rational singularities (abbreviated an (FRS) morphism) after taking $O(d^{4})$ self-convolutions of $φ_{w}$. We deduce that a group word map of length $\ell$ becomes (FRS) at $(e,\ldots,e)\in G^{r}$ after $O(\ell^{4})$ self-convolutions, for any semisimple algebraic group $G$. We furthermore bound the dimensions of the jet schemes of the fibers of Lie algebra word maps, and the fibers of group word maps in the case where $G=\mathrm{SL}_{n}$. For the commutator word $ν=[X,Y]$, we show that $φ_ν^{*4}$ is (FRS) for any semisimple Lie algebra, obtaining applications in representation growth of compact $p$-adic and arithmetic groups. The singularity properties we consider, such as the (FRS) property, are intimately connected to the point count of fibers over finite rings of the form $\mathbb{Z}/p^{k}\mathbb{Z}$. This allows us to relate them to properties of some natural families of random walks on finite and compact $p$-adic groups. We explore these connections, and provide applications to $p$-adic probabilistic Waring type problems.

math.AG↗

On twisted Gelfand pairs through commutativity of a Hecke algebra

For a locally compact, totally disconnected group $G$, a subgroup $H$ and a character $χ:H \to \mathbb{C}^{\times}$ we define a Hecke algebra $\mathcal{H}_χ$ and explore the connection between commutativity of $\mathcal{H}_χ$ and the $χ$-Gelfand property of $(G,H)$, i.e. the property $\mathrm{dim}_\mathbb{C}(ρ^*)^{(H,χ^{-1})} \leq 1$ for every $ρ\in \mathrm{Irr}(G)$, the irreducible representations of $G$. We show that the conditions of the Gelfand-Kazhdan criterion imply commutativity of $\mathcal{H}_χ$, and verify in several simple cases that commutativity of $\mathcal{H}_χ$ is equivalent to the $χ$-Gelfand property of $(G,H)$. We then show that if $G$ is a connected reductive group over a $p$-adic field $F$, and $G/H$ is $F$-spherical, then the cuspidal part of $\mathcal{H}_χ$ is commutative if and only if $(G,H)$ satisfies the $χ$-Gelfand property with respect to all cuspidal representations ${ρ\in \mathrm{Irr}(G)}$. We conclude by showing that if $(G,H)$ satisfies the $χ$-Gelfand property with respect to all irreducible $(H,χ^{-1})$-tempered representations of $G$ then $\mathcal{H}_χ$ is commutative.

math.RT↗

On singularity properties of convolutions of algebraic morphisms

Let $K$ be a field of characteristic zero, $X$ and $Y$ be smooth $K$-varieties, and let $V$ be a finite dimensional $K$-vector space. For two algebraic morphisms $φ:X\rightarrow V$ and $ψ:Y\rightarrow V$ we define a convolution operation, $φ*ψ:X\times Y\to V$, by $φ*ψ(x,y)=φ(x)+ψ(y)$. We then study the singularity properties of the resulting morphism, and show that as in the case of convolution in analysis, it has improved smoothness properties. Explicitly, we show that for any morphism $φ:X\rightarrow V$ which is dominant when restricted to each irreducible component of $X$, there exists $N\in\mathbb{N}$ such that for any $n>N$ the $n$-th convolution power $φ^{n}:=φ*\dots*φ$ is a flat morphism with reduced geometric fibers of rational singularities (this property is abbreviated (FRS)). By a theorem of Aizenbud and Avni, for $K=\mathbb{Q}$, this is equivalent to good asymptotic behavior of the size of the $\mathbb{Z}/p^{k}\mathbb{Z}$-fibers of $φ^{n}$ when ranging over both $p$ and $k$. More generally, we show that given a family of morphisms $\{φ_{i}:X_{i}\rightarrow V\}$ of complexity $D\in\mathbb{N}$ (i.e. that the number of variables and the degrees of the polynomials defining $X_{i}$ and $φ_{i}$ are bounded by $D$), there exists $N(D)\in\mathbb{N}$ such that for any $n>N(D)$, the morphism $φ_{1}*\dots*φ_{n}$ is (FRS).

math.AG↗

On the universal mod $p$ supersingular quotients for $\mathrm {GL}_2(F)$ over $\overline{\mathbb F}_p$ for a general $F/\mathbb{Q}_p$

Let $F/\mathbb{Q}_p$ be a finite extension. We explore the universal supersingular mod $p$ representations of $\mathrm{GL}_2(F)$ through computing a basis of their invariant space under the pro-$p$ Iwahori subgroup. This generalizes works of Breuil and Schein from $\mathbb{Q}_p$ and the totally ramified cases to the arbitrary one. Using these results we then construct for an unramified $F/\mathbb{Q}_p$ a quotient of the universal supersingular module which has as quotients all the supersingular representations of $\mathrm{GL}_2(F)$ with a $\mathrm{GL}_2(\mathcal{O}_F)$-socle that is expected to appear in the mod $p$ local Langlands correspondence. A construction for the case of an extension of $\mathbb{Q}_p$ with inertia degree 2 and suitable ramification index is also presented.

math.NT↗