Showing 1–29 of 29 results for author: Ramsey, N

Measures on bounded perfect PAC fields

Authors: Zoé Chatzidakis, Nicholas Ramsey

Abstract: We describe a construction for producing Keisler measures on bounded perfect PAC fields. As a corollary, we deduce that all groups definable in bounded perfect PAC fields, and even in unbounded perfect Frobenius fields, are definably amenable. This work builds on our earlier constructions of measures for $e$-free PAC fields and a related construction due to Will Johnson. We describe a construction for producing Keisler measures on bounded perfect PAC fields. As a corollary, we deduce that all groups definable in bounded perfect PAC fields, and even in unbounded perfect Frobenius fields, are definably amenable. This work builds on our earlier constructions of measures for $e$-free PAC fields and a related construction due to Will Johnson. △ Less

Submitted 18 April, 2025; originally announced April 2025.

Primitive pseudo-finite permutation groups of finite SU-rank

Authors: Ulla Karhumäki, Nicholas Ramsey

Abstract: We study definably primitive pseudo-finite permutation groups of finite $SU$-rank. We show that if $(G,X)$ is such a permutation group, then the rank of $G$ can be bounded in terms of the rank of $X$, providing an analogue of a theorem of Borovik and Cherlin in the setting of definably primitive permutation groups of finite Morley rank. We study definably primitive pseudo-finite permutation groups of finite $SU$-rank. We show that if $(G,X)$ is such a permutation group, then the rank of $G$ can be bounded in terms of the rank of $X$, providing an analogue of a theorem of Borovik and Cherlin in the setting of definably primitive permutation groups of finite Morley rank. △ Less

Submitted 11 April, 2025; originally announced April 2025.

Some model theory of quadratic geometries

Authors: Charlotte Kestner, Nicholas Ramsey

Abstract: Orthogonal spaces are vector spaces together with a quadratic form whose associated bilinear form is non-degenerate. Over fields of characteristic two, there are many quadratic forms associated to a given bilinear form and quadratic geometries are structures that encode a vector space over a field of characteristic 2 with a non-degenerate bilinear form together with a space of associated quadratic… ▽ More Orthogonal spaces are vector spaces together with a quadratic form whose associated bilinear form is non-degenerate. Over fields of characteristic two, there are many quadratic forms associated to a given bilinear form and quadratic geometries are structures that encode a vector space over a field of characteristic 2 with a non-degenerate bilinear form together with a space of associated quadratic forms. These structures over finite fields of characteristic 2 form an important part of the basic geometries that appear in the Lie coordinatizable structures of Cherlin and Hrushovski. We (a) describe the respective model companions of the theory of orthogonal spaces and the theory of quadratic geometries and (b) classify the pseudo-finite completions of these theories. We also (c) give a neostability-theoretic classification of the model companions and these pseudo-finite completions. This is a small step towards understanding the analogue of the Cherlin-Hrushovski theory of Lie coordinatizable structures in a setting where the involved fields may be pseudo-finite. △ Less

Submitted 19 August, 2024; originally announced August 2024.

A two-sorted theory of nilpotent Lie algebras

Authors: Christian d'Elbée, Isabel Müller, Nicholas Ramsey, Daoud Siniora

Abstract: We prove the existence of a model companion of the two-sorted theory of $c$-nilpotent Lie algebras over a field satisfying a given theory of fields. We describe a language in which it admits relative quantifier elimination up to the field sort. Using a new criterion which does not rely on a stationary independence relation, we prove that if the field is NSOP$_1$, then the model companion is NSOP… ▽ More We prove the existence of a model companion of the two-sorted theory of $c$-nilpotent Lie algebras over a field satisfying a given theory of fields. We describe a language in which it admits relative quantifier elimination up to the field sort. Using a new criterion which does not rely on a stationary independence relation, we prove that if the field is NSOP$_1$, then the model companion is NSOP$_4$. We also prove that if the field is algebraically closed, then the model companion is $c$-NIP. △ Less

Submitted 17 July, 2024; originally announced July 2024.

Model-theoretic properties of nilpotent groups and Lie algebras

Authors: Christian d'Elbée, Isabel Müller, Nicholas Ramsey, Daoud Siniora

