arxiv: 2604.07529 · v1 · submitted 2026-04-08 · 🧮 math.CT · math.DG

Recognition: no theorem link

On the normal functor in the category of smooth vector bundles

Quentin Karegar Baneh Kohal

Pith reviewed 2026-05-10 17:20 UTC · model grok-4.3

classification 🧮 math.CT math.DG

keywords normal functorvector bundlesdouble vector bundlespullbackquotientimmersionscategory theorynaturality

0 comments

The pith

Iterating the normal functor twice on a commutative square of smooth immersions produces a symmetric diagram due to compatible pullback and quotient operations.

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

The paper develops pullback and quotient operations for double vector bundles and selected morphisms in the category of smooth real vector bundles. These operations make it possible to examine the naturality of the normal functor. When the normal functor is applied twice to a commutative square of smooth immersions, the resulting diagram is symmetric. The symmetry follows from the universal properties of the operations and their mutual compatibility with the normal functor. A reader would care because the constructions clarify how the normal functor respects geometric data in a coherent way.

Core claim

In the category of smooth real vector bundles, the normal functor applied twice to a commutative square of smooth immersions yields a symmetric commutative diagram. This symmetry is obtained by constructing pullback and quotient operations on double vector bundles that are mutually compatible with the normal functor and behave universally with respect to the given classes of morphisms.

What carries the argument

The normal functor on smooth vector bundles, together with pullback and quotient operations on double vector bundles that enforce compatibility and naturality.

If this is right

The normal functor is natural with respect to the classes of morphisms for which pullback and quotient are defined.
Pullback and quotient operations extend consistently to double vector bundles and preserve the structure needed for iteration.
The symmetry after two iterations holds for any commutative square of smooth immersions.
Universal properties of the operations guarantee that the resulting diagrams commute in the expected way.

Where Pith is reading between the lines

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

The same compatibility pattern might apply to other bundle categories or to higher-order vector bundle constructions, allowing similar symmetry results elsewhere in differential geometry.
Explicit computation on standard examples such as the tangent bundle of a manifold could produce concrete symmetric diagrams that serve as test cases.
The operations may supply new ways to compare or classify morphisms between vector bundles beyond the normal functor alone.

Load-bearing premise

Pullback and quotient operations can be consistently defined and are mutually compatible with the normal functor in the category of smooth vector bundles and double vector bundles.

What would settle it

A concrete commutative square of smooth immersions for which the double application of the normal functor fails to produce the predicted symmetric diagram, once the pullback and quotient operations have been defined as in the paper, would refute the central claim.

read the original abstract

This article is dedicated to the study of the normal functor in the category of smooth real vector bundles. Particularly, we focus on a symmetry phenomena which occurs after iterating two times the normal functor on a commutative square of smooth immersions. To do so, a theory of pullback and quotient is developed for double vector bundles but also for some classes of morphisms. These two operations turn out to be the key ingredients in order to study the naturality of the normal functor. The expected symmetry is then obtained thanks to the universal behavior and the mutual compatibility of these operations.

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

The paper builds pullback and quotient operations on double vector bundles to get naturality of the normal functor and a symmetry after two iterations on squares of immersions.

read the letter

The main point is that the authors develop pullback and quotient operations for double vector bundles and selected morphisms, then use their universal properties and mutual compatibility to show that the normal functor is natural and produces a symmetric result after two applications to a commutative square of smooth immersions. This is the explicit route they take to the symmetry claim in the category of smooth real vector bundles. The constructions are presented as the necessary ingredients for studying that naturality, and the abstract ties them directly to the iterated behavior without visible gaps in the logic chain. The stress-test note confirms the reasoning holds together once the operations are in place. What the paper does well is keep the focus tight on these operations and their compatibility. It supplies a concrete way to handle the structures so the symmetry follows from the universal behavior rather than ad hoc checks. That setup is clear enough from the description and looks like a reasonable extension of standard categorical tools for bundles. The soft spots are mostly about scope and grounding. The work stays inside smooth vector bundles and double bundles, so it does not reach far outside that niche. It is also hard to tell from the given material how much of the pullback and quotient theory is genuinely new versus drawn from prior results on double vector bundles in the literature. If the constructions turn out to overlap heavily with existing work, the novelty drops. Readers already working in categorical differential geometry or bundle theory would get the most out of the explicit operations and the symmetry proof. Others can safely pass. The paper shows clear, step-by-step thinking in setting up the tools to reach the claim, so it is coherent on its own terms. I would send it to peer review. The technical development is solid enough to warrant referee time even if the broader impact stays limited and some comparisons need strengthening.

