Showing 1–39 of 39 results for author: Kaplan, E

Dimension theory for the asymptotic couple of the field of logarithmic transseries

Authors: Allen Gehret, Elliot Kaplan, Nigel Pynn-Coates

Abstract: In this paper we completely characterize all dimension functions on all models of the theory $T_{\log}$ of the asymptotic couple of the field of logarithmic transseries (Dimension Theorem). This is done by characterizing the "small" $1$-variable definable sets (Small Sets Theorem). As a byproduct, we show that $T_{\log}$ is d-minimal and does not eliminate imaginaries. Separately, we provide an ab… ▽ More In this paper we completely characterize all dimension functions on all models of the theory $T_{\log}$ of the asymptotic couple of the field of logarithmic transseries (Dimension Theorem). This is done by characterizing the "small" $1$-variable definable sets (Small Sets Theorem). As a byproduct, we show that $T_{\log}$ is d-minimal and does not eliminate imaginaries. Separately, we provide an abstract criterion for d-minimality, which we use to observe some new examples of d-minimal expansions of valued fields. △ Less

Submitted 2 July, 2025; originally announced July 2025.

Comments: 38 pages, 4 figures

Report number: MPIM-Bonn-2025

Constant power maps on Hardy fields and transseries

Authors: Elliot Kaplan

Abstract: Let $\mathbb{T}$ be the differential field of logarithmic-exponential transseries. We consider the expansion of $\mathbb{T}$ by the binary map that sends a real number $r$ and a positive transseries $f$ to the transseries $f^r$. Building on recent work of Aschenbrenner, van den Dries, and van der Hoeven, we show that this expansion is model complete, and we give an axiomatization of the theory of… ▽ More Let $\mathbb{T}$ be the differential field of logarithmic-exponential transseries. We consider the expansion of $\mathbb{T}$ by the binary map that sends a real number $r$ and a positive transseries $f$ to the transseries $f^r$. Building on recent work of Aschenbrenner, van den Dries, and van der Hoeven, we show that this expansion is model complete, and we give an axiomatization of the theory of this expansion that is effective relative to the theory of the real exponential field. We show that maximal Hardy fields, equipped with the same map $(f,r)\mapsto f^r$, enjoy the same theory as $\mathbb{T}$, and we use this to establish a transfer theorem between Hardy fields and transseries. △ Less

Submitted 23 December, 2024; originally announced December 2024.

Comments: 26 pages

Report number: MPIM-Bonn-2024 MSC Class: Primary 03C64; 03C10. Secondary 34E05; 12H05; 12J10

A Kunen-Like Model with a Critical Failure of the Continuum Hypothesis

Authors: Omer Ben-Neria, Eyal Kaplan

Abstract: We construct a model of the form $L[A,U]$ that exhibits the simplest structural behavior of $σ$-complete ultrafilters in a model of set theory with a single measurable cardinal $κ$ , yet satisfies $2^κ= κ^{++}$. This result establishes a limitation on the extent to which structural properties of ultrafilters can determine the cardinal arithmetic at large cardinals, and answers a question posed by… ▽ More We construct a model of the form $L[A,U]$ that exhibits the simplest structural behavior of $σ$-complete ultrafilters in a model of set theory with a single measurable cardinal $κ$ , yet satisfies $2^κ= κ^{++}$. This result establishes a limitation on the extent to which structural properties of ultrafilters can determine the cardinal arithmetic at large cardinals, and answers a question posed by Goldberg concerning the failure of the Continuum Hypothesis at a measurable cardinal in a model of the Ultrapower Axiom. The construction introduces several methods in extensions of embeddings theory and fine-structure-based forcing, designed to control the behavior of non-normal ultrafilters in generic extensions. △ Less

Submitted 6 December, 2024; originally announced December 2024.

On fresh sets in iterations of Prikry type forcing notions

Authors: Moti Gitik, Eyal Kaplan

Abstract: We examine the existence (and mostly non-existence) of fresh sets in commonly used iterations of Prikry type forcing notions. Results of [4] are generalized. As an application, a question of a referee of [9] is answered. In addition stationary sets preservation is addressed. We examine the existence (and mostly non-existence) of fresh sets in commonly used iterations of Prikry type forcing notions. Results of [4] are generalized. As an application, a question of a referee of [9] is answered. In addition stationary sets preservation is addressed. △ Less

Submitted 3 March, 2024; originally announced March 2024.

Monotone $T$-convex $T$-differential fields

Authors: Elliot Kaplan, Nigel Pynn-Coates

Abstract: Let $T$ be a complete, model complete o-minimal theory extending the theory of real closed ordered fields and assume that $T$ is power bounded. Let $K$ be a model of $T$ equipped with a $T$-convex valuation ring $\mathcal{O}$ and a $T$-derivation $\partial$ such that $\partial$ is monotone, i.e., weakly contractive with respect to the valuation induced by $\mathcal{O}$. We show that the theory of… ▽ More Let $T$ be a complete, model complete o-minimal theory extending the theory of real closed ordered fields and assume that $T$ is power bounded. Let $K$ be a model of $T$ equipped with a $T$-convex valuation ring $\mathcal{O}$ and a $T$-derivation $\partial$ such that $\partial$ is monotone, i.e., weakly contractive with respect to the valuation induced by $\mathcal{O}$. We show that the theory of monotone $T$-convex $T$-differential fields, i.e., the common theory of such $K$, has a model completion, which is complete and distal. Among the axioms of this model completion, we isolate an analogue of henselianity that we call $T^{\partial}$-henselianity. We establish an Ax--Kochen/Ershov theorem and further results for monotone $T$-convex $T$-differential fields that are $T^{\partial}$-henselian. △ Less

Submitted 23 January, 2025; v1 submitted 25 September, 2023; originally announced September 2023.

Comments: 28 pages; v4: typos corrected

Report number: MPIM-Bonn-2024

Journal ref: Model Th. 4 (2025) 55-100

Simple supercuspidal L-packets of split special orthogonal groups over dyadic fields