Abstract: We give a systematic study of the model theory of generic nilpotent groups and Lie algebras. We show that the Fraïssé limit of 2-nilpotent groups of exponent $p$ studied by Baudisch is 2-dependent and NSOP$_{1}$. We prove that the class of $c$-nilpotent Lie algebras over an arbitrary field, in a language with predicates for a Lazard series, is closed under free amalgamation. We show that for… ▽ More We give a systematic study of the model theory of generic nilpotent groups and Lie algebras. We show that the Fraïssé limit of 2-nilpotent groups of exponent $p$ studied by Baudisch is 2-dependent and NSOP$_{1}$. We prove that the class of $c$-nilpotent Lie algebras over an arbitrary field, in a language with predicates for a Lazard series, is closed under free amalgamation. We show that for $2 < c$, the generic $c$-nilpotent Lie algebra over $\mathbb{F}_{p}$ is strictly NSOP$_{4}$ and $c$-dependent. Via the Lazard correspondence, we obtain the same result for $c$-nilpotent groups of exponent $p$, for an odd prime $p > c$. △ Less

Submitted 21 June, 2024; v1 submitted 26 October, 2023; originally announced October 2023.

Comments: 45 pages

A New Kim's Lemma

Authors: Alex Kruckman, Nicholas Ramsey

Abstract: Kim's Lemma is a key ingredient in the theory of forking independence in simple theories. It asserts that if a formula divides, then it divides along every Morley sequence in type of the parameters. Variants of Kim's Lemma have formed the core of the theories of independence in two orthogonal generalizations of simplicity - namely, the classes of NTP2 and NSOP1 theories. We introduce a new variant… ▽ More Kim's Lemma is a key ingredient in the theory of forking independence in simple theories. It asserts that if a formula divides, then it divides along every Morley sequence in type of the parameters. Variants of Kim's Lemma have formed the core of the theories of independence in two orthogonal generalizations of simplicity - namely, the classes of NTP2 and NSOP1 theories. We introduce a new variant of Kim's Lemma that simultaneously generalizes the NTP2 and NSOP1 variants. We explore examples and non-examples in which this lemma holds, discuss implications with syntactic properties of theories, and ask several questions. △ Less

Submitted 30 June, 2024; v1 submitted 6 September, 2023; originally announced September 2023.

Comments: Minor corrections and improvements. To appear in Model Theory

Journal ref: Model Th. 3 (2024) 825-860

Generic Stability Independence and Treeless theories

Authors: Itay Kaplan, Nicholas Ramsey, Pierre Simon

Abstract: We initiate a systematic study of \emph{generic stability independence} and introduce the class of \emph{treeless theories} in which this notion of independence is particularly well-behaved. We show that the class of treeless theories contains both binary theories and stable theories and give several applications of the theory of independence for treeless theories. As a corollary, we show that eve… ▽ More We initiate a systematic study of \emph{generic stability independence} and introduce the class of \emph{treeless theories} in which this notion of independence is particularly well-behaved. We show that the class of treeless theories contains both binary theories and stable theories and give several applications of the theory of independence for treeless theories. As a corollary, we show that every binary NSOP$_{3}$ theory is simple. △ Less

Submitted 29 May, 2023; v1 submitted 2 May, 2023; originally announced May 2023.

Some dynamics in real quadratic fields with applications to inhomogeneous minima

Authors: Nick Ramsey

Abstract: Let $K$ be a real quadratic field. We use a symbolic coding of the action of a fundamental unit on the real $2$-torus associated to $K$ to study the family of subsets $X_t$ of norm distance $\geq t$ from the origin. As an application, we prove that inhomogeneous spectrum of $K$ contains a dense set of elements of $K$, and conclude that all isolated inhomogeneous minima lie in $K$. Let $K$ be a real quadratic field. We use a symbolic coding of the action of a fundamental unit on the real $2$-torus associated to $K$ to study the family of subsets $X_t$ of norm distance $\geq t$ from the origin. As an application, we prove that inhomogeneous spectrum of $K$ contains a dense set of elements of $K$, and conclude that all isolated inhomogeneous minima lie in $K$. △ Less

