DOCSLIB.ORG

Homotopy Theory with Bornological Coarse Spaces

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Homotopy Theory with Bornological Coarse Spaces Homotopy theory with bornological coarse spaces Ulrich Bunke∗ Alexander Engely Abstract We propose an axiomatic characterization of coarse homology theories defined on the category of bornological coarse spaces BornCoarse. We construct a stable 1-category SpX of motivic coarse spectra which is the target of the universal coarse homology theory BornCoarse ! SpX . Besides the development of the foundations of the theory our focus is the classifi- cation of coarse homology theories and the construction of examples. As a guiding example we show that if a transformation between coarse homology theories induces an equivalence on all discrete bornological coarse spaces, then it is an equivalence on bornological coarse spaces of finite asymptotic dimension. The main homotopy theoretic method of construction of coarse homology theories is the coarsification of locally finite homology theories. The construction and the classification of locally finite homology theories defined on the category of topological bornological spaces TopBorn will be studied in detail. We will develop two versions of coarse K-homology KX and KXql as examples of coarse homology theories. They will be modeled on corresponding versions of the Roe algebras. One version is defined using finite propagation operators, the other version using quasi-local operators. Applying our comparison theorem we will be able deduce that these two versions agree on all bornological coarse spaces of finite asymptotic dimension. We discuss the construction of the coarse assembly map from the coarsification of analytic locally finite K-homology to coarse K-homology. As an application of our classification of locally finite homology theories we show that on bornological coarse spaces of locally bounded geometry the domain of the coarse assembly map can be identified with the coarsification of the homotopy theorist's version of locally finite K-homology. ∗Fakult¨atf¨urMathematik, Universit¨atRegensburg, 93040 Regensburg, GERMANY [email protected] yFakult¨atf¨urMathematik, Universit¨atRegensburg, 93040 Regensburg, GERMANY [email protected] 1 Contents 1. Introduction 3 1.1. Overview . .3 1.2. Motives of bornological coarse spaces . .6 1.3. Coarse homology theories . .8 1.4. Locally finite homology theories . .9 1.5. Reduction to discrete bornological coarse spaces . 10 1.6. Coarse K-homology . 10 I. Motivic coarse spaces and spectra 12 2. Bornological coarse spaces 12 2.1. Basic definitions . 12 2.2. Examples . 14 2.3. Categorical properties of BornCoarse .................... 16 3. Motivic coarse spaces 18 3.1. Descent . 19 3.2. Coarse equivalences . 22 3.3. Flasque spaces . 24 3.4. u-continuity and motivic coarse spaces . 26 3.5. Coarse excision and further properties . 28 4. Motivic coarse spectra 30 4.1. Stabilization . 30 4.2. Further properties of Yos ............................ 34 4.3. Homotopy invariance . 37 5. Merging coarse and uniform structures 41 5.1. The hybrid structure . 41 5.2. Decomposition theorem . 46 5.3. Homotopy theorem . 52 5.4. Flasque hybrid spaces . 57 5.5. Decomposition of simplicial complexes . 61 5.6. Flasqueness of the coarsening space . 65 II. Coarse homology theories 73 6. Coarse homology theories 73 6.1. Definition and fundamental properties . 74 6.2. Additivity and coproducts . 77 6.3. Coarse ordinary homology . 79 6.4. Coarsification of stable homotopy . 84 2 6.5. Locally finite homology theories . 93 6.6. Coarsification of locally finite theories . 108 6.7. Analytic locally finite K-homology . 111 6.8. Coarsification spaces . 117 6.9. Comparison of coarse homology theories . 122 7. Coarse K-homology 125 7.1. X-controlled Hilbert spaces . 126 7.2. Ample X-controlled Hilbert spaces . 128 7.3. Roe algebras . 133 7.4. K-theory of C∗-algebras . 139 7.5. C∗-categories . 140 7.6. Coarse K-homology . 149 7.7. Comparison with the classical definition . 157 7.8. Additivity and coproducts . 165 7.9. Dirac operators . 169 7.10. Assembly map . 175 References 178 Index 182 1. Introduction 1.1. Overview In coarse geometry we study the large scale structure of spaces. In most cases this structure is provided by a metric which encodes local and global geometric information at the same time. In order to stripe off the local part, we will encode the global structure in the abstract notion of a coarse structure associated to the metric. Another source of coarse structures are control maps as considered in controlled topology. If we start with a metric space, then the associated coarse structure still allows us to reconstruct the bornology of metrically bounded subsets. But in other cases it turns out to be useful to consider more general bornologies as well. In the present paper we introduce a very general category of bornological coarse spaces which subsumes all examples known to the authors. Bornological coarse spaces are studied and distinguished by invariants. Examples of yes/no invariants are locally bounded geometry or embeddability into a Hilbert space. A typical numerical invariant is the asymptotic dimension. The main examples of invariants relevant for the present paper are classical coarse homology theories. There are various examples known which are usually constructed and studied under special assumptions. For example, coarse K-homology is usually defined for proper metric spaces. 3 In this paper we provide a very general axiomatic framework for coarse homology theories. The challenge is to develop examples of coarse homology theories with good properties defined on most general bornological coarse spaces. The goal of this paper is threefold. First we introduce the category BornCoarse of bornological coarse spaces and the stable 1-category SpX of motivic coarse spectra. The Yoneda functor Yos : BornCoarse ! SpX encodes the common properties of classical coarse homology theories. Our construction can be visualized by the following diagram: bornological coarse spaces classical C-valued coarse homology theory e.g. spectra / (1.1) BornCoarse 9 C motive C-valued coarse homology theory ' motivic coarse spectra SpX where C is some cocomplete stable 1-category, e.g., the category of spectra Sp. By definition, a C-valued coarse homology theory is a colimit-preserving functor SpX! C. The category of motivic coarse spectra is constructed such that it has the universal property that every classical C-valued coarse homology theory has an essentially unique factorization over a C-valued coarse homology theory. We will often use the shorter phrase coarse homology theory if the category C is clear from the context. The basic construction of examples of coarse homology theories by homotopy theoretic methods is given by the process of coarsification locally finite homology theories −−−−−−−!coarsification coarse homology theories : This process and its input, locally finite homology theories, will be studied thoroughly in the present paper. Our second theme concerns the comparison of different coarse versions of a homology theory. More precisely, if F is a spectrum we say that a classical coarse homology theory E is a coarse version of F if E(∗) ' F . It frequently appears that different geometric constructions produce coarse versions of the same spectrum. This raises the natural question how different these versions are. To this end we consider the cocomplete full subcategory SpX hAdisci ⊆ SpX generated by the set of motives Adisc of discrete bornological coarse spaces. A discrete bornological coarse space has the simplest possible coarse structure on its underlying set, but its bornology might be interesting. 4 Since coarse homology theories are colimit preserving functors it is clear that a transfor- mation between two classical coarse homology theories which is an equivalence on discrete spaces is clearly an equivalence on all bornological coarse spaces whose motives belong to SpX hAdisci. So it is an interesting question to formulate sufficient geometric conditions on a bornological coarse space which ensure that its motive belongs to SpX hAdisci. Our main result in this direction is Theorem 6.114: Theorem 1.1. If X is a bornological coarse space of finite asymptotic dimension, then s Yo (X) 2 SpX hAdisci. Corollary 1.2. If a transformation between classical coarse homology theories induces an equivalence on all discrete bornological coarse spaces, then it is an equivalence on bornological coarse spaces of finite asymptotic dimension. We refer to the statement of Theorem 6.114 for a precise formulation of the assumptions on the space X in the above theorem. Under more restrictive assumptions we also have the following result which is closer to the classical uniqueness results in ordinary algebraic topology. Corollary 1.3. If a transformation between additive classical coarse homology theories induces an equivalence on the point, then it is an equivalence on path-metric spaces of finite asymptotic dimension. For the proof see Theorem 6.116 and its subsequent paragraph. Our third goal is to develop coarse K-homology as a classical coarse homology theory. The construction of coarse K-homology can be visualized by the following picture bornological coarse space Roe C∗-category universal C∗-algebra C∗-algebra K-theory ∗ f ∗ f ∗ (1.2) X C?(X) A (C?(X)) K(A (C?(X))) ∗ We will define two versions KX and KXql using two versions of the Roe C -category ∗ ∗ ∗ denoted by C and Cql. The Roe C -categories are categories of (locally finite) X-controlled Hilbert spaces, and their morphisms are generated by bounded operators with controlled propagation, resp. quasi-local operators. Our main result is Theorem 7.53: Theorem 1.4. The functors KX ;KXql : BornCoarse ! Sp defined by (1.2) are classical coarse homology theories. The coarse homology theories KX and KXql are both versions of usual complex K- homology. Since the quasi-locality condition is weaker than controlled propagation we ∗ ∗ have an inclusion C ,! Cql and therefore a natural transformation KX! KXql : It is easy to see (Lemma 7.61) that this transformation is an equivalence on discrete bornological coarse spaces.
Load more

