The semantics of non-commutative geometry and quantum mechanics.

Size: px
Start display at page:

Download "The semantics of non-commutative geometry and quantum mechanics."

Transcription

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

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

3 Tarskian duality Theory T Class of models M(T )

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

5 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.

6 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

7 Claim A These are syntax semantics dualities.

8 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.

9 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.

10 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

11 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

12 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

13 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.

14 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.

15 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

16 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?

17 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!

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

19 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.

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

21 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.

22 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.

23 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.

24 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}.

25 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.

26 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.

27 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

28 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.

29 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.

30 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.

31 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.

32 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.

33 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

34 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.

35 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.

36 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.

37 Example. Quantum harmonic oscillator.

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

39 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.

40 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 x 2 2) cos t 2x 1x 2. 2 sin t

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

42 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

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

The semantics of algebraic quantum mechanics and the role of model theory. The semantics of algebraic quantum mechanics and the role of model theory. B. Zilber University of Oxford August 6, 2016 B.Zilber, The semantics of the canonical commutation relations arxiv.org/abs/1604.07745

More information

The geometrical semantics of algebraic quantum mechanics

The geometrical semantics of algebraic quantum mechanics The geometrical semantics of algebraic quantum mechanics B. Zilber University of Oxford November 29, 2016 B.Zilber, The semantics of the canonical commutation relations arxiv.org/abs/1604.07745 The geometrical

More information

The geometric semantics of algebraic quantum mechanics

The geometric semantics of algebraic quantum mechanics The geometric semantics of algebraic quantum mechanics John Alexander Cruz Morales Instituto Nacional de Matemática Pura e Aplicada, IMPA. Estrada Dona Castorina 110. Rio de Janeiro, 22460-320, Brasil.

More information

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

On model theory, non-commutative geometry and physics. B. Zilber. University of Oxford.   zilber/ On model theory, non-commutative geometry and physics B. Zilber University of Oxford http://www.maths.ox.ac.uk/ zilber/ 1 Plan I. Generalities on physics, logical hierarchy of structures and Zariski geometries.

More information

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

QUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday 10 February 2004 (Day 1) Tuesday 10 February 2004 (Day 1) 1a. Prove the following theorem of Banach and Saks: Theorem. Given in L 2 a sequence {f n } which weakly converges to 0, we can select a subsequence {f nk } such that the

More information

Elliott s program and descriptive set theory I

Elliott s program and descriptive set theory I Elliott s program and descriptive set theory I Ilijas Farah LC 2012, Manchester, July 12 a, a, a, a, the, the, the, the. I shall need this exercise later, someone please solve it Exercise If A = limna

More information

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

Algebraic Varieties. Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra Algebraic Varieties Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra Algebraic varieties represent solutions of a system of polynomial

More information

Infinite-dimensional Categorical Quantum Mechanics

Infinite-dimensional Categorical Quantum Mechanics Infinite-dimensional Categorical Quantum Mechanics A talk for CLAP Scotland Stefano Gogioso and Fabrizio Genovese Quantum Group, University of Oxford 5 Apr 2017 University of Strathclyde, Glasgow S Gogioso,

More information

Lecture Notes 2: Review of Quantum Mechanics

Lecture Notes 2: Review of Quantum Mechanics Quantum Field Theory for Leg Spinners 18/10/10 Lecture Notes 2: Review of Quantum Mechanics Lecturer: Prakash Panangaden Scribe: Jakub Závodný This lecture will briefly review some of the basic concepts

More information

BEZOUT S THEOREM CHRISTIAN KLEVDAL

BEZOUT S THEOREM CHRISTIAN KLEVDAL BEZOUT S THEOREM CHRISTIAN KLEVDAL A weaker version of Bézout s theorem states that if C, D are projective plane curves of degrees c and d that intersect transversally, then C D = cd. The goal of this

More information

Classification of definable groupoids and Zariski geometries