Submitted 24 August, 2022; v1 submitted 24 June, 2022; originally announced June 2022.

Comments: 10 pages, 3 figures

MSC Class: 11H50; 11H55; 11R04; 11R11; 37B10

Measures on perfect e-free PAC fields

Authors: Zoé Chatzidakis, Nicholas Ramsey

Abstract: We construct measures on definable sets in $e$-free perfect PAC fields, as well as on perfect PAC fields whose absolute Galois groups are free pro-$p$ of finite rank. We deduce the definable amenability of all groups definable in such fields. As a corollary, we additionally prove the definable amenability of all groups definable in perfect $ω$-free PAC fields via ultralimit measures. We construct measures on definable sets in $e$-free perfect PAC fields, as well as on perfect PAC fields whose absolute Galois groups are free pro-$p$ of finite rank. We deduce the definable amenability of all groups definable in such fields. As a corollary, we additionally prove the definable amenability of all groups definable in perfect $ω$-free PAC fields via ultralimit measures. △ Less

Submitted 7 February, 2022; originally announced February 2022.

Perturbing Subshifts of Finite Type

Authors: Nick Ramsey

Abstract: Given an SFT $Σ$ and a finite set $S$ of finite words, let $Σ\langle S\rangle$ denote the subshift of $Σ$ that avoids $S$. We establish a general criterion under which we can bound the entropy perturbation $h(Σ)-h(Σ\langle S\rangle)$ from above. As an application, we prove that this entropy difference tends to zero with a sequence of such sets $S_1, S_2, \dots$ under various assumptions on the… ▽ More Given an SFT $Σ$ and a finite set $S$ of finite words, let $Σ\langle S\rangle$ denote the subshift of $Σ$ that avoids $S$. We establish a general criterion under which we can bound the entropy perturbation $h(Σ)-h(Σ\langle S\rangle)$ from above. As an application, we prove that this entropy difference tends to zero with a sequence of such sets $S_1, S_2, \dots$ under various assumptions on the $S_i$. △ Less

Submitted 14 January, 2022; originally announced January 2022.

MSC Class: 37B10

Invariant measures in simple and in small theories

Authors: Artem Chernikov, Ehud Hrushovski, Alex Kruckman, Krzysztof Krupinski, Slavko Moconja, Anand Pillay, Nicholas Ramsey

Abstract: We give examples of (i) a simple theory with a formula (with parameters) which does not fork over the empty set but has mu measure 0 for every automorphism invariant Keisler measure mu, and (ii) a definable group G in a simple theory such that G is not definably amenable, i.e. there is no translation invariant Keisler measure on G We also discuss paradoxical decompositions both in the setting of… ▽ More We give examples of (i) a simple theory with a formula (with parameters) which does not fork over the empty set but has mu measure 0 for every automorphism invariant Keisler measure mu, and (ii) a definable group G in a simple theory such that G is not definably amenable, i.e. there is no translation invariant Keisler measure on G We also discuss paradoxical decompositions both in the setting of discrete groups and of definable groups, and prove some positive results about small theories, including the definable amenability of definable groups, and nontriviality of the graded Grothendieck ring. △ Less

Submitted 2 July, 2022; v1 submitted 15 May, 2021; originally announced May 2021.

Comments: 32 pages. This is a revised version of the paper taking into account suggestions of the referee. It has been accepted by the Journal of Math. Logic

MSC Class: 03C45; 43A07

Exact saturation in pseudo-elementary classes for simple and stable theories

Authors: Itay Kaplan, Nicholas Ramsey, Saharon Shelah

Abstract: We study PC-exact saturation for stable and simple theories. Among other results, we show that PC-exact saturation characterizes the stability cardinals of size at least continuum of a countable stable theory and, additionally, that simple unstable theories have PC-exact saturation at singular cardinals, satisfying mild set-theoretic hypotheses, which had previously been open even for the random g… ▽ More We study PC-exact saturation for stable and simple theories. Among other results, we show that PC-exact saturation characterizes the stability cardinals of size at least continuum of a countable stable theory and, additionally, that simple unstable theories have PC-exact saturation at singular cardinals, satisfying mild set-theoretic hypotheses, which had previously been open even for the random graph. We characterize supersimplicity of countable theories in terms of having PC-exact saturation at singular cardinals of countable cofinality. We also consider the local analogue of PC-exact saturation, showing that local PC-exact saturation for singular cardinals of countable cofinality characterizes supershort theories. △ Less

