We produce group structures on certain sets of topological vector bundles of fixed rank. In particular, we put a group structure on complex rank 2 bundles on ℂP3 with fixed first Chern class. We show that this binary operation coincides with a construction on locally free sheaves due to Horrocks, provided the latter is defined. Using similar ideas, we give group structures on certain sets of rank 3 bundles on ℂP5.
These groups arise from the study of relative infinite loop space structures on truncated diagrams. Specifically, we show that the (2n−2)-truncation of an n-connective map X → Y with a section is a highly structured group object over the (2n−2)-truncation of Y . Applying these results to classifying spaces yields the group structures of interest.
Opie, Morgan P  1
@article{10_2140_agt_2025_25_2451,
author = {Opie, Morgan P},
title = {Rank-preserving additions for topological vector bundles, after a construction of {Horrocks}},
journal = {Algebraic and Geometric Topology},
pages = {2451--2476},
year = {2025},
volume = {25},
number = {4},
doi = {10.2140/agt.2025.25.2451},
url = {http://geodesic.mathdoc.fr/articles/10.2140/agt.2025.25.2451/}
}
TY - JOUR AU - Opie, Morgan P TI - Rank-preserving additions for topological vector bundles, after a construction of Horrocks JO - Algebraic and Geometric Topology PY - 2025 SP - 2451 EP - 2476 VL - 25 IS - 4 UR - http://geodesic.mathdoc.fr/articles/10.2140/agt.2025.25.2451/ DO - 10.2140/agt.2025.25.2451 ID - 10_2140_agt_2025_25_2451 ER -
%0 Journal Article %A Opie, Morgan P %T Rank-preserving additions for topological vector bundles, after a construction of Horrocks %J Algebraic and Geometric Topology %D 2025 %P 2451-2476 %V 25 %N 4 %U http://geodesic.mathdoc.fr/articles/10.2140/agt.2025.25.2451/ %R 10.2140/agt.2025.25.2451 %F 10_2140_agt_2025_25_2451
Opie, Morgan P. Rank-preserving additions for topological vector bundles, after a construction of Horrocks. Algebraic and Geometric Topology, Tome 25 (2025) no. 4, pp. 2451-2476. doi: 10.2140/agt.2025.25.2451
[1] , , Euler class groups and motivic stable cohomotopy, J. Eur. Math. Soc. 24 (2022) 2775 | DOI
[2] , , Vector bundles on projective 3-space, Invent. Math. 35 (1976) 131 | DOI
[3] , A model category structure on the category of simplicial categories, Trans. Amer. Math. Soc. 359 (2007) 2043 | DOI
[4] , A survey of (∞,1)-categories, from: "Towards higher categories" (editors J C Baez, J P May), IMA Vol. Math. Appl. 152, Springer (2010) 69 | DOI
[5] , A construction for locally free sheaves, Topology 7 (1968) 117 | DOI
[6] , Examples of rank three vector bundles on five-dimensional projective space, J. London Math. Soc. 18 (1978) 15 | DOI
[7] , , A rank 2 vector bundle on P4 with 15000 symmetries, Topology 12 (1973) 63 | DOI
[8] , Quasi-categories vs simplicial categories, unpublished (2007)
[9] , Higher topos theory, 170, Princeton Univ. Press (2009) | DOI
[10] , , The Picard group of topological modular forms via descent theory, Geom. Topol. 20 (2016) 3133 | DOI
[11] , A classification of complex rank 3 vector bundles on CP5, Adv. Math. 455 (2024) | DOI
[12] , Introduction to quasicategories, lecture notes (2022)
[13] , Borsuk’s cohomotopy groups, Ann. of Math. 50 (1949) 203 | DOI
Cité par Sources :