Classification of definable groupoids and Zariski geometries and Zariski geometries Dmitry Sustretov Ben Gurion University sustreto@mathbguacil February 26, 2014 1 Motivation: Azumaya algebras An Azumaya algebra is a generalisation of a central simple algebra for

More information

Direct Limits. Mathematics 683, Fall 2013

Direct Limits. Mathematics 683, Fall 2013 Direct Limits Mathematics 683, Fall 2013 In this note we define direct limits and prove their basic properties. This notion is important in various places in algebra. In particular, in algebraic geometry

More information

Boolean Algebras, Boolean Rings and Stone s Representation Theorem

Boolean Algebras, Boolean Rings and Stone s Representation Theorem Boolean Algebras, Boolean Rings and Stone s Representation Theorem Hongtaek Jung December 27, 2017 Abstract This is a part of a supplementary note for a Logic and Set Theory course. The main goal is to

More information

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

The projectivity of C -algebras and the topology of their spectra The projectivity of C -algebras and the topology of their spectra Zinaida Lykova Newcastle University, UK Waterloo 2011 Typeset by FoilTEX 1 The Lifting Problem Let A be a Banach algebra and let A-mod

More information

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

An overview of D-modules: holonomic D-modules, b-functions, and V -filtrations An overview of D-modules: holonomic D-modules, b-functions, and V -filtrations Mircea Mustaţă University of Michigan Mainz July 9, 2018 Mircea Mustaţă () An overview of D-modules Mainz July 9, 2018 1 The

More information

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

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 4 INUTES. If, ω, ω, -----, ω 9 are the th roots of unity, then ( + ω) ( + ω ) ----- ( + ω 9 ) is B) D) 5. i If - i = a + ib, then a =, b = B) a =, b = a =, b = D) a =, b= 3. Find the integral values for

More information

214A HOMEWORK KIM, SUNGJIN

214A HOMEWORK KIM, SUNGJIN 214A HOMEWORK KIM, SUNGJIN 1.1 Let A = k[[t ]] be the ring of formal power series with coefficients in a field k. Determine SpecA. Proof. We begin with a claim that A = { a i T i A : a i k, and a 0 k }.

More information

Algebraic varieties and schemes over any scheme. Non singular varieties

Algebraic varieties and schemes over any scheme. Non singular varieties Algebraic varieties and schemes over any scheme. Non singular varieties Trang June 16, 2010 1 Lecture 1 Let k be a field and k[x 1,..., x n ] the polynomial ring with coefficients in k. Then we have two

More information

Fiberwise two-sided multiplications on homogeneous C*-algebras

Fiberwise two-sided multiplications on homogeneous C*-algebras Fiberwise two-sided multiplications on homogeneous C*-algebras Ilja Gogić Department of Mathematics University of Zagreb XX Geometrical Seminar Vrnjačka Banja, Serbia May 20 23, 2018 joint work with Richard

More information

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

von Neumann algebras, II 1 factors, and their subfactors V.S. Sunder (IMSc, Chennai) von Neumann algebras, II 1 factors, and their subfactors V.S. Sunder (IMSc, Chennai) Lecture 3 at IIT Mumbai, April 24th, 2007 Finite-dimensional C -algebras: Recall: Definition: A linear functional tr

More information

1. Algebraic vector bundles. Affine Varieties

1. Algebraic vector bundles. Affine Varieties 0. Brief overview Cycles and bundles are intrinsic invariants of algebraic varieties Close connections going back to Grothendieck Work with quasi-projective varieties over a field k Affine Varieties 1.

More information

Homework in Topology, Spring 2009.

Homework in Topology, Spring 2009. Homework in Topology, Spring 2009. Björn Gustafsson April 29, 2009 1 Generalities To pass the course you should hand in correct and well-written solutions of approximately 10-15 of the problems. For higher

More information

Algebraic v.s. Analytic Point of View

Algebraic v.s. Analytic Point of View Algebraic v.s. Analytic Point of View Ziwen Zhu September 19, 2015 In this talk, we will compare 3 different yet similar objects of interest in algebraic and complex geometry, namely algebraic variety,

