Every Module Is an Inverse Limit of Injectives
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Directed Sets and Topological Spaces Definable in O-Minimal Structures
Directed sets and topological spaces definable in o-minimal structures. Pablo And´ujarGuerrero∗ Margaret E. M. Thomas ∗ Erik Walsbergy 2010 Mathematics Subject Classification. 03C64 (Primary), 54A20, 54A05, 54D30 (Secondary). Key words. o-minimality, directed sets, definable topological spaces. Abstract We study directed sets definable in o-minimal structures, show- ing that in expansions of ordered fields these admit cofinal definable curves, as well as a suitable analogue in expansions of ordered groups, and furthermore that no analogue holds in full generality. We use the theory of tame pairs to extend the results in the field case to definable families of sets with the finite intersection property. We then apply our results to the study of definable topologies. We prove that all de- finable topological spaces display properties akin to first countability, and give several characterizations of a notion of definable compactness due to Peterzil and Steinhorn [PS99] generalized to this setting. 1 Introduction The study of objects definable in o-minimal structures is motivated by the notion that o-minimality provides a rich but \tame" setting for the theories of said objects. In this paper we study directed sets definable in o-minimal structures, focusing on expansions of groups and fields. By \directed set" we mean a preordered set in which every finite subset has a lower (if downward ∗Department of Mathematics, Purdue University, 150 N. University Street, West Lafayette, IN 47907-2067, U.S.A. E-mail addresses: [email protected] (And´ujarGuer- rero), [email protected] (Thomas) yDepartment of Mathematics, Statistics, and Computer Science, Department of Math- ematics, University of California, Irvine, 340 Rowland Hall (Bldg.# 400), Irvine, CA 92697-3875, U.S.A. -
Cofinal Stable Logics
Guram Bezhanishvili Cofinal Stable Logics Nick Bezhanishvili Julia Ilin Abstract. We generalize the (∧, ∨)-canonical formulas to (∧, ∨)-canonical rules, and prove that each intuitionistic multi-conclusion consequence relation is axiomatizable by (∧, ∨)-canonical rules. This yields a convenient characterization of stable superintuition- istic logics. The (∧, ∨)-canonical formulas are analogues of the (∧, →)-canonical formulas, which are the algebraic counterpart of Zakharyaschev’s canonical formulas for superintu- itionistic logics (si-logics for short). Consequently, stable si-logics are analogues of subframe si-logics. We introduce cofinal stable intuitionistic multi-conclusion consequence relations and cofinal stable si-logics, thus answering the question of what the analogues of cofinal subframe logics should be. This is done by utilizing the (∧, ∨, ¬)-reduct of Heyting alge- bras. We prove that every cofinal stable si-logic has the finite model property, and that there are continuum many cofinal stable si-logics that are not stable. We conclude with several examples showing the similarities and differences between the classes of stable, cofinal stable, subframe, and cofinal subframe si-logics. Keywords: Intuitionistic logic, Intuitionistic multi-conclusion consequence relation, Axiomatization, Heyting algebra, Variety, Universal class. Mathematics Subject Classification: 03B55 · 06D20. 1. Introduction Superintuitionistic logics (si-logics for short) are propositional logics extend- ing the intuitionistic propositional calculus IPC. Consistent si-logics are also known as intermediate logics as they are exactly the logics situated between IPC and the classical propositional calculus CPC.BytheG¨odel translation, si-logics are closely related to modal logics extending S4.Ade- tailed account of si-logics and how they relate to modal logics can be found in [8]. -
Limits Commutative Algebra May 11 2020 1. Direct Limits Definition 1
Limits Commutative Algebra May 11 2020 1. Direct Limits Definition 1: A directed set I is a set with a partial order ≤ such that for every i; j 2 I there is k 2 I such that i ≤ k and j ≤ k. Let R be a ring. A directed system of R-modules indexed by I is a collection of R modules fMi j i 2 Ig with a R module homomorphisms µi;j : Mi ! Mj for each pair i; j 2 I where i ≤ j, such that (i) for any i 2 I, µi;i = IdMi and (ii) for any i ≤ j ≤ k in I, µi;j ◦ µj;k = µi;k. We shall denote a directed system by a tuple (Mi; µi;j). The direct limit of a directed system is defined using a universal property. It exists and is unique up to a unique isomorphism. Theorem 2 (Direct limits). Let fMi j i 2 Ig be a directed system of R modules then there exists an R module M with the following properties: (i) There are R module homomorphisms µi : Mi ! M for each i 2 I, satisfying µi = µj ◦ µi;j whenever i < j. (ii) If there is an R module N such that there are R module homomorphisms νi : Mi ! N for each i and νi = νj ◦µi;j whenever i < j; then there exists a unique R module homomorphism ν : M ! N, such that νi = ν ◦ µi. The module M is unique in the sense that if there is any other R module M 0 satisfying properties (i) and (ii) then there is a unique R module isomorphism µ0 : M ! M 0. -
COFINAL TYPES of ULTRAFILTERS 1. Introduction We Say That a Poset
COFINAL TYPES OF ULTRAFILTERS DILIP RAGHAVAN AND STEVO TODORCEVIC Abstract. We study Tukey types of ultrafilters on !, focusing on the question of when Tukey reducibility is equivalent to Rudin-Keisler reducibility. We give several conditions under which this equivalence holds. We show that there are only c many ultrafilters that are Tukey below any basically generated ultrafil- ter. The class of basically generated ultrafilters includes all known ultrafilters <! that are not Tukey above [!1] . We give a complete characterization of all ultrafilters that are Tukey below a selective. A counterexample showing that Tukey reducibility and RK reducibility can diverge within the class of P-points is also given. 1. Introduction We say that a poset hD; ≤i is directed if any two members of D have an upper bound in D. A set X ⊂ D is unbounded in D if it doesn't have an upper bound in D. A set X ⊂ D is said to be cofinal in D if 8y 2 D9x 2 X [y ≤ x]. Given directed sets D and E, a map f : D ! E is called a Tukey map if the image (under f) of every unbounded subset of D is unbounded in E. A map g : E ! D is called a convergent map if the image (under g) of every cofinal subset of E is cofinal in D. It is easy to see that there is a Tukey map f : D ! E iff there exists a convergent g : E ! D. When this situation obtains, we say that D is Tukey reducible to E, and we write D ≤T E. -
A Few Points in Topos Theory
A few points in topos theory Sam Zoghaib∗ Abstract This paper deals with two problems in topos theory; the construction of finite pseudo-limits and pseudo-colimits in appropriate sub-2-categories of the 2-category of toposes, and the definition and construction of the fundamental groupoid of a topos, in the context of the Galois theory of coverings; we will take results on the fundamental group of étale coverings in [1] as a starting example for the latter. We work in the more general context of bounded toposes over Set (instead of starting with an effec- tive descent morphism of schemes). Questions regarding the existence of limits and colimits of diagram of toposes arise while studying this prob- lem, but their general relevance makes it worth to study them separately. We expose mainly known constructions, but give some new insight on the assumptions and work out an explicit description of a functor in a coequalizer diagram which was as far as the author is aware unknown, which we believe can be generalised. This is essentially an overview of study and research conducted at dpmms, University of Cambridge, Great Britain, between March and Au- gust 2006, under the supervision of Martin Hyland. Contents 1 Introduction 2 2 General knowledge 3 3 On (co)limits of toposes 6 3.1 The construction of finite limits in BTop/S ............ 7 3.2 The construction of finite colimits in BTop/S ........... 9 4 The fundamental groupoid of a topos 12 4.1 The fundamental group of an atomic topos with a point . 13 4.2 The fundamental groupoid of an unpointed locally connected topos 15 5 Conclusion and future work 17 References 17 ∗e-mail: [email protected] 1 1 Introduction Toposes were first conceived ([2]) as kinds of “generalised spaces” which could serve as frameworks for cohomology theories; that is, mapping topological or geometrical invariants with an algebraic structure to topological spaces. -
Directed Sets and Cofinal Types by Stevo Todorcevic
transactions of the american mathematical society Volume 290, Number 2, August 1985 DIRECTED SETS AND COFINAL TYPES BY STEVO TODORCEVIC Abstract. We show that 1, w, ax, u x ux and ["iF" are the only cofinal types of directed sets of size S,, but that there exist many cofinal types of directed sets of size continuum. A partially ordered set D is directed if every two elements of D have an upper bound in D. In this note we consider some basic problems concerning directed sets which have their origin in the theory of Moore-Smith convergence in topology [12, 3, 19, 9]. One such problem is to determine "all essential kind of directed sets" needed for defining the closure operator in a given class of spaces [3, p. 47]. Concerning this problem, the following important notion was introduced by J. Tukey [19]. Two directed sets D and E are cofinally similar if there is a partially ordered set C in which both can be embedded as cofinal subsets. He showed that this is an equivalence relation and that D and E are cofinally similar iff there is a convergent map from D into E and also a convergent map from E into D. The equivalence classes of this relation are called cofinal types. This concept has been extensively studied since then by various authors [4, 13, 7, 8]. Already, from the first introduc- tion of this concept, it has been known that 1, w, ccx, w X cox and [w1]<" represent different cofinal types of directed sets of size < Kls but no more than five such types were known. -
Dualities in Equivariant Kasparov Theory
DUALITIES IN EQUIVARIANT KASPAROV THEORY HEATH EMERSON AND RALF MEYER Abstract. We study several duality isomorphisms between equivariant bivari- ant K-theory groups, generalising Kasparov’s first and second Poincar´eduality isomorphisms. We use the first duality to define an equivariant generalisation of Lefschetz invariants of generalised self-maps. The second duality is related to the descrip- ∗ tion of bivariant Kasparov theory for commutative C -algebras by families of elliptic pseudodifferential operators. For many groupoids, both dualities ap- ply to a universal proper G-space. This is a basic requirement for the dual Dirac method and allows us to describe the Baum–Connes assembly map via localisation of categories. Contents 1. Introduction 1 2. Preliminaries on groupoid actions 7 3. EquivariantKasparovtheoryforgroupoids 11 4. The first duality 13 5. Bundles of compact spaces 29 6. The second duality 32 7. Duals for bundles of smooth manifolds 37 8. Conclusion and outlook 52 References 53 1. Introduction The K-homology of a smooth compact manifold M is naturally isomorphic to the (compactly supported) K-theory of its tangent bundle TM via the map that assigns to a K-theory class on TM an elliptic pseudodifferential operator with appropriate symbol. Dually, the K-theory of M is isomorphic to the (locally finite) K-homology of TM. Both statements have bivariant generalisations, which identify Kasparov’s group KK∗ C(M1), C(M2) for two smooth compact manifolds firstly arXiv:0711.0025v3 [math.KT] 24 Jul 2009 ∗ lf C with K (TM1 × M2), secondly with K∗ (TM2 × M1) := KK∗(C0(TM2 × M1), ). In this article, we consider substantial generalisations of these two duality isomor- phisms in which we replace smooth compact manifolds by more general spaces and work equivariantly with respect to actions of locally compact groups or groupoids. -
Coloring Linear Orders with Rado's Partial Order 1
COLORING LINEAR ORDERS WITH RADO'S PARTIAL ORDER RICCARDO CAMERLO AND ALBERTO MARCONE Abstract. Let ¹R be the preorder of embeddability between countable linear orders colored with elements of Rado's partial or- der (a standard example of a wqo which is not a bqo). We show that ¹R has fairly high complexity with respect to Borel reducibil- ity (e.g. if P is a Borel preorder then P ·B ¹R), although its exact classi¯cation remains open. 1. Introduction This note is a contribution to the study of the relations of embed- dability for countable colored linear orderings from the point of view of descriptive set theory. Fixing ! as the support of a countable linear or- dering, we can consider the space LO of all linear orderings on !. This is a standard Borel space (actually a Polish space, see [Kec95]). For our purposes, to color a linear order means assigning to each element of the support an element from a ¯xed countable set C. A colored linear ordering on ! is thus an element of LO £ C!, which is also a standard Borel space. If Q is a partial order on C we have a natural relation of embed- ! 0 0 dability ¹Q on LO £ C de¯ned by letting (v;') ¹Q (v ;' ) if and only if there exists g : ! ! ! such that: (1) 8a; b 2 ! (a v b () g(a) v0 g(b)); (2) 8a 2 !'(a) Q'0(g(a)). 1 Then ¹Q is a §1 preorder which is not Borel and it can be studied in the framework of Borel reducibility. -
Math 395: Category Theory Northwestern University, Lecture Notes
Math 395: Category Theory Northwestern University, Lecture Notes Written by Santiago Can˜ez These are lecture notes for an undergraduate seminar covering Category Theory, taught by the author at Northwestern University. The book we roughly follow is “Category Theory in Context” by Emily Riehl. These notes outline the specific approach we’re taking in terms the order in which topics are presented and what from the book we actually emphasize. We also include things we look at in class which aren’t in the book, but otherwise various standard definitions and examples are left to the book. Watch out for typos! Comments and suggestions are welcome. Contents Introduction to Categories 1 Special Morphisms, Products 3 Coproducts, Opposite Categories 7 Functors, Fullness and Faithfulness 9 Coproduct Examples, Concreteness 12 Natural Isomorphisms, Representability 14 More Representable Examples 17 Equivalences between Categories 19 Yoneda Lemma, Functors as Objects 21 Equalizers and Coequalizers 25 Some Functor Properties, An Equivalence Example 28 Segal’s Category, Coequalizer Examples 29 Limits and Colimits 29 More on Limits/Colimits 29 More Limit/Colimit Examples 30 Continuous Functors, Adjoints 30 Limits as Equalizers, Sheaves 30 Fun with Squares, Pullback Examples 30 More Adjoint Examples 30 Stone-Cech 30 Group and Monoid Objects 30 Monads 30 Algebras 30 Ultrafilters 30 Introduction to Categories Category theory provides a framework through which we can relate a construction/fact in one area of mathematics to a construction/fact in another. The goal is an ultimate form of abstraction, where we can truly single out what about a given problem is specific to that problem, and what is a reflection of a more general phenomenom which appears elsewhere. -
Direct Systems and Direct Limit Groups Informal Guided Reading Supervised by Dr Moty Katzman
Direct Systems and Direct Limit Groups Informal guided reading supervised by Dr Moty Katzman Jai Adam Schrem Based on Chapter 1 from Derek J.S. Robinson's \A Course in the Theory of Groups" 23rd September 2020 Jai Adam Schrem Direct Systems and Direct Limit Groups Notation and Definitions Let Λ be a set, with λ, µ, ν 2 Λ. Definition: Equivalence Relation An equivalence relation is a binary relation between elements of a set Λ that is Reflexive: λ = λ Symmetric: If λ = µ, then µ = λ Transitive: If λ = µ and µ = ν, then λ = ν for any λ, µ, ν 2 Λ. Definition: Equivalence Classes We can partition the set Λ into subsets of elements that are equivalent to one another. These subsets are called equivalence classes. Write [λ] for the equivalence class of element λ 2 Λ. Jai Adam Schrem Direct Systems and Direct Limit Groups Notation and Definitions Definition: Directed Set Equip set Λ with reflexive and transitive binary relation `≤' that `compares' elements pairwise. If the upper bound property 8λ, µ 2 Λ, 9ν 2 Λ such that λ ≤ ν and µ ≤ ν is satisfied, we say the set Λ with binary relation `≤' is directed. Example: N directed by divisibility Equip N with the binary relation of divisibility, notated by `j'. Letting a; b; c 2 N, we can easily see Reflexivity: Clearly aja Transitivity: If ajb and bjc then ajc Upper bound property: For any a; b 2 N we can compute the lowest common multiple, say m, so that ajm and bjm. Jai Adam Schrem Direct Systems and Direct Limit Groups Direct System of Groups Let Λ with binary relation ≤ be a directed set, with λ, µ, ν 2 Λ. -
A Short Introduction to Category Theory
A SHORT INTRODUCTION TO CATEGORY THEORY September 4, 2019 Contents 1. Category theory 1 1.1. Definition of a category 1 1.2. Natural transformations 3 1.3. Epimorphisms and monomorphisms 5 1.4. Yoneda Lemma 6 1.5. Limits and colimits 7 1.6. Free objects 9 References 9 1. Category theory 1.1. Definition of a category. Definition 1.1.1. A category C is the following data (1) a class ob(C), whose elements are called objects; (2) for any pair of objects A; B of C a set HomC(A; B), called set of morphisms; (3) for any three objects A; B; C of C a function HomC(A; B) × HomC(B; C) −! HomC(A; C) (f; g) −! g ◦ f; called composition of morphisms; which satisfy the following axioms (i) the sets of morphisms are all disjoints, so any morphism f determines his domain and his target; (ii) the composition is associative; (iii) for any object A of C there exists a morphism idA 2 Hom(A; A), called identity morphism, such that for any object B of C and any morphisms f 2 Hom(A; B) and g 2 Hom(C; A) we have f ◦ idA = f and idA ◦ g = g. Remark 1.1.2. The above definition is the definition of what is called a locally small category. For a general category we should admit that the set of morphisms is not a set. If the class of object is in fact a set then the category is called small. For a general category we should admit that morphisms form a class. -
On Colimits in Various Categories of Manifolds
ON COLIMITS IN VARIOUS CATEGORIES OF MANIFOLDS DAVID WHITE 1. Introduction Homotopy theorists have traditionally studied topological spaces and used methods which rely heavily on computation, construction, and induction. Proofs often go by constructing some horrendously complicated object (usually via a tower of increasingly complicated objects) and then proving inductively that we can understand what’s going on at each step and that in the limit these steps do what is required. For this reason, a homotopy theorist need the freedom to make any construction he wishes, e.g. products, subobjects, quotients, gluing towers of spaces together, dividing out by group actions, moving to fixed points of group actions, etc. Over the past 50 years tools have been developed which allow the study of many different categories. The key tool for this is the notion of a model category, which is the most general place one can do homotopy theory. Model categories were introduced by the Fields Medalist Dan Quillen, and the best known reference for model categories is the book Model Categories by Mark Hovey. Model categories are defined by a list of axioms which are all analogous to properties that the category Top of topological spaces satisfies. The most important property of a model category is that it has three distinguished classes of morphisms–called weak equivalences, cofibrations, and fibrations–which follow rules similar to the classes of maps with those names in the category Top (so the homotopy theory comes into play by inverting the weak equivalences to make them isomorphisms). The fact that homotopy theorists need to be able to do lots of constructions is contained in the axiom that M must be complete and cocomplete.