Authors: Moshe Adrian, Guy Henniart, Eyal Kaplan, Masao Oi

Abstract: We consider the split special orthogonal group $\mathrm{SO}_{N}$ defined over a $p$-adic field. We determine the structure of any $L$-packet of $\mathrm{SO}_{N}$ containing a simple supercuspidal representation (in the sense of Gross--Reeder). We also determine its endoscopic lift to a general linear group. Combined with the explicit local Langlands correspondence for simple supercuspidal represen… ▽ More We consider the split special orthogonal group $\mathrm{SO}_{N}$ defined over a $p$-adic field. We determine the structure of any $L$-packet of $\mathrm{SO}_{N}$ containing a simple supercuspidal representation (in the sense of Gross--Reeder). We also determine its endoscopic lift to a general linear group. Combined with the explicit local Langlands correspondence for simple supercuspidal representations of general linear groups, this leads us to get an explicit description of the $L$-parameter as a representation of the Weil group of $F$. Our result is new when $p=2$ and our method provides a new proof even when $p\neq2$. △ Less

Submitted 10 June, 2025; v1 submitted 15 May, 2023; originally announced May 2023.

Comments: 58 pages, to appear in J. Lond. Math. Soc

MSC Class: 22E50; 11F70; 11L05

A dichotomy for $T$-convex fields with a monomial group

Authors: Elliot Kaplan, Christoph Kesting

Abstract: We prove a dichotomy for o-minimal fields $\mathcal{R}$, expanded by a $T$-convex valuation ring (where $T$ is the theory of $\mathcal{R}$) and a compatible monomial group. We show that if $T$ is power bounded, then this expansion of $\mathcal{R}$ is model complete (assuming that $T$ is), it has a distal theory, and the definable sets are geometrically tame. On the other hand, if $\mathcal{R}$ def… ▽ More We prove a dichotomy for o-minimal fields $\mathcal{R}$, expanded by a $T$-convex valuation ring (where $T$ is the theory of $\mathcal{R}$) and a compatible monomial group. We show that if $T$ is power bounded, then this expansion of $\mathcal{R}$ is model complete (assuming that $T$ is), it has a distal theory, and the definable sets are geometrically tame. On the other hand, if $\mathcal{R}$ defines an exponential function, then the natural numbers are externally definable in our expansion, precluding any sort of model theoretic tameness. △ Less

Submitted 5 November, 2023; v1 submitted 12 May, 2023; originally announced May 2023.

Comments: 11 pages

MSC Class: Primary 03C64. Secondary 03C10; 12J10

Journal ref: MLQ Math. Log. Q. 70 (2024) 99-110

On Easton support iteration of Prikry type forcing notions

Authors: Moti Gitik, Eyal Kaplan

Abstract: We consider here Easton support iterations of Prikry type forcing notions. New ways of constructing normal ultrafilters in extensions are presented. It turns out that, in contrast with other supports, seemingly unrelated measures or extenders can be involved here. We consider here Easton support iterations of Prikry type forcing notions. New ways of constructing normal ultrafilters in extensions are presented. It turns out that, in contrast with other supports, seemingly unrelated measures or extenders can be involved here. △ Less

Submitted 29 January, 2023; originally announced January 2023.

Hilbert polynomials for finitary matroids

Authors: Antongiulio Fornasiero, Elliot Kaplan

Abstract: We consider a tuple $Φ= (φ_1,\ldots,φ_m)$ of commuting maps on a finitary matroid $X$. We show that if $Φ$ satisfies certain conditions, then for any finite set $A\subseteq X$, the rank of $\{φ_1^{r_1}\cdotsφ_m^{r_m}(a):a \in A\text{ and }r_1+\cdots+r_m = t\}$ is eventually a polynomial in $t$ (we also give a multivariate version of the polynomial). This allows us easily recover Khovanskii's theor… ▽ More We consider a tuple $Φ= (φ_1,\ldots,φ_m)$ of commuting maps on a finitary matroid $X$. We show that if $Φ$ satisfies certain conditions, then for any finite set $A\subseteq X$, the rank of $\{φ_1^{r_1}\cdotsφ_m^{r_m}(a):a \in A\text{ and }r_1+\cdots+r_m = t\}$ is eventually a polynomial in $t$ (we also give a multivariate version of the polynomial). This allows us easily recover Khovanskii's theorem on the growth of sumsets, the existence of the classical Hilbert polynomial, and the existence of the Kolchin polynomial. We also prove some new Kolchin polynomial results for differential exponential fields and derivations on o-minimal fields, as well as a new result on the growth of Betti numbers in simplicial complexes. △ Less

Submitted 19 December, 2024; v1 submitted 2 August, 2022; originally announced August 2022.

Comments: 23 pages, comments are welcome

Report number: MPIM-Bonn-2024 MSC Class: Primary 05B35. Secondary 03C64; 05E40; 12H05; 12H10; 13D40

Journal ref: Pacific J. Math. 333 (2024) 273-308

Classification of irreducible representations of metaplectic covers of the general linear group over a non-archimedean local field

Authors: Eyal Kaplan, Erez Lapid, Jiandi Zou

Abstract: Let $F$ be a non-archimedean local field. The classification of the irreducible representations of $GL_n(F)$, $n\ge0$ in terms of supercuspidal representations is one of the highlights of the Bernstein--Zelevinsky theory. We give an analogous classification for metaplectic coverings of $GL_n(F)$, $n\ge0$. Let $F$ be a non-archimedean local field. The classification of the irreducible representations of $GL_n(F)$, $n\ge0$ in terms of supercuspidal representations is one of the highlights of the Bernstein--Zelevinsky theory. We give an analogous classification for metaplectic coverings of $GL_n(F)$, $n\ge0$. △ Less

Submitted 29 June, 2022; originally announced June 2022.

A note on the representation theory of central extensions of reductive $p$-adic groups

Authors: Eyal Kaplan, Dani Szpruch

Abstract: In this note, we verify that several fundamental results from the theory of representations of reductive $p$-adic groups, extend to finite central extensions of these groups. In this note, we verify that several fundamental results from the theory of representations of reductive $p$-adic groups, extend to finite central extensions of these groups. △ Less

