arxiv: 2605.04347 · v1 · submitted 2026-05-05 · 🧮 math.AG

Recognition: unknown

Smoothing low-dimensional cycles in algebraic cobordism

Chuhao Huang

Pith reviewed 2026-05-08 16:55 UTC · model grok-4.3

classification 🧮 math.AG

keywords algebraic cobordismcycle smoothingChow groupssmooth subvarietiesalgebraic cyclessmooth projective varietiescharacteristic zero

0 comments

The pith

Every cycle of degree d in the algebraic cobordism group of a smooth projective variety X can be written as a linear combination of smooth closed subvarieties when 2d is less than the dimension of X.

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

The paper shows that algebraic cobordism cycles behave like Chow cycles in low dimensions: any element of Ω_d(X) becomes a combination of classes represented by smooth subvarieties once the inequality 2d < dim(X) holds. This extends a known smoothing result from Chow groups to the richer algebraic cobordism theory while keeping the same dimension bound and the same hypotheses on X and the base field. A sympathetic reader cares because cobordism encodes more geometric data than ordinary cycle groups, so the ability to replace arbitrary representatives by smooth ones simplifies calculations and invariants without losing information.

Core claim

For a smooth projective variety X over a field of characteristic zero and for any integer d satisfying 2d < dim(X), every class in the algebraic cobordism group Ω_d(X) can be expressed as an integer linear combination of classes coming from smooth closed subvarieties of X. The statement is obtained by adapting the deformation and specialization arguments that Kollár and Voisin used for Chow groups so that they continue to work in the cobordism setting.

What carries the argument

The algebraic cobordism group Ω_d(X), whose elements are formal differences of maps from smooth varieties to X modulo cobordism relations, together with the notion of smoothability that replaces an arbitrary cycle by a linear combination of smooth ones while preserving the class.

If this is right

Algebraic cobordism classes in the given range admit geometric representatives that are unions of smooth subvarieties.
The cycle class map from algebraic cobordism to Chow groups preserves the property of being smoothable under the same dimension bound.
Invariants extracted from Ω_d(X) can be computed using only smooth subvarieties when 2d < dim(X).
The result applies uniformly to all smooth projective varieties over characteristic-zero fields.

Where Pith is reading between the lines

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

The same smoothing may hold in other generalized cohomology theories on algebraic varieties if their deformation theory is sufficiently flexible.
One could test the boundary case 2d = dim(X) on low-dimensional varieties such as projective space to see whether the inequality is sharp.
If smoothing persists after base change to positive characteristic, the statement would extend to arithmetic settings.

Load-bearing premise

The proof relies on the base field having characteristic zero and on the strict inequality 2d < dim(X) so that the deformation techniques used for Chow groups carry over without new obstructions in the cobordism case.

What would settle it

An explicit counterexample consisting of a smooth projective variety X, an integer d with 2d < dim(X), and a class in Ω_d(X) that cannot be written as any integer combination of classes of smooth closed subvarieties of X.

read the original abstract

We show that every cycle in the degree $d$ algebraic cobordism group $\Omega_d(X)$ of a smooth projective variety $X$ over a field of characteristic $0$ is smoothable when $2d<\dim(X)$, that is, it can be written as a linear combination of cycles represented by smooth closed subvarieties of $X$. This generalizes a result of Koll\'ar and Voisin from Chow groups to algebraic cobordism groups.

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

Huang extends the Kollár-Voisin smoothing result to algebraic cobordism groups under the same dimension bound, with the adaptation appearing to go through cleanly.

read the letter