More information

Math 797W Homework 4

Math 797W Homework 4 Math 797W Homework 4 Paul Hacking December 5, 2016 We work over an algebraically closed field k. (1) Let F be a sheaf of abelian groups on a topological space X, and p X a point. Recall the definition

More information

Lecture 1: Overview. January 24, 2018

Lecture 1: Overview. January 24, 2018 Lecture 1: Overview January 24, 2018 We begin with a very quick review of first-order logic (we will give a more leisurely review in the next lecture). Recall that a linearly ordered set is a set X equipped

More information

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

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 8. Smoothness and the Zariski tangent space We want to give an algebraic notion of the tangent space. In differential geometry, tangent vectors are equivalence classes of maps of intervals in R into the

More information

Morley s Proof. Winnipeg June 3, 2007

Morley s Proof. Winnipeg June 3, 2007 Modern Model Theory Begins Theorem (Morley 1965) If a countable first order theory is categorical in one uncountable cardinal it is categorical in all uncountable cardinals. Outline 1 2 3 SELF-CONSCIOUS

More information

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

ASSIGNMENT - 1, DEC M.Sc. (FINAL) SECOND YEAR DEGREE MATHEMATICS. Maximum : 20 MARKS Answer ALL questions. is also a topology on X. (DM 21) ASSIGNMENT - 1, DEC-2013. PAPER - I : TOPOLOGY AND FUNCTIONAL ANALYSIS Maimum : 20 MARKS 1. (a) Prove that every separable metric space is second countable. Define a topological space. If T 1 and

More information

Non commutative Khintchine inequalities and Grothendieck s theo

Non commutative Khintchine inequalities and Grothendieck s theo Non commutative Khintchine inequalities and Grothendieck s theorem Nankai, 2007 Plan Non-commutative Khintchine inequalities 1 Non-commutative Khintchine inequalities 2 µ = Uniform probability on the set

More information

Non-Elementary Classes 2007

Non-Elementary Classes 2007 October 7, 2007 Two Directions 1 2 Acknowledgements I will interpret or misinterpret the works of many people with only vague and non-uniform specific acknowledgments. The end or the beginning? Shelah

More information

Introduction to Model Theory

Introduction to Model Theory Introduction to Model Theory Jouko Väänänen 1,2 1 Department of Mathematics and Statistics, University of Helsinki 2 Institute for Logic, Language and Computation, University of Amsterdam Beijing, June

More information

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

QUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday September 1, 2015 (Day 1) QUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday September 1, 2015 (Day 1) 1. (A) The integer 8871870642308873326043363 is the 13 th power of an integer n. Find n. Solution.

More information

Set theory and C*-algebras

Set theory and C*-algebras Advertisement Workshop on Set theory and C*-algebras January 23 to January 27, 2012 American Institute of Mathematics, Palo Alto, California organized by Ilijas Farah (York) and David Kerr (Texas A&M)

More information

Lectures on the Orbit Method

Lectures on the Orbit Method Lectures on the Orbit Method A. A. Kirillov Graduate Studies in Mathematics Volume 64 American Mathematical Society Providence, Rhode Island Preface Introduction xv xvii Chapter 1. Geometry of Coadjoint

More information

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

h M (T ). The natural isomorphism η : M h M determines an element U = η 1 MODULI PROBLEMS AND GEOMETRIC INVARIANT THEORY 7 2.3. Fine moduli spaces. The ideal situation is when there is a scheme that represents our given moduli functor. Definition 2.15. Let M : Sch Set be a moduli

More information

REFINMENTS OF HOMOLOGY. Homological spectral package.

REFINMENTS OF HOMOLOGY. Homological spectral package. REFINMENTS OF HOMOLOGY (homological spectral package). Dan Burghelea Department of Mathematics Ohio State University, Columbus, OH In analogy with linear algebra over C we propose REFINEMENTS of the simplest

More information

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