Submitted 17 April, 2023; v1 submitted 14 June, 2022; originally announced June 2022.

Comments: To appear in Comm. Algebra

MSC Class: Primary 11F70; Secondary 11F55; 11F66; 22E50; 22E55

The Magidor Iteration and Restrictions of Ultrapowers to the Ground Model

Authors: Eyal Kaplan

Abstract: We study the Magidor iteration of Prikry forcings below a measurable limit of measurables $ κ$. We first characterize all the normal measures $ κ$ carries in the generic extension, building on and extending the main result of \cite{ben2014forcing}. Then, for every such normal measure, we prove that the restriction of its ultrapower, from the generic extension to the ground model, is an iterated ul… ▽ More We study the Magidor iteration of Prikry forcings below a measurable limit of measurables $ κ$. We first characterize all the normal measures $ κ$ carries in the generic extension, building on and extending the main result of \cite{ben2014forcing}. Then, for every such normal measure, we prove that the restriction of its ultrapower, from the generic extension to the ground model, is an iterated ultrapower of $ V $ by normal measures. This is done without core model theoretic assumptions; $ \mbox{GCH}_{\leq κ} $ in the ground model suffices. △ Less

Submitted 10 February, 2022; originally announced February 2022.

Liouville closed $H_T$-fields

Authors: Elliot Kaplan

Abstract: Let $T$ be an o-minimal theory extending the theory of real closed ordered fields. An $H_T$-field is a model $K$ of $T$ equipped with a $T$-derivation such that the underlying ordered differential field of $K$ is an $H$-field. We study $H_T$-fields and their extensions. Our main result is that if $T$ is power bounded, then every $H_T$-field $K$ has either exactly one or exactly two minimal Liouvil… ▽ More Let $T$ be an o-minimal theory extending the theory of real closed ordered fields. An $H_T$-field is a model $K$ of $T$ equipped with a $T$-derivation such that the underlying ordered differential field of $K$ is an $H$-field. We study $H_T$-fields and their extensions. Our main result is that if $T$ is power bounded, then every $H_T$-field $K$ has either exactly one or exactly two minimal Liouville closed $H_T$-field extensions up to $K$-isomorphism. The assumption of power boundedness can be relaxed to allow for certain exponential cases, such as $T = \operatorname{Th}(\mathbb{R}_{\operatorname{an},\exp})$. △ Less

Submitted 31 January, 2022; originally announced January 2022.

Comments: 42 pages

MSC Class: Primary 03C64; Secondary 12H05; 12J10

The generalized doubling method: $(k,c)$ models

Authors: Yuanqing Cai, Solomon Friedberg, Dmitry Gourevitch, Eyal Kaplan

Abstract: One of the key ingredients in the recent construction of the generalized doubling method is a new class of models, called $(k,c)$ models, for local components of generalized Speh representations. We construct a family of $(k,c)$ representations, in a purely local setting, and discuss their realizations using inductive formulas. Our main result is a uniqueness theorem which is essential for the pro… ▽ More One of the key ingredients in the recent construction of the generalized doubling method is a new class of models, called $(k,c)$ models, for local components of generalized Speh representations. We construct a family of $(k,c)$ representations, in a purely local setting, and discuss their realizations using inductive formulas. Our main result is a uniqueness theorem which is essential for the proof that the generalized doubling integral is Eulerian. △ Less

Submitted 23 September, 2021; originally announced September 2021.

Comments: arXiv admin note: substantial text overlap with arXiv:1802.02637

MSC Class: Primary 11F70; Secondary 11F55; 11F66; 22E50; 22E55

Non-stationary support iterations of Prikry Forcings and Restrictions of Ultrapower Embeddings to the Ground Model

Authors: Moti Gitik, Eyal Kaplan

Abstract: We study the nonstationary-support iteration of Prikry forcings below a measurable cardinal κ, characterizing all the normal measures it carries in the generic extension. We then analyze the restriction of ultrapower embeddings, taken with such a normal measure in the generic extension, to the ground model. We prove that every such restriction is an iterated ultrapwer of the ground model, and prov… ▽ More We study the nonstationary-support iteration of Prikry forcings below a measurable cardinal κ, characterizing all the normal measures it carries in the generic extension. We then analyze the restriction of ultrapower embeddings, taken with such a normal measure in the generic extension, to the ground model. We prove that every such restriction is an iterated ultrapwer of the ground model, and provide a sufficient condition for its definability there. This is done without core-model theoretic arguments: the assumption that GCH holds in the ground model up to κsuffices. △ Less

Submitted 22 September, 2021; originally announced September 2021.

$T$-convex $T$-differential fields and their immediate extensions

Authors: Elliot Kaplan

Abstract: Let $T$ be a polynomially bounded o-minimal theory extending the theory of real closed ordered fields. Let $K$ be a model of $T$ equipped with a $T$-convex valuation ring and a $T$-derivation. If this derivation is continuous with respect to the valuation topology, then we call $K$ a $T$-convex $T$-differential field. We show that every $T$-convex $T$-differential field has an immediate strict… ▽ More Let $T$ be a polynomially bounded o-minimal theory extending the theory of real closed ordered fields. Let $K$ be a model of $T$ equipped with a $T$-convex valuation ring and a $T$-derivation. If this derivation is continuous with respect to the valuation topology, then we call $K$ a $T$-convex $T$-differential field. We show that every $T$-convex $T$-differential field has an immediate strict $T$-convex $T$-differential field extension which is spherically complete. In some important cases, the assumption of polynomial boundedness can be relaxed to power boundedness. △ Less

Submitted 25 August, 2022; v1 submitted 21 April, 2021; originally announced April 2021.

Comments: 26 pages

MSC Class: Primary 03C64; Secondary 12H05; 12J10

Journal ref: Pacific J. Math. 320 (2022) 261-298

Model completeness for the differential field of transseries with exponentiation

Authors: Elliot Kaplan

