-
arXiv:2506.02029 [pdf, ps, other]
Axioms of Quantum Mechanics in light of Continuous Model Theory
Abstract: The aim of this note is to recast somewhat informal axiom system of quantum mechanics used by physicists (Dirac calculus) in the language of Continuous Logic. We note an analogy between Tarski's notion of cylindric algebras, as a tool of algebraisation of first order logic, and Hilbert spaces which can serve the same purpose for continuous logic of physics. The aim of this note is to recast some… ▽ More
Submitted 30 May, 2025; originally announced June 2025.
MSC Class: 03C66;
-
arXiv:2410.01846 [pdf, ps, other]
On the logical structure of physics
Abstract: One of the main claims of the paper is that Dirac's calculus and broader theories of physics can be treated as theories written in the language of Continuous Logic. Establishing its true interpretation (model) is a model theory problem. The paper introduces such a model for the fragment which covers ``free theories'', that is physical theories with Gaussian (quadratic) potential. The model is pseu… ▽ More
Submitted 30 September, 2024; originally announced October 2024.
MSC Class: 05C66; 81P05
-
arXiv:2306.15698 [pdf, ps, other]
Physics over a finite field and Wick rotation
Abstract: The paper develops an earlier proposition that the physical universe is a finite system co-ordinatised by a very large finite field $\mathrm{F}_\mathfrak{p}$ which looks like the field of complex numbers to an observer. We construct a place (homomorphism) $\mathrm{lm}$ from a pseudo-finite field $\mathrm{F}_\mathfrak{p}$ onto the compactified field of complex numbers in such a way that certain m… ▽ More
Submitted 21 August, 2023; v1 submitted 26 June, 2023; originally announced June 2023.
MSC Class: 81P07; 82B03
-
arXiv:2304.13777 [pdf, ps, other]
A topological $L_{ω_1,ω}$-invariant
Abstract: We suggest to look at formal sentences describing complex algebraic varieties together with their universal covers as topological invariants. We prove that for abelian varieties and Shimura varieties this is indeed a complete invariant, i.e. it determines the variety up to complex conjugation.
Submitted 10 May, 2023; v1 submitted 26 April, 2023; originally announced April 2023.
MSC Class: 03C45; 11G18
-
arXiv:2302.08542 [pdf, ps, other]
On the Theory of Specialisations of Regular Covers of Zariski Structures
Abstract: In algebraic geometry specialisations and valuations play and important role. In this paper we start investigating analogous structures for Zariski structures. Specifically, we look into the existence and uniqueness properties of extensions of universal specialisations from a base Zariski structure to its regular cover. In the process we begin to uncover some structural properties of regular cover… ▽ More
Submitted 16 February, 2023; originally announced February 2023.
Comments: 38 pages
MSC Class: Primary: 03C07; 03C10; 03C35; 03C50; 03C52; Secondary: 14A99; 18F15; 55R65; 57R22
-
arXiv:2206.03279 [pdf, ps, other]
Non-elementary categoricity and projective locally o-minimal classes
Abstract: Given a cover $\mathbb{U}$ of a family of smooth complex algebraic varieties, we associate with it a class $\mathcal{U},$ containing $\mathbb{U}$, of structures locally definable in an o-minimal expansion of the reals. We prove that the class is $\aleph_0$-homogenous over submodels and stable. It follows that $\mathcal{U}$ is categorical in cardinality $\aleph_1.$ In the one-dimensional case we pr… ▽ More
Submitted 7 June, 2022; originally announced June 2022.
MSC Class: 03C45
Journal ref: Model Th. 3 (2024) 101-117
-
arXiv:2107.11110 [pdf, ps, other]
Modular curves and their pseudo-analytic cover
Abstract: We find a natural $L_{ω_1,ω}$-axiomatisation $Σ$ of a structure on the upper half-plane $\mathbb{H}$ as the covering space of modular curves. The main theorem states that $Σ$ has a unique model in every uncountable cardinal. The proof relies heavily on the theory of complex multiplication and the work on Langland's conjecture on the conjugation of Shimura varieties. We also use the earlier work… ▽ More
Submitted 27 November, 2022; v1 submitted 23 July, 2021; originally announced July 2021.
MSC Class: 03C45; 11G18
-
arXiv:2106.06387 [pdf, ps, other]
Canonical models of modular curves and the Galois action on CM-points
Abstract: We use the theory of canonical models of Shimura varieties to describe the projective limit of the curves Y(N), all N, and its automorphism group. In particular we prove that the Galois group of Q(CM) over Q is an extension of a certain abelian group by a 2-element group, where Q(CM) stands for the the extension of Q by all the CM-points on all the curves Y(N).
Submitted 27 November, 2022; v1 submitted 11 June, 2021; originally announced June 2021.
MSC Class: 11G18; 03C45
-
arXiv:2104.05595 [pdf, ps, other]
Section and towers
Abstract: We discuss the towers of finite étale covers which were essentially introduced by A.Tamagawa. The statement about correspondence between sections and cofinal towers is a folklore but perhaps not in a very explicit form. The last section explains how the "injectivity statement" of Grothendieck section conjecture fails for abelian varieties, which is also known in some form. The paper is based on… ▽ More
Submitted 12 April, 2021; originally announced April 2021.
-
arXiv:2104.05579 [pdf, ps, other]
A model theory section conjecture
Abstract: We introduce the category of structures and interpretations which allows us to discuss some issues of Grothendieck's anabelian geometry in model-theory terms. Our main result is a formulation in terms of pure stability theory of a problem closely related to Grothendieck's section conjecture
Submitted 12 April, 2021; originally announced April 2021.
-
arXiv:1906.05052 [pdf, ps, other]
Definability, interpretations and étale fundamental groups
Abstract: The aim of the paper and of a wider project is to translate main notions of anabelian geometry into the language of model theory. Here we finish with giving the definition of the étale fundamental group $π^{et}_1(X,x)$ of a non-singular quasiprojective scheme over a field of characteristic 0.
Submitted 17 February, 2020; v1 submitted 12 June, 2019; originally announced June 2019.
MSC Class: 03C65; 14G40
-
arXiv:1803.04909 [pdf, ps, other]
Around logical perfection
Abstract: In this article we present and describe a notion of "logical perfection". We extract the notion of "perfection" from the contemporary logical concept of categoricity. Categoricity (in power) has become in the past half century a main driver of ideas in model theory, both mathematically (stability theory may be regarded as a way of approximating categoricity) and philosophically. In the past two de… ▽ More
Submitted 31 October, 2019; v1 submitted 13 March, 2018; originally announced March 2018.
Comments: Title has changed.Exposition has been improved and some explanations are added. The second author is added
-
arXiv:1708.02615 [pdf, ps, other]
A model theoretic Rieffel's theorem of quantum 2-torus
Abstract: We defined a notion of quantum 2-torus $T_θ$ in "Masanori Itai and Boris Zilber, Notes on a model theory of quantum 2-torus $T_q^2$ for generic $q$, arXiv:1503.06045v1 [mathLO]" and studied its model theoretic property. In this note we associate quantum 2-tori $T_θ$ with the structure over ${\mathbb C}_θ= ({\mathbb C}, +, \cdot, y = x^θ),$ where $θ\in {\mathbb R} \setminus {\mathbb Q}$, and introd… ▽ More
Submitted 8 August, 2017; originally announced August 2017.
Comments: 10 pages; Mathematical Logic and foundations
-
arXiv:1601.02961 [pdf, ps, other]
Analytic Zariski structures and non-elementary categoricity
Abstract: We study analytic Zariski structures from the point of view of non-elementary model theory. We show how to associate an abstract elementary class with a one-dimensional analytic Zariski structure and prove that the class is stable, quasi-minimal and homogeneous over models. We also demonstrate how Hrushovski's predimension arises in this general context as a natural geometric notion and use it as… ▽ More
Submitted 12 January, 2016; originally announced January 2016.
-
arXiv:1601.02957 [pdf, ps, other]
Model theory and geometry of representations of rings of integers
Abstract: The aim of this project is to attach a geometric structure to the ring of integers. It is generally assumed that the spectrum $\mathrm{Spec}(\mathbb{Z})$ defined by Grothendieck serves this purpose. However, it is still not clear what geometry this object carries. A.Connes and C.Consani published recently an important paper which introduces a much more complex structure called {\em the arithmetic… ▽ More
Submitted 23 September, 2016; v1 submitted 12 January, 2016; originally announced January 2016.
MSC Class: 03C98; 14A20
-
arXiv:1510.06176 [pdf, ps, other]
A non-desarguesian projective plane
Abstract: We construct a new non-desarguesian projective plane from a complex analytic structure. At the same time the construction can be explained in terms of so called Hrushovski's construction. This supports the hypothesis that in general structures produced by Hrushovski's construction have "prototypes" in complex geometry.
Submitted 21 October, 2015; originally announced October 2015.
-
arXiv:1503.06045 [pdf, ps, other]
Notes on a model theory of quantum 2-torus for generic q
Abstract: We describe a structure over the complex numbers associated with the non-commutative algebra Aq called quantum 2-tori. These turn out to have uncountably categorical L_omega1,omega-theory, and are similar to other pseudo-analytic structures considered by the second author. The first-order theory of a quantum torus for generic q interprets arithmetic and so is unstable and undecidable. But certain… ▽ More
Submitted 20 March, 2015; originally announced March 2015.
Comments: 17 pages
MSC Class: 03C30 (Primary); 03C45; 03C50 (Secondary)
-
arXiv:1501.03301 [pdf, ps, other]
Model theory of special subvarieties and Schanuel-type conjectures
Abstract: We use the language and tools available in model theory to redefine and clarify the rather involved notion of a {\em special subvariety} known from the theory of Shimura varieties (mixed and pure).
Submitted 25 February, 2015; v1 submitted 14 January, 2015; originally announced January 2015.
-
arXiv:1501.03297 [pdf, ps, other]
The theory of exponential sums
Abstract: We consider the theory of algebraically closed fields of characteristic zero with multivalued operations $x\mapsto x^r$ (raising to powers). It is in fact the theory of equations in exponential sums. In an earlier paper we have described complete first-order theories of such structures, conditional on a Diophantine conjecture that generalises the Mordell-Lang conjecture (CIT). Here we get this r… ▽ More
Submitted 14 January, 2015; originally announced January 2015.
-
arXiv:1410.7277 [pdf, ps, other]
The geometric semantics of algebraic quantum mechanics
Abstract: In this paper we will present an ongoing project which aims to use model theory as a suitable mathematical setting for studying the formalism of quantum mechanics. We will argue that this approach provides a geometric semantics for such formalism by means of establishing a (non-commutative) duality between certain algebraic and geometric objects.
Submitted 27 October, 2014; originally announced October 2014.
MSC Class: 03C98; 70A05
-
arXiv:1401.3326 [pdf, ps, other]
Natural models of theories of green points
Abstract: We explicitly present expansions of the complex field which are models of the theories of green points in the multiplicative group case and in the case of an elliptic curve without complex multiplication defined over $\mathbb{R}$. In fact, in both cases we give families of structures depending on parameters and prove that they are all models of the theories, provided certain instances of Schanuel'… ▽ More
Submitted 14 January, 2014; originally announced January 2014.
-
arXiv:1108.1075 [pdf, ps, other]
Exponentially Closed Fields and the Conjecture on Intersections with Tori
Abstract: We give an axiomatization of the class ECF of exponentially closed fields, which includes the pseudo-exponential fields previously introduced by the second author, and show that it is superstable over its interpretation of arithmetic. Furthermore, ECF is exactly the elementary class of the pseudo-exponential fields if and only if the diophantine conjecture CIT on atypical intersections of tori wit… ▽ More
Submitted 24 April, 2014; v1 submitted 4 August, 2011; originally announced August 2011.
Comments: 27 pages, substantial improvements to the presentation
MSC Class: 03C65; 11G35
Journal ref: Annals of Pure and Applied Logic 165 (2014), pp. 1680-1706
-
arXiv:0909.4415 [pdf, ps, other]
Quantum Harmonic Oscillator as a Zariski Geometry
Abstract: We carry out a model-theoretic analysis of the Heisenberg algebra. To this end, a geometric structure is associated to the Heisenberg algebra and is shown to be a Zariski geometry. Furthermore, this Zariski geometry is shown to be non-classical, in the sense that it is not interpretable in an algebraically closed field. On assuming self-adjointness of the position and momentum operators, one obtai… ▽ More
Submitted 25 January, 2013; v1 submitted 24 September, 2009; originally announced September 2009.
Comments: some typos corrected
MSC Class: 03C65
-
arXiv:0707.0780 [pdf, ps, other]
Non-commutative Zariski geometries and their classical limit
Abstract: We undertake a case study of two series of nonclassical Zariski geometries. We show that these geometries can be realised as representations of certain noncommutative $C^*$-algebras and introduce a natural limit construction which for each of the two series produces a classical U(1)-gauge field over a 2-dimensional Riemann surface.
Submitted 5 July, 2007; originally announced July 2007.
MSC Class: 81D07; 81R60
-
arXiv:0704.3561 [pdf, ps, other]
Covers of Multiplicative Groups of Algebraically Closed Fields of Arbitrary Characteristic
Abstract: We show that algebraic analogues of universal group covers, surjective group homomorphisms from a $\mathbb{Q}$-vector space to $F^{\times}$ with "standard kernel", are determined up to isomorphism of the algebraic structure by the characteristic and transcendence degree of $F$ and, in positive characteristic, the restriction of the cover to finite fields. This extends the main result of "Covers of… ▽ More
Submitted 4 January, 2011; v1 submitted 26 April, 2007; originally announced April 2007.
Comments: Version accepted by the Bull. London Math. Soc
MSC Class: 12F10 (Primary); 03C60; 12L12 (Secondary)
Journal ref: Bull. Lond. Math. Soc. 43 (2011), no. 4, 689-702
-
arXiv:math/0401303 [pdf, ps, other]
Analytic and pseudo-analytic structures (a survey)
Abstract: The paper is an extended version of the talk in the Logic Colloquium-2000 at Paris. We discuss a series of results and problems around Hrushovski's construction of counter-examples to the Trichotomy conjecture.
Submitted 22 January, 2004; originally announced January 2004.
Comments: Latex, 18 pages
MSC Class: 03C
-
arXiv:math/0401301 [pdf, ps, other]
Covers of the multiplicative group of an algebraically closed field of characteristic zero
Abstract: We study the universal cover of the complex one-dimensional torus as a model-theoretic structure in a natural language. We consider also abstract covers of one-dimensional tori over algebraically closed fields of characteristic zero. The main result states that the structures can be described uniquely up to isomorphism by a simple (non-first order) sentence, given a fixed uncountable cardinality… ▽ More
Submitted 22 January, 2004; originally announced January 2004.
Comments: 25 pages, Latex
MSC Class: 12F10; 12L12; 03C60
-
arXiv:math/0012023 [pdf, ps, other]
Fields with pseudo-exponentiation
Abstract: We study the structure of an algebraically closed field with extra function resembling the classical exponentiation on complex numbers.
Submitted 4 December, 2000; originally announced December 2000.
-
arXiv:math/9304212 [pdf, ps, other]
Zariski Geometries
Abstract: We characterize the Zariski topologies over an algebraically closed field in terms of general dimension-theoretic properties. Some applications are given to complex manifold and to strongly minimal sets.
Submitted 31 March, 1993; originally announced April 1993.
Comments: 9 pages
Report number: Bulletin migration 11/99
Journal ref: Bull. Amer. Math. Soc. (N.S.) 28 (1993) 315-323