The semantics of non-commutative geometry and quantum mechanics.

Similar documents
The semantics of algebraic quantum mechanics and the role of model theory.

The geometrical semantics of algebraic quantum mechanics

The geometric semantics of algebraic quantum mechanics

On model theory, non-commutative geometry and physics. B. Zilber. University of Oxford. zilber/

QUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday 10 February 2004 (Day 1)

Elliott s program and descriptive set theory I

Algebraic Varieties. Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra

Infinite-dimensional Categorical Quantum Mechanics

Lecture Notes 2: Review of Quantum Mechanics

BEZOUT S THEOREM CHRISTIAN KLEVDAL

Classification of definable groupoids and Zariski geometries

Direct Limits. Mathematics 683, Fall 2013

Boolean Algebras, Boolean Rings and Stone s Representation Theorem

The projectivity of C -algebras and the topology of their spectra

An overview of D-modules: holonomic D-modules, b-functions, and V -filtrations

1. If 1, ω, ω 2, -----, ω 9 are the 10 th roots of unity, then (1 + ω) (1 + ω 2 ) (1 + ω 9 ) is A) 1 B) 1 C) 10 D) 0

214A HOMEWORK KIM, SUNGJIN

Algebraic varieties and schemes over any scheme. Non singular varieties

Fiberwise two-sided multiplications on homogeneous C*-algebras

von Neumann algebras, II 1 factors, and their subfactors V.S. Sunder (IMSc, Chennai)

1. Algebraic vector bundles. Affine Varieties

Homework in Topology, Spring 2009.

Algebraic v.s. Analytic Point of View

Math 797W Homework 4

Lecture 1: Overview. January 24, 2018

where m is the maximal ideal of O X,p. Note that m/m 2 is a vector space. Suppose that we are given a morphism

Morley s Proof. Winnipeg June 3, 2007

ASSIGNMENT - 1, DEC M.Sc. (FINAL) SECOND YEAR DEGREE MATHEMATICS. Maximum : 20 MARKS Answer ALL questions. is also a topology on X.

Non commutative Khintchine inequalities and Grothendieck s theo

Non-Elementary Classes 2007

Introduction to Model Theory

QUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday September 1, 2015 (Day 1)

Set theory and C*-algebras

Lectures on the Orbit Method

h M (T ). The natural isomorphism η : M h M determines an element U = η 1

REFINMENTS OF HOMOLOGY. Homological spectral package.

Foundations. September 4, Foundations. A Model Theoretic Perspective. John T. Baldwin. sociology. Thesis I. Thesis II. A Concept Analysis

Lecture 3: Flat Morphisms

Model theory, stability, applications

Intersecting valuation rings in the Zariski-Riemann space of a field

A fresh perspective on canonical extensions for bounded lattices

Model Theory of the Exponentiation: Abstract

CHERN-SIMONS THEORY AND WEYL QUANTIZATION Răzvan Gelca

Tutorial on Differential Galois Theory III

PROBLEMS, MATH 214A. Affine and quasi-affine varieties

Geometry 9: Serre-Swan theorem

FROM CLASSICAL THETA FUNCTIONS TO TOPOLOGICAL QUANTUM FIELD THEORY

Exercises of the Algebraic Geometry course held by Prof. Ugo Bruzzo. Alex Massarenti

Exercises for algebraic curves

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 5

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA

Two-sided multiplications and phantom line bundles

which is a group homomorphism, such that if W V U, then

Peter Hochs. Strings JC, 11 June, C -algebras and K-theory. Peter Hochs. Introduction. C -algebras. Group. C -algebras.

ABSTRACT NONSINGULAR CURVES

AN INTRODUCTION TO AFFINE SCHEMES

K theory of C algebras

Categories and Quantum Informatics: Hilbert spaces

Discussion Session on p-divisible Groups

LECTURES ON SYMPLECTIC REFLECTION ALGEBRAS

QUANTIZATION VIA DIFFERENTIAL OPERATORS ON STACKS

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ.