Abstract: Let $\mathbb{T}$ be the differential field of logarithmic-exponential transseries. We show that the expansion of $\mathbb{T}$ by its natural exponential function is model complete and locally o-minimal. We give an axiomatization of the theory of this expansion that is effective relative to the theory of the real exponential field. We adapt our results to show that the expansion of $\mathbb{T}$ by… ▽ More Let $\mathbb{T}$ be the differential field of logarithmic-exponential transseries. We show that the expansion of $\mathbb{T}$ by its natural exponential function is model complete and locally o-minimal. We give an axiomatization of the theory of this expansion that is effective relative to the theory of the real exponential field. We adapt our results to show that the expansion of $\mathbb{T}$ by this exponential function and by its natural restricted sine and restricted cosine functions is also model complete and locally o-minimal. △ Less

Submitted 26 November, 2020; v1 submitted 30 April, 2020; originally announced April 2020.

Comments: 1.3 is incorrect as stated. This creates a gap in 4.15 and 4.19, both of which are needed for the main result. The gap in 4.15 can be fixed, the gap in 4.19 is work in progress

Surreal ordered exponential fields

Authors: Philip Ehrlich, Elliot Kaplan

Abstract: In [26], the algebraico-tree-theoretic simplicity hierarchical structure of J. H. Conway's ordered field $\mathbf{No}$ of surreal numbers was brought to the fore and employed to provide necessary and sufficient conditions for an ordered field (ordered $K$-vector space) to be isomorphic to an initial subfield ($K$-subspace) of $\mathbf{No}$, i.e. a subfield ($K$-subspace) of $\mathbf{No}$ that is a… ▽ More In [26], the algebraico-tree-theoretic simplicity hierarchical structure of J. H. Conway's ordered field $\mathbf{No}$ of surreal numbers was brought to the fore and employed to provide necessary and sufficient conditions for an ordered field (ordered $K$-vector space) to be isomorphic to an initial subfield ($K$-subspace) of $\mathbf{No}$, i.e. a subfield ($K$-subspace) of $\mathbf{No}$ that is an initial subtree of $\mathbf{No}$. In this sequel to [15], piggybacking on the just-said results, analogous results are established for ordered exponential fields, making use of a slight generalization of Schmeling's conception of a transseries field. It is further shown that a wide range of ordered exponential fields are isomorphic to initial exponential subfields of $(\mathbf{No}, \exp)$. These include all models of $T(\mathbb{R}_W, e^x)$, where $\mathbb{R}_W$ is the reals expanded by a convergent Weierstrass system $W$. Of these, those we call trigonometric-exponential fields are given particular attention. It is shown that the exponential functions on the initial trigonometric-exponential subfields of $\mathbf{No}$, which includes $\mathbf{No}$ itself, extend to canonical exponential functions on their surcomplex counterparts. The image of the canonical map of the ordered exponential field $\mathbb{T}^{LE}$ of logarithmic-exponential transseries into $\mathbf{No}$ is shown to be initial, as are the ordered exponential fields $\mathbb{R}((ω))^{EL}$ and $\mathbb{R}\langle\langleω\rangle \rangle$. △ Less

Submitted 22 June, 2021; v1 submitted 18 February, 2020; originally announced February 2020.

Comments: 37 pages. This version contains new material on the relationship with transseries fields, including a restatement of the main theorem (Theorem 9.1). Accepted to the Journal of Symbolic Logic

MSC Class: Primary 06A05; 03C64; Secondary 12J15; 06F20; 06F25

Doubling Constructions: the complete L-function for coverings of the symplectic group

Authors: Eyal Kaplan

Abstract: We develop the local theory of the generalized doubling method for the $m$-fold central extension $Sp_{2n}^{(m)}$ of Matsumoto of the symplectic group. We define local $γ$-, $L$- and $ε$-factors for pairs of genuine representations of $Sp_{2n}^{(m)}\times\widetilde{GL}_k$ and prove their fundamental properties, in the sense of Shahidi. Here $\widetilde{GL}_k$ is the central extension of $GL_k$ ari… ▽ More We develop the local theory of the generalized doubling method for the $m$-fold central extension $Sp_{2n}^{(m)}$ of Matsumoto of the symplectic group. We define local $γ$-, $L$- and $ε$-factors for pairs of genuine representations of $Sp_{2n}^{(m)}\times\widetilde{GL}_k$ and prove their fundamental properties, in the sense of Shahidi. Here $\widetilde{GL}_k$ is the central extension of $GL_k$ arising in the context of the Langlands--Shahidi method for covering groups of $Sp_{2n}\times GL_k$. We then construct the complete $L$-function for cuspidal representations and prove its global functional equation. Possible applications include classification results and a Shimura type lift of representations from covering groups to general linear groups (a global lift is sketched here for $m=2$). △ Less

Submitted 4 July, 2021; v1 submitted 22 January, 2020; originally announced January 2020.

Comments: Generalized the Rankin-Selberg integrals of Sect. 3 to $GL_c^{(m)} \times GL_k^{(m)}$ for all $c$

MSC Class: Primary 11F70; Secondary 11F55; 11F66; 22E50; 22E55

Multiplicity one theorems for the generalized doubling method

Authors: Avraham Aizenbud, Dmitry Gourevitch, Eyal Kaplan

Abstract: In this work we prove the local multiplicity at most one theorem underlying the definition and theory of local $γ$-, $ε$- and $L$-factors, defined by virtue of the generalized doubling method, over any local field of characteristic 0. We also present two applications: one to the existence of local factors for genuine representations of covering groups, the other to the global unfolding argument of… ▽ More In this work we prove the local multiplicity at most one theorem underlying the definition and theory of local $γ$-, $ε$- and $L$-factors, defined by virtue of the generalized doubling method, over any local field of characteristic 0. We also present two applications: one to the existence of local factors for genuine representations of covering groups, the other to the global unfolding argument of the doubling integral. △ Less

Submitted 8 March, 2021; v1 submitted 18 September, 2019; originally announced September 2019.

