arxiv: 2604.12541 · v1 · submitted 2026-04-14 · 🧮 math.AG · math.KT

Recognition: unknown

Exotic Hopf maps, weight shifting and applications to vector bundles

Jean Fasel , William Hornslien

Authors on Pith no claims yet

Pith reviewed 2026-05-10 14:28 UTC · model grok-4.3

classification 🧮 math.AG math.KT

keywords motivic homotopyHopf mapvector bundlesJouanolou deviceprojective spaceweight shifting

0 comments

The pith

Explicit polynomial representatives of the suspended Hopf map over the integers produce a concrete rank-2 vector bundle on the Jouanolou device of projective 3-space.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes explicit polynomial formulas that represent the suspension of the classical Hopf map in the motivic homotopy category over the ring of integers. From these representatives the authors construct an explicit rank two vector bundle on a particular model for the projective space of dimension three. A sympathetic reader would care because such concrete algebraic realizations connect abstract homotopy theory to the classification of algebraic vector bundles over integer schemes.

Core claim

Using motivic homotopy theory we produce several explicit polynomial representatives of the suspension of the Hopf map defined over the integers. We derive from this computation an explicit rank 2 vector bundle on the Jouanolou device of the projective space of dimension 3 over the integers.

What carries the argument

The suspended Hopf map realized by explicit polynomials over Z, together with weight shifting, which together generate the rank-2 vector bundle on the specified device.

If this is right

The suspension of the Hopf map admits several explicit polynomial representatives over Z.
These representatives directly yield an explicit rank-2 vector bundle.
The bundle is constructed on the Jouanolou device of P^3_Z.
Weight shifting produces additional exotic representatives of the same map.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same polynomial technique might produce explicit bundles on Jouanolou devices in higher dimensions.
The explicit bundle offers a test case for computing motivic cohomology or K-theory classes by hand.
Weight shifting could be applied to other classical maps such as the Hopf invariant one elements.

Load-bearing premise

The given polynomial expressions correctly represent the suspension of the Hopf map in the motivic homotopy category over the integers.

What would settle it

A direct computation in the motivic homotopy category showing that one of the listed polynomials fails to induce the expected nontrivial class in the appropriate homotopy group would refute the representation.

read the original abstract

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Explicit polynomial reps for suspended Hopf maps over Z yield a rank-2 bundle, with the homotopy verification as the main thing to check.

read the letter

The main point is that this paper gives explicit polynomial representatives for the suspension of the Hopf map over the integers in motivic homotopy theory, and then derives an explicit rank 2 vector bundle on the Jouanolou device of projective 3-space over Z. They do this through weight shifting, which produces concrete polynomial expressions rather than abstract ones. That is useful because it supplies something you can plug into calculations in algebraic geometry or K-theory, at least in these low dimensions. The link to the vector bundle is a direct payoff from the homotopy data. The soft spot is confirming that the polynomials actually represent the suspended Hopf class in the motivic homotopy category. The construction uses weight shifting to get the maps, but you need to see that they induce the correct generator or satisfy the cofiber sequence properties. If that step is solid, the bundle follows; if the maps are in a different class or trivial, the claims do not hold. The paper appears to provide the argument, so it is checkable. This is for people working in motivic homotopy or related parts of algebraic geometry who want explicit data for homotopy classes and bundle constructions over Z. A reader who does computations in stable motivic homotopy groups or classifies vector bundles would get concrete material to use or build on. The paper deserves a serious referee. The constructions are specific and the scope is narrow but well-defined. I would recommend sending it for peer review.

Referee Report

1 major / 0 minor

Summary. The manuscript uses motivic homotopy theory to construct several explicit polynomial representatives of the suspension of the Hopf map over the integers and derives from this an explicit rank-2 vector bundle on the Jouanolou device of projective 3-space over Z.

Significance. If the central identification holds, the explicit polynomial constructions would supply concrete, computable examples of exotic maps in the motivic stable homotopy category over Z, a setting where such representatives are uncommon. The derived vector bundle on the Jouanolou device would then give a tangible algebraic-geometric application. The work builds on standard motivic tools without introducing free parameters or ad-hoc axioms.

major comments (1)

The load-bearing step is the verification that the constructed polynomial maps (obtained via weight shifting) lie in the suspended Hopf class rather than the zero class or a different multiple in the motivic homotopy category over Z. The manuscript supplies the polynomials and the weight-shifting construction, but a direct check—e.g., via the cofiber sequence of the Hopf map, computation of the induced map on homotopy groups, or comparison with the standard Hopf map after suspension—is required to confirm the class. Without this, both the exotic Hopf map claim and the subsequent rank-2 bundle derivation rest on an unverified identification.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and for identifying the need for a more explicit verification of the homotopy class. We address this point below and will revise the manuscript to incorporate a direct check.