Foundations. September 4, Foundations. A Model Theoretic Perspective. John T. Baldwin. sociology. Thesis I. Thesis II. A Concept Analysis September 4, 2009 Outline 1 2 3 4 A Data point for PBPL Practice based philosophy of logic Are model theorists logicians? They do not analyze methods of reasoning. A Data point for PBPL Practice based

More information

Lecture 3: Flat Morphisms

Lecture 3: Flat Morphisms Lecture 3: Flat Morphisms September 29, 2014 1 A crash course on Properties of Schemes For more details on these properties, see [Hartshorne, II, 1-5]. 1.1 Open and Closed Subschemes If (X, O X ) is a

More information

Model theory, stability, applications

Model theory, stability, applications Model theory, stability, applications Anand Pillay University of Leeds June 6, 2013 Logic I Modern mathematical logic developed at the end of the 19th and beginning of 20th centuries with the so-called

More information

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

Intersecting valuation rings in the Zariski-Riemann space of a field Intersecting valuation rings in the Zariski-Riemann space of a field Bruce Olberding Department of Mathematical Sciences New Mexico State University November, 2015 Motivation from Birational Algebra Problem:

More information

A fresh perspective on canonical extensions for bounded lattices

A fresh perspective on canonical extensions for bounded lattices A fresh perspective on canonical extensions for bounded lattices Mathematical Institute, University of Oxford Department of Mathematics, Matej Bel University Second International Conference on Order, Algebra

More information

Model Theory of the Exponentiation: Abstract

Model Theory of the Exponentiation: Abstract Model Theory of the Exponentiation: Abstract Marcos Mazari Armida Thesis Advisors: Dr. Timothy Gendron and Dr. Thomas Scanlon * 17 de mayo de 2017 In the following document we present an abstract in english

More information

CHERN-SIMONS THEORY AND WEYL QUANTIZATION Răzvan Gelca

CHERN-SIMONS THEORY AND WEYL QUANTIZATION Răzvan Gelca CHERN-SIMONS THEORY AND WEYL QUANTIZATION Răzvan Gelca CHERN-SIMONS THEORY AND WEYL QUANTIZATION Răzvan Gelca this talk is based on joint work and discussions with Alejandro Uribe, Alastair Hamilton, Charles

More information

Tutorial on Differential Galois Theory III

Tutorial on Differential Galois Theory III Tutorial on Differential Galois Theory III T. Dyckerhoff Department of Mathematics University of Pennsylvania 02/14/08 / Oberflockenbach Outline Today s plan Monodromy and singularities Riemann-Hilbert

More information

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

PROBLEMS, MATH 214A. Affine and quasi-affine varieties PROBLEMS, MATH 214A k is an algebraically closed field Basic notions Affine and quasi-affine varieties 1. Let X A 2 be defined by x 2 + y 2 = 1 and x = 1. Find the ideal I(X). 2. Prove that the subset

More information

Geometry 9: Serre-Swan theorem

Geometry 9: Serre-Swan theorem Geometry 9: Serre-Swan theorem Rules: You may choose to solve only hard exercises (marked with!, * and **) or ordinary ones (marked with! or unmarked), or both, if you want to have extra problems. To have

More information

FROM CLASSICAL THETA FUNCTIONS TO TOPOLOGICAL QUANTUM FIELD THEORY

FROM CLASSICAL THETA FUNCTIONS TO TOPOLOGICAL QUANTUM FIELD THEORY FROM CLASSICAL THETA FUNCTIONS TO TOPOLOGICAL QUANTUM FIELD THEORY Răzvan Gelca Texas Tech University Alejandro Uribe University of Michigan WE WILL CONSTRUCT THE ABELIAN CHERN-SIMONS TOPOLOGICAL QUANTUM

More information

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

Exercises of the Algebraic Geometry course held by Prof. Ugo Bruzzo. Alex Massarenti Exercises of the Algebraic Geometry course held by Prof. Ugo Bruzzo Alex Massarenti SISSA, VIA BONOMEA 265, 34136 TRIESTE, ITALY E-mail address: alex.massarenti@sissa.it These notes collect a series of