Comments: To be published in the J. Eur. Math. Soc. The main body of the paper by Dmitry Gourevitch and Eyal Kaplan. Appendix A by Avraham Aizenbud and Dmitry Gourevitch. V2: Appendix A added

MSC Class: 11F70 (Primary); 11F55; 11F66; 20G20; 22E30; 22E50; 22E45; 22E55 (Secondary)

On the Langlands parameter of a simple supercuspidal representation: even orthogonal groups

Authors: Moshe Adrian, Eyal Kaplan

Abstract: Let $π$ be a simple supercuspidal representation of the split even special orthogonal group. We compute the Rankin-Selberg $γ$-factors for rank 1-twists of $π$ by quadratic tamely ramified characters of $F^*$. We then use our results to determine the Langlands parameter of $π$ up to its restriction to the wild inertia subgroup, subject to an analogue of a work of Blondel, Henniart, and Stevens for… ▽ More Let $π$ be a simple supercuspidal representation of the split even special orthogonal group. We compute the Rankin-Selberg $γ$-factors for rank 1-twists of $π$ by quadratic tamely ramified characters of $F^*$. We then use our results to determine the Langlands parameter of $π$ up to its restriction to the wild inertia subgroup, subject to an analogue of a work of Blondel, Henniart, and Stevens for $SO_{2l}$. In the particular case of the field $\mathbb{Q}_2$, we are able to describe the parameter completely. △ Less

Submitted 22 May, 2019; originally announced May 2019.

Comments: 19 pages

Generic derivations on o-minimal structures

Authors: Antongiulio Fornasiero, Elliot Kaplan

Abstract: Let $T$ be a complete, model complete o-minimal theory extending the theory RCF of real closed ordered fields in some appropriate language $L$. We study derivations $δ$ on models $\mathcal{M}\models T$. We introduce the notion of a $T$-derivation: a derivation which is compatible with the $L(\emptyset)$-definable $\mathcal{C}^1$-functions on $\mathcal{M}$. We show that the theory of $T$-models wit… ▽ More Let $T$ be a complete, model complete o-minimal theory extending the theory RCF of real closed ordered fields in some appropriate language $L$. We study derivations $δ$ on models $\mathcal{M}\models T$. We introduce the notion of a $T$-derivation: a derivation which is compatible with the $L(\emptyset)$-definable $\mathcal{C}^1$-functions on $\mathcal{M}$. We show that the theory of $T$-models with a $T$-derivation has a model completion $T^δ_G$. The derivation in models $(\mathcal{M},δ)\models T^δ_G$ behaves "generically," it is wildly discontinuous and its kernel is a dense elementary $L$-substructure of $\mathcal{M}$. If $T =$ RCF, then $T^δ_G$ is the theory of closed ordered differential fields (CODF) as introduced by Michael Singer. We are able to recover many of the known facts about CODF in our setting. Among other things, we show that $T^δ_G$ has $T$ as its open core, that $T^δ_G$ is distal, and that $T^δ_G$ eliminates imaginaries. We also show that the theory of $T$-models with finitely many commuting $T$-derivations has a model completion. △ Less

Submitted 26 November, 2020; v1 submitted 17 May, 2019; originally announced May 2019.

Comments: 29 pages

MSC Class: 03C64 (Primary); 03C10; 12H05 (Secondary)

Journal ref: Journal of Mathematical Logic (2021) 21:02 2150007

Doubling Constructions and Tensor Product $L$-Functions: coverings of the symplectic group

Authors: Eyal Kaplan

Abstract: In this work we develop an integral representation for the partial $L$-function of a pair $π\timesτ$ of genuine irreducible cuspidal automorphic representations, $π$ of the $m$-fold covering of Matsumoto of the symplectic group $Sp_{2n}$, and $τ$ of a certain covering group of $GL_k$, with arbitrary $m$, $n$ and $k$. Our construction is based on the recent extension by Cai, Friedberg, Ginzburg and… ▽ More In this work we develop an integral representation for the partial $L$-function of a pair $π\timesτ$ of genuine irreducible cuspidal automorphic representations, $π$ of the $m$-fold covering of Matsumoto of the symplectic group $Sp_{2n}$, and $τ$ of a certain covering group of $GL_k$, with arbitrary $m$, $n$ and $k$. Our construction is based on the recent extension by Cai, Friedberg, Ginzburg and the author, of the classical doubling method of Piatetski-Shapiro and Rallis, from rank-$1$ twists to arbitrary rank twists. We prove a basic global identity for the integral and compute the local integrals with unramified data. Possible applications include an analytic definition of local factors for representations of covering groups, and a Shimura type lift of representations from covering groups to general linear groups. △ Less

Submitted 2 July, 2020; v1 submitted 3 February, 2019; originally announced February 2019.

Comments: Replaced the previous appendix with a new one

MSC Class: Primary 11F70; Secondary 11F55; 11F66; 22E50; 22E55

Continuous Regular Functions

Authors: Alexi Block Gorman, Philipp Hieronymi, Elliot Kaplan, Ruoyu Meng, Erik Walsberg, Zihe Wang, Ziqin Xiong, Hongru Yang

Abstract: Following Chaudhuri, Sankaranarayanan, and Vardi, we say that a function $f:[0,1] \to [0,1]$ is $r$-regular if there is a Büchi automaton that accepts precisely the set of base $r \in \mathbb{N}$ representations of elements of the graph of $f$. We show that a continuous $r$-regular function $f$ is locally affine away from a nowhere dense, Lebesgue null, subset of $[0,1]$. As a corollary we establi… ▽ More Following Chaudhuri, Sankaranarayanan, and Vardi, we say that a function $f:[0,1] \to [0,1]$ is $r$-regular if there is a Büchi automaton that accepts precisely the set of base $r \in \mathbb{N}$ representations of elements of the graph of $f$. We show that a continuous $r$-regular function $f$ is locally affine away from a nowhere dense, Lebesgue null, subset of $[0,1]$. As a corollary we establish that every differentiable $r$-regular function is affine. It follows that checking whether an $r$-regular function is differentiable is in $\operatorname{PSPACE}$. Our proofs rely crucially on connections between automata theory and metric geometry developed by Charlier, Leroy, and Rigo. △ Less

