The semantics of non-commutative geometry and quantum mechanics.
|
|
- Evan Fleming
- 5 years ago
- Views:
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. B. Zilber University of Oxford August 6, 2016 B.Zilber, The semantics of the canonical commutation relations arxiv.org/abs/1604.07745
More informationThe 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 informationThe 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 informationOn 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 informationQUALIFYING 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 informationElliott 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 informationAlgebraic 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 informationInfinite-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 informationLecture 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 informationBEZOUT 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 informationClassification 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 informationDirect 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 informationBoolean 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 informationThe 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 informationAn 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 information1. 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 information214A 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 informationAlgebraic 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 informationFiberwise 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 informationvon 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 information1. 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 informationHomework 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 informationAlgebraic 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 informationMath 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 informationLecture 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 informationwhere 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 informationMorley 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 informationASSIGNMENT - 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 informationNon 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 informationNon-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 informationIntroduction 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 informationQUALIFYING 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 informationSet 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 informationLectures 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 informationh 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 informationREFINMENTS 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 informationFoundations. 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 informationLecture 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 informationModel 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 informationIntersecting 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 informationA 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 informationModel 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 informationCHERN-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 informationTutorial 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 informationPROBLEMS, 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 informationGeometry 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 informationFROM 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 informationExercises 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 informationExercises 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 informationFOUNDATIONS 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 informationMATH 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 informationTwo-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 informationwhich 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 informationPeter 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 informationABSTRACT 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 informationAN 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 informationK 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 informationCategories 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 informationDiscussion 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 informationLECTURES 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 informationQUANTIZATION 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 informationALGEBRAIC 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 informationAlgebras, 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 informationNotes 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 informationMobile 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 informationBoolean 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 information3. 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 informationtp(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 informationD-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 informationLECTURE 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 informationA 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 informationHARTSHORNE 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 informationLecture 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 information1 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 informationPMATH 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 informationMASTERS 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 informationReid 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 informationALGEBRAIC 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 information10. 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 informationFunctional 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 informationSpectral 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 informationAlgebraic 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 informationRigid 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 informationFOUNDATIONS 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 informationEquational 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 informationThe 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 informationInfinite 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 information5.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 informationFILTERED 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 informationThe 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 informationALGEBRAIC 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 informationUNITARY 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 informationPreliminaries 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 informationShort 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 informationIntroduction 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 informationFROM 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 informationThe 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 informationAnalysis 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 informationQuantum 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 informationSummer 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