read point-by-point responses

Referee: The load-bearing step is the verification that the constructed polynomial maps (obtained via weight shifting) lie in the suspended Hopf class rather than the zero class or a different multiple in the motivic homotopy category over Z. The manuscript supplies the polynomials and the weight-shifting construction, but a direct check—e.g., via the cofiber sequence of the Hopf map, computation of the induced map on homotopy groups, or comparison with the standard Hopf map after suspension—is required to confirm the class. Without this, both the exotic Hopf map claim and the subsequent rank-2 bundle derivation rest on an unverified identification.

Authors: We agree that an explicit verification strengthens the central claim. The weight-shifting construction is functorial and starts from the standard Hopf map, with the polynomials chosen so that the resulting maps are expected to represent the suspended class; however, we acknowledge that the manuscript does not include a self-contained direct check. In the revised version we will add a dedicated subsection that verifies the class by comparing the induced maps on the relevant motivic homotopy groups (in low degrees) and by examining the image under the cofiber sequence of the Hopf map, confirming that the representatives are neither zero nor a nontrivial multiple in the motivic stable homotopy category over Z. This will also secure the subsequent derivation of the rank-2 bundle. revision: yes

Circularity Check

0 steps flagged

No significant circularity; explicit constructions in motivic homotopy theory are independent of the claimed output.

full rationale

The paper constructs explicit polynomial representatives of the suspended Hopf map over Z using weight shifting within standard motivic homotopy theory, then derives the rank-2 bundle on the Jouanolou device of P^3_Z from that identification. No steps reduce by definition to the target result (no self-definitional loops, no fitted parameters renamed as predictions, and no load-bearing self-citations whose content is unverified outside the paper). The verification that the polynomials induce the correct homotopy class is presented as a computation relying on external motivic tools rather than tautological equivalence to the inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The abstract relies on the standard framework of motivic homotopy theory without introducing new free parameters, ad-hoc axioms, or invented entities visible at this level of detail.

axioms (1)

domain assumption Motivic homotopy theory provides a well-defined category in which the suspension of the Hopf map can be represented by polynomial maps over Z.
The paper invokes this framework to produce the explicit representatives.

pith-pipeline@v0.9.0 · 5322 in / 1221 out tokens · 45703 ms · 2026-05-10T14:28:40.014710+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

8 extracted references · 2 canonical work pages

[1]

[ADF16] A. Asok, B. Doran, and J. Fasel. Smooth models of motivic spheres and the clutching construction.IMRN, 6(1):1890–1925,

1925
[2]

15 [AF14b] A

doi:10.1112/jtopol/jtt046. 15 [AF14b] A. Asok and J. Fasel. A cohomological classification of vector bundles on smooth affine threefolds.Duke Math. J., 163(14):2561–2601,

work page doi:10.1112/jtopol/jtt046
[3]

1, 2, 4, 5, 23 [AFL25] A. Asok, J. Fasel, and S. Lerbet. Splitting vector bundles over real algebraic varieties. arXiv:2511.15616,

work page arXiv
[4]

28 [AHW17] A. Asok, M. Hoyois, and M. Wendt. Affine representability results inA 1-homotopy theory I: vector bundles.Duke Math. J., 166(10):1923–1953,

1923
[5]

26 [Fas19] J. Fasel. The Vaserstein symbol on real smooth affine threefolds. InK-theory. Proceedings of the international colloquium, Mumbai, 2016, pages 211–222. New Delhi: Hindustan Book Agency; Mumbai: Tata Institute of Fundamental Research,

2016
[6]

Morel.A 1-Algebraic Topology over a Field, volume 2052 ofLecture Notes in Math.Springer, New York,

12 [Mor12] F. Morel.A 1-Algebraic Topology over a Field, volume 2052 ofLecture Notes in Math.Springer, New York,

2052
[7]

Morel and V

9, 13, 14 [MV99] F. Morel and V . V oevodsky.A 1-homotopy theory of schemes.Inst. Hautes ´Etudes Sci. Publ. Math., 90:45–143 (2001),

2001
[8]

Gluing schemes and a scheme without closed points

6 [Sch05] Schwede, K. Gluing schemes and a scheme without closed points. InRecent progress in arithmetic and algebraic geometry. Proceedings of the 31st annual Barrett lecture series conference, Knoxville, TN, USA, April 25–27, 2002., pages 157–172. Providence, RI: American Mathematical Society (AMS),

2002