Submitted 13 February, 2020; v1 submitted 10 January, 2019; originally announced January 2019.

Journal ref: Logical Methods in Computer Science, Volume 16, Issue 1 (February 14, 2020) lmcs:5301

Logarithmic Hyperseries

Authors: Lou van den Dries, Joris van der Hoeven, Elliot Kaplan

Abstract: We define the field $\mathbb{L}$ of logarithmic hyperseries, construct on $\mathbb{L}$ natural operations of differentiation, integration, and composition, establish the basic properties of these operations, and characterize these operations uniquely by such properties. We define the field $\mathbb{L}$ of logarithmic hyperseries, construct on $\mathbb{L}$ natural operations of differentiation, integration, and composition, establish the basic properties of these operations, and characterize these operations uniquely by such properties. △ Less

Submitted 3 October, 2018; originally announced October 2018.

Comments: 42 pages

Pairs of Theories Satisfying a Mordell-Lang Condition

Authors: Alexi Block Gorman, Philipp Hieronymi, Elliot Kaplan

Abstract: This paper proposes a new setup for studying pairs of structures. This new framework includes many of the previously studied classes of pairs, such as dense pairs of o-minimal structures, lovely pairs, fields with Mann groups, and $H$-structures, but also includes new ones, such as pairs consisting of a real closed field and a pseudo real closed subfield, and pairs of vector spaces with different… ▽ More This paper proposes a new setup for studying pairs of structures. This new framework includes many of the previously studied classes of pairs, such as dense pairs of o-minimal structures, lovely pairs, fields with Mann groups, and $H$-structures, but also includes new ones, such as pairs consisting of a real closed field and a pseudo real closed subfield, and pairs of vector spaces with different fields of scalars. We use the larger generality of this framework to answer three concrete open questions raised in earlier work on this subject. △ Less

Submitted 15 January, 2020; v1 submitted 31 May, 2018; originally announced June 2018.

Comments: 23 pages, revised version includes significant changes to the set up

MSC Class: 03C10

The Langlands parameter of a simple supercuspidal representation: Symplectic groups

Authors: Moshe Adrian, Eyal Kaplan

Abstract: Let $π$ be a simple supercuspidal representation of the symplectic group $Sp_{2l}(F)$, over a $p$-adic field $F$. In this work, we explicitly compute the Rankin-Selberg $γ$-factor of rank-$1$ twists of $π$. We then completely determine the Langlands parameter of $π$, if $p \neq 2$. In the case that $F = \mathbb{Q}_2$, we give a conjectural description of the functorial lift of $π$, with which, usi… ▽ More Let $π$ be a simple supercuspidal representation of the symplectic group $Sp_{2l}(F)$, over a $p$-adic field $F$. In this work, we explicitly compute the Rankin-Selberg $γ$-factor of rank-$1$ twists of $π$. We then completely determine the Langlands parameter of $π$, if $p \neq 2$. In the case that $F = \mathbb{Q}_2$, we give a conjectural description of the functorial lift of $π$, with which, using a recent work of Bushnell and Henniart, one can obtain its Langlands parameter. △ Less

Submitted 20 June, 2018; v1 submitted 23 March, 2018; originally announced March 2018.

Comments: 26 pages, corrected typos, revised introduction. Final version

MSC Class: 11S37; 22E50

Distality for the asymptotic couple of the field of logarithmic transseries

Authors: Allen Gehret, Elliot Kaplan

Abstract: We show that the theory $T_{\log}$ of the asymptotic couple of the field of logarithmic transseries is distal. As distal theories are NIP (= the non-independence property), this provides a new proof that $T_{\log}$ is NIP. Finally, we show that $T_{\log}$ is not strongly dependent, and in particular, it is not $\operatorname{dp}$-minimal and it does not have finite $\operatorname{dp}$-rank. We show that the theory $T_{\log}$ of the asymptotic couple of the field of logarithmic transseries is distal. As distal theories are NIP (= the non-independence property), this provides a new proof that $T_{\log}$ is NIP. Finally, we show that $T_{\log}$ is not strongly dependent, and in particular, it is not $\operatorname{dp}$-minimal and it does not have finite $\operatorname{dp}$-rank. △ Less

Submitted 22 May, 2018; v1 submitted 15 February, 2018; originally announced February 2018.

Comments: 16 pp; 3 figures

MSC Class: 03C64 (Primary); 03C45; 06F20 (Secondary)

Journal ref: Notre Dame J. Formal Logic 61, no. 2 (2020), 341-361

Doubling constructions: Global functoriality for non-generic cuspidal representations

Authors: Yuanqing Cai, Solomon Friedberg, Eyal Kaplan

Abstract: We study the generalized doubling method for pairs of representations of $G\times GL_k$ where $G$ is a symplectic group, split special orthogonal group or split general spin group. We analyze the poles of the local integrals, and prove that the global completed $L$-function with a cuspidal representation of $GL_k$ twisted by a highly ramified Hecke character is entire. We obtain a new proof of the… ▽ More We study the generalized doubling method for pairs of representations of $G\times GL_k$ where $G$ is a symplectic group, split special orthogonal group or split general spin group. We analyze the poles of the local integrals, and prove that the global completed $L$-function with a cuspidal representation of $GL_k$ twisted by a highly ramified Hecke character is entire. We obtain a new proof of the weak functorial transfer of cuspidal automorphic representations of $G$ to the natural general linear group, which is independent of the trace formula and its prerequisites, by combining our results with the Converse Theorem. △ Less

Submitted 20 May, 2024; v1 submitted 7 February, 2018; originally announced February 2018.

Comments: Previous version, V4, was expanded and split into 3 parts: 1. Cai, Friedberg, Gourevitch and Kaplan, The generalized doubling method: (k,c) models, Proc. Amer. Math. Soc. 151 (2023), 2831-2845. 2. Cai, Friedberg and Kaplan, The generalized doubling method: local theory, Geom. Funct. Anal. 32 (2022), 1233-1333 (with an appendix by Gourevitch). 3. This version, to be published in the Ann. of Math

