sign in sign up
<<
Home , Representable functor

arXiv:1712.02064v1 [math.CT] 6 Dec 2017 nwihcase which in y o ahobject each for by, ovrey ie n element any given Conversely, aldteYnd map: Yoneda the called hstentrltransformation natural the Thus sets. hoe 1.1. Theorem oethat Note * atal upre yJP AEH rn ubr 16H03 Numbers Grant KAKENHI JSPS by supported Partially (*) (1.2) τ [ ,X A, [ : h elkonYnd’ emsaotrpeetbefuncto representable about lemmas Yoneda’s well-known The rmnw o h aeo ipiiy edenote we simplicity, of sake the for now, From h otaain aeo oeasLmai rvdb sn t using by proved is Lemma Yoneda’s of case contravariant The − (2) (1) ] A , for tecnrvratcs)Let case) contravariant (the oain o-e hom- covariant o-e oain functor covariant hom-set tecvratcs)Let case) covariant (the F eacnrvrathmstfunctor hom-set contravariant a be rmtehmstcnrvratfunctor contravariant hom-set the from smrhct h set the to isomorphic h sbe”fntro h ie uco,“olcigalt all “collecting transf functor, given t natural the canonical In of the functor have “subset” functor. the we functor reps.) any (contravariant, and covariant functor a fu to reps.) sets) (contravariant, of covariant representable given a A ] f ∗ → BSTRACT h ( = A A F ( ) τ f X : ∗ α Let ∗ ( = ) (id − [ : oeaeLmai bu h aoia smrhs falth all of isomorphism canonical the about is Lemma Yoneda’e . X C ) ,A A, A eantrltransformation: natural a be hom ealclysalctgr,i.e., , small locally a be ∈ = ) Obj ] Y → C f ( ◦ : ,X A, ( F C N F id id ) ∗ α τ f ∗ EAKO OEASLEMMA YONEDA’S ON REMARK A A atural ( A ( ( A τ ∈ F ) τ ec ehave we Hence . f ∈ A f . α h h ) ∈ ∗ = ) ∗ ) F [ : [ A A : aifisthat satisfies [ : ,A X, =  F [ : ∗ ,A A, N − N : = ( ,A X, ( S → C ∗ f τ A h S → C A , atural ( ∗ atural : .Y 1. A hom ) f ] ( ] S → C F , τ ecndfietentrltransformation natural the define can we ] ∗ h ] (id (id → HJ YOKURA SHOJI → A ∗ C ONEDA et ) et A A ( ( : ( F A, h = ∼ h F )) )) S → C h hntesto l h aua rnfrain rmthe from transformations natural the all of set the Then . τ eacaain uco.Let functor. coavariant a be A A ∗ et α ∗ A h τ τ − F ( F , ( b h auaiyof naturality the (by (id F , A X 1 − 936. eacnrvratfntr Let functor. contravariant a be ) ∗ ’ = hom ( entrltransformations”. natural he S co fo oal ml aeoyt h category the to category small locally a (from nctor ( ) ∗ ∗ ) otecvratfunctor covariant the to X A A ) ) i oew on u htgvnayrepresentable any given that out point we note his et L sdtrie yteelement the by determined is id = ) hom = ) ) = ∼ = ∼ rainfo h ie ersnal uco to functor representable given the from ormation / EMMA τ / hntesto l h aua transformations natural the all of set the Then . F C F α ∗ ( F F ∗ ( Y ,B A, ∗ ( hom f ∗ C ∗ ( A ( ( ( X A ∗ = ) ( τ A − A saetefollowing: the are rs ) ( := ) ) ) α A , ) ) ∋ efloigcmuaiedarm Let diagram: commutative following he C .  . ∋ = ) f sast n let and set, a is f ( τ ,A X, ∗ ) ∗ τ (id τ α, ( otecnrvratfunctor contravariant the to (id f α aua rnfrain from transformations natural e τ A ) h bv smrhs a is map isomorphism above The . ) ) . ) A ipyby simply ) , or F h ∗ A sioopi oteset the to isomorphic is S := τ α et h [ ,A X, A τ [ : hom etectgr of category the be (id := − A , ] A C n similarly and hom ) ( ] A, ∈ → − C F F ( ) − F ∗ ∗ ( ea be A , ( ∗ A − is ) ) ) . ∗ 2 SHOJI YOKURA

∗ A ∗ Y : F (A) =∼ N atural(h , F ) Y(α) := τα.

2. A REMARK Let G be a set and let Sub(G) be the set of all subsets of G. Let hA(−) = [−, A]: C → Set and F ∗ : C → Set be as above. Then for each object X ∈ Obj(C) we have the following canonical map: A ∗ ImF ∗ : h (X) = [X, A] → Sub(F (X)) defined by ∗ ∗ ∗ ∗ ∗ ∗ ∗ ImF ∗ (f) := (f : F (A) → F (X)) = f (F (A)) = {f α | α ∈ F (A)}. ∗ The last two parts are written down for an emphasis. As observed in the above, f α = τα(f) which is the ∗ image of f under the τα corresponding to α ∈ F (A). In other word A ∗ ImF ∗ (f) is the set consisting of the images of f by all the natural transformations N atural(h , F ). For a morphism g : X → Y ∈C, we have the following commutative diagram:

Im ∗ hA(Y ) = [Y, A] F / Sub(F ∗(Y ))

g∗ g∗   hA(X) = [X, A] / Sub(F ∗(X)) ImF ∗ If we let SubF ∗ : C → Set be the “subset” functor associated to the given functor F ∗ : C → Set, defined ∗ ∗ by SubF (X) := Sub(F (X)), we can consider ImF ∗ (f) as a natural transformation A ∗ ImF ∗ : h (−) → SubF (−), which sort of “collects” all the natural transformation images. The upshot is the following. Observation 2.1. Let C be a locally small category and Set be the . Let hA(−) = [−, A]: C → Set be a representable contravariant functor and F ∗ : C → Set be another contravariant functor. Then we have the following canonical natural transformation (‘sort of “collecting” or “using” all the natural transformations from hA to F ∗) A ∗ ImF ∗ : h (−) → SubF (−), ∗ ∗ ∗ where for each object X ∈ Obj(C) we have ImF ∗ (f)= f (F (A))(⊂ F (X)), which is the set consist- ing of the images of f by all the natural transformations from hA to F ∗. The similar observation for the covariant case is made mutatis mutandis, so omitted. Remark 2.2. Depending on the situations, the target category of our contravariant functor can have more structures, e.g., groups, abelian groups, rings, commutative rings, etc.

3. APPLICATIONS/EXAMPLES

Example 3.1 (complex vector bundles and characteristic classes (e.g., see [11], [6]).). Let Vectn(X) be the set of isomorphism classes of complex vector bundles of rank n and for f : X → Y the pullback map ∗ ∗ ∗ f : Vectn(Y ) → Vectn(X) is define by f [E] := [f E]. Thus the functor is a contravariant functor from the category of (paracompact) topological spaces to the category Set of sets. Then we do know that ∞ Vectn(X) =∼ [X, Gn(C )] ∞ where Gn(C ) is the infinite Grassmann manifold of complex planes of dimension n, i.e., the of complex vector bundles of rank n. This isomorphism is by the correspondence [E] ←→ [fE], C∞ ∗ n n where fE : X → Gn( ) is a classifying map of E, i.e., E = fEγ , where γ is the universal complex ∞ vector bundle of rank n over Gn(C ). Thus the functor Vectn(−) is a representable contravariant functor. Let H∗(−; Z) be the integral functor. Then by the observation in the previous section we have the following natural transformation: ∗ ImH∗ : Vectn(−) → SubH (−; Z), A REMARK ON YONEDA’S LEMMA 3

∗ ∗ ∞ ∗ ∗ C Z Z defined by for Vectn(X), ImH ([E]) := ImfE : H (Gn( ); ) → H (X; ). By the definition ∗ ∗ C∞ Z ∗ Z of characteristic classes, ImfE : H (Gn( ); ) → H (X; ) is nothing but the subring consisting of all the characteristic classes of E, which is Z[c1(E),c2(E), ··· ,cn(E)]. Let us denote this subring by Char(E). By the definition for isomorphic two vector bundles E and E′ we do have Char(E) = Char(E′). One could define a very “coarse” classification of vector bundles using Char(E), i.e., ′ ′ E =∼coarse E ⇐⇒ Char(E)= Char(E ). −1 −1 −1 For example, a line bundle L and its inverse L satisfy that L =∼coarse L because c1(L ) = −c(L), which implies that Char(L)= Char(L−1). ∞ Remark 3.2. In the case of real vector bundles, the complex infinite Grassmann Gn(C ), the Chern class ∞ ci and the coefficient ring Z are respectively replaced by the real infinite Grassmann Gn(R ), the Stiefell- Whitney class wi and the coefficient ring Z2. Example 3.3 (Ren´eThom’s notion of dependence of cohomology classes). Thom defined the following: Definition 3.4 (R. Thom). The cohomology class β ∈ Hq(X; B) depends on the cohomology class α ∈ Hp(X; A), where A, B are coefficient rings, if, for all (perhaps infinite) polyhedra Y and all maps f : X → Y such that α ∈ f ∗(Hp(Y ; A)), we have β ∈ f ∗(Hq(Y ; B)). Fist we recall that the cohomology theory is a representable contravariant functor, indeed, representable by the Eilenberg-Maclane space, i.e., Hj(X, R) =∼ [X,K(R, j)] where K(R, j) is the Eilenberg-Maclane space whose homotopy type is completely characterized by the homotopy groups πj (K(R, j)) = R and πi(K(R,i)) = 0,i 6= j. Then by the Hurewicz Theorem we have Hj (K(R, j); Z) =∼ πj (K(R, j)) = R and Hd(K(R, j))=0 for d < j. Hence by the universal coefficinet theorem we have the isomorphism j Φ: H (K(R, j); R) =∼ Hom(Hj (K(R, j); Z), R) =∼ Hom(πj (K(R, j)), R) =∼ Hom(R, R). −1 Let u := Φ (idR) for the identity map idR : R → R. Then the isomorphism Θ:[X,K(R, j)] =∼ Hj(X, R) is obtained by Θ([f]) := f ∗u where f ∗ : Hj(K(R, j); R) → Hj (X, R). p Proposition 3.5 (R. Thom). Let α ∈ H (X; A) =∼ [X,K(A, p)] and let fα : X → K(A, p) be a map q such that the homotopy class [fα] corresponds to α. Then β ∈ H (X,B) depends on α if and only if ∗ q β ∈ fα(H (K(A, p); B)). In our set-up, we consider the representable contravariant functor hK(A,p)(−) and the contravariant cohomology functor Hq(−; B). Then from the above section we have the following canonical natural transformation: q ImHq (−;B) :[−,K(A, p)] → SubH (−; B), where for a topological space X and for (the homotopy class) of fα : X → K(A, p) corresponding to the cohomology class α ∈ Hp(X; A)(=∼ [X,K(A, p)]) we have ∗ q ImHq (−;B)(fα)= fα(H (K(A, p); B)), which is, due to the above proposition of Thom, nothing but the subgroup of all the cohomology classes β ∈ Hq(X; B) depending on the cohomology class α, and also by our observation above it is the subgroup consisting of the image of fα by all the natural transformations from the representable functor [−,K(A, p)], in other words the cohomology functor Hp(−; A) to the cohomology functor Hq(−; B). One can consider some other reasonable or interesting pairs (hA(−), F ∗(−)) of representable contravari- ant hA(−) and contravariant functors F ∗(−). In a different paper we want to study such things, e.g. K-theory and the cohomology theory.

4. ONE MORE REMARK: POSET-STRATIFIED SPACE STRUCTURES OF REPRESENTABLE FUNCTORS The subset functor SubF ∗(−) has in fact another simple structure of partial order set due to the set- theoretic inclusion. If we consider the above natural transformation A ∗ ImF ∗ : h (X) = [−, A] → SubF (−) and for an object X ∈ Obj(C) we have A ∗ ImF ∗ : h (X) = [X, A] → Sub(F (X)) ∗ 4 SHOJI YOKURA

∗ ∗ defined by ImF ∗ (f)= f (F (A)). For the following commutative diagram of morphisms in C

f X / A ❅ ? ❅❅ ⑦⑦ ❅❅ ⑦⑦ g ❅❅ ⑦⑦t ❅ ⑦⑦ A under the contravaiant functor F ∗, we have that f ∗ = g∗ ◦ t∗:

f ∗ F ∗(X) o F ∗(A) d■■ ✉ ■■ ✉✉ ■■ ✉✉ g∗ ■■ ✉✉ t∗ ■ z✉✉ F ∗(A) Hence we have that ∗ ∗ ∗ ∗ ImF ∗ (f)= f (F (A)) ⊆ ImF ∗ (g)= g (F (A)). f If we define the order f ≦ g for f,g ∈ [X, A] by the above commutative diagram X / A , L ❅ ? ❅❅ ⑦⑦ ❅❅ ⑦⑦ g ❅❅ ⑦⑦t ❅ ⑦⑦ A i.e., by the condition that ∃t ∈ [A, A] such that f = t ◦ g, then this order ≦L is a preorder, i.e., it is reflexive and transitive, but not necessarily anti-symmetric. With this order we get a preordered set ([X, A], ≦L). A preordered set is called a proset and the category of presets and monotone (order-preserving) maps is denoted by Proset. Namely, by this preorder, the representable contravariant functor hA : C → Set becomes a representable contravariant functor to the category of prosets: hA : C →Proset. The con- travariant functor F ∗(−) also gives rise to the associated contravariant functor SubF ∗ : C→Proset, to be more precise, the order of inclusion is a partial order, thus in the case of SubF ∗ the target category id the category Poset of posets (partially ordered sets) and monotone (order-preserving) maps. With these A ∗ preorders the above natural transformation ImF ∗ : h (X) = [−, A] → SubF (−) is a natural transfor- A ∗ mation ImF ∗ : (h (X) = [−, A], ≦L) → (Sub(F (−)), ≦)). Then for each object X ∈ Obj(C) we have the map A ∗ ImF ∗ : (h (X) = [X, A], ≦L) → (Sub(F (X)), ≦)) which is a monotone map from a proset to a poset. If we consider the Alexandroff topologies [1](also see [2, 3, 12]) for a proset, this monotone map becomes a continuous map from the proset considered as a topological space with the Alexandroff topology to a poset considered as a topological space with the Alexandroff topology. This is nothing but the so-called a poset-stratified space [10](e.g., also see [3]). From this viewpoint in [15] (cf. [14]) we consider poset-stratified space structures of the homotopy set of continuous maps of topological spaces and in [16] for a general locally small category.

