Foundations of geometric cohomology: from co-orientations to product structures

Anibal M. Medina-Mardones; Dev Sinha; Greg Friedman

arxiv: 2212.07482 · v3 · submitted 2022-12-14 · 🧮 math.AT · math.GT

Foundations of geometric cohomology: from co-orientations to product structures

Greg Friedman , Anibal M. Medina-Mardones , Dev Sinha This is my paper

Pith reviewed 2026-05-24 10:32 UTC · model grok-4.3

classification 🧮 math.AT math.GT

keywords geometric cohomologyco-oriented mapsmanifolds with cornerspull-back productcup productgeometric cochainshomology model

0 comments

The pith

Co-oriented smooth maps from manifolds with corners form geometric cochains whose pull-back product induces the cup product in cohomology.

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

The paper builds a cochain complex for the ordinary cohomology of smooth manifolds directly from co-oriented smooth maps out of manifolds with corners. The central construction equips these geometric cochains with a partially defined multiplication via pull-back of maps, and shows that this multiplication descends to the cup product on cohomology. A matching geometric model is given for homology, so the same objects serve both the contravariant and covariant theories. If the construction works, cohomology classes and their products become visible as concrete geometric data rather than abstract algebraic objects. The approach therefore supplies an explicit geometric foundation that unifies homology and cohomology through the same class of maps.

Core claim

The pull-back product of co-oriented smooth maps from manifolds with corners provides a partially defined product structure on the geometric cochains that induces the cup product in cohomology. The underlying cochain complex is formed by these co-oriented maps, and its cohomology is ordinary cohomology of the target manifold. A parallel treatment yields a geometric model for homology, allowing a single geometric framework to handle both theories.

What carries the argument

The pull-back product of co-oriented smooth maps from manifolds with corners, acting as the multiplication on the geometric cochain complex.

If this is right

Geometric cochains based on co-oriented maps compute ordinary cohomology.
The pull-back product on these cochains recovers the cup product on cohomology.
A geometrically parallel construction produces a model for homology from the same class of maps.
The same geometric objects therefore serve as a unified foundation for both homology and cohomology.

Where Pith is reading between the lines

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

The construction may make it easier to track signs and orientations when moving between homology and cohomology calculations.
Because the maps are smooth and defined on manifolds with corners, the model could extend naturally to stratified spaces or spaces with boundary.
Explicit representatives for cohomology classes might become available for direct geometric manipulation without passing through singular chains.

Load-bearing premise

The co-oriented smooth maps from manifolds with corners assemble into a cochain complex whose cohomology is ordinary cohomology of the target, and the partial pull-back product is defined on a subcomplex large enough to induce the cup product.

What would settle it

A concrete manifold together with two geometric cochains whose induced product in the geometric model fails to equal the cup product of their cohomology classes in singular cohomology.

read the original abstract

This manuscript develops a geometric approach to ordinary cohomology of smooth manifolds, constructing a cochain complex model based on co-oriented smooth maps from manifolds with corners. Special attention is given to the pull-back product of such smooth maps, which provides our geometric cochains with a partially defined product structure inducing the cup product in cohomology. A parallel treatment of homology is also given allowing for a geometric unification of the contravariant and covariant theories.

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

This paper sets up a geometric cochain model for manifold cohomology from co-oriented maps out of manifolds with corners and equips it with a pullback product that induces the cup product.

read the letter

The main point is a concrete geometric construction of cochains for ordinary cohomology of smooth manifolds, built from co-oriented smooth maps from manifolds with corners, together with a partially defined pullback product on those maps that descends to the cup product. They also run the same setup for homology to give a geometric link between the two theories. The approach stays close to standard techniques for handling transversality and corner strata, so the partial product is managed by restricting to transverse representatives, which is workable and already used in related geometric models. That part looks solid on the surface. The central claims rest on showing the resulting complex computes the right cohomology and that the product satisfies the necessary algebraic properties on a large enough subcomplex. The stress-test indicates no internal contradictions or missing steps in the argument structure, and the definitions avoid obvious circularity. Still, the details of the chain-level Leibniz rule and homotopy associativity will need careful checking in the proofs. This is for algebraic topologists who care about explicit geometric representatives rather than abstract singular or simplicial ones. A reader already comfortable with manifolds with corners and co-orientations will get the most out of it. The work is grounded enough and the claims specific enough that it should go to peer review rather than a desk reject.

Referee Report

0 major / 4 minor

Summary. The manuscript constructs a geometric model of ordinary cohomology for smooth manifolds, taking co-oriented smooth maps from manifolds with corners as generators of the cochain groups. It equips these geometric cochains with a partially defined pull-back product (defined when the maps are transverse) that descends to the cup product on cohomology. A parallel geometric model is given for homology, yielding a unified contravariant/covariant theory.

Significance. If the constructions are correct, the work supplies an explicit geometric representative for cohomology classes and their products, together with a direct geometric comparison between homology and cohomology. The use of manifolds with corners and co-orientations is standard in geometric topology, and the partial-product approach via transversality is a recognized technique; the manuscript therefore offers a concrete, checkable model rather than an abstract existence proof.

minor comments (4)

The abstract states that the product is 'partially defined' and 'induces the cup product,' but the manuscript should include an explicit statement (perhaps in §3 or §4) of the precise subcomplex on which the product is defined and closed, together with a verification that this subcomplex is cofinal or that the induced map on cohomology is independent of choices.
Notation for the geometric cochain groups (e.g., C^*_geom(X) or similar) and for the co-orientation data should be introduced once in §2 and used consistently; several later sections appear to switch between descriptive phrases and symbols without a central definition table.
The homology construction is described as 'parallel'; a short comparative table or diagram in the introduction or conclusion would clarify how the covariant and contravariant theories are related at the chain level.
A few typographical inconsistencies appear in the references (e.g., capitalization of 'manifolds with corners' in titles) and in the numbering of displayed equations after the first use of manifolds with corners.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading and positive assessment of the manuscript, including the recognition of its geometric model for cohomology and homology via co-oriented maps from manifolds with corners. The recommendation of minor revision is noted. No specific major comments were raised in the report, so we have no point-by-point responses to provide at this stage. Any minor editorial or clarification issues will be addressed in the revised version.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The derivation constructs the cochain complex directly from the geometric data of co-oriented smooth maps out of manifolds with corners, defines the differential via boundary and the partial product via transverse pull-back, and verifies that the resulting cohomology is isomorphic to ordinary cohomology by standard comparison maps. None of these steps reduces to a self-definition, a fitted parameter renamed as a prediction, or a load-bearing self-citation whose content is merely the target result. The partiality of the product is handled by the usual transversality restriction, which is an external geometric condition rather than an internal fit. The manuscript is therefore self-contained against external benchmarks in differential topology.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Construction rests on standard differential-topology assumptions about manifolds with corners and co-orientations; no free parameters or new entities are indicated in the abstract.

axioms (1)

domain assumption Co-oriented smooth maps from manifolds with corners form the cochains of a complex computing ordinary cohomology
Invoked as the basis for the entire model in the abstract.

pith-pipeline@v0.9.0 · 5590 in / 1098 out tokens · 22610 ms · 2026-05-24T10:32:20.147799+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

constructing a cochain complex model based on co-oriented smooth maps from manifolds with corners... pull-back product... induces the cup product in cohomology

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

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

The transverse singular complex
math.AT 2026-04 unverdicted novelty 7.0

Sing(M) deformation retracts onto the transverse singular subcomplex Sing^T(M) when T is countable.