More information

Exercises for algebraic curves

Exercises for algebraic curves Exercises for algebraic curves Christophe Ritzenthaler February 18, 2019 1 Exercise Lecture 1 1.1 Exercise Show that V = {(x, y) C 2 s.t. y = sin x} is not an algebraic set. Solutions. Let us assume that

More information

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 5

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 5 FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 5 RAVI VAKIL CONTENTS 1. The inverse image sheaf 1 2. Recovering sheaves from a sheaf on a base 3 3. Toward schemes 5 4. The underlying set of affine schemes 6 Last

More information

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA These are notes for our first unit on the algebraic side of homological algebra. While this is the last topic (Chap XX) in the book, it makes sense to

More information

Two-sided multiplications and phantom line bundles

Two-sided multiplications and phantom line bundles Two-sided multiplications and phantom line bundles Ilja Gogić Department of Mathematics University of Zagreb 19th Geometrical Seminar Zlatibor, Serbia August 28 September 4, 2016 joint work with Richard

More information

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

which is a group homomorphism, such that if W V U, then 4. Sheaves Definition 4.1. Let X be a topological space. A presheaf of groups F on X is a a function which assigns to every open set U X a group F(U) and to every inclusion V U a restriction map, ρ UV

More information

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

Peter Hochs. Strings JC, 11 June, C -algebras and K-theory. Peter Hochs. Introduction. C -algebras. Group. C -algebras. and of and Strings JC, 11 June, 2013 and of 1 2 3 4 5 of and of and Idea of 1 Study locally compact Hausdorff topological spaces through their algebras of continuous functions. The product on this algebra

More information

ABSTRACT NONSINGULAR CURVES

ABSTRACT NONSINGULAR CURVES ABSTRACT NONSINGULAR CURVES Affine Varieties Notation. Let k be a field, such as the rational numbers Q or the complex numbers C. We call affine n-space the collection A n k of points P = a 1, a,..., a

More information

AN INTRODUCTION TO AFFINE SCHEMES

AN INTRODUCTION TO AFFINE SCHEMES AN INTRODUCTION TO AFFINE SCHEMES BROOKE ULLERY Abstract. This paper gives a basic introduction to modern algebraic geometry. The goal of this paper is to present the basic concepts of algebraic geometry,

More information

K theory of C algebras

K theory of C algebras K theory of C algebras S.Sundar Institute of Mathematical Sciences,Chennai December 1, 2008 S.Sundar Institute of Mathematical Sciences,Chennai ()K theory of C algebras December 1, 2008 1 / 30 outline

More information

Categories and Quantum Informatics: Hilbert spaces

Categories and Quantum Informatics: Hilbert spaces Categories and Quantum Informatics: Hilbert spaces Chris Heunen Spring 2018 We introduce our main example category Hilb by recalling in some detail the mathematical formalism that underlies quantum theory:

More information

Discussion Session on p-divisible Groups

Discussion Session on p-divisible Groups Discussion Session on p-divisible Groups Notes by Tony Feng April 7, 2016 These are notes from a discussion session of p-divisible groups. Some questions were posed by Dennis Gaitsgory, and then their

More information

LECTURES ON SYMPLECTIC REFLECTION ALGEBRAS

LECTURES ON SYMPLECTIC REFLECTION ALGEBRAS LECTURES ON SYMPLECTIC REFLECTION ALGEBRAS IVAN LOSEV 16. Symplectic resolutions of µ 1 (0)//G and their deformations 16.1. GIT quotients. We will need to produce a resolution of singularities for C 2n

More information

QUANTIZATION VIA DIFFERENTIAL OPERATORS ON STACKS

QUANTIZATION VIA DIFFERENTIAL OPERATORS ON STACKS QUANTIZATION VIA DIFFERENTIAL OPERATORS ON STACKS SAM RASKIN 1. Differential operators on stacks 1.1. We will define a D-module of differential operators on a smooth stack and construct a symbol map when

