Showing 1–8 of 8 results for author: Opie, M

Enumerating stably trivial vector bundles with higher real $K$-theory

Authors: Hood Chatham, Yang Hu, Morgan Opie

Abstract: Given positive integers $r$ and $c$, let $φ(r,c)$ denote the number of isomorphism classes of complex rank $r$ topological vector bundles on $\mathbb{CP}^{r+c}$ that are stably trivial. We compute the $p$-adic valuation of the number $φ(r,c)$ for all pairs $r$ and $c$ such that $c \leq \operatorname{min}\{r,2p-3\}$. We also give some systematic lower bounds for $p$-divisibility of $φ(r,c)$ when… ▽ More Given positive integers $r$ and $c$, let $φ(r,c)$ denote the number of isomorphism classes of complex rank $r$ topological vector bundles on $\mathbb{CP}^{r+c}$ that are stably trivial. We compute the $p$-adic valuation of the number $φ(r,c)$ for all pairs $r$ and $c$ such that $c \leq \operatorname{min}\{r,2p-3\}$. We also give some systematic lower bounds for $p$-divisibility of $φ(r,c)$ when $c<2p^2-p-2$, and detect some nontrivial $p$-divisibility for larger $c$. As an additional application of our methods, we find new $p$-torsion in unstable homotopy groups of unitary groups. △ Less

Submitted 7 March, 2024; originally announced March 2024.

Comments: 36 pages, comments welcome!

MSC Class: 55R25; 55N20; 55R15

Rank-preserving additions for topological vector bundles, after a construction of Horrocks

Authors: Morgan Opie

Abstract: 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 $\mathbb{C}P^3$ with fixed first Chern class. We show that this binary operation coincides with a construction on locally free sheaves due to Horrocks, provided Horrocks' construction is defined. Using similar ideas, we give group structure… ▽ More 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 $\mathbb{C}P^3$ with fixed first Chern class. We show that this binary operation coincides with a construction on locally free sheaves due to Horrocks, provided Horrocks' construction is defined. Using similar ideas, we give group structures on certain sets of rank $3$ bundles on $\mathbb{C}P^5$. 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\to 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. △ Less

Submitted 30 December, 2023; v1 submitted 14 February, 2023; originally announced February 2023.

Comments: 21 pages. Small revisions. To appear in AGT

MSC Class: 55R25; 55R35; 55Q05; 55P99; 55P47;

A classification of complex rank 3 vector bundles on complex projective 5-space

Authors: Morgan Opie

Abstract: We show that complex rank $3$ topological vector bundles on $\mathbb{C}P^5$ are determined by their Chern classes, except in the case that $c_1\equiv 0 \pmod 3$ and $c_2\equiv 0 \pmod 3$. To address this case, we produce a universal class in the $tmf_{(3)}$-cohomology of a Thom spectrum related to $BU(3)$, where $tmf_{(3)}$ denotes topological modular forms localized at $3$. From this class and or… ▽ More We show that complex rank $3$ topological vector bundles on $\mathbb{C}P^5$ are determined by their Chern classes, except in the case that $c_1\equiv 0 \pmod 3$ and $c_2\equiv 0 \pmod 3$. To address this case, we produce a universal class in the $tmf_{(3)}$-cohomology of a Thom spectrum related to $BU(3)$, where $tmf_{(3)}$ denotes topological modular forms localized at $3$. From this class and orientation data, we construct a $\mathbb Z/3$-valued invariant of the bundles of interest and prove that our invariant separates distinct bundles with the same Chern classes. △ Less

Submitted 11 January, 2023; originally announced January 2023.

Comments: 40 pages, comments welcome!

Cofibration category of digraphs for path homology

Authors: Daniel Carranza, Brandon Doherty, Chris Kapulkin, Morgan Opie, Maru Sarazola, Liang Ze Wong

Abstract: We prove that the category of directed graphs and graph maps carries a cofibration category structure in which the weak equivalences are the graph maps inducing isomorphisms on path homology. We prove that the category of directed graphs and graph maps carries a cofibration category structure in which the weak equivalences are the graph maps inducing isomorphisms on path homology. △ Less

Submitted 23 December, 2022; originally announced December 2022.

Comments: 38 pages; comments welcome

MSC Class: 05C20; 18N45 (primary); 18N40; 55U35 (secondary)

Compactly supported $\mathbb{A}^{1}$-Euler characteristic and the Hochschild complex

Authors: Niny Arcila-Maya, Candace Bethea, Morgan Opie, Kirsten Wickelgren, Inna Zakharevich