Algebras, Representations and Quant Title. Approaches from mathematical scienc. Mechanical and Macroscopic Systems)

Notes on p-divisible Groups

Mobile Robotics 1. A Compact Course on Linear Algebra. Giorgio Grisetti

Boolean Subalgebras of Orthomodular Posets

3. The Sheaf of Regular Functions

tp(c/a) tp(c/ab) T h(m M ) is assumed in the background.

D-manifolds and derived differential geometry

LECTURE 3 Functional spaces on manifolds

A Crash Course in Topological Groups

HARTSHORNE EXERCISES

Lecture 1 Operator spaces and their duality. David Blecher, University of Houston

1 Equal-time and Time-ordered Green Functions

PMATH 600s. Prerequisite: PMATH 345 or 346 or consent of department.

MASTERS EXAMINATION IN MATHEMATICS

Reid 5.2. Describe the irreducible components of V (J) for J = (y 2 x 4, x 2 2x 3 x 2 y + 2xy + y 2 y) in k[x, y, z]. Here k is algebraically closed.

ALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES

10. Smooth Varieties. 82 Andreas Gathmann

Functional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...

Spectral Properties of Elliptic Operators In previous work we have replaced the strong version of an elliptic boundary value problem

Algebraic Curves and Riemann Surfaces

Rigid Geometry and Applications II. Kazuhiro Fujiwara & Fumiharu Kato

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 24

Equational reasoning for probabilistic programming Part II: Quantitative equational logic

The Hilbert-Mumford Criterion

Infinite root stacks of logarithmic schemes

5.4 Given the basis e 1, e 2 write the matrices that represent the unitary transformations corresponding to the following changes of basis:

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.

The numerical index of Banach spaces

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 4: MORE ABOUT VARIETIES AND REGULAR FUNCTIONS.

UNITARY UNIFICATION OF S5 MODAL LOGIC AND ITS EXTENSIONS

Preliminaries on von Neumann algebras and operator spaces. Magdalena Musat University of Copenhagen. Copenhagen, January 25, 2010

Short note on compact operators - Monday 24 th March, Sylvester Eriksson-Bique

Introduction and preliminaries Wouter Zomervrucht, Februari 26, 2014

FROM COHERENT TO FINITENESS SPACES

The Dirichlet-to-Neumann operator

Analysis Preliminary Exam Workshop: Hilbert Spaces

Quantum Mechanics for Mathematicians: The Heisenberg group and the Schrödinger Representation

Summer Algebraic Geometry Seminar

Transcription:

The semantics of non-commutative geometry and quantum mechanics. B. Zilber University of Oxford July 30, 2014

1 Dualities in logic and geometry 2 The Weyl-Heisenberg algebra 3 Calculations

Tarskian duality Theory T Class of models M(T )

Tarskian duality Theory T Class of models M(T ) For a κ-categorical T Theory T Model M T (of cardinality κ)

Tarskian duality Theory T Class of models M(T ) For a κ-categorical T Theory T Model M T (of cardinality κ) Recall Morley - Shelah Classification Theory: For a first-order countable κ-categorical theory T and κ > ℵ 0, the model M is characterised by geometric features - dimensions, homogeneity and so on stability theory.

Geometric dualities Affine commutative C-algebra Complex algebraic variety R = C[X 1,..., X n ]/I Commutative unital C -algebra A Affine k-scheme R = k[x 1,..., X n ]/I k-scheme of finite type S M R Compact topological space M A The geometry of k-definable points, curves etc of an algebraic variety M R The geometry of k-definable points, curves etc of a Zariski geometry M S

Claim A These are syntax semantics dualities.

Claim A These are syntax semantics dualities. The dualities can be recast in the form of Tarskian dualities. Leaving aside the C -aspect, this is the semantics of stable (=geometric) type.

Claim A These are syntax semantics dualities. The dualities can be recast in the form of Tarskian dualities. Leaving aside the C -aspect, this is the semantics of stable (=geometric) type. Non-example. The models of the theory of arithmetic do not provide a semantics of geometric type.