A ∗ Remark 4.1. To get a poset-stratified space structure of ImF ∗ : (h (X), ≦L) → (Sub(F (X)), ≦)) we appeal to another contravariant functor F ∗(−). But, in order to get such a poset-stratified space structure we do not need such a functor. In general, if we have a proset (P, ≦), then we consider the equivalence relation a ∼ b ⇔ a ≦ b,b ≦ a on P and consider the set P∼ of the equivalence relations and we define the order ′ ′ [a] ≦ [b] ↔ a ≦ b, which is a partial order and the canonical map π : (P, ≦) → (P∼, ≦ ) is a monotone map, thus we get a poset-stratified space considering the associated Alexandroff topologies (e.g., [16]). This ′ construction give a kind of universal poset-stratified space structure π : ([X, A], ≦L) → ([X, A]∼, ≦L) and A ∗ the above ImF ∗ : (h (X) = [X, A], ≦L) → (Sub(F (X)), ≦)) involving another contravariant functor F ∗ give a more geometric one, so to speak. Remark 4.2. For the topological hT op the above relation f = t ◦ g becomes f ∼ t ◦ g. This relation was considered in a different context by K. Borsuk [4, 5] and generalized by P. Hilton [7] (cf. [8, 9]).

REFERENCES [1] P. Alexandroff, Diskrete R¨aume, Mat. Sb. (N.S.), (1937) 501-518. [2] F. Arenas, Alexandroff spaces, Acta Math. Univ. Comenianae Vol. LXVIII, 1 (1999), 17-25 A REMARK ON YONEDA’S LEMMA 5