Submitted 9 May, 2022; v1 submitted 17 September, 2020; originally announced September 2020.

Transitivity, lowness, and ranks in NSOP$_1$ theories

Authors: Artem Chernikov, Byunghan Kim, Nicholas Ramsey

Abstract: We develop the theory of Kim-independence in the context of NSOP$_{1}$ theories satsifying the existence axiom. We show that, in such theories, Kim-independence is transitive and that $\ind^{K}$-Morley sequences witness Kim-dividing. As applications, we show that, under the assumption of existence, in a low NSOP$_{1}$ theory, Shelah strong types and Lascar strong types coincide and, additionally,… ▽ More We develop the theory of Kim-independence in the context of NSOP$_{1}$ theories satsifying the existence axiom. We show that, in such theories, Kim-independence is transitive and that $\ind^{K}$-Morley sequences witness Kim-dividing. As applications, we show that, under the assumption of existence, in a low NSOP$_{1}$ theory, Shelah strong types and Lascar strong types coincide and, additionally, we introduce a notion of rank for NSOP$_{1}$ theories. △ Less

Submitted 2 June, 2023; v1 submitted 18 June, 2020; originally announced June 2020.

Criteria for exact saturation and singular compactness

Authors: Itay Kaplan, Nicholas Ramsey, Saharon Shelah

Abstract: We introduce the class of unshreddable theories, which contains the simple and NIP theories, and prove that such theories have exactly saturated models in singular cardinals, satisfying certain set-theoretic hypotheses. We also give criteria for a theory to have singular compactness. We introduce the class of unshreddable theories, which contains the simple and NIP theories, and prove that such theories have exactly saturated models in singular cardinals, satisfying certain set-theoretic hypotheses. We also give criteria for a theory to have singular compactness. △ Less

Submitted 15 April, 2021; v1 submitted 1 March, 2020; originally announced March 2020.

Independence over arbitrary sets in NSOP$_1$ theories

Authors: Jan Dobrowolski, Byunghan Kim, Nicholas Ramsey

Abstract: We study Kim-independence over arbitrary sets. Assuming that forking satisfies existence, we establish Kim's lemma for Kim-dividing over arbitrary sets in an NSOP$_{1}$ theory. We deduce symmetry of Kim-independence and the independence theorem for Lascar strong types. We study Kim-independence over arbitrary sets. Assuming that forking satisfies existence, we establish Kim's lemma for Kim-dividing over arbitrary sets in an NSOP$_{1}$ theory. We deduce symmetry of Kim-independence and the independence theorem for Lascar strong types. △ Less

Submitted 18 September, 2019; originally announced September 2019.

Perturbing subshifts of finite type: two words

Authors: Nick Ramsey

Abstract: We bound the change in entropy incurred by an irreducible subshift of finite type upon perturbing it by forbidding a pair of admissible words. Lind has proven such bounds in the one-word case, and we adapt his methods. In particular, we introduce multi-word correlation polynomials and study their size, as well as that of their determinant in the two-word case. We bound the change in entropy incurred by an irreducible subshift of finite type upon perturbing it by forbidding a pair of admissible words. Lind has proven such bounds in the one-word case, and we adapt his methods. In particular, we introduce multi-word correlation polynomials and study their size, as well as that of their determinant in the two-word case. △ Less

Submitted 8 February, 2019; originally announced February 2019.

Comments: 21 pages

MSC Class: 37B10

Transitivity of Kim-independence

Authors: Itay Kaplan, Nicholas Ramsey