Referee Report

0 major / 3 minor

Summary. The paper studies the normal functor in the category of smooth real vector bundles, with a focus on a symmetry that arises after applying the functor twice to commutative squares of smooth immersions. It constructs pullback and quotient operations on double vector bundles and selected morphism classes, then invokes their universal properties and mutual compatibility to establish naturality of the normal functor and derive the symmetry.

Significance. If the constructions hold, the work supplies a categorical toolkit for handling normal bundles under iteration, potentially aiding studies of symmetries in differential geometry and bundle theory. The reliance on universal behavior of the new operations is a methodological positive, though the overall impact depends on how these tools connect to existing results in the field.

minor comments (3)

Abstract: the phrase 'the expected symmetry' is imprecise; a one-sentence description of the symmetry (e.g., an isomorphism between two iterated normal bundles) would clarify the central claim for readers.
The manuscript would benefit from explicit comparison of the new pullback/quotient operations with standard pullbacks in the category of vector bundles, to highlight what is novel.
Notation for the normal functor and the double vector bundle operations should be introduced with a dedicated table or list of symbols to aid readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the manuscript, recognition of the potential utility of the developed toolkit for normal bundles, and recommendation of minor revision. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper develops pullback and quotient operations on double vector bundles and morphism classes as independent constructions, then applies their universal properties and mutual compatibility to establish naturality of the normal functor and the resulting symmetry on iterated applications. These steps constitute a standard constructive proof in category theory: the operations are defined first, their compatibilities are verified, and the symmetry follows as a derived consequence rather than being presupposed or fitted by construction. No self-citations, self-definitional reductions, or renamings of known results are indicated in the abstract or description, and the derivation chain remains self-contained against external category-theoretic benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract does not mention any free parameters, axioms, or invented entities; the work appears to rely on standard category theory and differential geometry background.

pith-pipeline@v0.9.0 · 5380 in / 952 out tokens · 35687 ms · 2026-05-10T17:20:42.867125+00:00 · methodology

discussion (0)

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Gysin maps and wrong way functoriality via geometric deformation groupoids
math.KT 2026-05 unverdicted novelty 6.0

Deformation Lie groupoids from normal bundles yield functorial Gysin maps in any suitable (co)homology theory for Lie groupoids, unifying earlier cases and giving wrong-way functoriality for equivariant twisted orbifo...

Reference graph

Works this paper leans on

4 extracted references · cited by 1 Pith paper

[1]

Graded bundles in the category of Lie groupoids

[BGG15] AndrewJamesBruce,KatarzynaGrabowska,andJanuszGrabowski. “Graded bundles in the category of Lie groupoids”. In:SIGMA Symmetry Integrability Geom. Methods Appl.11 (2015), Paper 090,

2015
[2]

Vector bundles over Lie groupoids and algebroids

[BCH16] Henrique Bursztyn, Alejandro Cabrera, and Matias del Hoyo. “Vector bundles over Lie groupoids and algebroids”. In:Adv. Math.290 (2016), pp. 163–207. [BLM19] Henrique Bursztyn, Hudson Lima, and Eckhard Meinrenken. “Splitting theorems for Poisson and related structures”. In:J. Reine Angew. Math.754 (2019), pp. 281–312. [Ehr63] Charles Ehresmann. “Ca...

2016
[3]

Quotients of double vector bundles and multigradedbundles

London Mathematical Society Lec- tureNoteSeries.CambridgeUniversityPress,Cambridge,2005, pp. xxxviii+501. [Mei22] Eckhard Meinrenken. “Quotients of double vector bundles and multigradedbundles”.In:J.Geom.Mech.14.2(2022),pp.307–

2005
[4]

Fibrés vectoriels doubles symétriques et jets holonomes d’ordre2

[Pra74] Jean Pradines. “Fibrés vectoriels doubles symétriques et jets holonomes d’ordre2”. In:C. R. Acad. Sci. Paris Sér. A278 (1974), pp. 1557–1560. [Rie16] Emily Riehl.Category theory in context. Aurora Dover Modern Math Originals. Dover Publications, Inc., Mineola, NY, 2016, pp. xvii+240. Quentin Karegar Baneh Kohal Instituto de Matemáticas Universidad...

1974