MSC Class: Primary 11F70; Secondary 11F55; 11F66; 22E50; 22E55

Doubling Constructions and Tensor Product ${L}$-Functions: the linear case

Authors: Yuanqing Cai, Solomon Friedberg, David Ginzburg, Eyal Kaplan

Abstract: We present an integral representation for the tensor product $L$-function of a pair of automorphic cuspidal representations, one of a classical group, the other of a general linear group. Our construction is uniform over all classical groups, and is applicable to all cuspidal representations; it does not require genericity. The main new ideas of the construction are the use of generalized Speh rep… ▽ More We present an integral representation for the tensor product $L$-function of a pair of automorphic cuspidal representations, one of a classical group, the other of a general linear group. Our construction is uniform over all classical groups, and is applicable to all cuspidal representations; it does not require genericity. The main new ideas of the construction are the use of generalized Speh representations as inducing data for the Eisenstein series and the introduction of a new (global and local) model, which generalizes the Whittaker model. This is the first in a series of papers, treating symplectic and even orthogonal groups. Subsequent papers (in preparation) will treat odd orthogonal and general spin groups, the metaplectic covering version of these integrals, and applications to functoriality coming from combining this work with the converse theorem (and independent of the trace formula). △ Less

Submitted 2 August, 2018; v1 submitted 2 October, 2017; originally announced October 2017.

MSC Class: 11F70 (Primary); 11F55; 11F66; 22E50; 22E55 (Secondary)

A Godement-Jacquet type integral and the metaplectic Shalika model

Authors: Eyal Kaplan, Jan Möllers

Abstract: We present a novel integral representation for a quotient of global automorphic L-functions, the symmetric square over the exterior square. The pole of this integral characterizes a period of a residual representation of an Eisenstein series. As such, the integral itself constitutes a period, of an arithmetic nature. The construction involves the study of local and global aspects of a new model fo… ▽ More We present a novel integral representation for a quotient of global automorphic L-functions, the symmetric square over the exterior square. The pole of this integral characterizes a period of a residual representation of an Eisenstein series. As such, the integral itself constitutes a period, of an arithmetic nature. The construction involves the study of local and global aspects of a new model for double covers of general linear groups, the metaplectic Shalika model. In particular, we prove uniqueness results over p-adic and Archimedean fields, and a new Casselman-Shalika type formula. △ Less

Submitted 4 March, 2016; originally announced March 2016.

MSC Class: Primary 11F70; Secondary 11F27

Journal ref: Amer. J. Math. 141 (2019), no. 1, 219-282

Doubling Constructions for Covering Groups and Tensor Product L-Functions

Authors: Yuanqing Cai, Solomon Friedberg, David Ginzburg, Eyal Kaplan

Abstract: This is a research announcement concerning a series of constructions obtained by applying the "doubling method" from the theory of automorphic forms to covering groups. Using these constructions, we obtain partial tensor product L-functions attached to generalized Shimura lifts, which may be defined in a natural way since at almost all places the representations are unramified principal series. This is a research announcement concerning a series of constructions obtained by applying the "doubling method" from the theory of automorphic forms to covering groups. Using these constructions, we obtain partial tensor product L-functions attached to generalized Shimura lifts, which may be defined in a natural way since at almost all places the representations are unramified principal series. △ Less

Submitted 29 January, 2016; originally announced January 2016.

MSC Class: Primary 11F70; Secondary 11F55; 11F66

Number Systems with Simplicity Hierarchies II

Authors: Philip Ehrlich, Elliot Kaplan

Abstract: In [15], the algebraico-tree-theoretic simplicity hierarchical structure of J. H. Conway's ordered field No of surreal numbers was brought to the fore and employed to provide necessary and sufficient conditions for an ordered field to be isomorphic to an initial subfield of No, i.e. a subfield of No that is an initial subtree of No. In this sequel to [15], analogous results for ordered abelian gro… ▽ More In [15], the algebraico-tree-theoretic simplicity hierarchical structure of J. H. Conway's ordered field No of surreal numbers was brought to the fore and employed to provide necessary and sufficient conditions for an ordered field to be isomorphic to an initial subfield of No, i.e. a subfield of No that is an initial subtree of No. In this sequel to [15], analogous results for ordered abelian groups and ordered domains are established which in turn are employed to characterize the convex subgroups and convex subdomains of initial subfields of No that are themselves initial. It is further shown that an initial subdomain of No is discrete if and only if it is an initial subdomain of No's canonical integer part Oz of omnifc integers. Finally, extending results of [15], the theories of divisible ordered abelian groups and real-closed ordered fields are shown to be the sole theories of ordered abelian groups and ordered fields all of whose models are isomorphic to initial subgroups and initial subfields of No. △ Less

Submitted 13 December, 2015; originally announced December 2015.

On the Local Theory of Rankin-Selberg Convolutions for $\mathrm{SO_{2l}\times GL_{n}}$

Authors: Eyal Kaplan

Abstract: 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 local theory for generic representations of special orthogonal groups. We study the local integrals for $SO_{2l}\times GL_{n}$, where $SO_{2l}$ is the special e… ▽ More 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 local theory for generic representations of special orthogonal groups. We study the local integrals for $SO_{2l}\times GL_{n}$, where $SO_{2l}$ is the special even orthogonal group, either split or quasi-split, over a local non-Archimedean field. These integrals admit a functional equation, which is used to define a $γ$-factor. We show that, as expected, the $γ$-factor is identical with Shahidi's $γ$-factor. The analytic properties of the integrals are condensed into a notion of a greatest common divisor (g.c.d.). We establish certain bounds on the g.c.d. and relate it to the $L$-function defined by Shahidi in several cases, thereby providing another point of view on the $L$-function, linking it to the poles of the integrals. In particular, in the tempered case under a reasonable assumption the g.c.d. is equal to the $L$-function. Finally, this study includes the computation of the integrals with unramified data. This work may lead to new applications of the descent method, as well as aid in analyzing the poles of the global $L$-function. △ Less