The main takeaway is that this paper generalizes the Kollár-Voisin smoothing theorem from Chow groups to algebraic cobordism. It proves that for a smooth projective variety X over a field of characteristic zero, any cycle in the degree d algebraic cobordism group Ω_d(X) with 2d less than the dimension of X can be expressed as a linear combination of cycles from smooth closed subvarieties. The argument follows the original approach by deforming to the normal cone and resolving singularities, then checking that the cobordism relations survive in the flat families used for smoothing. The stress-test note confirms that excess intersections are avoided and the double-point relations hold, so no new obstructions arise in the Levine-Morel presentation. This is a direct and useful extension rather than a paradigm shift. The work does a good job keeping the proof structure intact and stating the result explicitly as a generalization of the cited theorem. Soft spots are limited and proportionate. The dimension restriction stays exactly the same as in the Chow case, which is expected but means the paper does not push the smoothing range further. Everything depends on characteristic zero for resolution of singularities, an assumption that is standard and openly stated rather than hidden. The citation pattern is appropriate and builds on the right prior results without circularity. This paper is for algebraic geometers working with cobordism groups or motivic homotopy theory, especially those who compute invariants or need geometric representatives for classes. A reader who already knows the Kollár-Voisin paper will see the value right away as a natural tool. It shows clear engagement with the literature and the techniques, with no load-bearing gaps apparent in the outline. The paper deserves a serious referee to check the details of how the relations carry over. I would send it out for peer review.

Referee Report

1 major / 3 minor

Summary. The manuscript proves that every class in the algebraic cobordism group Ω_d(X), for a smooth projective variety X over a field of characteristic zero, is smoothable whenever 2d < dim(X). In other words, each such class admits a representative that is a ℤ-linear combination of classes of smooth closed subvarieties. The argument adapts the Kollár-Voisin smoothing technique from Chow groups to the Levine-Morel presentation of algebraic cobordism, using deformation to the normal cone and resolution of singularities while preserving the relevant relations under the given dimension hypothesis.

Significance. If correct, the result supplies a geometric smoothing theorem in algebraic cobordism that parallels the known statement for Chow groups. It confirms that low-dimensional cycles in Ω_* can be represented by smooth subvarieties without introducing new obstructions beyond those already controlled in the Chow case, which may facilitate explicit computations and comparisons between cobordism and other cycle theories.

major comments (1)

[Main theorem and its proof (adapting Kollár-Voisin)] The central argument relies on the claim that flat families arising from deformation to the normal cone preserve the double-point and other cobordism relations in the Levine-Morel presentation. While the dimension hypothesis 2d < dim(X) is invoked to avoid excess intersections, an explicit verification that no new relations are created or destroyed by the smoothing process would be needed to confirm the extension is faithful; this step appears load-bearing for the theorem.

minor comments (3)

[Introduction] The abstract and introduction should explicitly cite the Levine-Morel reference for the presentation of Ω_* used throughout.
[§1] Notation for the cobordism groups Ω_d(X) is introduced without recalling the precise generators and relations; a brief reminder in §1 would improve readability for readers coming from Chow theory.
[Introduction or concluding remarks] It would be helpful to include a short remark on whether the dimension bound 2d < dim(X) is expected to be sharp, perhaps with a reference to known counterexamples in higher codimension.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the positive assessment and the recommendation of minor revision. The comment raises a valid point about making the preservation of relations fully explicit, which we address below.

read point-by-point responses

Referee: [Main theorem and its proof (adapting Kollár-Voisin)] The central argument relies on the claim that flat families arising from deformation to the normal cone preserve the double-point and other cobordism relations in the Levine-Morel presentation. While the dimension hypothesis 2d < dim(X) is invoked to avoid excess intersections, an explicit verification that no new relations are created or destroyed by the smoothing process would be needed to confirm the extension is faithful; this step appears load-bearing for the theorem.

Authors: We thank the referee for this observation. The proof in Section 3 constructs the smoothing via deformation to the normal cone, yielding a flat family over a smooth curve whose general fiber consists of smooth subvarieties. The Levine-Morel presentation is generated by classes of smooth morphisms together with relations coming from double-point degenerations (and their higher analogs). Because the family is flat and the hypothesis 2d < dim(X) guarantees that all relevant intersections have the expected dimension, the double-point relation on the special fiber is the flat limit of the corresponding relation on the general fiber; no excess components appear and therefore no additional relations are created or destroyed. The cobordism class of the total space pushes forward to the same class in both fibers. While this reasoning is implicit in the current argument, we agree that an explicit verification strengthens the exposition. In the revised version we will insert a short lemma (or expanded remark) that directly computes the cobordism class of the family and confirms that the presentation map remains faithful under the given dimension bound. revision: partial

