On Branched Covers in Topos Theory
نویسندگان
چکیده
We present some new findings concerning branched covers in topos theory. Our discussion involves a particular subtopos of a given topos that can be described as the smallest subtopos closed under small coproducts in the including topos. Our main result is a description of the covers of this subtopos as a category of fractions of branched covers, in the sense of Fox [10], of the including topos. We also have some new results concerning the general theory of KZ-doctrines, such as the closure under composition of discrete fibrations for a KZ-doctrine, in the sense of Bunge and Funk [6].
منابع مشابه
Branched Cyclic Covers and Finite Type Invariants
This work identifies a class of moves on knots which translate to m-equivalences of the associated p-fold branched cyclic covers, for a fixed m and any p (with respect to the Goussarov-Habiro filtration). These moves are applied to give a flexible (if specialised) construction of knots for which the Casson-Walker-Lescop invariant (for example) of their p-fold branched cyclic covers may be readi...
متن کاملModels of intuitionistic set theory in subtoposes of nested realizability toposes
Given a partial combinatory algebra (pca) A (see e.g. [16]) together with a subpca A# of A we will construct the nested realizability topos RT(A,A#) as described in [5] (without giving it a proper name there). It is well known (from e.g. [16]) that RT(A,A#) appears as the exact/regular completion of its subcategory Asm(A,A#) of assemblies. In [5] the authors considered two complementary subtopo...
متن کاملRepresentations of Galois Groups on the Homology of Surfaces
Let p : Σ → Σ be a finite Galois cover, possibly branched, with Galois group G. We are interested in the structure of the cohomology of Σ as a module over G. We treat the cases of branched and unbranched covers separately. In the case of branched covers, we give a complete classification of possible module structures of H1(Σ , C). In the unbranched case, we algebro-geometrically realize the rep...
متن کاملThe Representation Theory, Geometry, and Combinatorics of Branched Covers
The study of branched covers of the Riemann sphere has connections to many fields. We recall the classical relationship between branched covers and group theory via the Riemann existence theorem, which then leads to represention-theoretic formulas for Hurwitz numbers, counting the number of branched covers of prescribed types. We also review the Hurwitz spaces parametrizing branched covers as w...
متن کاملSome Possible Roles for Topos Theory in Quantum Theory and Quantum Gravity
We discuss some ways in which topos theory (a branch of category theory) can be applied to interpretative problems in quantum theory and quantum gravity. In Section 1, we introduce these problems. In Section 2, we introduce topos theory, especially the idea of a topos of presheaves. In Section 3, we discuss several possible applications of topos theory to the problems in Section 1. In Section 4...
متن کامل