The real 2-torus has co-ordinate ring A 0 = U, V : U = U 1, V = V 1, UV = VU in the comlexified form = C C. Taking into account we see the real torus

The real 2-torus has co-ordinate ring A 0 = U, V : U = U 1, V = V 1, UV = VU in the comlexified form = C C. Taking into account we see the real torus

A non-commutative example at root of unity Non-commutative 2-torus at q = e 2πi m N has o-ordinate ring A = A q = U, V : U = U 1, V = V 1, UV = qvu

A non-commutative example at root of unity Non-commutative 2-torus at q = e 2πi m N has o-ordinate ring A = A q = U, V : U = U 1, V = V 1, UV = qvu Points have structure of (an orthonormal basis) of a N-dim Hilbert space.

Theorem (2005) The above dualities can be extended to non-commutative geometry at roots of unity. A V V A. A V co-ordinate algebra, V A Zariski geometry.

Affine commutative C-algebra R Commutative C -algebra A Affine k-scheme R k-scheme of finite type S C -algebra A at roots of unity Weyl-Heisenberg algebra Q, P : QP PQ = i Complex algebraic variety M R Compact topological space M A The k-definable structure on an algebraic variety M R The k-definable structure on a Zariski geometry M S Zariski geometry V A

Affine commutative C-algebra R Commutative C -algebra A Affine k-scheme R k-scheme of finite type S C -algebra A at roots of unity Weyl-Heisenberg algebra Q, P : QP PQ = i Complex algebraic variety M R Compact topological space M A The k-definable structure on an algebraic variety M R The k-definable structure on a Zariski geometry M S Zariski geometry V A?

Affine commutative C-algebra R Commutative C -algebra A Affine k-scheme R k-scheme of finite type S C -algebra A at roots of unity Weyl-Heisenberg algebra Q, P : QP PQ = i Complex algebraic variety M R Compact topological space M A The k-definable structure on an algebraic variety M R The k-definable structure on a Zariski geometry M S Zariski geometry V A? shut up and calculate!

QP PQ = i The whole of quantum mechanics is in this canonical commutation relation.

QP PQ = i The whole of quantum mechanics is in this canonical commutation relation. An analogy: Y = X 2 + ax + b is (the equation of) a parabola. H = 1 2 (P2 + ω 2 Q 2 ) is (the Hamiltonian of) a quantum harmonic oscillator.

QP PQ = i This does not allow the C -algebra (Banach algebra) setting.

QP PQ = i This does not allow the C -algebra (Banach algebra) setting. On suggestion of Herman Weyl and following Stone von Neumann Theorem replace the Weyl-Heisenberg algebra by the category of Weyl C -algebras A a,b = U a, V b : U a V b = e iab V b U a, a, b R, U a = e iaq, V b = e ibp. where it is also assumed that U a and V b are unitary.

QP PQ = i This does not allow the C -algebra (Banach algebra) setting. On suggestion of Herman Weyl and following Stone von Neumann Theorem replace the Weyl-Heisenberg algebra by the category of Weyl C -algebras A a,b = U a, V b : U a V b = e iab V b U a, a, b R, U a = e iaq, V b = e ibp. where it is also assumed that U a and V b are unitary. We may assume that 2π Q and so, when a, b Q the algebra A a,b is at root of unity. We call such algebras rational Weyl algebras.

Sheaf of Zariski geometries over the category of rational Weyl algebras The category A fin has objects A a,b, rational Weyl algebras, and morphisms = embeddings.

Sheaf of Zariski geometries over the category of rational Weyl algebras The category A fin has objects A a,b, rational Weyl algebras, and morphisms = embeddings. Note, A a,b A c,d iff cn = a & dm = b for n, m Z \ {0}.

Sheaf of Zariski geometries over the category of rational Weyl algebras The category A fin has objects A a,b, rational Weyl algebras, and morphisms = embeddings. Note, A a,b A c,d iff cn = a & dm = b for n, m Z \ {0}. This corresponds to the surjective morphism in the dual category V fin of Zariski geometries V Aa,b V Ac,d.