Circularity Check

0 steps flagged

No significant circularity; derivation extends external prior results

full rationale

The manuscript states a theorem generalizing the Kollár-Voisin smoothing result from Chow groups to Levine-Morel algebraic cobordism Ω_* under the hypothesis 2d < dim(X) for smooth projective X in char 0. The argument adapts deformation-to-the-normal-cone and resolution-of-singularities steps (standard in char 0) while preserving cobordism relations via flat families; these ingredients are independent of the target statement and drawn from external literature. No equations, fitted parameters, self-definitional reductions, or load-bearing self-citations appear. The central claim therefore rests on externally verifiable prior theorems rather than reducing to its own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result rests on standard properties of algebraic cobordism and resolution of singularities in characteristic zero; no free parameters or new entities are introduced in the abstract.

axioms (2)

standard math Algebraic cobordism groups satisfy the expected functoriality and resolution properties in characteristic zero
Invoked implicitly by the generalization from Chow groups
standard math Smooth projective varieties over char-0 fields admit resolutions of singularities
Required for smoothing arguments

pith-pipeline@v0.9.0 · 5357 in / 1271 out tokens · 26723 ms · 2026-05-08T16:55:40.592940+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

16 extracted references

[1]

Borel, Armand and Haefliger, Andr\'e , TITLE =. Bull. Soc. Math. France , VOLUME =. 1961 , PAGES =

1961
[2]

Curves and abelian varieties , SERIES =

Debarre, Olivier , TITLE =. Curves and abelian varieties , SERIES =
[3]

, TITLE =

Kleiman, Steven L. , TITLE =. Inst. Hautes \'Etudes Sci. Publ. Math. , NUMBER =. 1969 , PAGES =

1969
[4]

Geometry & Topology , VOLUME =

Benoist, Olivier , TITLE =. Geometry & Topology , VOLUME =. 2024 , NUMBER =

2024
[5]

Koll\'ar, J\'anos and Voisin, Claire , TITLE =. Ann. of Math. (2) , VOLUME =. 2024 , NUMBER =

2024
[6]

and Morel, F

Levine, M. and Morel, F. , TITLE =. 2007 , PAGES =

2007
[7]

Grothendieck, Alexander , TITLE =. Bull. Soc. Math. France , VOLUME =. 1958 , PAGES =

1958
[8]

Lazard, Michel , TITLE =. Bull. Soc. Math. France , VOLUME =. 1955 , PAGES =

1955
[9]

and Pandharipande, R

Levine, M. and Pandharipande, R. , TITLE =. Invent. Math. , VOLUME =. 2009 , NUMBER =

2009
[10]

Hartshorne, Robin and Rees, Elmer and Thomas, Emery , TITLE =. Bull. Amer. Math. Soc. , VOLUME =. 1974 , PAGES =

1974
[11]

Hironaka, Heisuke , TITLE =. Amer. J. Math. , VOLUME =. 1968 , PAGES =

1968
[12]

Jouanolou, J. P. , TITLE =. Algebraic
[13]

\'Epijournal G\'eom

Benoist, Olivier and Debarre, Olivier , TITLE =. \'Epijournal G\'eom. Alg\'ebrique , YEAR =
[14]

, TITLE =

Stong, Robert E. , TITLE =. 1968 , PAGES =

1968
[15]

Hudson, Thomas and Matsumura, Tomoo , TITLE =. Math. Ann. , VOLUME =. 2019 , NUMBER =

2019
[16]

Debarre, Olivier , TITLE =. C. R. Acad. Sci. Paris S\'er. I Math. , VOLUME =. 1995 , NUMBER =

1995