Backround
Definition
Presentation over a site
Models
typical contexts
In a cohesive (∞,1)-topos , the canonical natural transformation
from the flat modality to the shape modality may be thought of as sending “points to the pieces in which they sit”.
Notice the existence of the following canonical natural transformations induced from the structure of a cohesive topos (a special case of the construction at unity of opposites).
Given a cohesive topos with () its (shape modality flat modality)-adjunction, then the natural transformation
(given by the composition of the -counit followed by the -unit) may be called the transformation from points to their pieces or the points-to-pieces-transformation, for short.
If this is an epimorphism for all , we say that pieces have points or that the Nullstellensatz is verified.
The -adjunct of the transformation from pieces to points, def. ,
is (by the rule of forming right adjuncts by first applying the right adjoint functor and then precomposing with the unit and by the fact that the adjunct of a unit is the identity) the map
Observe that going backwards by applying to this and postcomposing with the -counit is equivalent to just applying , since by idempotency of the counit is an isomorphism on the discrete object . Therefore the points-to-pieces transformation and its adjunct are related by
Observe then finally that since is a full and faithful left and right adjoint, the points-to-pieces transform is an epimorphism/isomorphism/monomorphism precisely if its adjunct is, respectively.
If this adjunct
is a monomorphism, we say that discrete objects are concrete.
(pieces have points iff discrete objects are concrete)
For a cohesive topos , the the following two conditions are equivalent:
pieces have points, i.e. is an epimorphism for all ;
discrete objects are concrete, i.e. is a monomorphism.
See at cohesive topos this prop..
For a cohesive 1-topos, if the pieces-to-points transform is an epimorphism then there is Aufhebung of the initial opposition in that (Lawvere-Menni 15, lemma 4.1, see also Shulman 15, section 3). Conversely, if the base topos is a Boolean topos, then this Aufhebung implies that the pieces-to-points transform is an epimorphism (Lawvere-Menni 15, lemma 4.2).
Given an ∞-group in a cohesive (∞,1)-topos , with delooping , then for any other object the ∞-groupoid is that of -principal ∞-bundles with equivalences between them. Alternatively one may form the internal hom . Applying the shape modality to this yields the -groupoid of -principal -bundles and concordances between them. Alternatively, the flat modality applied to the internal hom is again just the external hom .
In conclusion, in this situation the points-to-pieces transform is the canonical map
from -principal -bundles with bundle equivalences between them, to -principal -bundles with concordances between them.
In global equivariant homotopy theory an incarnation of the points to pieces transform is the comparison map from homotopy quotients to ordinary quotients
which in terms of the Borel construction is induced by the map
(see at global equivariant homotopy theory this prop.)
In a tangent cohesive (∞,1)-topos on stable homotopy types the points-to-pieces transform is one stage in a natural hexagonal long exact sequence, the differential cohomology diagram. See there for more.
Applied to stable homotopy types in the tangent cohesive (∞,1)-topos which arise from a symmetric monoidal (∞,1)-category internal to under internal algebraic K-theory of a symmetric monoidal (∞,1)-category, the points-to-pieces transform interprets as the comparison map between algebraic and topological K-theory. See there for more
In infinitesimal cohesion the points-to-pieces transform is an equivalence.
William Lawvere, Matías Menni, Internal choice holds in the discrete part of any cohesive topos satisfying stable connected codiscreteness, Theory and Applications of Categories, Vol. 30, 2015, No. 26, pp 909-932. (TAC)
Mike Shulman, Brouwer’s fixed-point theorem in real-cohesive homotopy type theory, Mathematical Structures in Computer Science Vol 28 (6) (2018): 856-941 (arXiv:1509.07584, doi:10.1017/S0960129517000147)
Last revised on March 15, 2019 at 13:13:16. See the history of this page for a list of all contributions to it.