Abstract: We prove several results on the behavior of Kim-independence upon changing the base in NSOP$_{1}$ theories. As a consequence, we prove that Kim-independence satisfies transitivity and that this characterizes NSOP$_{1}$. Moreover, we characterize witnesses to Kim-dividing as exactly the $\ind^{K}$-Morley sequences. We give several applications, answering a number of open questions concerning transi… ▽ More We prove several results on the behavior of Kim-independence upon changing the base in NSOP$_{1}$ theories. As a consequence, we prove that Kim-independence satisfies transitivity and that this characterizes NSOP$_{1}$. Moreover, we characterize witnesses to Kim-dividing as exactly the $\ind^{K}$-Morley sequences. We give several applications, answering a number of open questions concerning transitivity, Morley sequences, and local character in NSOP$_{1}$ theories. △ Less

Submitted 4 December, 2020; v1 submitted 21 January, 2019; originally announced January 2019.

A note on NSOP$_{1}$ in one variable

Authors: Nicholas Ramsey

Abstract: We prove that, in order to establish that a theory is NSOP$_{1}$, it suffices to show that no formula in a single free variable has SOP$_{1}$. We prove that, in order to establish that a theory is NSOP$_{1}$, it suffices to show that no formula in a single free variable has SOP$_{1}$. △ Less

Submitted 26 November, 2018; v1 submitted 1 March, 2018; originally announced March 2018.

Local character of Kim-independence

Authors: Itay Kaplan, Nicholas Ramsey, Saharon Shelah

Abstract: We show that NSOP$_{1}$ theories are exactly the theories in which Kim-independence satisfies a form of local character. In particular, we show that if $T$ is NSOP$_{1}$, $M\models T$, and $p$ is a type over $M$, then the collection of elementary substructures of size $\left|T\right|$ over which $p$ does not Kim-fork is a club of $\left[M\right]^{\left|T\right|}$ and that this characterizes NSOP… ▽ More We show that NSOP$_{1}$ theories are exactly the theories in which Kim-independence satisfies a form of local character. In particular, we show that if $T$ is NSOP$_{1}$, $M\models T$, and $p$ is a type over $M$, then the collection of elementary substructures of size $\left|T\right|$ over which $p$ does not Kim-fork is a club of $\left[M\right]^{\left|T\right|}$ and that this characterizes NSOP$_{1}$. We also present a new phenomenon we call dual local-character for Kim-independence in NSOP$_{1}$-theories. △ Less

Submitted 12 February, 2018; v1 submitted 10 July, 2017; originally announced July 2017.

Generic expansion and Skolemization in NSOP$_1$ theories

Authors: Alex Kruckman, Nicholas Ramsey

Abstract: We study expansions of NSOP$_1$ theories that preserve NSOP$_1$. We prove that if $T$ is a model complete NSOP$_1$ theory eliminating the quantifier $\exists^{\infty}$, then the generic expansion of $T$ by arbitrary constant, function, and relation symbols is still NSOP$_1$. We give a detailed analysis of the special case of the theory of the generic $L$-structure, the model companion of the empty… ▽ More We study expansions of NSOP$_1$ theories that preserve NSOP$_1$. We prove that if $T$ is a model complete NSOP$_1$ theory eliminating the quantifier $\exists^{\infty}$, then the generic expansion of $T$ by arbitrary constant, function, and relation symbols is still NSOP$_1$. We give a detailed analysis of the special case of the theory of the generic $L$-structure, the model companion of the empty theory in an arbitrary language $L$. Under the same hypotheses, we show that $T$ may be generically expanded to an NSOP$_1$ theory with built-in Skolem functions. In order to obtain these results, we establish strengthenings of several properties of Kim-independence in NSOP$_1$ theories, adding instances of algebraic independence to their conclusions. △ Less

Submitted 16 September, 2018; v1 submitted 20 June, 2017; originally announced June 2017.

MSC Class: 03C45; 03C10

Journal ref: Annals of Pure and Applied Logic 169 (2018), no. 8, 755-774

On Kim-Independence

Authors: Itay Kaplan, Nicholas Ramsey