Sheaf of Zariski geometries over the category of rational Weyl algebras The category A fin has objects A a,b, rational Weyl algebras, and morphisms = embeddings. Note, A a,b A c,d iff cn = a & dm = b for n, m Z \ {0}. This corresponds to the surjective morphism in the dual category V fin of Zariski geometries V Aa,b V Ac,d. The duality functor A V A can be interpreted as defining a sheaf of Zariski geometries over the category of rational Weyl algebras.

Completions of A fin and V fin. The completion of A fin is A, the category of all Weyl algebras in the Banach algebras topology. B = lim D A i

Completions of A fin and V fin. The completion of A fin is A, the category of all Weyl algebras in the Banach algebras topology. B = lim D A i Completing V fin is the main difficulty of the project.

Completions of A fin and V fin. The completion of A fin is A, the category of all Weyl algebras in the Banach algebras topology. B = lim D A i Completing V fin is the main difficulty of the project. This construction is called structural approximation.

Completions of A fin and V fin. The completion of A fin is A, the category of all Weyl algebras in the Banach algebras topology. B = lim D A i Completing V fin is the main difficulty of the project. This construction is called structural approximation. Let V A = D V Ai Apply the specialisation= surjective morphism lim : V A V B.

The state of space. We construct a V fin -projective limit object, V A V : V A = lim V A, V A = D div V Ai A A fin A A & V A V A. This object is closely related to the Hilbert space of quantum mechanics. We call the object the space of states.

The state of space. We construct a V fin -projective limit object, V A V : V A = lim V A, V A = D div V Ai A A fin A A & V A V A. This object is closely related to the Hilbert space of quantum mechanics. We call the object the space of states. The non-standard Zariski geometry V A can be seen as the huge finite universe and the state of space is its observable image. lim is the standard part map.

Analogy Rational Weyl algebra Zariski geometry Limit object V A Zariski-continious maps on V A Rational number Interval in rational numbers Interval in real numbers R integrable functions on R

Scheme of calculations rewrite the formula over V A in terms of Zariski-regular pseudo-finite sums and products over V A calculate in V A (using e.g. the Gauss quadratic sums formula) apply the specialisation lim to the result and get the result in terms of the standard reals.

Example. The canonical commutation relation We define in V A : in accordance with Q := Ua U a, P := V b V b 2ia 2ib U a = e iaq, V b = e ibp.

Example. The canonical commutation relation We define in V A : in accordance with Q := Ua U a, P := V b V b 2ia 2ib U a = e iaq, V b = e ibp. Calculate that for any state e in V A (QP PQ)e = i e + ɛ, lim ɛ = 0 So in V A QP PQ = i I.

Example. Quantum harmonic oscillator.

Example. Quantum harmonic oscillator. The Hamiltonian: H = 1 2 (P2 + Q 2 )

Example. Quantum harmonic oscillator. The Hamiltonian: H = 1 2 (P2 + Q 2 ) The time evolution operator : K t := e i H t, t R. We model K t in V A assuming sin t, cos t Q.

Example. Quantum harmonic oscillator. The Hamiltonian: H = 1 2 (P2 + Q 2 ) The time evolution operator : K t := e i H t, t R. We model K t in V A assuming sin t, cos t Q. The kernel of the Feynman propagator is calculated as 1 x 1 K t x 2 = 2πi sin t exp i (x 1 2 + x 2 2) cos t 2x 1x 2. 2 sin t

Example. Quantum harmonic oscillator. The trace of K t, Tr(K t ) = R x K t x = 1 sin t. 2

Example. Quantum harmonic oscillator. The trace of K t, Tr(K t ) = R x K t x = 1 sin t. 2 Note that in terms of conventional mathematical physics we have calculated Tr(K t ) = a non-convergent infinite sum. e it(n+ 1 2 ), n=0