Showing 1–4 of 4 results for author: Hornslien, W

There is no Cazanave's Theorem for punctured affine space

Authors: Thomas Brazelton, William Hornslien

Abstract: In his thesis, Cazanave proved that the set of naive $\mathbb{A}^1$-homotopy classes of endomorphisms of the projective line admits a monoid structure whose group completion is genuine $\mathbb{A}^1$-homotopy classes of endomorphisms of the projective line. In this very short note we show that such a statement is never true for punctured affine space $\mathbb{A}^n\setminus\{0\}$ for $n \ge 2$ . In his thesis, Cazanave proved that the set of naive $\mathbb{A}^1$-homotopy classes of endomorphisms of the projective line admits a monoid structure whose group completion is genuine $\mathbb{A}^1$-homotopy classes of endomorphisms of the projective line. In this very short note we show that such a statement is never true for punctured affine space $\mathbb{A}^n\setminus\{0\}$ for $n \ge 2$ . △ Less

Submitted 3 October, 2024; originally announced October 2024.

Comments: 3 pages, comments welcome!

Polyhedral products in abstract and motivic homotopy theory

Authors: William Hornslien

Abstract: We introduce polyhedral products in an $\infty$-categorical setting. We generalize a splitting result by Bahri, Bendersky, Cohen, and Gitler that determines the stable homotopy type of the a polyhedral product. We also introduce a motivic refinement of moment-angle complexes and use the splitting result to compute cellular $\mathbb{A}^1$-homology, and $\mathbb{A}^1$-Euler characteristics. We introduce polyhedral products in an $\infty$-categorical setting. We generalize a splitting result by Bahri, Bendersky, Cohen, and Gitler that determines the stable homotopy type of the a polyhedral product. We also introduce a motivic refinement of moment-angle complexes and use the splitting result to compute cellular $\mathbb{A}^1$-homology, and $\mathbb{A}^1$-Euler characteristics. △ Less

Submitted 27 August, 2024; v1 submitted 19 June, 2024; originally announced June 2024.

Comments: v2. Corrected an error in Example 7.13 and minor typos

MSC Class: 14F42; 57S12; 55P40;

Polyhedral coproducts

Authors: Steven Amelotte, William Hornslien, Lewis Stanton

Abstract: Dualising the construction of a polyhedral product, we introduce the notion of a polyhedral coproduct as a certain homotopy limit over the face poset of a simplicial complex. We begin a study of the basic properties of polyhedral coproducts, surveying the Eckmann-Hilton duals of various familiar examples and properties of polyhedral products. In particular, we show that polyhedral coproducts give… ▽ More Dualising the construction of a polyhedral product, we introduce the notion of a polyhedral coproduct as a certain homotopy limit over the face poset of a simplicial complex. We begin a study of the basic properties of polyhedral coproducts, surveying the Eckmann-Hilton duals of various familiar examples and properties of polyhedral products. In particular, we show that polyhedral coproducts give a functorial interpolation between the wedge and cartesian product of spaces which differs from the one given by polyhedral products, and we establish a general loop space decomposition for these spaces which is dual to the suspension splitting of a polyhedral product due to Bahri, Bendersky, Cohen and Gitler. △ Less

Submitted 3 June, 2025; v1 submitted 29 May, 2024; originally announced May 2024.

Comments: 21 pages, expositional changes thanks to referee comments, version accepted by Algebraic & Geometric Topology

MSC Class: 55P10; 55P35; 18A30; 55P30

Making the motivic group structure on the endomorphisms of the projective line explicit

Authors: Viktor Balch Barth, William Hornslien, Gereon Quick, Glen Matthew Wilson

Abstract: We construct a group structure on the set of pointed naive homotopy classes of scheme morphisms from the Jouanolou device to the projective line. The group operation is defined via matrix multiplication on generating sections of line bundles and only requires basic algebraic geometry. In particular, it is completely independent of the construction of the motivic homotopy category. We show that a p… ▽ More We construct a group structure on the set of pointed naive homotopy classes of scheme morphisms from the Jouanolou device to the projective line. The group operation is defined via matrix multiplication on generating sections of line bundles and only requires basic algebraic geometry. In particular, it is completely independent of the construction of the motivic homotopy category. We show that a particular scheme morphism, which exhibits the Jouanolou device as an affine torsor bundle over the projective line, induces a monoid morphism from Cazanave's monoid to this group. Moreover, we show that this monoid morphism is a group completion to a subgroup of the group of scheme morphisms from the Jouanolou device to the projective line. This subgroup is generated by a set of morphisms that are simple to describe. △ Less

Submitted 5 December, 2024; v1 submitted 1 June, 2023; originally announced June 2023.

Comments: v3: improved exposition and notation, final version accepted in Advances in Mathematics

MSC Class: 14F42; 55P99; 14F35