skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.

Explore Research Products in the PAR
It may take a few hours for recently added research products to appear in PAR search results.


Title: The definable content of homological invariants II: Čech cohomology and homotopy classification
Abstract This is the second installment in a series of papers applying descriptive set theoretic techniques to both analyze and enrich classical functors from homological algebra and algebraic topology. In it, we show that the Čech cohomology functorson the category of locally compact separable metric spaces each factor into (i) what we term theirdefinable version, a functortaking values in the category$$\mathsf {GPC}$$ofgroups with a Polish cover(a category first introduced in this work’s predecessor), followed by (ii) a forgetful functor from$$\mathsf {GPC}$$to the category of groups. These definable cohomology functors powerfully refine their classical counterparts: we show that they are complete invariants, for example, of the homotopy types of mapping telescopes ofd-spheres ord-tori for any$$d\geq 1$$, and, in contrast, that there exist uncountable families of pairwise homotopy inequivalent mapping telescopes of either sort on which the classical cohomology functors are constant. We then apply the functorsto show that a seminal problem in the development of algebraic topology – namely, Borsuk and Eilenberg’s 1936 problem of classifying, up to homotopy, the maps from a solenoid complement$$S^3\backslash \Sigma $$to the$$2$$-sphere – is essentially hyperfinite but not smooth. Fundamental to our analysis is the fact that the Čech cohomology functorsadmit two main formulations: a more combinatorial one and a more homotopical formulation as the group$$[X,P]$$of homotopy classes of maps fromXto a polyhedral$$K(G,n)$$spaceP. We describe the Borel-definable content of each of these formulations and prove a definable version of Huber’s theorem reconciling the two. In the course of this work, we record definable versions of Urysohn’s Lemma and the simplicial approximation and homotopy extension theorems, along with a definable Milnor-type short exact sequence decomposition of the space$$\mathrm {Map}(X,P)$$in terms of its subset ofphantom maps; relatedly, we provide a topological characterization of this set for any locally compact Polish spaceXand polyhedronP. In aggregate, this work may be more broadly construed as laying foundations for the descriptive set theoretic study of the homotopy relation on such spaces$$\mathrm {Map}(X,P)$$, a relation which, together with the more combinatorial incarnation of, embodies a substantial variety of classification problems arising throughout mathematics. We show, in particular, that ifPis a polyhedralH-group, then this relation is both Borel and idealistic. In consequence,$$[X,P]$$falls in the category ofdefinable groups, an extension of the category$$\mathsf {GPC}$$introduced herein for its regularity properties, which facilitate several of the aforementioned computations.  more » « less
Award ID(s):
2154258
PAR ID:
10627264
Author(s) / Creator(s):
; ;
Publisher / Repository:
Cambridge University Press
Date Published:
Journal Name:
Forum of Mathematics, Pi
Volume:
12
ISSN:
2050-5086
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. ; (, Forum of Mathematics, Sigma)
    Abstract A set of reals isuniversally Baireif all of its continuous preimages in topological spaces have the Baire property.$$\mathsf {Sealing}$$is a type of generic absoluteness condition introduced by Woodin that asserts in strong terms that the theory of the universally Baire sets cannot be changed by forcing. The$$\mathsf {Largest\ Suslin\ Axiom}$$($$\mathsf {LSA}$$) is a determinacy axiom isolated by Woodin. It asserts that the largest Suslin cardinal is inaccessible for ordinal definable bijections. Let$$\mathsf {LSA-over-uB}$$be the statement that in all (set) generic extensions there is a model of$$\mathsf {LSA}$$whose Suslin, co-Suslin sets are the universally Baire sets. We show that over some mild large cardinal theory,$$\mathsf {Sealing}$$is equiconsistent with$$\mathsf {LSA-over-uB}$$. In fact, we isolate an exact large cardinal theory that is equiconsistent with both (see Definition 2.7). As a consequence, we obtain that$$\mathsf {Sealing}$$is weaker than the theory ‘$$\mathsf {ZFC} +$$there is a Woodin cardinal which is a limit of Woodin cardinals’. A variation of$$\mathsf {Sealing}$$, called$$\mathsf {Tower\ Sealing}$$, is also shown to be equiconsistent with$$\mathsf {Sealing}$$over the same large cardinal theory. The result is proven via Woodin’s$$\mathsf {Core\ Model\ Induction}$$technique and is essentially the ultimate equiconsistency that can be proven via the current interpretation of$$\mathsf {CMI}$$as explained in the paper. 
    more » « less
  2. (, The Journal of Symbolic Logic)
    Abstract We construct divergent models of$$\mathsf {AD}^+$$along with the failure of the Continuum Hypothesis ($$\mathsf {CH}$$) under various assumptions. Divergent models of$$\mathsf {AD}^+$$play an important role in descriptive inner model theory; all known analyses of HOD in$$\mathsf {AD}^+$$models (without extra iterability assumptions) are carried out in the region below the existence of divergent models of$$\mathsf {AD}^+$$. Our results are the first step toward resolving various open questions concerning the length of definable prewellorderings of the reals and principles implying$$\neg \mathsf {CH}$$, like$$\mathsf {MM}$$, that divergent models shed light on, see Question 5.1. 
    more » « less
  3. ; (, Forum of Mathematics, Sigma)
    Abstract Dirac rings are commutative algebras in the symmetric monoidal category of$$\mathbb {Z}$$-graded abelian groups with the Koszul sign in the symmetry isomorphism. In the prequel to this paper, we developed the commutative algebra of Dirac rings and defined the category of Dirac schemes. Here, we embed this category in the larger$$\infty $$-category of Dirac stacks, which also contains formal Dirac schemes, and develop the coherent cohomology of Dirac stacks. We apply the general theory to stable homotopy theory and use Quillen’s theorem on complex cobordism and Milnor’s theorem on the dual Steenrod algebra to identify the Dirac stacks corresponding to$$\operatorname {MU}$$and$$\mathbb {F}_p$$in terms of their functors of points. Finally, in an appendix, we develop a rudimentary theory of accessible presheaves. 
    more » « less
  4. ; ; (, Forum of Mathematics, Sigma)
    Abstract For$$g\ge 2$$and$$n\ge 0$$, let$$\mathcal {H}_{g,n}\subset \mathcal {M}_{g,n}$$denote the complex moduli stack ofn-marked smooth hyperelliptic curves of genusg. A normal crossings compactification of this space is provided by the theory of pointed admissible$$\mathbb {Z}/2\mathbb {Z}$$-covers. We explicitly determine the resulting dual complex, and we use this to define a graph complex which computes the weight zero compactly supported cohomology of$$\mathcal {H}_{g, n}$$. Using this graph complex, we give a sum-over-graphs formula for the$$S_n$$-equivariant weight zero compactly supported Euler characteristic of$$\mathcal {H}_{g, n}$$. This formula allows for the computer-aided calculation, for each$$g\le 7$$, of the generating function$$\mathsf {h}_g$$for these equivariant Euler characteristics for alln. More generally, we determine the dual complex of the boundary in any moduli space of pointed admissibleG-covers of genus zero curves, whenGis abelian, as a symmetric$$\Delta $$-complex. We use these complexes to generalize our formula for$$\mathsf {h}_g$$to moduli spaces ofn-pointed smooth abelian covers of genus zero curves. 
    more » « less
  5. ; ; ; (, The Bulletin of Symbolic Logic)
    Abstract For any subset$$Z \subseteq {\mathbb {Q}}$$, consider the set$$S_Z$$of subfields$$L\subseteq {\overline {\mathbb {Q}}}$$which contain a co-infinite subset$$C \subseteq L$$that is universally definable inLsuch that$$C \cap {\mathbb {Q}}=Z$$. Placing a natural topology on the set$${\operatorname {Sub}({\overline {\mathbb {Q}}})}$$of subfields of$${\overline {\mathbb {Q}}}$$, we show that ifZis not thin in$${\mathbb {Q}}$$, then$$S_Z$$is meager in$${\operatorname {Sub}({\overline {\mathbb {Q}}})}$$. Here,thinandmeagerboth mean “small”, in terms of arithmetic geometry and topology, respectively. For example, this implies that only a meager set of fieldsLhave the property that the ring of algebraic integers$$\mathcal {O}_L$$is universally definable inL. The main tools are Hilbert’s Irreducibility Theorem and a new normal form theorem for existential definitions. The normal form theorem, which may be of independent interest, says roughly that every$$\exists $$-definable subset of an algebraic extension of$${\mathbb Q}$$is a finite union of single points and projections of hypersurfaces defined by absolutely irreducible polynomials. 
    more » « less
  • Citation Formats
  • MLA
  • APA
  • Chicago
  • BibTeX
  • Save / Share this Record
  • Send to Email