The geometrical semantics of algebraic quantum mechanics
|
|
- Lauren Arnold
- 5 years ago
- Views:
Transcription
1 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/ The geometrical semantics of algebraic quantum mechanics 1 / 20
2 Geometric dualities Affine commutative C-algebra R = C[X 1,..., X n ]/I Commutative unital C -algebra A Affine reduced k-algebra R = k[x 1,..., X n ]/I... Complex algebraic variety V R with relations given by polynomial equations. Compact topological space V A with continuous functions into C corresponding to elements of A The geometry of k-definable points, curves etc of an algebraic variety V R... The geometrical semantics of algebraic quantum mechanics 2 / 20
3 Relation to Logic These are syntax semantics dualities. The geometrical semantics of algebraic quantum mechanics 3 / 20
4 Relation to Logic These are syntax semantics dualities. In general the syntax may come with a topology! (as in C -algebras). The geometrical semantics of algebraic quantum mechanics 3 / 20
5 What is a geometric semantic? The geometrical semantics of algebraic quantum mechanics 4 / 20
6 What is a geometric semantic? A Suggestion. The structures on the right hand side of dualities must be model-theoretically stable (Morley, Shelah and others, in a reasonably generalised sense). The geometrical semantics of algebraic quantum mechanics 4 / 20
7 What is a geometric semantic? A Suggestion. The structures on the right hand side of dualities must be model-theoretically stable (Morley, Shelah and others, in a reasonably generalised sense). There also should be a topology associated in a natural way with the syntax. The geometrical semantics of algebraic quantum mechanics 4 / 20
8 What is a geometric semantic? A Suggestion. The structures on the right hand side of dualities must be model-theoretically stable (Morley, Shelah and others, in a reasonably generalised sense). There also should be a topology associated in a natural way with the syntax. Perhaps in the spirit of continuous or/and positive model theory (Keisler, Ben Yaacov, Usviatsov and others) The geometrical semantics of algebraic quantum mechanics 4 / 20
9 What is a geometric semantic? A Suggestion. The structures on the right hand side of dualities must be model-theoretically stable (Morley, Shelah and others, in a reasonably generalised sense). There also should be a topology associated in a natural way with the syntax. Perhaps in the spirit of continuous or/and positive model theory (Keisler, Ben Yaacov, Usviatsov and others) The initial setting can be provided by the notion of Zariski geometry (Hrushovski and Z. 1993). The geometrical semantics of algebraic quantum mechanics 4 / 20
10 Zariski geometries. The structure V = (V ; L) (a universe V and a language L) with a topology on its cartesian powers is said to be Zariski if it satisfies Closed subsets of V n are exactly those which are L-positive-quantifier-free definable. The projection of a closed set is constructible (positive quantifier-elimination). A good dimension notion on closed subsets is given.... The geometrical semantics of algebraic quantum mechanics 5 / 20
11 Zariski geometries. The structure V = (V ; L) (a universe V and a language L) with a topology on its cartesian powers is said to be Zariski if it satisfies Closed subsets of V n are exactly those which are L-positive-quantifier-free definable. The projection of a closed set is constructible (positive quantifier-elimination). A good dimension notion on closed subsets is given.... Theorem (1994) Noetherian Zariski geometries are stable of finite Morley rank. The geometrical semantics of algebraic quantum mechanics 5 / 20
12 A Noncommutative Duality Theorem The classical duality can be extended to non-commutative geometry at root of unity ( algebras with large Azumaya locus). A V V A. N = dimension of the maximal indecomposable module = order of the root of unity. The geometrical semantics of algebraic quantum mechanics 6 / 20
13 A non-commutative example at root of unity Non-commutative 2-torus V A at ɛ = e 2πi m N has co-ordinate ring A = U, V : U = U 1, V = V 1, UV = ɛvu The geometrical semantics of algebraic quantum mechanics 7 / 20
14 A non-commutative example at root of unity A Non-commutative 2-torus V A at ɛ = e 2πi m N has co-ordinate ring A = U, V : U = U 1, V = V 1, UV = ɛvu Points α on the torus have structure of an N-dim Hilbert space V α with a distinguished system of canonical orthonormal bases The geometrical semantics of algebraic quantum mechanics 7 / 20
15 Further geometric dualities Affine commutative C-algebra R Commutative C -algebra A k-scheme of finite type S C -algebra A at roots of unity Complex algebraic variety V R Compact topological space V A The k-definable structure on a Zariski geometry V S (?) Zariski geometry V A Weyl-Heisenberg algebra Q, P : QP PQ = i The integers Z The geometrical semantics of algebraic quantum mechanics 8 / 20
16 Further geometric dualities Affine commutative C-algebra R Commutative C -algebra A k-scheme of finite type S C -algebra A at roots of unity Weyl-Heisenberg algebra Q, P : QP PQ = i The integers Z Complex algebraic variety V R Compact topological space V A The k-definable structure on a Zariski geometry V S (?) Zariski geometry V A?? The geometrical semantics of algebraic quantum mechanics 8 / 20
17 QP PQ = i This canonical commutation relation unfolds into the full-fledged quantum mechanics. The geometrical semantics of algebraic quantum mechanics 9 / 20
18 QP PQ = i This canonical commutation relation unfolds into the full-fledged quantum mechanics. Remark. This does not allow the C -algebra (Banach algebra) setting. The geometrical semantics of algebraic quantum mechanics 9 / 20
19 QP PQ = i On suggestion of Herman Weyl and following the Stone von Neumann Theorem replace the Weyl-Heisenberg algebra by the category of Weyl -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. The geometrical semantics of algebraic quantum mechanics 10 / 20
20 QP PQ = i On suggestion of Herman Weyl and following the Stone von Neumann Theorem replace the Weyl-Heisenberg algebra by the category of Weyl -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. The geometrical semantics of algebraic quantum mechanics 10 / 20
21 Étale 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: A a,b A c,d The geometrical semantics of algebraic quantum mechanics 11 / 20
22 Étale 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: A a,b A c,d This corresponds to surjective morphism in the dual category V fin of Zariski geometries V Aa,b V Ac,d. The geometrical semantics of algebraic quantum mechanics 11 / 20
23 Étale 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: A a,b A c,d This corresponds to surjective morphism in the dual category V fin of Zariski geometries V Aa,b V Ac,d. Note, that A a,b A c,d can be rephrased in terms of divisibility between numerators and denominators of a, b, c, d. The geometrical semantics of algebraic quantum mechanics 11 / 20
24 Limit objects of A fin and V fin. Determining the limits on the geometric side is the main difficulty of the project. The geometrical semantics of algebraic quantum mechanics 12 / 20
25 Limit objects of A fin and V fin. Determining the limits on the geometric side is the main difficulty of the project. An analogy: define R from Q. We use structural approximation, The geometrical semantics of algebraic quantum mechanics 12 / 20
26 Limit objects of A fin and V fin. Determining the limits on the geometric side is the main difficulty of the project. An analogy: define R from Q. We use structural approximation, a construction within postive (continuos) model theory. The nonstandard universal object A of A fin is the algebra A := A 1 µ, 1 ν = U 1 µ, V 1 ν, µ, ν Z, µ and ν nonstandard integers divisible by any standard ones. The geometrical semantics of algebraic quantum mechanics 12 / 20
27 Limit objects of A fin and V fin. Determining the limits on the geometric side is the main difficulty of the project. An analogy: define R from Q. We use structural approximation, a construction within postive (continuos) model theory. The nonstandard universal object A of A fin is the algebra A := A 1 µ, 1 ν = U 1 µ, V 1 ν, µ, ν Z, µ and ν nonstandard integers divisible by any standard ones. Lemma. A A a,b for all a, b Q iff µ and ν divisible by all standard integers. The geometrical semantics of algebraic quantum mechanics 12 / 20
28 More precisely we choose µ and ν so that the Planck constant. µ ν h = 2π, The geometrical semantics of algebraic quantum mechanics 13 / 20
29 More precisely we choose µ and ν so that the Planck constant. µ ν h = 2π, The non-standard projective object of V fin is the nonstandard geometric object V A, corresponding to the algebra A. The geometrical semantics of algebraic quantum mechanics 13 / 20
30 More precisely we choose µ and ν so that the Planck constant. µ ν h = 2π, The non-standard projective object of V fin is the nonstandard geometric object V A, corresponding to the algebra A. Lemma. For every A a,b with a, b Q, there is a surjective morphism V A V Aa,b. The geometrical semantics of algebraic quantum mechanics 13 / 20
31 Noncommutative V A deforms into V A A A The geometrical semantics of algebraic quantum mechanics 14 / 20
32 The space of states The space of states S is defined as a factor of an observable part of V A (defined algebraically) by an equivalence relation x 1 x 2 meaning the two elements are indiscernible. E.g. two eigenvectors of norm 1 with infinitesimally close eigenvalues are indiscernible. The geometrical semantics of algebraic quantum mechanics 15 / 20
33 The space of states The space of states S is defined as a factor of an observable part of V A (defined algebraically) by an equivalence relation x 1 x 2 meaning the two elements are indiscernible. E.g. two eigenvectors of norm 1 with infinitesimally close eigenvalues are indiscernible. The language (relations) on S is determined by operators from A which survive the passage to S. These turn our to coincide with observables of physics. The geometrical semantics of algebraic quantum mechanics 15 / 20
34 The space of states S is described in terms of standard real and complex numbers and can effectively be identified with the conventional representation of CCR over a symplectic space with (quadratic) time evolution operators acting as symplectomorphism. The geometrical semantics of algebraic quantum mechanics 16 / 20
35 Example. Time evolution operator for the quantum harmonic oscillator. K t = K t QHOsc := e i P2 +Q 2 t, t R. The geometrical semantics of algebraic quantum mechanics 17 / 20
36 Example. Time evolution operator for the quantum harmonic oscillator. K t = K t QHOsc := e i P2 +Q 2 t, t R. The geometrical semantics of algebraic quantum mechanics 17 / 20
37 Example. Time evolution operator for the quantum harmonic oscillator. K t = K t QHOsc := e i P2 +Q 2 t, t R. The matrix element on row x 1 and column x 2 ( 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 The trace of K t, Tr(K t ) = R x K t x = 1 sin t. 2 The geometrical semantics of algebraic quantum mechanics 17 / 20
38 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 geometrical semantics of algebraic quantum mechanics 18 / 20
39 Summary The semantics of the algebraic quantum mechanics presents the conventional space of states as a limit of finite spaces (and in fact suggests that the true space of states is a huge finite space); It explains the mathematical nature of physics observables; It provides a mathematical interpretation to quantum probabilities as the measure of symmetry. It replaces calculations by integrals with calculations by finite sums (such as Gauss quadratic sums). The geometrical semantics of algebraic quantum mechanics 19 / 20
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 semantics of non-commutative geometry and quantum mechanics.
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
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 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 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 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 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 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 informationRings and groups. Ya. Sysak
Rings and groups. Ya. Sysak 1 Noetherian rings Let R be a ring. A (right) R -module M is called noetherian if it satisfies the maximum condition for its submodules. In other words, if M 1... M i M i+1...
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 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 informationALGEBRAIC GROUPS. Disclaimer: There are millions of errors in these notes!
ALGEBRAIC GROUPS Disclaimer: There are millions of errors in these notes! 1. Some algebraic geometry The subject of algebraic groups depends on the interaction between algebraic geometry and group theory.
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 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 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 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 informationThe Zariski Spectrum of a ring
Thierry Coquand September 2010 Use of prime ideals Let R be a ring. We say that a 0,..., a n is unimodular iff a 0,..., a n = 1 We say that Σa i X i is primitive iff a 0,..., a n is unimodular Theorem:
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 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 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 informationWhat is the Langlands program all about?
What is the Langlands program all about? Laurent Lafforgue November 13, 2013 Hua Loo-Keng Distinguished Lecture Academy of Mathematics and Systems Science, Chinese Academy of Sciences This talk is mainly
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 informationElementary linear algebra
Chapter 1 Elementary linear algebra 1.1 Vector spaces Vector spaces owe their importance to the fact that so many models arising in the solutions of specific problems turn out to be vector spaces. The
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 informationGRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory.
GRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory. Linear Algebra Standard matrix manipulation to compute the kernel, intersection of subspaces, column spaces,
More informationCOMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY
COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY BRIAN OSSERMAN Classical algebraic geometers studied algebraic varieties over the complex numbers. In this setting, they didn t have to worry about the Zariski
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 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 informationAn Introduction to Rigid Analytic Geometry
An Introduction to Rigid Analytic Geometry Hans Schoutens Ohio State University http://www.math.ohio-state.edu/~schoutens June 2002 Abstract These notes 1 are intended to be a short course in rigid analytic
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 informationNORMALIZATION OF THE KRICHEVER DATA. Motohico Mulase
NORMALIZATION OF THE KRICHEVER DATA Motohico Mulase Institute of Theoretical Dynamics University of California Davis, CA 95616, U. S. A. and Max-Planck-Institut für Mathematik Gottfried-Claren-Strasse
More informationABSTRACT ALGEBRA WITH APPLICATIONS
ABSTRACT ALGEBRA WITH APPLICATIONS IN TWO VOLUMES VOLUME I VECTOR SPACES AND GROUPS KARLHEINZ SPINDLER Darmstadt, Germany Marcel Dekker, Inc. New York Basel Hong Kong Contents f Volume I Preface v VECTOR
More informationMeasures in model theory
Measures in model theory Anand Pillay University of Leeds Logic and Set Theory, Chennai, August 2010 Introduction I I will discuss the growing use and role of measures in pure model theory, with an emphasis
More informationAlgebra Questions. May 13, Groups 1. 2 Classification of Finite Groups 4. 3 Fields and Galois Theory 5. 4 Normal Forms 9
Algebra Questions May 13, 2013 Contents 1 Groups 1 2 Classification of Finite Groups 4 3 Fields and Galois Theory 5 4 Normal Forms 9 5 Matrices and Linear Algebra 10 6 Rings 11 7 Modules 13 8 Representation
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 informationCHEVALLEY S THEOREM AND COMPLETE VARIETIES
CHEVALLEY S THEOREM AND COMPLETE VARIETIES BRIAN OSSERMAN In this note, we introduce the concept which plays the role of compactness for varieties completeness. We prove that completeness can be characterized
More informationQUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday September 21, 2004 (Day 1)
QUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday September 21, 2004 (Day 1) Each of the six questions is worth 10 points. 1) Let H be a (real or complex) Hilbert space. We say
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 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 informationQuantum Theory and Group Representations
Quantum Theory and Group Representations Peter Woit Columbia University LaGuardia Community College, November 1, 2017 Queensborough Community College, November 15, 2017 Peter Woit (Columbia University)
More informationTame definable topological dynamics
Tame definable topological dynamics Artem Chernikov (Paris 7) Géométrie et Théorie des Modèles, 4 Oct 2013, ENS, Paris Joint work with Pierre Simon, continues previous work with Anand Pillay and Pierre
More informationMATH 8253 ALGEBRAIC GEOMETRY WEEK 12
MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f
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 informationConstructive algebra. Thierry Coquand. May 2018
Constructive algebra Thierry Coquand May 2018 Constructive algebra is algebra done in the context of intuitionistic logic 1 H. Lombardi, C. Quitté Commutative Algebra: Constructive Methods, 2016 I. Yengui
More informationCHAPTER 1. AFFINE ALGEBRAIC VARIETIES
CHAPTER 1. AFFINE ALGEBRAIC VARIETIES During this first part of the course, we will establish a correspondence between various geometric notions and algebraic ones. Some references for this part of the
More informationModel Theory of Differential Fields
Model Theory, Algebra, and Geometry MSRI Publications Volume 39, 2000 Model Theory of Differential Fields DAVID MARKER Abstract. This article surveys the model theory of differentially closed fields, an
More informationALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA
ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA Kent State University Department of Mathematical Sciences Compiled and Maintained by Donald L. White Version: August 29, 2017 CONTENTS LINEAR ALGEBRA AND
More informationSTRONGLY MINIMAL GROUPS IN THE THEORY OF COMPACT COMPLEX SPACES
STRONGLY MINIMAL GROUPS IN THE THEORY OF COMPACT COMPLEX SPACES MATTHIAS ASCHENBRENNER, RAHIM MOOSA, AND THOMAS SCANLON Abstract. We characterise strongly minimal groups interpretable in elementary extensions
More informationMotivic integration on Artin n-stacks
Motivic integration on Artin n-stacks Chetan Balwe Nov 13,2009 1 / 48 Prestacks (This treatment of stacks is due to B. Toën and G. Vezzosi.) Let S be a fixed base scheme. Let (Aff /S) be the category of
More informationNoncommutative geometry and quantum field theory
Noncommutative geometry and quantum field theory Graeme Segal The beginning of noncommutative geometry is the observation that there is a rough equivalence contravariant between the category of topological
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 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 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 informationTopics in Representation Theory: Cultural Background
Topics in Representation Theory: Cultural Background This semester we will be covering various topics in representation theory, see the separate syllabus for a detailed list of topics, including some that
More informationMATHEMATICS. Course Syllabus. Section A: Linear Algebra. Subject Code: MA. Course Structure. Ordinary Differential Equations
MATHEMATICS Subject Code: MA Course Structure Sections/Units Section A Section B Section C Linear Algebra Complex Analysis Real Analysis Topics Section D Section E Section F Section G Section H Section
More informationSmooth morphisms. Peter Bruin 21 February 2007
Smooth morphisms Peter Bruin 21 February 2007 Introduction The goal of this talk is to define smooth morphisms of schemes, which are one of the main ingredients in Néron s fundamental theorem [BLR, 1.3,
More informationConstructive Logic. Thierry Coquand. August 2008
Thierry Coquand August 2008 This course To present constructive mathematics using logic Introduction to recent work in constructive algebra (H. Lombardi, P. Schuster, I. Yengui,... ) Connection with computer
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 informationAlgebraic Geometry I Lectures 14 and 15
Algebraic Geometry I Lectures 14 and 15 October 22, 2008 Recall from the last lecture the following correspondences {points on an affine variety Y } {maximal ideals of A(Y )} SpecA A P Z(a) maximal ideal
More informationMath 248B. Applications of base change for coherent cohomology
Math 248B. Applications of base change for coherent cohomology 1. Motivation Recall the following fundamental general theorem, the so-called cohomology and base change theorem: Theorem 1.1 (Grothendieck).
More informationQuantum Symmetries in Free Probability Theory. Roland Speicher Queen s University Kingston, Canada
Quantum Symmetries in Free Probability Theory Roland Speicher Queen s University Kingston, Canada Quantum Groups are generalizations of groups G (actually, of C(G)) are supposed to describe non-classical
More informationMANIN-MUMFORD AND LATTÉS MAPS
MANIN-MUMFORD AND LATTÉS MAPS JORGE PINEIRO Abstract. The present paper is an introduction to the dynamical Manin-Mumford conjecture and an application of a theorem of Ghioca and Tucker to obtain counterexamples
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #18 11/07/2013
18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #18 11/07/2013 As usual, all the rings we consider are commutative rings with an identity element. 18.1 Regular local rings Consider a local
More informationYour first day at work MATH 806 (Fall 2015)
Your first day at work MATH 806 (Fall 2015) 1. Let X be a set (with no particular algebraic structure). A function d : X X R is called a metric on X (and then X is called a metric space) when d satisfies
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 informationLectures on Zariski-type structures Part I
Lectures on Zariski-type structures Part I Boris Zilber 1 Axioms for Zariski structures Let M be a set and let C be a distinguished sub-collection of the subsets of M n, n = 1, 2,... The sets in C will
More informationIntroduction to Spectral Theory
P.D. Hislop I.M. Sigal Introduction to Spectral Theory With Applications to Schrodinger Operators Springer Introduction and Overview 1 1 The Spectrum of Linear Operators and Hilbert Spaces 9 1.1 TheSpectrum
More informationMATH 233B, FLATNESS AND SMOOTHNESS.
MATH 233B, FLATNESS AND SMOOTHNESS. The discussion of smooth morphisms is one place were Hartshorne doesn t do a very good job. Here s a summary of this week s material. I ll also insert some (optional)
More informationVC-dimension in model theory and other subjects
VC-dimension in model theory and other subjects Artem Chernikov (Paris 7 / MSRI, Berkeley) UCLA, 2 May 2014 VC-dimension Let F be a family of subsets of a set X. VC-dimension Let F be a family of subsets
More informationEigenvalue problem for Hermitian matrices and its generalization to arbitrary reductive groups
Eigenvalue problem for Hermitian matrices and its generalization to arbitrary reductive groups Shrawan Kumar Talk given at AMS Sectional meeting held at Davidson College, March 2007 1 Hermitian eigenvalue
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 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 informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
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 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 informationNOTES ON FLAT MORPHISMS AND THE FPQC TOPOLOGY
NOTES ON FLAT MORPHISMS AND THE FPQC TOPOLOGY RUNE HAUGSENG The aim of these notes is to define flat and faithfully flat morphisms and review some of their important properties, and to define the fpqc
More information1. Foundations of Numerics from Advanced Mathematics. Linear Algebra
Foundations of Numerics from Advanced Mathematics Linear Algebra Linear Algebra, October 23, 22 Linear Algebra Mathematical Structures a mathematical structure consists of one or several sets and one or
More informationmsqm 2011/8/14 21:35 page 189 #197
msqm 2011/8/14 21:35 page 189 #197 Bibliography Dirac, P. A. M., The Principles of Quantum Mechanics, 4th Edition, (Oxford University Press, London, 1958). Feynman, R. P. and A. P. Hibbs, Quantum Mechanics
More informationAlgebraic Varieties. Chapter Algebraic Varieties
Chapter 12 Algebraic Varieties 12.1 Algebraic Varieties Let K be a field, n 1 a natural number, and let f 1,..., f m K[X 1,..., X n ] be polynomials with coefficients in K. Then V = {(a 1,..., a n ) :
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 information0.1 Spec of a monoid
These notes were prepared to accompany the first lecture in a seminar on logarithmic geometry. As we shall see in later lectures, logarithmic geometry offers a natural approach to study semistable schemes.
More informationSTUDY PLAN MASTER IN (MATHEMATICS) (Thesis Track)
STUDY PLAN MASTER IN (MATHEMATICS) (Thesis Track) I. GENERAL RULES AND CONDITIONS: 1- This plan conforms to the regulations of the general frame of the Master programs. 2- Areas of specialty of admission
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 informationAbstract Convexity: Results and Speculations
Abstract Convexity: Results and Speculations Tobias Fritz Max Planck Institut für Mathematik, Bonn Mathematical Colloquium Hagen, 26 Nov 29 Overview. Introducing convex spaces 2. A Hahn-Banach theorem
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 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 informationA non-commutative notion of separate continuity
A non-commutative notion of separate continuity Matthew Daws Leeds November 2014 Matthew Daws (Leeds) Separate continuity November 2014 1 / 22 Locally compact spaces Let X be a locally compact (Hausdorff)
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 informationFormal power series rings, inverse limits, and I-adic completions of rings
Formal power series rings, inverse limits, and I-adic completions of rings Formal semigroup rings and formal power series rings We next want to explore the notion of a (formal) power series ring in finitely
More informationModel theory, algebraic dynamics and local fields
Model theory, algebraic dynamics and local fields Thomas Scanlon University of California, Berkeley 8 June 2010 Thomas Scanlon (University of California, Berkeley) Model theory, algebraic dynamics and
More informationRecitation 1 (Sep. 15, 2017)
Lecture 1 8.321 Quantum Theory I, Fall 2017 1 Recitation 1 (Sep. 15, 2017) 1.1 Simultaneous Diagonalization In the last lecture, we discussed the situations in which two operators can be simultaneously
More informationALGEBRA EXERCISES, PhD EXAMINATION LEVEL
ALGEBRA EXERCISES, PhD EXAMINATION LEVEL 1. Suppose that G is a finite group. (a) Prove that if G is nilpotent, and H is any proper subgroup, then H is a proper subgroup of its normalizer. (b) Use (a)
More informationModel theory, algebraic dynamics and local fields
Model theory, algebraic dynamics and local fields Thomas Scanlon University of California, Berkeley 9 June 2010 Thomas Scanlon (University of California, Berkeley) Model theory, algebraic dynamics and
More informationTHETA FUNCTIONS AND KNOTS Răzvan Gelca
THETA FUNCTIONS AND KNOTS Răzvan Gelca THETA FUNCTIONS AND KNOTS Răzvan Gelca based on joint work with Alejandro Uribe and Alastair Hamilton B. Riemann: Theorie der Abel schen Funktionen Riemann s work
More informationALGEBRAIC GROUPS JEROEN SIJSLING
ALGEBRAIC GROUPS JEROEN SIJSLING The goal of these notes is to introduce and motivate some notions from the theory of group schemes. For the sake of simplicity, we restrict to algebraic groups (as defined
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 informationFormally real local rings, and infinitesimal stability.
Formally real local rings, and infinitesimal stability. Anders Kock We propose here a topos-theoretic substitute for the theory of formally-real field, and real-closed field. By substitute we mean that
More informationNon-algebraic Zariski geometries
Non-algebraic Zariski geometries Dmitry Sustretov Merton College University of Oxford A thesis submitted for the degree of Doctor of Philosophy Trinity 2012 Abstract The thesis deals with definability
More informationLecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman
Lecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman October 17, 2006 TALK SLOWLY AND WRITE NEATLY!! 1 0.1 Integral Domains and Fraction Fields 0.1.1 Theorems Now what we are going
More information