[3] D. Ayala, J. Francis and H. L. Tanaka, Local structures on stratified spaces, Advances in Math. 307 (2017), 903-1028, arXiv:1409.0501, [4] K. Borsuk, Sur la notion de diviseur et de multiple des transformations, Bull. Acad. Polon. Sci. 3 (1955), 81-85, [5] K. Borsuk, Sur la notion de d´ependence des transformations continues, Bull. Acad. Polon. Sci. 3 (1955), 251-254. [6] A. Hatcher, Algebraic Topology, Cambridge University Press, Cambridge, 2001. [7] P. Hilton, On divisors and multiples of continuous mappings, Fund. Math. 43 (1957), 358-386. [8] P. Hilton, On some contributions of Karol Borsuk to , Topological Methods in Nonlinear Analysis Journal of the Juliuss Schauder Center, 1 (1993), 9-14. [9] P. Hilton, Duality in homotopy theory: a retrospective essay, J. Pure and Applied Algebra, 19 (1980), 159-169. [10] J. Lurie, Higher Algebra, version of March 2016, available at http://www.math.harvard.edu/∼lurie/papers /HA.pdf. [11] J. Milnor and J. Stasheff, Characteristic Classes, Ann. of Math. Studies, Princeton Univ. Press, 1974 [12] T. Speer, A Short Study of Alexandroff Spaces, arXiv:0708.2136. [13] R. Thom, Op´erations en cohomologie r´eele, S´eminaire Henri Cartan, Paris 1954/5. [14] T. Yamaguchi and S. Yokura, On prosets of homotopy classes of maps and their applications to classifications of fibrations, preprint, January 2017 [15] T. Yamaguchi and S. Yokura, Poset-stratified space structure of homotopy sets, preprint July 2017. [16] S. Yokura, Decompostion spaces and poset-stratified spaces, preprint May 2017.

DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCE,GRADUATE SCHOOLOF SCIENCE AND ENGINEERING,KAGOSHIMA UNIVERSITY,1-21-35 KORIMOTO,KAGOSHIMA,890-0065, JAPAN E-mail address: [email protected]