Abstract: We study NSOP$_{1}$ theories. We define Kim-independence, which generalizes non-forking independence in simple theories and corresponds to non-forking at a generic scale. We show that Kim-independence satisfies a version of Kim's lemma, local character, symmetry, and an independence theorem and that, moreover, these properties individually characterize NSOP$_{1}$ theories. We describe Kim-independ… ▽ More We study NSOP$_{1}$ theories. We define Kim-independence, which generalizes non-forking independence in simple theories and corresponds to non-forking at a generic scale. We show that Kim-independence satisfies a version of Kim's lemma, local character, symmetry, and an independence theorem and that, moreover, these properties individually characterize NSOP$_{1}$ theories. We describe Kim-independence in several concrete theories and observe that it corresponds to previously studied notions of independence in Frobenius fields and vector spaces with a generic bilinear form. △ Less

Submitted 8 January, 2019; v1 submitted 13 February, 2017; originally announced February 2017.

MSC Class: 03C45; 03C55; 03C60

Invariants Related to the Tree Property

Authors: Nicholas Ramsey

Abstract: We consider global analogues of model-theoretic tree properties. The main objects of study are the invariants related to Shelah's tree property $κ_{\text{cdt}}(T)$, $κ_{\text{sct}}(T)$, and $κ_{\text{inp}}(T)$ and the relations that obtain between them. From strong colorings, we construct theories $T$ with $κ_{\text{cdt}}(T) > κ_{\text{sct}}(T) + κ_{\text{inp}}(T)$. We show that these invariants h… ▽ More We consider global analogues of model-theoretic tree properties. The main objects of study are the invariants related to Shelah's tree property $κ_{\text{cdt}}(T)$, $κ_{\text{sct}}(T)$, and $κ_{\text{inp}}(T)$ and the relations that obtain between them. From strong colorings, we construct theories $T$ with $κ_{\text{cdt}}(T) > κ_{\text{sct}}(T) + κ_{\text{inp}}(T)$. We show that these invariants have distinct structural consequences, by investigating the decay of saturation in ultrapowers of models of $T$, where $T$ is some theory with $κ_{\text{cdt}}(T)$, $κ_{\text{sct}}(T)$, or $κ_{\text{inp}}(T)$ large and bounded. This answers some questions of Shelah. △ Less

Submitted 12 August, 2019; v1 submitted 19 November, 2015; originally announced November 2015.

MSC Class: 03C45; 03C55

On model-theoretic tree properties

Authors: Artem Chernikov, Nicholas Ramsey

Abstract: We study model theoretic tree properties ($\text{TP}, \text{TP}_1, \text{TP}_2$) and their associated cardinal invariants ($κ_{\text{cdt}}, κ_{\text{sct}}, κ_{\text{inp}}$, respectively). In particular, we obtain a quantitative refinement of Shelah's theorem ($\text{TP} \Rightarrow \text{TP}_1 \lor \text{TP}_2$) for countable theories, show that $\text{TP}_1$ is always witnessed by a formula in a… ▽ More We study model theoretic tree properties ($\text{TP}, \text{TP}_1, \text{TP}_2$) and their associated cardinal invariants ($κ_{\text{cdt}}, κ_{\text{sct}}, κ_{\text{inp}}$, respectively). In particular, we obtain a quantitative refinement of Shelah's theorem ($\text{TP} \Rightarrow \text{TP}_1 \lor \text{TP}_2$) for countable theories, show that $\text{TP}_1$ is always witnessed by a formula in a single variable (partially answering a question of Shelah) and that weak $k-\text{TP}_1$ is equivalent to $\text{TP}_1$ (answering a question of Kim and Kim). Besides, we give a characterization of $\text{NSOP}_1$ via a version of independent amalgamation of types and apply this criterion to verify that some examples in the literature are indeed $\text{NSOP}_1$. △ Less

Submitted 20 October, 2016; v1 submitted 3 May, 2015; originally announced May 2015.

Comments: v.2: Proofs of Lemma 5.2 and Prop 4.9 were clarified, Prop 6.16 - corrected; minor presentation improvements; accepted to the Journal of Mathematical Logic

MSC Class: 03C45; 05C55; 05C05

$p$-adic interpolation of square roots of central $L$-values of modular forms

Authors: Nick Ramsey

Abstract: We construct a meromorphic function on the eigencurve that interpolates a square root of the ratio of the central values of two quadratic twists of the $L$-function at classical points. We construct a meromorphic function on the eigencurve that interpolates a square root of the ratio of the central values of two quadratic twists of the $L$-function at classical points. △ Less