More information

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

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. ANDREW SALCH 1. Hilbert s Nullstellensatz. The last lecture left off with the claim that, if J k[x 1,..., x n ] is an ideal, then

More information

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

Algebras, Representations and Quant Title. Approaches from mathematical scienc. Mechanical and Macroscopic Systems) Algebras, Representations and Quant Title Approaches from mathematical scienc information, Chaos and Nonlinear Dy Mechanical and Macroscopic Systems) Author(s) Tanimura, Shogo Citation 物性研究 (2005), 84(3):

More information

Notes on p-divisible Groups

Notes on p-divisible Groups Notes on p-divisible Groups March 24, 2006 This is a note for the talk in STAGE in MIT. The content is basically following the paper [T]. 1 Preliminaries and Notations Notation 1.1. Let R be a complete

More information

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

Mobile Robotics 1. A Compact Course on Linear Algebra. Giorgio Grisetti Mobile Robotics 1 A Compact Course on Linear Algebra Giorgio Grisetti SA-1 Vectors Arrays of numbers They represent a point in a n dimensional space 2 Vectors: Scalar Product Scalar-Vector Product Changes

More information

Boolean Subalgebras of Orthomodular Posets

Boolean Subalgebras of Orthomodular Posets Boolean Subalgebras of Orthomodular Posets Harding, Heunen, Lindenhovius and Navara New Mexico State University www.math.nmsu.edu/ JohnHarding.html jharding@nmsu.edu Chapman, September 2018 Overview For

More information

3. The Sheaf of Regular Functions

3. The Sheaf of Regular Functions 24 Andreas Gathmann 3. The Sheaf of Regular Functions After having defined affine varieties, our next goal must be to say what kind of maps between them we want to consider as morphisms, i. e. as nice

More information

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

tp(c/a) tp(c/ab) T h(m M ) is assumed in the background. Model Theory II. 80824 22.10.2006-22.01-2007 (not: 17.12) Time: The first meeting will be on SUNDAY, OCT. 22, 10-12, room 209. We will try to make this time change permanent. Please write ehud@math.huji.ac.il

More information

D-manifolds and derived differential geometry

D-manifolds and derived differential geometry D-manifolds and derived differential geometry Dominic Joyce, Oxford University September 2014 Based on survey paper: arxiv:1206.4207, 44 pages and preliminary version of book which may be downloaded from

More information

LECTURE 3 Functional spaces on manifolds

LECTURE 3 Functional spaces on manifolds LECTURE 3 Functional spaces on manifolds The aim of this section is to introduce Sobolev spaces on manifolds (or on vector bundles over manifolds). These will be the Banach spaces of sections we were after

More information

A Crash Course in Topological Groups

A Crash Course in Topological Groups A Crash Course in Topological Groups Iian B. Smythe Department of Mathematics Cornell University Olivetti Club November 8, 2011 Iian B. Smythe (Cornell) Topological Groups Nov. 8, 2011 1 / 28 Outline 1

More information

HARTSHORNE EXERCISES

HARTSHORNE EXERCISES HARTSHORNE EXERCISES J. WARNER Hartshorne, Exercise I.5.6. Blowing Up Curve Singularities (a) Let Y be the cusp x 3 = y 2 + x 4 + y 4 or the node xy = x 6 + y 6. Show that the curve Ỹ obtained by blowing

More information

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

Lecture 1 Operator spaces and their duality. David Blecher, University of Houston Lecture 1 Operator spaces and their duality David Blecher, University of Houston July 28, 2006 1 I. Introduction. In noncommutative analysis we replace scalar valued functions by operators. functions operators

More information

1 Equal-time and Time-ordered Green Functions

1 Equal-time and Time-ordered Green Functions 1 Equal-time and Time-ordered Green Functions Predictions for observables in quantum field theories are made by computing expectation values of products of field operators, which are called Green functions