Submitted 18 June, 2015; originally announced June 2015.

Comments: This is my PhD Thesis, prepared under the supervision of Professor David Soudry at Tel Aviv University, submitted January 2013

The characterization of theta-distinguished representations of $GL_n$

Authors: Eyal Kaplan

Abstract: Let $θ$ and $θ'$ be a pair of exceptional representations in the sense of Kazhdan and Patterson [KP], of a metaplectic double cover of $GL_n$. The tensor $θ\otimesθ'$ is a (very large) representation of $GL_n$. We characterize its irreducible generic quotients. In the square-integrable case, these are precisely the representations whose symmetric square L-function has a pole at s=0. Our proof of t… ▽ More Let $θ$ and $θ'$ be a pair of exceptional representations in the sense of Kazhdan and Patterson [KP], of a metaplectic double cover of $GL_n$. The tensor $θ\otimesθ'$ is a (very large) representation of $GL_n$. We characterize its irreducible generic quotients. In the square-integrable case, these are precisely the representations whose symmetric square L-function has a pole at s=0. Our proof of this case involves a new globalization result. In the general case these are the representations induced from distinguished data or pairs of representations and their contragradients. The combinatorial analysis is based on a complete determination of the twisted Jacquet modules of $θ$. As a corollary, $θ$ is shown to admit a new "metaplectic Shalika model". △ Less

Submitted 23 February, 2015; originally announced February 2015.

MSC Class: 11F70

Resolution depth of positive braids

Authors: Elliot Kaplan, David Krcatovich, Patricia O'Brien

Abstract: The depth of a link measures the minimum height of a resolving tree for the link whose leaves are all unlinks. We show that the depth of the closure of a strictly positive braid word is the length of the word minus the number of distinct letters. The depth of a link measures the minimum height of a resolving tree for the link whose leaves are all unlinks. We show that the depth of the closure of a strictly positive braid word is the length of the word minus the number of distinct letters. △ Less

Submitted 3 December, 2014; originally announced December 2014.

Comments: 9 pages, 6 figures

MSC Class: 57M25

Theta distinguished representations, inflation and the symmetric square L-function

Authors: Eyal Kaplan

Abstract: Let $Π_0$ be a representation of a group $H$. We say that a representation $τ$ is $(H,Π_0)$-distinguished, if it is a quotient of $Π_0$. It is natural to ask whether this notion "inflates" to larger groups, in the sense that a representation $\mathrm{I}(τ)$ induced from $τ$ and $H$ to a group $G$, is $(G,Π)$-distinguished. We study representations distinguished by theta representations: $H=GL_n$,… ▽ More Let $Π_0$ be a representation of a group $H$. We say that a representation $τ$ is $(H,Π_0)$-distinguished, if it is a quotient of $Π_0$. It is natural to ask whether this notion "inflates" to larger groups, in the sense that a representation $\mathrm{I}(τ)$ induced from $τ$ and $H$ to a group $G$, is $(G,Π)$-distinguished. We study representations distinguished by theta representations: $H=GL_n$, $Π_0$ is a pair of the exceptional representations of Kazhdan and Patterson, $G=GSpin_{2n+1}$ and $Π$ is a pair of the small representations of Bump, Friedberg and Ginzburg. We prove a Rodier-type hereditary property: a tempered representation $τ$ is distinguished if and only if $\mathrm{I}(τ)$ is distinguished, and the multiplicity in each model is the same. If $τ$ is supercuspidal and distinguished, we prove that the Langlands quotient of $\mathrm{I}(τ)$ is distinguished. As a corollary, we characterize supercuspidal distinguished representations, in terms of the pole of the local symmetric square $L$-function at $s=0$. △ Less

Submitted 5 December, 2014; v1 submitted 18 November, 2014; originally announced November 2014.

MSC Class: 11F70

The double cover of odd general spin groups, small representations and applications

Authors: Eyal Kaplan

Abstract: We construct local and global metaplectic double covers of odd general spin groups, using the cover of Matsumoto of spin groups. Following Kazhdan and Patterson, a local exceptional representation is the unique irreducible quotient of a principal series representation, induced from a certain exceptional character. The global exceptional representation is obtained as the multi-residue of an Eisenst… ▽ More We construct local and global metaplectic double covers of odd general spin groups, using the cover of Matsumoto of spin groups. Following Kazhdan and Patterson, a local exceptional representation is the unique irreducible quotient of a principal series representation, induced from a certain exceptional character. The global exceptional representation is obtained as the multi-residue of an Eisenstein series, it is an automorphic representation and decomposes as the restricted tensor product of local exceptional representations. As in the case of the small representation of SO(2n+1) of Bump, Friedberg and Ginzburg, exceptional representations enjoy the vanishing of a large class of twisted Jacquet modules (locally), or Fourier coefficients (globally). Consequently they are useful in many settings, including lifting problems and Rankin-Selberg integrals. We describe one application, to a calculation of a co-period integral. △ Less

Submitted 14 November, 2014; originally announced November 2014.

MSC Class: 11F70

Representations distinguished by pairs of exceptional representations and a conjecture of Savin

Authors: Eyal Kaplan

Abstract: We study representations of GL(n) appearing as quotients of a tensor of exceptional representations, in the sense of Kazhdan and Patterson. Such representations are called distinguished. We characterize distinguished principal series representations in terms of their inducing data. In particular, we complete the proof of a conjecture of Savin, relating distinguished spherical representations to th… ▽ More We study representations of GL(n) appearing as quotients of a tensor of exceptional representations, in the sense of Kazhdan and Patterson. Such representations are called distinguished. We characterize distinguished principal series representations in terms of their inducing data. In particular, we complete the proof of a conjecture of Savin, relating distinguished spherical representations to the image of the tautological lift from a suitable classical group. △ Less

Submitted 13 November, 2014; originally announced November 2014.

MSC Class: 11E95 (primary); 11F85 (secondary)