-
Degrees in the $β$- and $β'$-Delaunay graphs
Authors:
Gilles Bonnet,
Joseph Gordon
Abstract:
We investigate the typical cells $\widehat{Z}$ and $\widehat{Z}^\prime$ of $β$- and $β'$-Voronoi tessellations in $\mathbb{R}^d$, establishing a Complementary Theorem which entails: 1) a gamma distribution of the $Φ$-content (a suitable homogeneous functional) of the typical cell with $n$-facets; 2) the independence of this $Φ$-content with the shape of the cell; 3) a practical integral representa…
▽ More
We investigate the typical cells $\widehat{Z}$ and $\widehat{Z}^\prime$ of $β$- and $β'$-Voronoi tessellations in $\mathbb{R}^d$, establishing a Complementary Theorem which entails: 1) a gamma distribution of the $Φ$-content (a suitable homogeneous functional) of the typical cell with $n$-facets; 2) the independence of this $Φ$-content with the shape of the cell; 3) a practical integral representation of the distribution of $Z^{(\prime)}$. We exploit the latter to derive bounds on the distribution of the facet numbers. Using duality, we get bounds on the typical degree distributions of $β$- and $β'$-Delaunay triangulations. For $β'$-Delaunay, the resulting exponential lower bound seems to be the first of its kind for random spatial graphs arising as the skeletons of random tessellations. For $β$-Delaunay, matching super-exponential bounds allow us to show concentration of the maximal degree in a growing window to only a finite number of deterministic values (in particular, only two values for $d=2$).
△ Less
Submitted 31 March, 2025;
originally announced March 2025.
-
Integrability and singularities of Harish-Chandra characters
Authors:
Itay Glazer,
Julia Gordon,
Yotam I. Hendel
Abstract:
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 o…
▽ More
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.
△ Less
Submitted 19 November, 2024; v1 submitted 3 December, 2023;
originally announced December 2023.
-
Orbital integrals and normalizations of measures
Authors:
Julia Gordon,
with appendix by Matthew Koster
Abstract:
This note provides an informal introduction, with examples, to some technical aspects of the re-normalization of measures on orbital integrals used in the work of Langlands, Frenkel-Langlands-Ngô, and Altug on Beyond Endoscopy. In particular, we survey different relevant measures on algebraic tori and explain the connection with the Tamagawa numbers. We work out the example of $\mathrm{GL}_2$ in c…
▽ More
This note provides an informal introduction, with examples, to some technical aspects of the re-normalization of measures on orbital integrals used in the work of Langlands, Frenkel-Langlands-Ngô, and Altug on Beyond Endoscopy. In particular, we survey different relevant measures on algebraic tori and explain the connection with the Tamagawa numbers. We work out the example of $\mathrm{GL}_2$ in complete detail. The Appendix by Matthew Koster illustrates, for the Lie algebras $\mathfrak{sl}_2$ and $\mathfrak{so}_3$, the relation between the so-called geometric measure on the orbits and Kirillov's measure on co-adjoint orbits in the linear dual of the Lie algebra.
△ Less
Submitted 4 May, 2022;
originally announced May 2022.
-
Optimal control and comprehensive cost-effectiveness analysis for COVID-19
Authors:
Joshua Kiddy Kwasi Asamoah,
Eric Okyere,
Afeez Abidemi,
Stephen E. Moore,
Gui-Quan Sun,
Zhen Jin,
Edward Acheampong,
Joseph Frank Gordon
Abstract:
Cost-effectiveness analysis is a mode of determining both the cost and economic health outcomes of one or more control interventions. In this work, we have formulated a non-autonomous nonlinear deterministic model to study the control of COVID-19 to unravel the cost and economic health outcomes for the autonomous nonlinear model proposed for the Kingdom of Saudi Arabia. The optimal control model c…
▽ More
Cost-effectiveness analysis is a mode of determining both the cost and economic health outcomes of one or more control interventions. In this work, we have formulated a non-autonomous nonlinear deterministic model to study the control of COVID-19 to unravel the cost and economic health outcomes for the autonomous nonlinear model proposed for the Kingdom of Saudi Arabia. The optimal control model captures four time-dependent control functions, thus, $u_1$-practising physical or social distancing protocols; $u_2$-practising personal hygiene by cleaning contaminated surfaces with alcohol-based detergents; $u_3$-practising proper and safety measures by exposed, asymptomatic and symptomatic infected individuals; $u_4$-fumigating schools in all levels of education, sports facilities, commercial areas and religious worship centres. We proved the existence of the proposed optimal control model. The optimality system associated with the non-autonomous epidemic model is derived using Pontryagin's maximum principle. We have performed numerical simulations to investigate extensive cost-effectiveness analysis for fourteen optimal control strategies. Comparing the control strategies, we noticed that; Strategy 1 (practising physical or social distancing protocols) is the most cost-saving and most effective control intervention in Saudi Arabia in the absence of vaccination. But, in terms of the infection averted, we saw that strategy 6, strategy 11, strategy 12, and strategy 14 are just as good in controlling COVID-19.
△ Less
Submitted 20 July, 2021;
originally announced July 2021.
-
Counting abelian varieties over finite fields via Frobenius densities
Authors:
Jeff Achter,
Salim Ali Altug,
Luis Garcia,
Julia Gordon,
Wen-Wei Li,
Thomas Rüd
Abstract:
Let $[X,λ]$ be a principally polarized abelian variety over a finite field with commutative endomorphism ring; further suppose that either $X$ is ordinary or the field is prime. Motivated by an equidistribution heuristic, we introduce a factor $ν_v([X,λ])$ for each place $v$ of $\mathbb Q$, and show that the product of these factors essentially computes the size of the isogeny class of $[X,λ]$.…
▽ More
Let $[X,λ]$ be a principally polarized abelian variety over a finite field with commutative endomorphism ring; further suppose that either $X$ is ordinary or the field is prime. Motivated by an equidistribution heuristic, we introduce a factor $ν_v([X,λ])$ for each place $v$ of $\mathbb Q$, and show that the product of these factors essentially computes the size of the isogeny class of $[X,λ]$.
The derivation of this mass formula depends on a formula of Kottwitz and on analysis of measures on the group of symplectic similitudes, and in particular does not rely on a calculation of class numbers.
△ Less
Submitted 2 May, 2022; v1 submitted 28 May, 2019;
originally announced May 2019.
-
Diagonal complexes for surfaces of finite type and surfaces with involution
Authors:
Joseph Gordon,
Gaiane Panina
Abstract:
Two related constructions are studied: (1) The diagonal complex $\mathcal{D}$ and its barycentric subdivision $\mathcal{BD}$ related to a \textit{punctured} oriented surface $F$ equipped with a number of labeled marked points. (2) The symmetric diagonal complex $\mathcal{D}^{inv}$ and its barycentric subdivision $\mathcal{BD}^{inv}$ related to a symmetric (=with an involution) oriented surface…
▽ More
Two related constructions are studied: (1) The diagonal complex $\mathcal{D}$ and its barycentric subdivision $\mathcal{BD}$ related to a \textit{punctured} oriented surface $F$ equipped with a number of labeled marked points. (2) The symmetric diagonal complex $\mathcal{D}^{inv}$ and its barycentric subdivision $\mathcal{BD}^{inv}$ related to a symmetric (=with an involution) oriented surface $F$ equipped with a number of (symmetrically placed) labeled marked points. Eliminating a puncture gives rise to a bundle whose fibers are homeomorphic to a surgery of the surface $F$. The bundle can be viewed as the "universal curve with holes". The symmetric complex is shown to be homotopy equivalent to the complex of a punctured surface obtained by a surgery of the initial symmetric surface.
△ Less
Submitted 4 November, 2020; v1 submitted 15 February, 2018;
originally announced February 2018.
-
Polygons with prescribed edge slopes: configuration space and extremal points of perimeter
Authors:
Joseph Gordon,
Gaiane Panina,
Yana Teplitskaya
Abstract:
We describe the configuration space $\mathbf{S}$ of polygons with prescribed edge slopes, and study the perimeter $\mathcal{P}$ as a Morse function on $\mathbf{S}$. We characterize critical points of $\mathcal{P}$ (these are \textit{tangential} polygons) and compute their Morse indices. This setup is motivated by a number of results about critical points and Morse indices of the oriented area func…
▽ More
We describe the configuration space $\mathbf{S}$ of polygons with prescribed edge slopes, and study the perimeter $\mathcal{P}$ as a Morse function on $\mathbf{S}$. We characterize critical points of $\mathcal{P}$ (these are \textit{tangential} polygons) and compute their Morse indices. This setup is motivated by a number of results about critical points and Morse indices of the oriented area function defined on the configuration space of polygons with prescribed edge lengths (flexible polygons). As a by-product, we present an independent computation of the Morse index of the area function (obtained earlier by G. Panina and A. Zhukova).
△ Less
Submitted 1 December, 2017;
originally announced December 2017.
-
Uniform analysis on local fields and applications to orbital integrals
Authors:
Raf Cluckers,
Julia Gordon,
Immanuel Halupczok
Abstract:
We study upper bounds, approximations, and limits for functions of motivic exponential class, uniformly in non-Archimedean local fields whose characteristic is $0$ or sufficiently large. Our results together form a flexible framework for doing analysis over local fields in a field-independent way. As corollaries, we obtain many new transfer principles, for example, for local constancy, continuity,…
▽ More
We study upper bounds, approximations, and limits for functions of motivic exponential class, uniformly in non-Archimedean local fields whose characteristic is $0$ or sufficiently large. Our results together form a flexible framework for doing analysis over local fields in a field-independent way. As corollaries, we obtain many new transfer principles, for example, for local constancy, continuity, and existence of various kinds of limits. Moreover, we show that the Fourier transform of an $L^2$-function of motivic exponential class is again of motivic exponential class. As an application in the realm of representation theory, we prove uniform bounds for the normalized by the discriminant Fourier transforms of orbital integrals on connected reductive $p$-adic groups.
△ Less
Submitted 12 March, 2018; v1 submitted 9 March, 2017;
originally announced March 2017.
-
Diagonal complexes
Authors:
Joseph Gordon,
Gaiane Panina
Abstract:
Given an $n$-gon, the poset of all collections of pairwise non-crossing diagonals is isomorphic to the face poset of some convex polytope called \textit{associahedron}. We replace in this setting the $n$-gon (viewed as a disc with $n$ marked points on the boundary) with an arbitrary oriented surface with a number of labeled marked points ("vertices"). With appropriate definitions we arrive at cell…
▽ More
Given an $n$-gon, the poset of all collections of pairwise non-crossing diagonals is isomorphic to the face poset of some convex polytope called \textit{associahedron}. We replace in this setting the $n$-gon (viewed as a disc with $n$ marked points on the boundary) with an arbitrary oriented surface with a number of labeled marked points ("vertices"). With appropriate definitions we arrive at cell complexes $\mathcal{D}$ (generalization of) and its barycentric subdivision $\mathcal{BD}$. The complex $\mathcal{D}$ generalizes the associahedron. If the surface is closed, the complex $\mathcal{D}$ (as well as $\mathcal{BD}$) is homotopy equivalent to the space of metric ribbon graphs $RG_{g,n}^{met}$, or, equivalently, to the decorated moduli space $\widetilde{\mathcal{M}}_{g,n}$. For bordered surfaces, we prove the following: (1) Contraction of a boundary edge does not change the homotopy type of the support of the complex. (2) Contraction of a boundary component to a new marked point yields a forgetful map between two diagonal complexes which is homotopy equivalent to the Kontsevich's tautological circle bundle. Thus, contraction of a boundary component gives a natural simplicial model for the tautological bundle. As an application, we compute the psi-class, that is, the first Chern class in combinatorial terms. The latter result is an application of the local combinatorial formula. (3) In the same way, contraction of several boundary components corresponds to Whitney sum of the tautological bundles.
△ Less
Submitted 15 March, 2018; v1 submitted 6 January, 2017;
originally announced January 2017.
-
Combinatorics of the Lipschitz polytope
Authors:
J. Gordon,
F. Petrov
Abstract:
Let $ρ$ be a metric on the set $X=\{1,2,\dots,n+1\}$. Consider the $n$-dimensional polytope of functions $f:X\rightarrow \mathbb{R}$, which satisfy the conditions $f(n+1)=0$, $|f(x)-f(y)|\leq ρ(x,y)$. The question on classifying metrics depending on the combinatorics of this polytope have been recently posed by A. M. Vershik \cite{V}. We prove that for any "generic" metric the number of $(n-m)$-di…
▽ More
Let $ρ$ be a metric on the set $X=\{1,2,\dots,n+1\}$. Consider the $n$-dimensional polytope of functions $f:X\rightarrow \mathbb{R}$, which satisfy the conditions $f(n+1)=0$, $|f(x)-f(y)|\leq ρ(x,y)$. The question on classifying metrics depending on the combinatorics of this polytope have been recently posed by A. M. Vershik \cite{V}. We prove that for any "generic" metric the number of $(n-m)$-dimensional faces, $0\leq m\leq n$, equals $\binom{n+m}{m,m,n-m}=(n+m)!/m!m!(n-m)!$. This fact is intimately related to regular triangulations of the root polytope (the convex hull of the roots of $A_n$ root system). Also we get two-sided estimates for the logarithm of the number of Vershik classes of metrics: $n^3\log n$ from above and $n^2$ from below.
△ Less
Submitted 24 August, 2016;
originally announced August 2016.
-
Elliptic curves, random matrices and orbital integrals
Authors:
Jeff Achter,
Julia Gordon,
Salim Ali Altug
Abstract:
An isogeny class of elliptic curves over a finite field is determined by a quadratic Weil polynomial. Gekeler has given a product formula, in terms of congruence considerations involving that polynomial, for the size of such an isogeny class. In this paper, we give a new, transparent proof of this formula; it turns out that this product actually computes an adelic orbital integral which visibly co…
▽ More
An isogeny class of elliptic curves over a finite field is determined by a quadratic Weil polynomial. Gekeler has given a product formula, in terms of congruence considerations involving that polynomial, for the size of such an isogeny class. In this paper, we give a new, transparent proof of this formula; it turns out that this product actually computes an adelic orbital integral which visibly counts the desired cardinality. This answers a question posed by N. Katz.
△ Less
Submitted 18 November, 2015; v1 submitted 23 October, 2015;
originally announced October 2015.
-
The canonical measure on a reductive p-adic group is motivic
Authors:
Julia Gordon,
David Roe
Abstract:
Let $G$ be a connected reductive group over a non-Archimedean local field. We prove that its parahoric subgroups are definable in the Denef-Pas language, which is a first-order language of logic used in the theory of motivic integration developed by Cluckers and Loeser. The main technical result is the definability of the connected component of the Néron model of a tamely ramified algebraic torus.…
▽ More
Let $G$ be a connected reductive group over a non-Archimedean local field. We prove that its parahoric subgroups are definable in the Denef-Pas language, which is a first-order language of logic used in the theory of motivic integration developed by Cluckers and Loeser. The main technical result is the definability of the connected component of the Néron model of a tamely ramified algebraic torus. As a corollary, we prove that the canonical Haar measure on $G$, which assigns volume $1$ to the particular \emph{canonical} maximal parahoric defined by Gross, is motivic. This result resolves a technical difficulty that arose in Cluckers-Gordon-Halupczok and Shin-Templier and permits a simplification of some of the proofs in those articles. It also allows us to show that formal degree of a compactly induced representation is a motivic function of the parameters defining the representation.
△ Less
Submitted 1 February, 2016; v1 submitted 9 July, 2015;
originally announced July 2015.
-
Endoscopic transfer of orbital integrals in large residual characteristic
Authors:
Julia Gordon,
Thomas Hales
Abstract:
This article constructs Shalika germs in the context of motivic integration, both for ordinary orbital integrals and kappa-orbital integrals. Based on transfer principles in motivic integration and on Waldspurger's endoscopic transfer of smooth functions in characteristic zero, we deduce the endoscopic transfer of smooth functions in sufficiently large residual characteristic.
This article constructs Shalika germs in the context of motivic integration, both for ordinary orbital integrals and kappa-orbital integrals. Based on transfer principles in motivic integration and on Waldspurger's endoscopic transfer of smooth functions in characteristic zero, we deduce the endoscopic transfer of smooth functions in sufficiently large residual characteristic.
△ Less
Submitted 25 February, 2015;
originally announced February 2015.
-
Transfer principles for Bounds of motivic exponential functions
Authors:
Raf Cluckers,
Julia Gordon,
Immanuel Halupczok
Abstract:
We study transfer principles for upper bounds of motivic exponential functions and for linear combinations of such functions, directly generalizing the transfer principles from [7] by Cluckers-Loeser and [13, Appendix B] by Shin-Templier (appendix B by Cluckers-Gordon-Halupczok). These functions come from rather general oscillatory integrals on local fields, and can be used to describe e.g. Fourie…
▽ More
We study transfer principles for upper bounds of motivic exponential functions and for linear combinations of such functions, directly generalizing the transfer principles from [7] by Cluckers-Loeser and [13, Appendix B] by Shin-Templier (appendix B by Cluckers-Gordon-Halupczok). These functions come from rather general oscillatory integrals on local fields, and can be used to describe e.g. Fourier transforms of orbital integrals. One of our techniques consists in reducing to simpler functions where the oscillation only comes from the residue field.
△ Less
Submitted 15 December, 2014;
originally announced December 2014.
-
Shalika germs for sl(n) and sp(2n) are motivic
Authors:
Sharon Frechette,
Julia Gordon,
Lance Robson
Abstract:
We prove that Shalika germs on the Lie algebras sl(n) and sp(2n) belong to the class of so-called `motivic functions' defined by means of a first-order language of logic. We also prove, for these Lie algebras, a uniform bound of the form q^a (where q is the cardinality of the residue field) for the normalized Shalika germs. Our proof of the bound uses the theorem of Harish-Chandra that normalized…
▽ More
We prove that Shalika germs on the Lie algebras sl(n) and sp(2n) belong to the class of so-called `motivic functions' defined by means of a first-order language of logic. We also prove, for these Lie algebras, a uniform bound of the form q^a (where q is the cardinality of the residue field) for the normalized Shalika germs. Our proof of the bound uses the theorem of Harish-Chandra that normalized Shalika germs are bounded, and a model-theoretic statement for uniform bounds of motivic functions from Appendix B to [arXiv:1208.1945].
△ Less
Submitted 12 December, 2014;
originally announced December 2014.
-
Motivic functions, integrability, and uniform in p bounds for orbital integrals
Authors:
Raf Cluckers,
Julia Gordon,
Immanuel Halupczok
Abstract:
This is a short announcement and summary of the results of arxiv:1111.7057, arxiv.org:1111.4405, and Appendix B to arxiv:1208.1945. In particular, we emphasize the exposition of the ideas related to model theory and motivic integration, and simplify the definitions, to make these results easily accessible to non-model theorists.
This is a short announcement and summary of the results of arxiv:1111.7057, arxiv.org:1111.4405, and Appendix B to arxiv:1208.1945. In particular, we emphasize the exposition of the ideas related to model theory and motivic integration, and simplify the definitions, to make these results easily accessible to non-model theorists.
△ Less
Submitted 3 September, 2013;
originally announced September 2013.
-
Galerkin Methods for Complementarity Problems and Variational Inequalities
Authors:
Geoffrey J. Gordon
Abstract:
Complementarity problems and variational inequalities arise in a wide variety of areas, including machine learning, planning, game theory, and physical simulation. In all of these areas, to handle large-scale problem instances, we need fast approximate solution methods. One promising idea is Galerkin approximation, in which we search for the best answer within the span of a given set of basis func…
▽ More
Complementarity problems and variational inequalities arise in a wide variety of areas, including machine learning, planning, game theory, and physical simulation. In all of these areas, to handle large-scale problem instances, we need fast approximate solution methods. One promising idea is Galerkin approximation, in which we search for the best answer within the span of a given set of basis functions. Bertsekas proposed one possible Galerkin method for variational inequalities. However, this method can exhibit two problems in practice: its approximation error is worse than might be expected based on the ability of the basis to represent the desired solution, and each iteration requires a projection step that is not always easy to implement efficiently. So, in this paper, we present a new Galerkin method with improved behavior: our new error bounds depend directly on the distance from the true solution to the subspace spanned by our basis, and the only projections we require are onto the feasible region or onto the span of our basis.
△ Less
Submitted 20 June, 2013;
originally announced June 2013.
-
Fast Solutions to Projective Monotone Linear Complementarity Problems
Authors:
Geoffrey J. Gordon
Abstract:
We present a new interior-point potential-reduction algorithm for solving monotone linear complementarity problems (LCPs) that have a particular special structure: their matrix $M\in{\mathbb R}^{n\times n}$ can be decomposed as $M=ΦU + Π_0$, where the rank of $Φ$ is $k<n$, and $Π_0$ denotes Euclidean projection onto the nullspace of $Φ^\top$. We call such LCPs projective. Our algorithm solves a mo…
▽ More
We present a new interior-point potential-reduction algorithm for solving monotone linear complementarity problems (LCPs) that have a particular special structure: their matrix $M\in{\mathbb R}^{n\times n}$ can be decomposed as $M=ΦU + Π_0$, where the rank of $Φ$ is $k<n$, and $Π_0$ denotes Euclidean projection onto the nullspace of $Φ^\top$. We call such LCPs projective. Our algorithm solves a monotone projective LCP to relative accuracy $ε$ in $O(\sqrt n \ln(1/ε))$ iterations, with each iteration requiring $O(nk^2)$ flops. This complexity compares favorably with interior-point algorithms for general monotone LCPs: these algorithms also require $O(\sqrt n \ln(1/ε))$ iterations, but each iteration needs to solve an $n\times n$ system of linear equations, a much higher cost than our algorithm when $k\ll n$. Our algorithm works even though the solution to a projective LCP is not restricted to lie in any low-rank subspace.
△ Less
Submitted 31 December, 2012;
originally announced December 2012.
-
Local integrability results in harmonic analysis on reductive groups in large positive characteristic
Authors:
Raf Cluckers,
Julia Gordon,
Immanuel Halupczok
Abstract:
Let $G$ be a connected reductive algebraic group over a non-Archimedean local field $K$, and let $g$ be its Lie algebra. By a theorem of Harish-Chandra, if $K$ has characteristic zero, the Fourier transforms of orbital integrals are represented on the set of regular elements in $g(K)$ by locally constant functions, which, extended by zero to all of $g(K)$, are locally integrable. In this paper, we…
▽ More
Let $G$ be a connected reductive algebraic group over a non-Archimedean local field $K$, and let $g$ be its Lie algebra. By a theorem of Harish-Chandra, if $K$ has characteristic zero, the Fourier transforms of orbital integrals are represented on the set of regular elements in $g(K)$ by locally constant functions, which, extended by zero to all of $g(K)$, are locally integrable. In this paper, we prove that these functions are in fact specializations of constructible motivic exponential functions. Combining this with the Transfer Principle for integrability [R. Cluckers, J. Gordon, I. Halupczok, "Transfer principles for integrability and boundedness conditions for motivic exponential functions", preprint arXiv:1111.4405], we obtain that Harish-Chandra's theorem holds also when $K$ is a non-Archimedean local field of sufficiently large positive characteristic. Under the hypothesis on the existence of the mock exponential map, this also implies local integrability of Harish-Chandra characters of admissible representations of $G(K)$, where $K$ is an equicharacteristic field of sufficiently large (depending on the root datum of $G$) characteristic.
△ Less
Submitted 24 September, 2013; v1 submitted 30 November, 2011;
originally announced November 2011.
-
Integrability of oscillatory functions on local fields: transfer principles
Authors:
Raf Cluckers,
Julia Gordon,
Immanuel Halupczok
Abstract:
For oscillatory functions on local fields coming from motivic exponential functions, we show that integrability over $Q_p^n$ implies integrability over $F_p ((t))^n$ for large $p$, and vice versa. More generally, the integrability only depends on the isomorphism class of the residue field of the local field, once the characteristic of the residue field is large enough. This principle yields genera…
▽ More
For oscillatory functions on local fields coming from motivic exponential functions, we show that integrability over $Q_p^n$ implies integrability over $F_p ((t))^n$ for large $p$, and vice versa. More generally, the integrability only depends on the isomorphism class of the residue field of the local field, once the characteristic of the residue field is large enough. This principle yields general local integrability results for Harish-Chandra characters in positive characteristic as we show in other work. Transfer principles for related conditions such as boundedness and local integrability are also obtained. The proofs rely on a thorough study of loci of integrability, to which we give a geometric meaning by relating them to zero loci of functions of a specific kind.
△ Less
Submitted 7 May, 2013; v1 submitted 18 November, 2011;
originally announced November 2011.
-
Transfer to characteristic zero: appendix to "Fundamental Lemma of Jacquet-Rallis in positive characteristics" by Zhiwei Yun
Authors:
Julia Gordon
Abstract:
This appendix shows that the Fundamental lemma of Jacquet-Rallis, proved by Zhiwei Yun in the positive charactersitic case, is also true in characteristic zero, when residue characteristic is sufficiently large. In fact, this follows immediately from the article "Transfer Principle for the Fundamental Lemma" by R. Cluckers, T.C. Hales and F.Loeser.
This appendix shows that the Fundamental lemma of Jacquet-Rallis, proved by Zhiwei Yun in the positive charactersitic case, is also true in characteristic zero, when residue characteristic is sufficiently large. In fact, this follows immediately from the article "Transfer Principle for the Fundamental Lemma" by R. Cluckers, T.C. Hales and F.Loeser.
△ Less
Submitted 4 May, 2010;
originally announced May 2010.
-
On the computability of some positive-depth supercuspidal characters near the identity
Authors:
Raf Cluckers,
Clifton Cunningham,
Julia Gordon,
Loren Spice
Abstract:
This paper is concerned with the values of Harish-Chandra characters of a class of positive-depth, toral, very supercuspidal representations of $p$-adic symplectic and special orthogonal groups, near the identity element. We declare two representations equivalent if their characters coincide on a specific neighbourhood of the identity (which is larger than the neighbourhood on which Harish-Chand…
▽ More
This paper is concerned with the values of Harish-Chandra characters of a class of positive-depth, toral, very supercuspidal representations of $p$-adic symplectic and special orthogonal groups, near the identity element. We declare two representations equivalent if their characters coincide on a specific neighbourhood of the identity (which is larger than the neighbourhood on which Harish-Chandra local character expansion holds). We construct a parameter space $B$ (that depends on the group and a real number $r>0$) for the set of equivalence classes of the representations of minimal depth $r$ satisfying some additional assumptions. This parameter space is essentially a geometric object defined over $\Q$. Given a non-Archimedean local field $\K$ with sufficiently large residual characteristic, the part of the character table near the identity element for $G(\K)$ that comes from our class of representations is parameterized by the residue-field points of $B$. The character values themselves can be recovered by specialization from a constructible motivic exponential function. The values of such functions are algorithmically computable. It is in this sense that we show that a large part of the character table of the group $G(\K)$ is computable.
△ Less
Submitted 28 January, 2010;
originally announced January 2010.
-
An overview of arithmetic motivic integration
Authors:
Julia Gordon,
Yoav Yaffe
Abstract:
This is an attempt at an elementary exposition, with examples, of the theory of motivic integration developed by R. Cluckers and F. Loeser, with the view towards applications in representation theory of p-adic groups.
This is an attempt at an elementary exposition, with examples, of the theory of motivic integration developed by R. Cluckers and F. Loeser, with the view towards applications in representation theory of p-adic groups.
△ Less
Submitted 13 November, 2008;
originally announced November 2008.
-
Motivic proof of a character formula for SL(2)
Authors:
Clifton Cunningham,
Julia Gordon
Abstract:
We give a motivic proof of a character formula for depth zero supercuspidal representations of $p$-adic SL(2). We begin by finding the virtual Chow motives for the character values of all depth zero supercuspidal representations of $p$-adic SL(2), at topologically unipotent elements. Then we find the virtual Chow motives for the values of the Fourier transform of all regular elliptic orbital int…
▽ More
We give a motivic proof of a character formula for depth zero supercuspidal representations of $p$-adic SL(2). We begin by finding the virtual Chow motives for the character values of all depth zero supercuspidal representations of $p$-adic SL(2), at topologically unipotent elements. Then we find the virtual Chow motives for the values of the Fourier transform of all regular elliptic orbital integrals with depth zero in their Cartan subalgebra, at topologically nilpotent elements. Finally, we prove a character formula for depth zero supercuspidal representations by showing that the formula corresponds to three identities in the ring of virtual Chow motives over $\mathbb{Q}$.
△ Less
Submitted 19 August, 2008; v1 submitted 9 September, 2006;
originally announced September 2006.
-
Motivic nature of character values of depth-zero representations
Authors:
Julia Gordon
Abstract:
It is shown that the values of Harish-Chandra distribution characters on definable compact subsets of the set of topologically unipotent elements of symplectic or special orthogonal p-adic groups can be expressed as the trace of Frobenius action on virtual Chow motives. The result is restricted to a class of depth-zero representations that can be obtained by inflation from Deligne-Lusztig repres…
▽ More
It is shown that the values of Harish-Chandra distribution characters on definable compact subsets of the set of topologically unipotent elements of symplectic or special orthogonal p-adic groups can be expressed as the trace of Frobenius action on virtual Chow motives. The result is restricted to a class of depth-zero representations that can be obtained by inflation from Deligne-Lusztig representations. The proof relies on arithmetic motivic integration.
△ Less
Submitted 31 March, 2004;
originally announced March 2004.
-
Virtual Transfer Factors
Authors:
Julia Gordon,
Thomas C. Hales
Abstract:
The Langlands-Shelstad transfer factor is a function defined on some reductive groups over a p-adic field. Near the origin of the group, it may be viewed as a function on the Lie algebra. For classical groups, its values have the form q^c s, where s is -1, 0, or 1, q is the cardinality of the residue field, and c is a rational number. The function s partitions the Lie algebra into three subsets.…
▽ More
The Langlands-Shelstad transfer factor is a function defined on some reductive groups over a p-adic field. Near the origin of the group, it may be viewed as a function on the Lie algebra. For classical groups, its values have the form q^c s, where s is -1, 0, or 1, q is the cardinality of the residue field, and c is a rational number. The function s partitions the Lie algebra into three subsets. This article shows that this partition into three subsets is independent of the p-adic field in the following sense. We define three universal objects (virtual sets in the sense of Quine) such that for any p-adic field F of sufficiently large residue characteristic, the F-points of these three virtual sets form the partition.
The theory of arithmetic motivic integration associates a virtual Chow motive with each of the three virtual sets. The construction in this article achieves the first step in a long program to determine the (still conjectural) virtual Chow motives that control the behavior of orbital integrals.
△ Less
Submitted 30 August, 2002;
originally announced September 2002.
-
Motivic Haar measure on reductive groups
Authors:
Julia Gordon
Abstract:
We define a motivic analogue of the Haar measure for groups of the form G(k((t))), where k is an algebraically closed field of characteristic zero, and G is a reductive algebraic group defined over k. A classical Haar measure on such groups does not exist since they are not locally compact. We use the theory of motivic integration introduced by M. Kontsevich to define an additive function on a c…
▽ More
We define a motivic analogue of the Haar measure for groups of the form G(k((t))), where k is an algebraically closed field of characteristic zero, and G is a reductive algebraic group defined over k. A classical Haar measure on such groups does not exist since they are not locally compact. We use the theory of motivic integration introduced by M. Kontsevich to define an additive function on a certain natural Boolean algebra of subsets of G(k((t))). This function takes values in the so-called dimensional completion of the Grothendieck ring of the category of varieties over the base field. It is invariant under translations by all elements of G(k((t))), and therefore we call it a motivic analogue of Haar measure. We give an explicit construction of the motivic Haar measure, and then prove that the result is independent of all the choices that are made in the process, even though we have no general uniqueness statement.
△ Less
Submitted 12 March, 2002;
originally announced March 2002.
-
Common hypercyclic vectors for multiples of backward shift
Authors:
Evgeny Abakumov,
Julia Gordon
Abstract:
We prove that the space $l^2$ contains a dense set of vectors which are hypercyclic simultaneously for all multiples of the backward shift operator by constants of absolute value greater than 1.
We prove that the space $l^2$ contains a dense set of vectors which are hypercyclic simultaneously for all multiples of the backward shift operator by constants of absolute value greater than 1.
△ Less
Submitted 8 December, 2001;
originally announced December 2001.