More information

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

PMATH 600s. Prerequisite: PMATH 345 or 346 or consent of department. PMATH 600s PMATH 632 First Order Logic and Computability (0.50) LEC Course ID: 002339 The concepts of formal provability and logical consequence in first order logic are introduced, and their equivalence

More information

MASTERS EXAMINATION IN MATHEMATICS

MASTERS EXAMINATION IN MATHEMATICS MASTERS EXAMINATION IN MATHEMATICS PURE MATH OPTION, Spring 018 Full points can be obtained for correct answers to 8 questions. Each numbered question (which may have several parts) is worth 0 points.

More information

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.

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. 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. Answer: Note that the first generator factors as (y

More information

ALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES

ALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES ALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES HONGHAO GAO FEBRUARY 7, 2014 Quasi-coherent and coherent sheaves Let X Spec k be a scheme. A presheaf over X is a contravariant functor from the category of open

More information

10. Smooth Varieties. 82 Andreas Gathmann

10. Smooth Varieties. 82 Andreas Gathmann 82 Andreas Gathmann 10. Smooth Varieties Let a be a point on a variety X. In the last chapter we have introduced the tangent cone C a X as a way to study X locally around a (see Construction 9.20). It

More information

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

Functional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability... Functional Analysis Franck Sueur 2018-2019 Contents 1 Metric spaces 1 1.1 Definitions........................................ 1 1.2 Completeness...................................... 3 1.3 Compactness......................................

More information

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

Spectral Properties of Elliptic Operators In previous work we have replaced the strong version of an elliptic boundary value problem Spectral Properties of Elliptic Operators In previous work we have replaced the strong version of an elliptic boundary value problem L u x f x BC u x g x with the weak problem find u V such that B u,v

More information

Algebraic Curves and Riemann Surfaces

Algebraic Curves and Riemann Surfaces Algebraic Curves and Riemann Surfaces Rick Miranda Graduate Studies in Mathematics Volume 5 If American Mathematical Society Contents Preface xix Chapter I. Riemann Surfaces: Basic Definitions 1 1. Complex

More information

Rigid Geometry and Applications II. Kazuhiro Fujiwara & Fumiharu Kato

Rigid Geometry and Applications II. Kazuhiro Fujiwara & Fumiharu Kato Rigid Geometry and Applications II Kazuhiro Fujiwara & Fumiharu Kato Birational Geometry from Zariski s viewpoint S U D S : coherent (= quasi-compact and quasi-separated) (analog. compact Hausdorff) U

More information

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 24

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 24 FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 24 RAVI VAKIL CONTENTS 1. Vector bundles and locally free sheaves 1 2. Toward quasicoherent sheaves: the distinguished affine base 5 Quasicoherent and coherent sheaves

More information

Equational reasoning for probabilistic programming Part II: Quantitative equational logic

Equational reasoning for probabilistic programming Part II: Quantitative equational logic Equational reasoning for probabilistic programming Part II: Quantitative equational logic Prakash Panangaden 1 1 School of Computer Science McGill University Probabilistic Programming Languages 29th May

More information

The Hilbert-Mumford Criterion

The Hilbert-Mumford Criterion The Hilbert-Mumford Criterion Klaus Pommerening Johannes-Gutenberg-Universität Mainz, Germany January 1987 Last change: April 4, 2017 The notions of stability and related notions apply for actions of algebraic

More information

Infinite root stacks of logarithmic schemes

Infinite root stacks of logarithmic schemes Infinite root stacks of logarithmic schemes Angelo Vistoli Scuola Normale Superiore, Pisa Joint work with Mattia Talpo, Max Planck Institute Brown University, May 2, 2014 1 Let X be a smooth projective

More information

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

5.4 Given the basis e 1, e 2 write the matrices that represent the unitary transformations corresponding to the following changes of basis: 5 Representations 5.3 Given a three-dimensional Hilbert space, consider the two observables ξ and η that, with respect to the basis 1, 2, 3, arerepresentedby the matrices: ξ ξ 1 0 0 0 ξ 1 0 0 0 ξ 3, ξ

More information

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0

More information

The numerical index of Banach spaces

The numerical index of Banach spaces The numerical index of Banach spaces Miguel Martín http://www.ugr.es/local/mmartins April 2nd, 2009 Zaragoza Schedule of the talk 1 Basic notation 2 Numerical range of operators 3 Numerical index of Banach

More information

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

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 4: MORE ABOUT VARIETIES AND REGULAR FUNCTIONS. ALGERAIC GEOMETRY COURSE NOTES, LECTURE 4: MORE AOUT VARIETIES AND REGULAR FUNCTIONS. ANDREW SALCH. More about some claims from the last lecture. Perhaps you have noticed by now that the Zariski topology

More information

UNITARY UNIFICATION OF S5 MODAL LOGIC AND ITS EXTENSIONS

UNITARY UNIFICATION OF S5 MODAL LOGIC AND ITS EXTENSIONS Bulletin of the Section of Logic Volume 32:1/2 (2003), pp. 19 26 Wojciech Dzik UNITARY UNIFICATION OF S5 MODAL LOGIC AND ITS EXTENSIONS Abstract It is shown that all extensions of S5 modal logic, both

More information

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

Preliminaries on von Neumann algebras and operator spaces. Magdalena Musat University of Copenhagen. Copenhagen, January 25, 2010 Preliminaries on von Neumann algebras and operator spaces Magdalena Musat University of Copenhagen Copenhagen, January 25, 2010 1 Von Neumann algebras were introduced by John von Neumann in 1929-1930 as

More information

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

Short note on compact operators - Monday 24 th March, Sylvester Eriksson-Bique Short note on compact operators - Monday 24 th March, 2014 Sylvester Eriksson-Bique 1 Introduction In this note I will give a short outline about the structure theory of compact operators. I restrict attention

More information

Introduction and preliminaries Wouter Zomervrucht, Februari 26, 2014

Introduction and preliminaries Wouter Zomervrucht, Februari 26, 2014 Introduction and preliminaries Wouter Zomervrucht, Februari 26, 204. Introduction Theorem. Serre duality). Let k be a field, X a smooth projective scheme over k of relative dimension n, and F a locally