Recommended publications
  • A Guide to Topology
    i i “topguide” — 2010/12/8 — 17:36 — page i — #1 i i A Guide to Topology i i i i i i “topguide” — 2011/2/15 — 16:42 — page ii — #2 i i c 2009 by The Mathematical Association of America (Incorporated) Library of Congress Catalog Card Number 2009929077 Print Edition ISBN 978-0-88385-346-7 Electronic Edition ISBN 978-0-88385-917-9 Printed in the United States of America Current Printing (last digit): 10987654321 i i i i i i “topguide” — 2010/12/8 — 17:36 — page iii — #3 i i The Dolciani Mathematical Expositions NUMBER FORTY MAA Guides # 4 A Guide to Topology Steven G. Krantz Washington University, St. Louis ® Published and Distributed by The Mathematical Association of America i i i i i i “topguide” — 2010/12/8 — 17:36 — page iv — #4 i i DOLCIANI MATHEMATICAL EXPOSITIONS Committee on Books Paul Zorn, Chair Dolciani Mathematical Expositions Editorial Board Underwood Dudley, Editor Jeremy S. Case Rosalie A. Dance Tevian Dray Patricia B. Humphrey Virginia E. Knight Mark A. Peterson Jonathan Rogness Thomas Q. Sibley Joe Alyn Stickles i i i i i i “topguide” — 2010/12/8 — 17:36 — page v — #5 i i The DOLCIANI MATHEMATICAL EXPOSITIONS series of the Mathematical Association of America was established through a generous gift to the Association from Mary P. Dolciani, Professor of Mathematics at Hunter College of the City Uni- versity of New York. In making the gift, Professor Dolciani, herself an exceptionally talented and successfulexpositor of mathematics, had the purpose of furthering the ideal of excellence in mathematical exposition.
    [Show full text]
  • On Finite-Dimensional Uniform Spaces
    Pacific Journal of Mathematics ON FINITE-DIMENSIONAL UNIFORM SPACES JOHN ROLFE ISBELL Vol. 9, No. 1 May 1959 ON FINITE-DIMENSIONAL UNIFORM SPACES J. R. ISBELL Introduction* This paper has two nearly independent parts, con- cerned respectively with extension of mappings and with dimension in uniform spaces. It is already known that the basic extension theorems of point set topology are valid in part, and only in part, for uniformly continuous functions. The principal contribution added here is an affirmative result to the effect that every finite-dimensional simplicial complex is a uniform ANR, or ANRU. The complex is supposed to carry the uniformity in which a mapping into it is uniformly continuous if and only if its barycentric coordinates are equiuniformly continuous. (This is a metric uniformity.) The conclusion (ANRU) means that when- ever this space μA is embedded in another uniform space μX there exist a uniform neighborhood U of A (an ε-neighborhood with respect to some uniformly continuous pseudometric) and a uniformly continuous retrac- tion r : μU -> μA, It is known that the real line is not an ARU. (Definition obvious.) Our principal negative contribution here is the proof that no uniform space homeomorphic with the line is an ARU. This is also an indication of the power of the methods, another indication being provided by the failure to settle the corresponding question for the plane. An ARU has to be uniformly contractible, but it does not have to be uniformly locally an ANRU. (The counter-example is compact metric and is due to Borsuk [2]).
    [Show full text]
  • Linear Operators and Adjoints
    Chapter 6 Linear operators and adjoints Contents Introduction .......................................... ............. 6.1 Fundamentals ......................................... ............. 6.2 Spaces of bounded linear operators . ................... 6.3 Inverseoperators.................................... ................. 6.5 Linearityofinverses.................................... ............... 6.5 Banachinversetheorem ................................. ................ 6.5 Equivalenceofspaces ................................. ................. 6.5 Isomorphicspaces.................................... ................ 6.6 Isometricspaces...................................... ............... 6.6 Unitaryequivalence .................................... ............... 6.7 Adjoints in Hilbert spaces . .............. 6.11 Unitaryoperators ...................................... .............. 6.13 Relations between the four spaces . ................. 6.14 Duality relations for convex cones . ................. 6.15 Geometric interpretation of adjoints . ............... 6.15 Optimization in Hilbert spaces . .............. 6.16 Thenormalequations ................................... ............... 6.16 Thedualproblem ...................................... .............. 6.17 Pseudo-inverseoperators . .................. 6.18 AnalysisoftheDTFT ..................................... ............. 6.21 6.1 Introduction The field of optimization uses linear operators and their adjoints extensively. Example. differentiation, convolution, Fourier transform,
    [Show full text]
  • A Note on Riesz Spaces with Property-$ B$
    Czechoslovak Mathematical Journal Ş. Alpay; B. Altin; C. Tonyali A note on Riesz spaces with property-b Czechoslovak Mathematical Journal, Vol. 56 (2006), No. 2, 765–772 Persistent URL: http://dml.cz/dmlcz/128103 Terms of use: © Institute of Mathematics AS CR, 2006 Institute of Mathematics of the Czech Academy of Sciences provides access to digitized documents strictly for personal use. Each copy of any part of this document must contain these Terms of use. This document has been digitized, optimized for electronic delivery and stamped with digital signature within the project DML-CZ: The Czech Digital Mathematics Library http://dml.cz Czechoslovak Mathematical Journal, 56 (131) (2006), 765–772 A NOTE ON RIESZ SPACES WITH PROPERTY-b S¸. Alpay, B. Altin and C. Tonyali, Ankara (Received February 6, 2004) Abstract. We study an order boundedness property in Riesz spaces and investigate Riesz spaces and Banach lattices enjoying this property. Keywords: Riesz spaces, Banach lattices, b-property MSC 2000 : 46B42, 46B28 1. Introduction and preliminaries All Riesz spaces considered in this note have separating order duals. Therefore we will not distinguish between a Riesz space E and its image in the order bidual E∼∼. In all undefined terminology concerning Riesz spaces we will adhere to [3]. The notions of a Riesz space with property-b and b-order boundedness of operators between Riesz spaces were introduced in [1]. Definition. Let E be a Riesz space. A set A E is called b-order bounded in ⊂ E if it is order bounded in E∼∼. A Riesz space E is said to have property-b if each subset A E which is order bounded in E∼∼ remains order bounded in E.
    [Show full text]
  • Strong Shape of Uniform Spaces
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Topology and its Applications 49 (1993) 237-249 237 North-Holland Strong shape of uniform spaces Jack Segal Department of Mathematics, University of Washington, Cl38 Padeljord Hall GN-50, Seattle, WA 98195, USA Stanislaw Spiei” Institute of Mathematics, PAN, Warsaw, Poland Bernd Giinther”” Fachbereich Mathematik, Johann Wolfgang Goethe-Universitiit, Robert-Mayer-Strafie 6-10, W-6000 Frankfurt, Germany Received 19 August 1991 Revised 16 March 1992 Abstract Segal, J., S. Spiei and B. Giinther, Strong shape of uniform spaces, Topology and its Applications 49 (1993) 237-249. A strong shape category for finitistic uniform spaces is constructed and it is shown, that certain nice properties known from strong shape theory of compact Hausdorff spaces carry over to this setting. These properties include a characterization of the new category as localization of the homotopy category, the product property and obstruction theory. Keywords: Uniform spaces, finitistic uniform spaces, strong shape, Cartesian products, localiz- ation, Samuel compactification, obstruction theory. AMS (MOS) Subj. Class.: 54C56, 54835, 55N05, 55P55, 55S35. Introduction In strong shape theory of topological spaces one encounters several instances, where the desired extension of theorems from compact spaces to more general ones either leads to difficult unsolved problems or is outright impossible. Examples are: Correspondence to: Professor J. Segal, Department of Mathematics, University of Washington, Seattle, WA 98195, USA. * This paper was written while this author was visiting the University of Washington. ** This paper was written while this author was visiting the University of Washington, and this visit was supported by a DFG fellowship.
    [Show full text]
  • On Nonbornological Barrelled Spaces Annales De L’Institut Fourier, Tome 22, No 2 (1972), P
    ANNALES DE L’INSTITUT FOURIER MANUEL VALDIVIA On nonbornological barrelled spaces Annales de l’institut Fourier, tome 22, no 2 (1972), p. 27-30 <http://www.numdam.org/item?id=AIF_1972__22_2_27_0> © Annales de l’institut Fourier, 1972, tous droits réservés. L’accès aux archives de la revue « Annales de l’institut Fourier » (http://annalif.ujf-grenoble.fr/) implique l’accord avec les conditions gé- nérales d’utilisation (http://www.numdam.org/conditions). Toute utilisa- tion commerciale ou impression systématique est constitutive d’une in- fraction pénale. Toute copie ou impression de ce fichier doit conte- nir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ Ann. Inst. Fourier, Grenoble 22, 2 (1972), 27-30. ON NONBORNOLOGICAL BARRELLED SPACES 0 by Manuel VALDIVIA L. Nachbin [5] and T. Shirota [6], give an answer to a problem proposed by N. Bourbaki [1] and J. Dieudonne [2], giving an example of a barrelled space, which is not bornological. Posteriorly some examples of nonbornological barrelled spaces have been given, e.g. Y. Komura, [4], has constructed a Montel space which is not bornological. In this paper we prove that if E is the topological product of an uncountable family of barrelled spaces, of nonzero dimension, there exists an infinite number of barrelled subspaces of E, which are not bornological.We obtain also an analogous result replacing « barrelled » by « quasi-barrelled ». We use here nonzero vector spaces on the field K of real or complex number. The topologies on these spaces are sepa- rated.
    [Show full text]
  • On Bornivorous Set
    On Bornivorous Set By Fatima Kamil Majeed Al-Basri University of Al-Qadisiyah College Of Education Department of Mathematics E-mail:[email protected] Abstract :In this paper, we introduce the concept of the bornivorous set and its properties to construct bornological topological space .Also, we introduce and study the properties related to this concepts like bornological base, bornological subbase , bornological closure set, bornological interior set, bornological frontier set and bornological subspace . Key words : bornivorous set , bornological topological space,b-open set 1.Introduction- The space of entire functions over the complex field C was introduced by Patwardhan who defined a metric on this space by introducing a real-valued map on it[6]. In(1971), H.Hogbe- Nlend introduced the concepts of bornology on a set [3].Many workers such as Dierolf and Domanski, Jan Haluska and others had studied various bornological properties[2]. In this paper at the second section ,bornivorous set has been introduced with some related concepts. While in the third section a new space “Bornological topological space“ has been defined and created in the base of bornivorous set . The bornological topological space also has been explored and its properties .The study also extended to the concepts of the bornological base and bornological subbase of bornological topological space .In the last section a new concepts like bornological closure set, bornological drived set, bornological dense set, bornological interior set, bornological exterior set, bornological frontier set and bornological topological subspace, have been studied with supplementary properties and results which related to them. 1 Definition1.1[3] Let A and B be two subsets of a vector space E.
    [Show full text]
  • Baire Category Theorem and Its Consequences
    Functional Analysis, BSM, Spring 2012 Exercise sheet: Baire category theorem and its consequences S1 Baire category theorem. If (X; d) is a complete metric space and X = n=1 Fn for some closed sets Fn, then for at least one n the set Fn contains a ball, that is, 9x 2 X; r > 0 : Br(x) ⊂ Fn. Principle of uniform boundedness (Banach-Steinhaus). Let (X; k · kX ) be a Banach space, (Y; k · kY ) a normed space and Tn : X ! Y a bounded operator for each n 2 N. Suppose that for any x 2 X there exists Cx > 0 such that kTnxkY ≤ Cx for all n. Then there exists C > 0 such that kTnk ≤ C for all n. Inverse mapping theorem. Let X; Y be Banach spaces and T : X ! Y a bounded operator. Suppose that T is injective (ker T = f0g) and surjective (ran T = Y ). Then the inverse operator T −1 : Y ! X is necessarily bounded. 1. Consider the set Q of rational numbers with the metric d(x; y) = jx − yj; x; y 2 Q. Show that the Baire category theorem does not hold in this metric space. 2. Let (X; d) be a complete metric space. Suppose that Gn ⊂ X is a dense open set for n 2 N. Show that T1 n=1 Gn is non-empty. Find a non-complete metric space in which this is not true. T1 In fact, we can say more: n=1 Gn is dense. Prove this using the fact that a closed subset of a complete metric space is also complete.
    [Show full text]
  • Functional Properties of Hörmander's Space of Distributions Having A
    Functional properties of Hörmander’s space of distributions having a specified wavefront set Yoann Dabrowski, Christian Brouder To cite this version: Yoann Dabrowski, Christian Brouder. Functional properties of Hörmander’s space of distributions having a specified wavefront set. 2014. hal-00850192v2 HAL Id: hal-00850192 https://hal.archives-ouvertes.fr/hal-00850192v2 Preprint submitted on 3 May 2014 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Communications in Mathematical Physics manuscript No. (will be inserted by the editor) Functional properties of H¨ormander’s space of distributions having a specified wavefront set Yoann Dabrowski1, Christian Brouder2 1 Institut Camille Jordan UMR 5208, Universit´ede Lyon, Universit´eLyon 1, 43 bd. du 11 novembre 1918, F-69622 Villeurbanne cedex, France 2 Institut de Min´eralogie, de Physique des Mat´eriaux et de Cosmochimie, Sorbonne Univer- sit´es, UMR CNRS 7590, UPMC Univ. Paris 06, Mus´eum National d’Histoire Naturelle, IRD UMR 206, 4 place Jussieu, F-75005 Paris, France. Received: date / Accepted: date ′ Abstract: The space Γ of distributions having their wavefront sets in a closed cone Γ has become importantD in physics because of its role in the formulation of quantum field theory in curved spacetime.
    [Show full text]
  • Bounded Operator - Wikipedia, the Free Encyclopedia
    Bounded operator - Wikipedia, the free encyclopedia http://en.wikipedia.org/wiki/Bounded_operator Bounded operator From Wikipedia, the free encyclopedia In functional analysis, a branch of mathematics, a bounded linear operator is a linear transformation L between normed vector spaces X and Y for which the ratio of the norm of L(v) to that of v is bounded by the same number, over all non-zero vectors v in X. In other words, there exists some M > 0 such that for all v in X The smallest such M is called the operator norm of L. A bounded linear operator is generally not a bounded function; the latter would require that the norm of L(v) be bounded for all v, which is not possible unless Y is the zero vector space. Rather, a bounded linear operator is a locally bounded function. A linear operator on a metrizable vector space is bounded if and only if it is continuous. Contents 1 Examples 2 Equivalence of boundedness and continuity 3 Linearity and boundedness 4 Further properties 5 Properties of the space of bounded linear operators 6 Topological vector spaces 7 See also 8 References Examples Any linear operator between two finite-dimensional normed spaces is bounded, and such an operator may be viewed as multiplication by some fixed matrix. Many integral transforms are bounded linear operators. For instance, if is a continuous function, then the operator defined on the space of continuous functions on endowed with the uniform norm and with values in the space with given by the formula is bounded.
    [Show full text]
  • Notes on Uniform Structures Annex to H104
    Notes on Uniform Structures Annex to H104 Mariusz Wodzicki December 13, 2013 1 Vocabulary 1.1 Binary Relations 1.1.1 The power set Given a set X, we denote the set of all subsets of X by P(X) and by P∗(X) — the set of all nonempty subsets. The set of subsets E ⊆ X which contain a given subset A will be denoted PA(X). If A , Æ, then PA(X) is a filter. Note that one has PÆ(X) = P(X). 1.1.2 In these notes we identify binary relations between elements of a set X and a set Y with subsets E ⊆ X×Y of their Cartesian product X×Y. To a given relation ∼ corresponds the subset: E∼ ˜ f(x, y) 2 X×Y j x ∼ yg (1) and, vice-versa, to a given subset E ⊆ X×Y corresponds the relation: x ∼E y if and only if (x, y) 2 E.(2) 1.1.3 The opposite relation We denote by Eop ˜ f(y, x) 2 Y×X j (x, y) 2 Eg (3) the opposite relation. 1 1.1.4 The correspondence E 7−! Eop (E ⊆ X×X) (4) defines an involution1 of P(X×X). It induces the corresponding involu- tion of P(P(X×X)): op E 7−! op∗(E ) ˜ fE j E 2 E g (E ⊆ P(X×X)).(5) Exercise 1 Show that op∗(E ) (a) possesses the Finite Intersection Property, if E possesses the Finite Intersec- tion Property; (b) is a filter-base, if E is a filter-base; (c) is a filter, if E is a filter.
    [Show full text]
  • Vanishing Cycles for Formal Schemes
    Invent math. 115, 539 571 (1994) Inventiones mathematicae Springer-Verlag 1994 Vanishing cycles for formal schemes Vladimir G. Berkovich * Department of Theoretical Mathematics, The WeizmannInstitute of Science, P.O.B. 26, 76100 Rehovot, Israel Oblatum 4-VI-1993 & 6-VIli-1993 Introduction Let k be a non-Archimedean field, and let X be a formal scheme locally finitely presented over the ring of integers k ~ (see w In this work we construct and study the vanishing cycles functor from the category of 6tale sheaves on the generic fibre X~ of ff (which is a k-analytic space) to the category of 6tale sheaves on the closed fibre 3~ of Y (which is a scheme over the residue field of k). We prove that if ff is the formal completion ~' of a scheme X finitely presented over k ~ along the closed fibre, then the vanishing cycles sheaves of ~" are canonically isomorphic to those of P( (as defined in [SGA7], Exp. XIII). In particular, the vanishing cycles sheaves of A" depend only on ,~, and any morphism ~ : ~ -~ A' induces a homomorphism from the pullback of the vanishing cycles sheaves of A2 under ~ : y~ --~ X~ to those of Y. Furthermore, we prove that, for each ~', one can find a nontrivial ideal of k ~ such that if two morphisms ~, ~ : ~ ~ ,~ coincide modulo this ideal, then the homomorphisms between the vanishing cycles sheaves induced by ~ and g) coincide. These facts were conjectured by P. Deligne. In w we associate with a formal scheme Y locally finitely presented over k ~ a k-analytic space X,j (in the sense of [Berl] and [Ber2]).
    [Show full text]