A Site-Theoretic Characterization of Points in a Topological Space
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
The Structure of Gunk: Adventures in the Ontology of Space
The Structure of Gunk: Adventures in the Ontology of Space Jeff Sanford Russell February 16, 2009 1 Points and gunk Here are two ways space might be (not the only two): (1) Space is “pointy”. Ev- ery finite region has infinitely many infinitesimal, indivisible parts, called points. Points are zero-dimensional atoms of space. In addition to points, there are other kinds of “thin” boundary regions, like surfaces of spheres. Some regions include their boundaries—the closed regions—others exclude them—the open regions—and others include some bits of boundary and exclude others. Moreover, space includes unextended regions whose size is zero. (2) Space is “gunky”.1 Every region contains still smaller regions—there are no spatial atoms. Every region is “thick”—there are no boundary regions. Every region is extended. Pointy theories of space and space-time—such as Euclidean space or Minkowski space—are the kind that figure in modern physics. A rival tradition, most famously associated in the last century with A. N. Whitehead, instead embraces gunk.2 On the Whiteheadian view, points, curves and surfaces are not parts of space, but rather abstractions from the true regions. Three different motivations push philosophers toward gunky space. The first is that the physical space (or space-time) of our universe might be gunky. We posit spatial reasons to explain what goes on with physical objects; thus the main reason Dean Zimmerman has been a relentless source of suggestions and criticism throughout the writing of this paper. Thanks are also due to Frank Arntzenius, Kenny Easwaran, Peter Forrest, Hilary Greaves, John Hawthorne, and Beatrice Sanford for helpful comments. -
Arxiv:1708.06494V1 [Math.AG] 22 Aug 2017 Proof
CLOSED POINTS ON SCHEMES JUSTIN CHEN Abstract. This brief note gives a survey on results relating to existence of closed points on schemes, including an elementary topological characterization of the schemes with (at least one) closed point. X Let X be a topological space. For a subset S ⊆ X, let S = S denote the closure of S in X. Recall that a topological space is sober if every irreducible closed subset has a unique generic point. The following is well-known: Proposition 1. Let X be a Noetherian sober topological space, and x ∈ X. Then {x} contains a closed point of X. Proof. If {x} = {x} then x is a closed point. Otherwise there exists x1 ∈ {x}\{x}, so {x} ⊇ {x1}. If x1 is not a closed point, then continuing in this way gives a descending chain of closed subsets {x} ⊇ {x1} ⊇ {x2} ⊇ ... which stabilizes to a closed subset Y since X is Noetherian. Then Y is the closure of any of its points, i.e. every point of Y is generic, so Y is irreducible. Since X is sober, Y is a singleton consisting of a closed point. Since schemes are sober, this shows in particular that any scheme whose under- lying topological space is Noetherian (e.g. any Noetherian scheme) has a closed point. In general, it is of basic importance to know that a scheme has closed points (or not). For instance, recall that every affine scheme has a closed point (indeed, this is equivalent to the axiom of choice). In this direction, one can give a simple topological characterization of the schemes with closed points. -
3 Lecture 3: Spectral Spaces and Constructible Sets
3 Lecture 3: Spectral spaces and constructible sets 3.1 Introduction We want to analyze quasi-compactness properties of the valuation spectrum of a commutative ring, and to do so a digression on constructible sets is needed, especially to define the notion of constructibility in the absence of noetherian hypotheses. (This is crucial, since perfectoid spaces will not satisfy any kind of noetherian condition in general.) The reason that this generality is introduced in [EGA] is for the purpose of proving openness and closedness results on the locus of fibers satisfying reasonable properties, without imposing noetherian assumptions on the base. One first proves constructibility results on the base, often by deducing it from constructibility on the source and applying Chevalley’s theorem on images of constructible sets (which is valid for finitely presented morphisms), and then uses specialization criteria for constructible sets to be open. For our purposes, the role of constructibility will be quite different, resting on the interesting “constructible topology” that is introduced in [EGA, IV1, 1.9.11, 1.9.12] but not actually used later in [EGA]. This lecture is organized as follows. We first deal with the constructible topology on topological spaces. We discuss useful characterizations of constructibility in the case of spectral spaces, aiming for a criterion of Hochster (see Theorem 3.3.9) which will be our tool to show that Spv(A) is spectral, our ultimate goal. Notational convention. From now on, we shall write everywhere (except in some definitions) “qc” for “quasi-compact”, “qs” for “quasi-separated”, and “qcqs” for “quasi-compact and quasi-separated”. -
What Is a Generic Point?
Generic Point. Eric Brussel, Emory University We define and prove the existence of generic points of schemes, and prove that the irreducible components of any scheme correspond bijectively to the scheme's generic points, and every open subset of an irreducible scheme contains that scheme's unique generic point. All of this material is standard, and [Liu] is a great reference. Let X be a scheme. Recall X is irreducible if its underlying topological space is irre- ducible. A (nonempty) topological space is irreducible if it is not the union of two proper distinct closed subsets. Equivalently, if the intersection of any two nonempty open subsets is nonempty. Equivalently, if every nonempty open subset is dense. Since X is a scheme, there can exist points that are not closed. If x 2 X, we write fxg for the closure of x in X. This scheme is irreducible, since an open subset of fxg that doesn't contain x also doesn't contain any point of the closure of x, since the compliment of an open set is closed. Therefore every open subset of fxg contains x, and is (therefore) dense in fxg. Definition. ([Liu, 2.4.10]) A point x of X specializes to a point y of X if y 2 fxg. A point ξ 2 X is a generic point of X if ξ is the only point of X that specializes to ξ. Ring theoretic interpretation. If X = Spec A is an affine scheme for a ring A, so that every point x corresponds to a unique prime ideal px ⊂ A, then x specializes to y if and only if px ⊂ py, and a point ξ is generic if and only if pξ is minimal among prime ideals of A. -
DENINGER COHOMOLOGY THEORIES Readers Who Know What the Standard Conjectures Are Should Skip to Section 0.6. 0.1. Schemes. We
DENINGER COHOMOLOGY THEORIES TAYLOR DUPUY Abstract. A brief explanation of Denninger's cohomological formalism which gives a conditional proof Riemann Hypothesis. These notes are based on a talk given in the University of New Mexico Geometry Seminar in Spring 2012. The notes are in the same spirit of Osserman and Ile's surveys of the Weil conjectures [Oss08] [Ile04]. Readers who know what the standard conjectures are should skip to section 0.6. 0.1. Schemes. We will use the following notation: CRing = Category of Commutative Rings with Unit; SchZ = Category of Schemes over Z; 2 Recall that there is a contravariant functor which assigns to every ring a space (scheme) CRing Sch A Spec A 2 Where Spec(A) = f primes ideals of A not including A where the closed sets are generated by the sets of the form V (f) = fP 2 Spec(A) : f(P) = 0g; f 2 A: By \f(P ) = 000 we means f ≡ 0 mod P . If X = Spec(A) we let jXj := closed points of X = maximal ideals of A i.e. x 2 jXj if and only if fxg = fxg. The overline here denote the closure of the set in the topology and a singleton in Spec(A) being closed is equivalent to x being a maximal ideal. 1 Another word for a closed point is a geometric point. If a point is not closed it is called generic, and the set of generic points are in one-to-one correspondence with closed subspaces where the associated closed subspace associated to a generic point x is fxg. -
Extending Obstructions to Noncommutative Functorial Spectra
EXTENDING OBSTRUCTIONS TO NONCOMMUTATIVE FUNCTORIAL SPECTRA BENNO VAN DEN BERG AND CHRIS HEUNEN Abstract. Any functor from the category of C*-algebras to the category of locales that assigns to each commutative C*-algebra its Gelfand spectrum must be trivial on algebras of n-by-n matrices for n ≥ 3. This obstruction also applies to other spectra such as those named after Zariski, Stone, and Pierce. We extend these no-go results to functors with values in (ringed) topological spaces, (ringed) toposes, schemes, and quantales. The possibility of spectra in other categories is discussed. 1. Introduction The spectrum of a commutative ring is a leading tool of commutative algebra and algebraic geometry. For example, a commutative ring can be reconstructed using (among other ingredients) its Zariski spectrum, a coherent topological space. Spectra are also of central importance to functional analysis and operator algebra. For example, there is a dual equivalence between the category of commutative C*-algebras and compact Hausdorff topological spaces, due to Gelfand.1 A natural question is whether such spectra can be extended to the noncommu- tative setting. Indeed, many candidates have been proposed for noncommutative spectra. In a recent article [23], M. L. Reyes observed that none of the proposed spectra behave functorially, and proved that indeed they cannot, on pain of trivial- izing on the prototypical noncommutative rings Mn(C) of n-by-n matrices with complex entries. To be precise: any functor F : Ringop → Set that satisfies F (C) = Spec(C) for commutative rings C, must also satisfy F (Mn(C)) = ∅ for n ≥ 3. -
Chapter 1: Lecture 11
Chapter 1: Lecture 11 1. The Spectrum of a Ring & the Zariski Topology Definition 1.1. Let A be a ring. For I an ideal of A, define V (I)={P ∈ Spec(A) | I ⊆ P }. Proposition 1.2. Let A be a ring. Let Λ be a set of indices and let Il denote ideals of A. Then (1) V (0) = Spec(R),V(R)=∅; (2) ∩l∈ΛV (Il)=V (Pl∈Λ Il); k k (3) ∪l=1V (Il)=V (∩l=1Il); Then the family of all sets of the form V (I) with I ideal in A defines a topology on Spec(A) where, by definition, each V (I) is a closed set. We will call this topology the Zariski topology on Spec(A). Let Max(A) be the set of maximal ideals in A. Since Max(A) ⊆ Spec(A) we see that Max(A) inherits the Zariski topology. n Now, let k denote an algebraically closed fied. Let Y be an algebraic set in Ak .Ifwe n consider the Zariski topology on Y ⊆ Ak , then points of Y correspond to maximal ideals in A that contain I(Y ). That is, there is a natural homeomorphism between Y and Max(k[Y ]). Example 1.3. Let Y = {(x, y) | x2 = y3}⊂k2 with k algebraically closed. Then points in Y k[x, y] k[x, y] correspond to Max( ) ⊆ Spec( ). The latter set has a Zariski topology, and (x2 − y3) (x2 − y3) the restriction of the Zariski topology to the set of maximal ideals gives a topological space homeomorphic to Y (with the Zariski topology). -
18.726 Algebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry (K.S. Kedlaya, MIT, Spring 2009) More properties of schemes (updated 9 Mar 09) I’ve now spent a fair bit of time discussing properties of morphisms of schemes. How ever, there are a few properties of individual schemes themselves that merit some discussion (especially for those of you interested in arithmetic applications); here are some of them. 1 Reduced schemes I already mentioned the notion of a reduced scheme. An affine scheme X = Spec(A) is reduced if A is a reduced ring (i.e., A has no nonzero nilpotent elements). This occurs if and only if each stalk Ap is reduced. We say X is reduced if it is covered by reduced affine schemes. Lemma. Let X be a scheme. The following are equivalent. (a) X is reduced. (b) For every open affine subsheme U = Spec(R) of X, R is reduced. (c) For each x 2 X, OX;x is reduced. Proof. A previous exercise. Recall that any closed subset Z of a scheme X supports a unique reduced closed sub- scheme, defined by the ideal sheaf I which on an open affine U = Spec(A) is defined by the intersection of the prime ideals p 2 Z \ U. See Hartshorne, Example 3.2.6. 2 Connected schemes A nonempty scheme is connected if its underlying topological space is connected, i.e., cannot be written as a disjoint union of two open sets. -
Locales in Functional Analysis
View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Journal of Pure and Applied Algebra 70 (1991) 133-145 133 North-Holland Locales in functional analysis Joan Wick Pelletier Department of Mathematics, York University, North York, Ontario, Canada M3J IP3 Received 25 October 1989 Revised 1 June 1990 Abstract Pelletier, J.W., Locales in functional analysis, Journal of Pure and Applied Algebra 70 (1991) 133-145. Locales, as a generalization of the notion of topological space, play a crucial role in allowing theorems of functional analysis which classically depend on the Axiom of Choice to be suitably reformulated and proved in the intuitionistic context of a Grothendieck topos. The manner in which locales arise and the role they play are discussed in connection with the Hahn-Banach and Gelfand duality theorems. Locales have long been recognized as an important generalization of the notion of topological space, a notion which permits the study of topological questions in contexts where intuitionistic logic rather than Boolean logic prevails and in which spaces without points occur naturally. An excellent exposition of the history of this generalization can be found in Johnstone’s article, “The point of pointless topo- logy” [7]. The appearance of locales in functional analysis came about through the emer- gence of a need to do analysis in a more general context than the classical one. In this expository article we shall explore generalizations of two theorems which il- lustrate this phenomenon-the Hahn-Banach theorem and the Gelfand duality theorem in the setting of a Grothendieck topos. -
ALGEBRAIC GEOMETRY NOTES 1. Conventions and Notation Fix A
ALGEBRAIC GEOMETRY NOTES E. FRIEDLANDER J. WARNER 1. Conventions and Notation Fix a field k. At times we will require k to be algebraically closed, have a certain charac- teristic or cardinality, or some combination of these. AN and PN are affine and projective spaces in N variables over k. That is, AN is the set of N-tuples of elements of k, and PN N+1 is the set of equivalence classes of A − 0 under the relation (a0; : : : ; aN ) ∼ (b0; : : : ; bN ) if and only if there exists c 2 k with cai = bi for i = 0;:::;N. 2. Monday, January 14th Theorem 2.1 (Bezout). Let X and Y be curves in P2 of degrees d and e respectively. Let fP1;:::;Png be the points of intersection of X and Y . Then we have: n X (1) i(X; Y ; Pi) = de i=1 3. Wednesday, January 16th - Projective Geometry, Algebraic Varieties, and Regular Functions We first introduce the notion of projective space required to make Bezout's Theorem work. Notice in A2 we can have two lines that don't intersect, violating (1). The idea is that these two lines intersect at a "point at infinity". Projective space includes these points. 3.1. The Projective Plane. Define the projective plane, P2, as a set, as equivalence classes 3 of A under the relation (a0; a1; a2) ∼ (b0; b1; b2) if and only if there exists c 2 k with cai = bi for i = 0; 1; 2. It is standard to write [a0 : a1 : a2] for the equivalence class represented by 3 (a0; a1; a2) 2 A . -
A Note on Baire Spaces and Continuous Lattices
BULL. AUSTRAL. MATH. SOC. 06A20, 46L05, 54DI0, 54D99 VOL. 21 (1980), 265-279. A NOTE ON BAIRE SPACES AND CONTINUOUS LATTICES KARL H. HOFMANN We prove a Baire category theorem for continuous lattices and derive category theorems for non-Hausdorff spaces which imply a category theorem of Isbel I 's and have applications to the spectral theory of C*-algebras. The same lattice theoretical methods yield a proof of de Groot's category theorem for regular subc ompac t spac e s. 1. Background and main results A topological space is a Baire space if any countable intersection of dense open sets is dense. The classical result on such spaces is the category theorem of Baire. THEOREM A (Baire). A space is a Baire space if it is locally compact Hausdorff or completely metrizable. This theorem is eminently useful in analysis and topological algebra; one need only recall the open mapping theorems for topological groups and topological vector spaces (see, for example, [7], p. 120) or of theorems in which joint continuity of a two variable function is deduced from separate continuity (see, for example, [7], p. 121, [73], [74], [75]). Basic properties of Baire spaces and their applications are developed in standard texts such as Bourbaki's [7]. The Baire category theorem is in reality two theorems in one; it was de Groot who succeeded in finding a common generalisation of the two. He formulated the following condition [7]. Received 25 October 1979- 265 Downloaded from https://www.cambridge.org/core. IP address: 170.106.35.76, on 28 Sep 2021 at 10:53:03, subject to the Cambridge Core terms of use, available at https://www.cambridge.org/core/terms. -
AN INTRODUCTION to AFFINE SCHEMES Contents 1. Sheaves in General 1 2. the Structure Sheaf and Affine Schemes 3 3. Affine N-Space
AN INTRODUCTION TO AFFINE SCHEMES BROOKE ULLERY Abstract. This paper gives a basic introduction to modern algebraic geom- etry. The goal of this paper is to present the basic concepts of algebraic geometry, in particular affine schemes and sheaf theory, in such a way that they are more accessible to a student with a background in commutative al- gebra and basic algebraic curves or classical algebraic geometry. This paper is based on introductions to the subject by Robin Hartshorne, Qing Liu, and David Eisenbud and Joe Harris, but provides more rudimentary explanations as well as original proofs and numerous original examples. Contents 1. Sheaves in General 1 2. The Structure Sheaf and Affine Schemes 3 3. Affine n-Space Over Algebraically Closed Fields 5 4. Affine n-space Over Non-Algebraically Closed Fields 8 5. The Gluing Construction 9 6. Conclusion 11 7. Acknowledgements 11 References 11 1. Sheaves in General Before we discuss schemes, we must introduce the notion of a sheaf, without which we could not even define a scheme. Definitions 1.1. Let X be a topological space. A presheaf F of commutative rings on X has the following properties: (1) For each open set U ⊆ X, F (U) is a commutative ring whose elements are called the sections of F over U, (2) F (;) is the zero ring, and (3) for every inclusion U ⊆ V ⊆ X such that U and V are open in X, there is a restriction map resV;U : F (V ) ! F (U) such that (a) resV;U is a homomorphism of rings, (b) resU;U is the identity map, and (c) for all open U ⊆ V ⊆ W ⊆ X; resV;U ◦ resW;V = resW;U : Date: July 26, 2009.