Skip to main content

Showing 1–29 of 29 results for author: Zilber, B

Searching in archive math. Search in all archives.
.
  1. arXiv:2506.02029  [pdf, ps, other

    math.LO quant-ph

    Axioms of Quantum Mechanics in light of Continuous Model Theory

    Authors: Boris Zilber

    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;

  2. arXiv:2410.01846  [pdf, ps, other

    math.LO physics.hist-ph

    On the logical structure of physics

    Authors: Boris Zilber

    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

  3. arXiv:2306.15698  [pdf, ps, other

    math.LO

    Physics over a finite field and Wick rotation

    Authors: Boris Zilber

    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

  4. arXiv:2304.13777  [pdf, ps, other

    math.LO math.AG

    A topological $L_{ω_1,ω}$-invariant

    Authors: Boris Zilber

    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

  5. arXiv:2302.08542  [pdf, ps, other

    math.LO math.AG

    On the Theory of Specialisations of Regular Covers of Zariski Structures

    Authors: Ugur Efem, Boris Zilber

    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

  6. Non-elementary categoricity and projective locally o-minimal classes

    Authors: Boris Zilber

    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

  7. arXiv:2107.11110  [pdf, ps, other

    math.LO

    Modular curves and their pseudo-analytic cover

    Authors: Boris Zilber, Chris Daw

    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

  8. arXiv:2106.06387  [pdf, ps, other

    math.AG

    Canonical models of modular curves and the Galois action on CM-points

    Authors: Boris Zilber, Chris Daw

    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

  9. arXiv:2104.05595  [pdf, ps, other

    math.AG math.LO

    Section and towers

    Authors: Boris Zilber

    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.

  10. arXiv:2104.05579  [pdf, ps, other

    math.LO math.AG

    A model theory section conjecture

    Authors: Romin Abdolahzadi, Boris Zilber

    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.

  11. arXiv:1906.05052  [pdf, ps, other

    math.LO

    Definability, interpretations and étale fundamental groups

    Authors: Romin Abdolahzadi, Boris Zilber

    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

  12. arXiv:1803.04909  [pdf, ps, other

    math.LO math.AG quant-ph

    Around logical perfection

    Authors: John Alexander Cruz Morales, Andrés Villaveces, Boris Zilber

    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

  13. arXiv:1708.02615  [pdf, ps, other

    math.LO

    A model theoretic Rieffel's theorem of quantum 2-torus

    Authors: Masanori Itai, Boris Zilber

    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

  14. arXiv:1601.02961  [pdf, ps, other

    math.LO

    Analytic Zariski structures and non-elementary categoricity

    Authors: Boris Zilber

    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.

  15. arXiv:1601.02957  [pdf, ps, other

    math.LO

    Model theory and geometry of representations of rings of integers

    Authors: Boris Zilber, Lubna Shaheen

    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

  16. arXiv:1510.06176  [pdf, ps, other

    math.LO

    A non-desarguesian projective plane

    Authors: Katrin Tent, Boris Zilber

    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.

  17. arXiv:1503.06045  [pdf, ps, other

    math.LO

    Notes on a model theory of quantum 2-torus for generic q

    Authors: Masanori Itai, Boris Zilber

    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)

  18. arXiv:1501.03301  [pdf, ps, other

    math.AG

    Model theory of special subvarieties and Schanuel-type conjectures

    Authors: Boris Zilber

    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.

  19. arXiv:1501.03297  [pdf, ps, other

    math.LO

    The theory of exponential sums

    Authors: Boris Zilber

    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.

  20. arXiv:1410.7277  [pdf, ps, other

    math-ph math.QA

    The geometric semantics of algebraic quantum mechanics

    Authors: John Alex Cruz Morales, Boris Zilber

    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

  21. arXiv:1401.3326  [pdf, ps, other

    math.LO

    Natural models of theories of green points

    Authors: Juan Diego Caycedo, Boris Zilber

    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.

  22. Exponentially Closed Fields and the Conjecture on Intersections with Tori

    Authors: Jonathan Kirby, Boris Zilber

    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

  23. arXiv:0909.4415  [pdf, ps, other

    math.LO

    Quantum Harmonic Oscillator as a Zariski Geometry

    Authors: Vinesh Solanki, Dmitry Sustretov, Boris Zilber

    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

  24. arXiv:0707.0780  [pdf, ps, other

    math.QA math.LO

    Non-commutative Zariski geometries and their classical limit

    Authors: B. Zilber

    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

  25. Covers of Multiplicative Groups of Algebraically Closed Fields of Arbitrary Characteristic

    Authors: Martin Bays, Boris Zilber

    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

  26. arXiv:math/0401303  [pdf, ps, other

    math.LO

    Analytic and pseudo-analytic structures (a survey)

    Authors: B. Zilber

    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

  27. arXiv:math/0401301  [pdf, ps, other

    math.AC math.LO

    Covers of the multiplicative group of an algebraically closed field of characteristic zero

    Authors: B. Zilber

    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

  28. arXiv:math/0012023  [pdf, ps, other

    math.LO

    Fields with pseudo-exponentiation

    Authors: Boris Zilber

    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.

  29. arXiv:math/9304212  [pdf, ps, other

    math.AG

    Zariski Geometries

    Authors: Ehud Hrushovski, Boris Zilber

    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