Abstract: We show the $\mathbb{A}^{1}$-Euler characteristic of a smooth, projective scheme over a characteristic $0$ field is represented by its Hochschild complex together with a canonical bilinear form, and give an exposition of the compactly supported $\mathbb{A}^{1}$-Euler characteristic $χ^{c}_{\mathbb{A}^{1}}: K_0(\mathbf{Var}_{k}) \to \text{GW}(k)$ from the Grothendieck group of varieties to the Grot… ▽ More We show the $\mathbb{A}^{1}$-Euler characteristic of a smooth, projective scheme over a characteristic $0$ field is represented by its Hochschild complex together with a canonical bilinear form, and give an exposition of the compactly supported $\mathbb{A}^{1}$-Euler characteristic $χ^{c}_{\mathbb{A}^{1}}: K_0(\mathbf{Var}_{k}) \to \text{GW}(k)$ from the Grothendieck group of varieties to the Grothendieck--Witt group of bilinear forms. We also provide example computations. △ Less

Submitted 25 April, 2022; v1 submitted 20 March, 2020; originally announced March 2020.

Comments: 24 pages. Accepted for publication in Topology and its Applications

MSC Class: 14F42 (Primary); 19E15; 13D03; 55M05 (Secondary)

The trace of the local $\mathbf{A}^1$-degree

Authors: Thomas Brazelton, Robert Burklund, Stephen McKean, Michael Montoro, Morgan Opie

Abstract: We prove that the local $\mathbb{A}^1$-degree of a polynomial function at an isolated zero with finite separable residue field is given by the trace of the local $\mathbb{A}^1$-degree over the residue field. This fact was originally suggested by Morel's work on motivic transfers and by Kass and Wickelgren's work on the Scheja-Storch bilinear form. As a corollary, we generalize a result of Kass and… ▽ More We prove that the local $\mathbb{A}^1$-degree of a polynomial function at an isolated zero with finite separable residue field is given by the trace of the local $\mathbb{A}^1$-degree over the residue field. This fact was originally suggested by Morel's work on motivic transfers and by Kass and Wickelgren's work on the Scheja-Storch bilinear form. As a corollary, we generalize a result of Kass and Wickelgren's relating the Scheja-Storch form and the local $\mathbb{A}^1$-degree. △ Less

Submitted 11 May, 2020; v1 submitted 10 December, 2019; originally announced December 2019.

Comments: 13 pages, revised version

Journal ref: Homology Homotopy Appl. 23(1): 243--255, 2021

Localization in Homotopy Type Theory

Authors: J. Daniel Christensen, Morgan Opie, Egbert Rijke, Luis Scoccola

Abstract: We study localization at a prime in homotopy type theory, using self maps of the circle. Our main result is that for a pointed, simply connected type $X$, the natural map $X \to X_{(p)}$ induces algebraic localizations on all homotopy groups. In order to prove this, we further develop the theory of reflective subuniverses. In particular, we show that for any reflective subuniverse $L$, the subuniv… ▽ More We study localization at a prime in homotopy type theory, using self maps of the circle. Our main result is that for a pointed, simply connected type $X$, the natural map $X \to X_{(p)}$ induces algebraic localizations on all homotopy groups. In order to prove this, we further develop the theory of reflective subuniverses. In particular, we show that for any reflective subuniverse $L$, the subuniverse of $L$-separated types is again a reflective subuniverse, which we call $L'$. Furthermore, we prove results establishing that $L'$ is almost left exact. We next focus on localization with respect to a map, giving results on preservation of coproducts and connectivity. We also study how such localizations interact with other reflective subuniverses and orthogonal factorization systems. As key steps towards proving the main theorem, we show that localization at a prime commutes with taking loop spaces for a pointed, simply connected type, and explicitly describe the localization of an Eilenberg-Mac Lane space $K(G,n)$ with $G$ abelian. We also include a partial converse to the main theorem. △ Less

Submitted 9 February, 2020; v1 submitted 11 July, 2018; originally announced July 2018.

Comments: 32 pages; to appear in Higher Structures; v4 contains a minor correction compared to published version

MSC Class: 55P60 (Primary); 18E35; 03B15 (Secondary)

Journal ref: Higher Structures, 4(1) (2020), 1-32

Extremal divisors on moduli spaces of rational curves with marked points

Authors: Morgan Opie

Abstract: We study effective divisors on $\overline{M}_{0,n}$, focusing on hypertree divisors introduced by Castravet and Tevelev and the proper transforms of divisors on $\overline{M}_{1,n-2}$ introduced by Chen and Coskun. Results include a database of hypertree divisor classes and closed formulas for Chen--Coskun divisor classes. We relate these two types of divisors, and from this construct extremal div… ▽ More We study effective divisors on $\overline{M}_{0,n}$, focusing on hypertree divisors introduced by Castravet and Tevelev and the proper transforms of divisors on $\overline{M}_{1,n-2}$ introduced by Chen and Coskun. Results include a database of hypertree divisor classes and closed formulas for Chen--Coskun divisor classes. We relate these two types of divisors, and from this construct extremal divisors on $\overline{M}_{0,n}$ for $n \geq 7$ that furnish counterexamples to the conjectural description of the effective cone of $\overline{M}_{0,n}$ given by Castravet and Tevelev. △ Less

Submitted 28 April, 2016; v1 submitted 27 September, 2013; originally announced September 2013.

Comments: Gap in proof of Lemma 6.2 corrected; thanks to Angelo Felice Lopez for bringing this to my attention