Submitted 2 November, 2012; originally announced November 2012.

MSC Class: 11F11; 11F33; 11F37; 11F30; 11F67; 14G22

$B_{\mathrm{Sen}}$ via distributions on weight space

Authors: Nick Ramsey

Abstract: We introduce a certain ring of rigid-analytic distributions on $p$-adic weight space (modulo torsion) and show that it is canonically isomorphic to Colmez's ring $B_{\mathrm{Sen}}$. We introduce a certain ring of rigid-analytic distributions on $p$-adic weight space (modulo torsion) and show that it is canonically isomorphic to Colmez's ring $B_{\mathrm{Sen}}$. △ Less

Submitted 7 December, 2009; originally announced December 2009.

Comments: 13 pages

MSC Class: 11F80; 11F85; 11S20

Euclidean Ideals in Quadratic Imaginary Fields

Authors: Hester Graves, Nick Ramsey

Abstract: We classify all quadratic imaginary number fields that have a Euclidean ideal class. There are seven of them, they are of class number at most two, and in each case the unique class that generates the class-group is moreover norm-Euclidean. We classify all quadratic imaginary number fields that have a Euclidean ideal class. There are seven of them, they are of class number at most two, and in each case the unique class that generates the class-group is moreover norm-Euclidean. △ Less

Submitted 14 September, 2009; originally announced September 2009.

Comments: 12 pages, 17 figures

MSC Class: 11R04; 11R11

The overconvergent Shimura lifting

Authors: Nick Ramsey

Abstract: We construct a rigid-analytic map from the the author's half-integral weight cuspidal eigencurve to its integral weight counterpart that interpolates the classical Shimura lifting. We construct a rigid-analytic map from the the author's half-integral weight cuspidal eigencurve to its integral weight counterpart that interpolates the classical Shimura lifting. △ Less

Submitted 17 June, 2009; originally announced June 2009.

Comments: 24 pages

MSC Class: 11F11; 11F33; 11F37

Journal ref: IMRN (2009), no. 2, p. 193-220

The half-integral weight eigencurve

Authors: Nick Ramsey

Abstract: In this paper we define Banach spaces of overconvergent half-integral weight $p$-adic modular forms and Banach modules of families of overconvergent half-integral weight $p$-adic modular forms over admissible open subsets of weight space. Both spaces are equipped with a continuous Hecke action for which $U_{p^2}$ is moreover compact. The modules of families of forms are used to construct an eige… ▽ More In this paper we define Banach spaces of overconvergent half-integral weight $p$-adic modular forms and Banach modules of families of overconvergent half-integral weight $p$-adic modular forms over admissible open subsets of weight space. Both spaces are equipped with a continuous Hecke action for which $U_{p^2}$ is moreover compact. The modules of families of forms are used to construct an eigencurve parameterizing all finite-slope systems of eigenvalues of Hecke operators acting on these spaces. We also prove an analog of Coleman's theorem stating that overconvergent eigenforms of suitably low slope are classical. △ Less

Submitted 17 June, 2009; originally announced June 2009.

MSC Class: 11F11; 11F33; 11F37

Journal ref: Algebra and Number Theory 2 (2008), no. 7, p. 755-808

Geometric and $p$-adic modular forms of half-integral weight

Authors: Nick Ramsey

Abstract: We introduce a geometric formalism for studying modular forms of half-integral weight and explore some of its basic properties. Geometric Hecke operators are constructed and some basic spaces of $p$-adic forms are introduced. The $p$-adic theory is greatly expanded in subsequent papers, making that part of this paper largely obsolete. We introduce a geometric formalism for studying modular forms of half-integral weight and explore some of its basic properties. Geometric Hecke operators are constructed and some basic spaces of $p$-adic forms are introduced. The $p$-adic theory is greatly expanded in subsequent papers, making that part of this paper largely obsolete. △ Less

Submitted 17 June, 2009; originally announced June 2009.

Comments: 22 pages

MSC Class: 11F11; 11F33; 11F37

Journal ref: Annales de l'Institut Fourier 56 (2006), no. 3, p. 599-624