More information

FROM COHERENT TO FINITENESS SPACES

FROM COHERENT TO FINITENESS SPACES FROM COHERENT TO FINITENESS SPACES PIERRE HYVERNAT Laboratoire de Mathématiques, Université de Savoie, 73376 Le Bourget-du-Lac Cedex, France. e-mail address: Pierre.Hyvernat@univ-savoie.fr Abstract. This

More information

The Dirichlet-to-Neumann operator

The Dirichlet-to-Neumann operator Lecture 8 The Dirichlet-to-Neumann operator The Dirichlet-to-Neumann operator plays an important role in the theory of inverse problems. In fact, from measurements of electrical currents at the surface

More information

Analysis Preliminary Exam Workshop: Hilbert Spaces

Analysis Preliminary Exam Workshop: Hilbert Spaces Analysis Preliminary Exam Workshop: Hilbert Spaces 1. Hilbert spaces A Hilbert space H is a complete real or complex inner product space. Consider complex Hilbert spaces for definiteness. If (, ) : H H

More information

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

Quantum Mechanics for Mathematicians: The Heisenberg group and the Schrödinger Representation Quantum Mechanics for Mathematicians: The Heisenberg group and the Schrödinger Representation Peter Woit Department of Mathematics, Columbia University woit@math.columbia.edu November 30, 2012 In our discussion

More information

Summer Algebraic Geometry Seminar

Summer Algebraic Geometry Seminar Summer Algebraic Geometry Seminar Lectures by Bart Snapp About This Document These lectures are based on Chapters 1 and 2 of An Invitation to Algebraic Geometry by Karen Smith et al. 1 Affine Varieties

More information