ProofAtlas

Differential geometry · affine manifolds · Euler characteristic

Chern’s Conjecture for Closed Affine Manifolds

Collaboration beta

Must every closed manifold carrying an affine structure have Euler characteristic zero?

Mclosed affine⇒χ(M)=0
Known results and sources
A low-text editorial affine-geometric composition wraps triangulated facets into a closed manifold while paired boundary walls and projective rays balance around a restrained chi-of-M symbol, evoking Chern’s conjecture without claiming a proof.
Affine side pairings turn local geometric walls into a global Euler-characteristic question.

Research problem

Exact mathematical statement

Mis a closed affine manifold⇒χ(M)=0.M\text{ is a closed affine manifold} \quad\Longrightarrow\quad \chi(M)=0.

Problem infographic

Problem at a glance

A scientific editorial plate centers an abstract atlas for M: several faceted coordinate patches are joined by transitions of the form x maps to Ax plus b with A invertible. A companion rosette defines Euler characteristic as the alternating cell count c₀ minus c₁ plus c₂ and so on. The open question asks whether every closed affine manifold has Euler characteristic zero. A paired-face parallelepiped curling into a torus supplies a familiar example with chi zero, while a separate arc names three established classes: dimension two, complete affine manifolds, and affine manifolds with a parallel volume form.
An affine structure gives local coordinates related by invertible affine transformations, while Euler characteristic is a global topological invariant. Chern’s conjecture asks whether every closed affine manifold must have χ(M)=0. The result is known in several important classes—including dimension two, complete affine manifolds, and compact special-affine manifolds with a parallel volume form—but the general case remains open.

Current mathematical picture

Where work on Chern’s Conjecture for Closed Affine Manifolds stands

Open conjecture

The Revision-14 packet preserves the earlier closed-affine-manifold program while sharpening its current caustic-free route. It distinguishes natural chain multiplicity from the still-open relative-degree question, records an exact signed three-defect identity, gives a direct cap-link formula for the clock defect without bounded variation, and proves source-gauge invariance for the physical ray law and clock. It also supplies a fixed limiting angular law with an explicit physical-tail estimate. The remaining work is still substantial: cancellation of the direct clock insertion and fixed-base uniform-time mean, physical cap stability, relative fundamental coverage, and the charged-caustic and other branch packages remain open. No proof or counterexample is claimed.

Strongest supported footholdCoarse invariance of sheet complexity

Support growth, accessible word radius, and Shannon entropy rate are made independent of compact fundamental-domain and finite word-metric choices for one fixed source process.

Evidence posture · Reported result
Leading routeSigned adapted wall-current route

Primary current route: realize the exact total signed finite Euler functional on actual triangulation side-pairing walls and cancel the finite-place and recurrent-end terms while preserving unit augmentation.

Route status · Active route
Useful failureZero-augmentation finite-Euler wall chain

Eliminated as a direct Euler detector because the signed divergence identity is tautologically zero at total mass zero; such chains remain usable only through the distinct signed-Reiter route.

Route status · Eliminated route
Main reductionActual side-pairing bridge

Revision 10 couples the exact source label and Euler chain through one triangulation, so the finite Euler transformations are actual codimension-one sheet-wall pairings.

Evidence posture · Reported reduction
Completed special caseEstablished vanishing classes

The source treats dimension two, compact complete affine manifolds, and compact special-affine manifolds with a parallel volume form as established cases of Euler-characteristic vanishing.

Evidence posture · Source-reported route statement · dependencies incomplete
Priority open bridgeClose the direct clock and fixed-base cancellation route

Prove direct clock-insertion cancellation, physical cap stability, and fixed-base uniform-time mean cancellation with the angular stabilization term controlled by the physical tail or a weaker weighted-uniform-integrability estimate.

Task status · Ready to work on
Research-record correctionResearch-record correction

We corrected the cited passages. We updated the highlighted open task or route. The mathematical claims and their status did not change.

Reader-facing record corrected; mathematics unchanged

Work mapped so far

Chern’s Conjecture for Closed Affine Manifolds in numbers

10kretained lines of mathematical investigation9,960 in the current working snapshot
Argument development
8,212 · 82%
Explored or eliminated routes
381 · 4%
Computational analysis
45 · 0%
Open obligations
508 · 5%
Definitions and setup
814 · 8%
28selected mapped statements14routes investigated14reported milestones10open questions8contribution-ready tasks
How this is measured

This measures retained mathematical investigation, not proximity to a proof. Code, data, logs, repeated text, operational instructions, and generated presentation copy are excluded.

Proposed byShiing-Shen ChernProposed1955Status checkedAug 2, 2026
Source recordedAug 6, 2026

Argument map and routes

How the current approaches connect

Claims, reductions, open questions, active routes, and narrowed alternatives in one mathematical map.

Visible working map

Research route map

28 selected steps

Selected claims, active routes, useful failures, and open questions from the current research map. Arrows appear only for explicitly recorded relationships.

28 selected steps

Scroll horizontally to explore the route

Working route overview for Chern’s Conjecture for Closed Affine ManifoldsA selected map of recorded claims, active routes, useful failures, open questions, and their explicit relationships. Search, filter, zoom, or pan within this page.Chern’s conjecture for closed affine manifolds — Depends on missing premiseChern’s conjecture forclosed affine manifoldsSigned finite Euler-wall Stokes theorem — Depends on missing premiseSigned finite Euler-wallStokes theoremCaustic-free uniformly neutral hard core — Depends on missing premiseCaustic-free uniformlyneutral hard coreClosed solder-form model — Depends on missing premiseClosed solder-form modelConditional signed source-sheet route — Depends on missing premiseConditional signedsource-sheet routeCorrect finite-Euler target hierarchy — Depends on missing premiseCorrect finite-Euler targethierarchyDirect clock–cap-link insertion formula — Depends on missing premiseDirect clock–cap-linkinsertion formulaExact scalarization of Euler transport — Depends on missing premiseExact scalarization of EulertransportFinite Euler identity on actual walls — Depends on missing premiseFinite Euler identity onactual wallsFinite-Euler target across surviving branches — Depends on missing premiseFinite-Euler target acrosssurviving branchesMinimal radiance-quotient dichotomy — Depends on missing premiseMinimal radiance-quotientdichotomyPointwise finite Euler-divergence identity — ChallengedPointwise finiteEuler-divergence identitySigned adapted wall-current route — activeSigned adapted wall-currentrouteOne-dimensional scalar-law route — activeOne-dimensional scalar-lawrouteHyperbolic noncyclic transgression — activeHyperbolic noncyclictransgressionTranslation-saturated and non-split residual branches — activeTranslation-saturated andnon-split residual branchesInfer scalar-law or transport coalescence from cancellation of one Euler moment. — stoppedInfer scalar-law ortransport coalescence fromcancellation…Require an explicit full-projective optimal coupling or deterministic matching before testing Euler transport. — stoppedRequire an explicitfull-projective optimalcoupling…Use a large zero-total-mass signed wall chain as a direct Euler detector. — stoppedUse a large zero-total-masssigned wall chain as adirect…Choose abstract finite Euler transformations independently of the exact source-sheet wall system. — stoppedChoose abstract finite Eulertransformationsindependently…Recertify the bounded Euler model and adapted comparison — OpenRecertify the bounded Eulermodel and adapted comparisonConstruct the signed finite Euler-wall Stokes identity — OpenConstruct the signed finiteEuler-wall Stokes identityProve scalar Euler-law or histogram coalescence — OpenProve scalar Euler-law orhistogram coalescenceAccount for caustic and lower-skeleton corrections — OpenAccount for caustic andlower-skeleton correctionsControl recurrent/projective-end current mass — OpenControlrecurrent/projective-endcurrent…Upgrade gauge realization beyond finitely many loops — OpenUpgrade gauge realizationbeyond finitely many loopsEstablish linear angular accessibility — OpenEstablish linear angularaccessibilityBuild a soldered hyperbolic noncyclic transgression — OpenBuild a soldered hyperbolicnoncyclic transgression
Working claimActive routeOpen, active, or blocked questionUseful failure

Working overview, not proof. The map shows selected recorded relationships; more nodes or edges do not establish correctness or completion.

Active routeSigned adapted wall-current route

Primary current route: realize the exact total signed finite Euler functional on actual triangulation side-pairing walls and cancel the finite-place and recurrent-end terms while preserving unit augmentation.

Route status · Active route
Active routeOne-dimensional scalar-law route

Stronger active alternative: prove convergence of the adapted Uτ-laws in W₁, using CDFs or finite histograms when a finite-valued Euler model has been recertified.

Route status · Active route
Active routeHyperbolic noncyclic transgression

Active replacement for the cyclic-packet shortcut: combine a noncommuting real-regular family with adapted Euler side pairings and solder-aware fillings.

Route status · Active route
Active routeTranslation-saturated and non-split residual branches

Active branch-specific work must translate escaping-sheet or residual representation geometry into the same adapted finite signed Euler functional; determinant-weight or incomplete representation arguments are not enough.

Route status · Active route
Active routeDirect clock insertion and fixed-base law

Use the exact cap-link insertion identity for the clock defect, control the physical cap, and pass the ray-balanced angular law to its fixed limiting base before addressing the remaining time-average cancellation.

Route status · Active route

Explored alternatives

Other routes

9 recorded
Narrowed routeSigned Reiter and co-amenability

Valid sufficient route through approximately invariant signed coset chains and normalized absolute values, but Revision 9 already narrowed it because finitely many Euler-observable pairings require less than full Reiter control.

Route status · Narrowed route
Narrowed routeFull Reiter invariance

Full ℓ¹ invariance remains sufficient but is the strongest item in the corrected hierarchy and is not required by the conjecture’s finite signed endpoint.

Route status · Narrowed route
Not yet justifiedExplicit full-projective coupling

No longer a required target after exact scalarization. A geometric coupling may still be useful only when it actually proves scalar-law balance or supplies another needed current identity.

Route status · Not yet justified
Browse 6 more explored routes
Eliminated routeZero-augmentation finite-Euler wall chain

Eliminated as a direct Euler detector because the signed divergence identity is tautologically zero at total mass zero; such chains remain usable only through the distinct signed-Reiter route.

Route status · Eliminated route
Narrowed routeTriangulation-adapted side-pairing bridge

Active structural bridge aligning exact labels, actual walls, the lifted fundamental chain, and finite Euler transformations; it narrows the geometric target but does not itself cancel the wall current.

Route status · Narrowed route
Route held in reserveFinite Euler chambers and histograms

Paused at the model boundary: the exact histogram formula is available once a finite-valued Euler cocycle is fixed, but boundedness alone does not supply finite chambers.

Route status · Route held in reserve
Eliminated routeBalanced cyclic periodic packets

Eliminated as an Euler proof because cyclic cohomology cannot detect the degree-n Euler class and the current work cancellations are universal matrix identities.

Route status · Eliminated route
Narrowed routeFixed-gauge source-sheet complexity

Narrowed to a coarse invariant of auxiliary label and word-metric choices for one determinant representative; it supplies robust neutral-branch data but no comparison between cofactor gauges.

Route status · Narrowed route
Not yet justifiedPrior-turn Klingler bottleneck comparison

Retained only as a literature-reading hypothesis about where the special-affine proof uses parallel volume; it was not independently checked and cannot serve as a lemma.

Route status · Not yet justified

Route statements and reductions

Statements the next route can inspect and build on

Route statementMinimal radiance-quotient dichotomy

For a minimal irreducible Euler-active radiance quotient Q, either Q lies in the ordinary closure of the determinant-kernel image or that image is a translation-free graph; the earlier full-lattice branch is eliminated.

Source-reported route statement · dependencies incomplete
Route statementCyclic periodic packets are Euler-blind

Any construction whose holonomy and filling data factor only through one cyclic subgroup cannot detect the degree-n Euler class; balanced periodic packets need genuinely noncyclic transition information.

Source-reported route statement · dependencies incomplete
Route statementExact scalarization of Euler transport

For any bounded Borel observable U, the optimal transport cost with cost |U(x)−U(y)| equals the ordinary one-dimensional W₁ distance between the pushforward U-laws.

Source-reported route statement · dependencies incomplete
Route statementFinite histogram formula

If a recertified Euler observable U takes finitely many ordered values, its scalar W₁ cost is the exact weighted sum of absolute cumulative histogram discrepancies.

Source-reported route statement · dependencies incomplete
Route statementSigned finite Euler-wall Stokes theorem

Construct a geometric current identity on the adapted side-pairing walls whose boundary evaluation is the exact total signed finite Euler functional and whose finite-place caustic and recurrent/projective-end contributions cancel.

Source-reported route statement · dependencies incomplete
Route statementScalar Euler-law coalescence

If every adapted observable’s translated and untranslated one-dimensional laws have W₁ distance tending to zero, then the signed wall identity forces χ(M)=0; this is sufficient but not necessary.

Source-reported route statement · dependencies incomplete
Route statementFinite-Euler target across surviving branches

The hyperbolic, charged-caustic, translation-saturated, and residual almost-simple non-split branches are each routed toward the same adapted finite signed Euler functional, with branch-specific missing geometry.

Source-reported route statement · dependencies incomplete
Route statementExact signed three-defect identity

The current work records the signed completion identity χ(M) = −𝔠_T(σ_T^vol) + A_T(σ_T^rb) + 𝔟_T^clock; applying the triangle inequality is only a later robust corollary.

Source-reported route statement · dependencies incomplete
Route statementDirect clock–cap-link insertion formula

The clock defect is expressed directly as the volume-law average of the cap-link insertion pairing, so bounded variation and wall-jump expansions are optional diagnostics rather than prerequisites.

Source-reported route statement · dependencies incomplete
Route statementGauge-invariant physical ray law

Under determinant-one source-metric changes, the physical angular measure, conditional cumulative distribution, cumulative-volume clock, and ray-balanced probability are unchanged.

Source-reported route statement · dependencies incomplete

More ways to contribute

Open questions

Additional prepared tasks for exploring this research frontier.

10 featured tasks
01
Close the direct clock and fixed-base cancellation route

Prove direct clock-insertion cancellation, physical cap stability, and fixed-base uniform-time mean cancellation with the angular stabilization term controlled by the physical tail or a weaker weighted-uniform-integrability estimate.

Suggested move: Audit the direct insertion pairing first, then formulate a triangular-array cancellation lemma that keeps the T-dependent observable explicit.
Ready to work on
02
Control recurrent/projective-end current mass

Show that the adapted signed wall current has no uncancelled residual mass at projective infinity, or identify that residual with a scalar-law discrepancy that vanishes.

Suggested move: Formulate compactness for the current at the recurrent/projective end while retaining the unit source mode rather than passing to an Euler-blind zero-mass limit.
Ready to work on
03
Account for caustic and lower-skeleton corrections

Develop the wall-current formula through tangencies, lower-dimensional simplicial strata, affine-parabolic walls, and cofactor caustics, including signed multiplicity and finite-place excess.

Suggested move: Test a stratified current formulation against the exact flat-torus caustic and allow generic perturbation or approximation where trajectories are not transverse.
Ready to work on
04
Build a soldered hyperbolic noncyclic transgression

Use a finite noncommuting real-regular family and the adapted side pairings to convert hyperbolic cofactor returns into a genuine degree-n Euler transition rather than a cyclic packet identity.

Suggested move: Compare fillings for several noncommuting positive-regular elements with the projective-Piola/Euler transition class.
Ready to work on
05
Route translation-saturated and residual non-split branches

Translate the end geometry of the translation-saturated branch and the remaining almost-simple non-split representation cases into the same adapted finite signed Euler functional.

Suggested move: Complete the outstanding representation sieve where needed, then identify the branch-specific end term with the finite wall functional rather than a determinant-weight surrogate.
Ready to work on
06
Recertify the bounded Euler model and adapted comparison

Verify the positive-ray bounded Euler cocycle, its ordinary Euler normalization, the Γ-equivariant cellular-to-bar comparison preserving actual side pairings, and the action and ℓ¹ conventions.

Suggested move: Fix the positive-ray, action, and ℓ¹ conventions and check the selected comparison against the exact lifted simplicial side-pairing decomposition.
Ready to work on
07
Upgrade gauge realization beyond finitely many loops

Extend open-path and local-corridor cofactor realization to a positive-measure family capable of feeding the signed wall identity or scalar-law estimates.

Suggested move: Preserve the global loop and two-jet choices from the recertified constrained closing capsule while seeking a family-level construction.
Ready to work on
08
Establish linear angular accessibility

Close the independent Revision-9 contradiction route by controlling angular accessibility on a linear flow-time scale rather than assuming it.

Suggested move: Compare the o(T) accessible Euler radius with the exponential Euler-orbit growth using an independently proved linear-accessibility mechanism.
Ready to work on
09
Construct the signed finite Euler-wall Stokes identity

Realize the exact adapted finite Euler functional as the boundary evaluation of a source/Piola current and make its finite-place and recurrent-end contributions cancel with unit augmentation preserved.

Suggested move: For each codimension-one simplex, express the scalar CDF defect or signed moment defect as an intersection or boundary count of a source/Piola filling at the actual side-pairing wall.
Prerequisites still open
10
Prove scalar Euler-law or histogram coalescence

As a stronger alternative to total signed cancellation, prove that every adapted translated and untranslated Uτ-law has vanishing one-dimensional W₁ distance, or establish its finite CDF/histogram form after cocycle recertification.

Suggested move: Pull threshold sets {Uτ≤t} back by the reduced source map and estimate their translated signed boundary counts without constructing an unnecessary full-projective coupling.
Prerequisites still open

Sourced mathematical context

The known mathematical landscape

Context collected Aug 2, 2026
Current statusOpen conjecture

The unrestricted conjecture that every closed affine manifold has Euler characteristic zero remains open. It is proved for closed affine surfaces, complete affine manifolds, and special affine manifolds admitting a parallel volume form.

[2][5]
External progress

What the literature has established

Selected external milestones in reverse chronological order, with their evidence posture.

  1. Peer reviewedBagaev and Zhukova proved equivalence with an Euler-Satake analogue for compact affine orbifolds and extended the complete and special-affine sufficient conditions to that setting.[6]
  2. Peer reviewedKlingler proved the conjecture for special affine manifolds, equivalently the case admitting a parallel volume form.[1]
  3. PreprintSmillie showed that torsion-freeness is essential by constructing, in every even dimension above two, closed manifolds with nonzero Euler characteristic whose tangent bundles admit flat connections.[2]
  4. PreprintKostant and Sullivan proved the conjecture for complete affine manifolds.[2]
6 cited sources5 related results or reductionsReferences

Mathematical neighborhood

Related results and reusable starting points

Current focusChern's conjecture for closed affine manifolds
Solved special caseclosed affine surfaces

The conjecture holds in dimension two.

[2]
Solved special casecomplete affine manifolds

Kostant-Sullivan proves vanishing for the complete case.

[2]
Solved special casespecial affine manifolds

Klingler proves vanishing when a parallel volume form exists.

[1]
Stronger or generalized formclosed manifolds with merely flat tangent bundle

Dropping the torsion-free condition makes the stronger statement false in every even dimension above two.

[2]
Equivalent formulationEuler-Satake vanishing for compact affine orbifolds

The manifold conjecture is equivalent to the stated orbifold analogue.

[6]

Later mathematical changes

What changed after the initial research map

Later recorded revisions that changed the mathematics, without inventing a date or an AI attribution.

Direct clock and fixed-base route made exactRevision 14 makes the clock defect and physical-to-fixed-base comparison explicit while preserving the unresolved cancellation and relative-degree obligations.

Changed the research frontierLater mathematical revision

Research stage 16

The initial argument structure appears separately. Uploads, model runs, and presentation changes do not count as mathematical updates.

Research-record corrections

What changed in the research record

These notes describe corrections to cited passages, highlighted tasks, or connections between claims. The mathematical claims and their status did not change.

Research-record correctionWe corrected the cited passages. We updated the highlighted open task or route. The mathematical claims and their status did not change.

Corrected the research recordCorrection note

Correction details

The initial argument structure appears separately. Uploads, model runs, and presentation changes do not count as mathematical updates.

How the route was assembled

Argument structure

These stages follow the mathematical order of the supplied argument.

15 mapped milestonesretained argument map

Browse all 15 mapped stages

  1. stage 1Open conjecture and exact affine boundary
  2. stage 2Minimal radiance quotient and two-way shell
  3. stage 3Cofactor and projective-Gauss layer
  4. stage 4Exact triangulated source-sheet labels
  5. stage 5Signed Reiter route
  6. stage 6Finite Euler-divergence certificate
  7. stage 7Cyclic periodic-packet route eliminated
  8. stage 8Revision-9 Euler-cost coalescence target
  9. stage 9Revision-9 signed-chain scalar criterion
  10. stage 10Finite moment and transport targets separated
  11. stage 11Euler transformations aligned with actual walls
  12. stage 12Euler transport scalarized to one dimension
  13. stage 13Signed finite-Euler augmentation made exact
  14. stage 14Source-sheet complexity made coarsely choice-invariant
  15. stage 15Corrected signed wall-current frontier
Open conjecture and exact affine boundaryThe current work fixes Chern’s conjecture as unresolved, records established restricted classes, and requires pointwise invertible closed solder data in any proof or counterexample route.

Mapped research milestoneInitial research sequence

Research stage 1
Minimal radiance quotient and two-way shellThe retained algebraic program removes the full translation-lattice branch and reduces a minimal Euler-active radiance quotient to translation saturation or a translation-free graph.

Mapped research milestoneInitial research sequence

Research stage 2
Cofactor and projective-Gauss layerExact Piola and projective-integrability identities recast the geometric obstruction as caustic, wall, determinant-return, and recurrent-end transition data.

Mapped research milestoneInitial research sequence

Research stage 3
Exact triangulated source-sheet labelsChosen simplex lifts give an exact equivariant Borel deck label with finite image on every finite source-time slab.

Mapped research milestoneInitial research sequence

Research stage 4
Signed Reiter routeApproximately invariant nonzero signed coset chains yield co-amenability without an augmentation condition, giving a conditional source-sheet completion route.

Mapped research milestoneInitial research sequence

Research stage 5
Finite Euler-divergence certificateRelative to a recertified bounded Euler model, finitely many bounded observables give exact pointwise and probability identities for χ(M).

Mapped research milestoneInitial research sequence

Research stage 6
Cyclic periodic-packet route eliminatedBalanced periodic packets inside one cyclic subgroup cannot detect the degree-n Euler class and must be replaced by noncommuting transition data.

Mapped research milestoneInitial research sequence

Research stage 7
Revision-9 Euler-cost coalescence targetRevision 9 proposed filling-induced vanishing Euler transport cost as the preferred common completion target.

Mapped research milestoneInitial research sequence

Research stage 8
Revision-9 signed-chain scalar criterionRevision 9 retained signed finite-Euler boundary cancellation with a source-mass normalization whose exact augmentation dependence was not yet exposed.

Mapped research milestoneInitial research sequence

Research stage 9
Finite moment and transport targets separatedAn exact three-point counterexample shows that first-moment cancellation does not imply scalar-law or transport coalescence, restoring the strict sufficient-target hierarchy.

Mapped research milestoneInitial research sequence

Research stage 10
Euler transformations aligned with actual wallsOne triangulation now supplies the exact Borel label, lifted fundamental chain, actual side pairings, and finite Euler transformations.

Mapped research milestoneInitial research sequence

Research stage 11
Euler transport scalarized to one dimensionOptimal U-cost equals one-dimensional W₁ of the U-laws, with exact CDF and conditional finite-histogram formulas and no need for an explicit full-projective plan.

Mapped research milestoneInitial research sequence

Research stage 12
Signed finite-Euler augmentation made exactThe exact signed identity introduces the factor χ(M)m(X), eliminating zero-augmentation wall chains as direct Euler detectors while preserving signed Reiter separately.

Mapped research milestoneInitial research sequence

Research stage 13
Source-sheet complexity made coarsely choice-invariantCompact fundamental-domain changes and finite word-metric changes preserve the current work’s subexponential support, entropy, and accessible-radius conclusions for a fixed gauge.

Mapped research milestoneInitial research sequence

Research stage 14
Corrected signed wall-current frontierThe current primary endpoint is a unit-augmented signed Stokes identity on actual side-pairing walls, with all caustic, lower-skeleton, determinant-height, and recurrent-end corrections included.

Mapped research milestoneInitial research sequence

Research stage 15

Detailed research inventory

Claims, milestones, and routes in the current map

This view highlights the mathematical statements most useful for following the current route.

24 standing statements4 proposed statements14 mathematical milestones10 open questions4 narrowed routes9 conditional results1 completed special cases
Statements by mathematical role28 selected mapped statements
  • theorem candidate2 of 282
  • lemma13 of 2813
  • equivalence2 of 282
  • reduction9 of 289
  • negative result2 of 282
Selected mathematical clusters8 mathematical clusters
Problem boundary and known classesThe unrestricted open conjecture, the exact affine/solder formulation, and the retained established special cases.4 displayed rows · 1 route included
  • retained route statementChern’s conjecture for closed affine manifolds
  • retained route statementEstablished vanishing classesspecial case
  • retained route statementClosed solder-form model
  • Not yet justifiedPrior-turn Klingler bottleneck comparisonRetained only as a literature-reading hypothesis about where the special-affine proof uses parallel volume; it was not independently checked and cannot serve as a lemma.
Minimal-counterexample algebraic shellMinimal radiance quotients, translation-versus-graph reduction, representation constraints, and the surviving translation-saturated or residual non-split branches.5 displayed rows · 1 route included
  • retained route statementMinimal radiance-quotient dichotomyintermediate
  • retained route statementFinite-Euler target across surviving branchesconditional
  • Research targetRoute translation-saturated and residual non-split branchesopen
  • ComputationEmbedded exact-symbolic D₅ half-spin identity and D₆ half-spin Weyl-generator invariance checks.The current work reports exact polynomial identity and Weyl-generator checks, with expected expanded-term counts 35 and 1539. · reported unreproduced
  • Active routeTranslation-saturated and non-split residual branchesActive branch-specific work must translate escaping-sheet or residual representation geometry into the same adapted finite signed Euler functional; determinant-weight or incomplete representation arguments are not enough.
Cofactor, Piola, and projective-Gauss geometryThe exact cofactor identities, projective integrability, symbolic adversarial models, and the caustic or recurrent transition geometry they expose.4 displayed rows
  • retained route statementCofactor Piola identitiesintermediate
  • retained route statementProjective integrability of the cofactor flowintermediate
  • ComputationEmbedded exact-symbolic SymPy checks for the anisotropic radiant Hopf axis, the flat-torus caustic field and local indices, and rank-one adjugate, determinant, and bordered-Hessian identities.The current work reports the expected Hopf-axis field and density, four flat-torus caustic Jacobian determinants equal to −1, and exact rank-one polynomial identities. · reported unreproduced
  • Research targetUpgrade gauge realization beyond finitely many loopsopen
Exact source-sheet processTriangulated exact labels, finite support on finite slabs, fixed-gauge coarse complexity, and the corrected boundary between auxiliary choice invariance and gauge dynamics.7 displayed rows · 2 routes included
  • retained route statementExact triangulated source-sheet labelintermediate
  • retained route statementFinite source-sheet support on finite slabsintermediate
  • retained route statementCoarse invariance of source-sheet complexityintermediate
  • Useful failureTreat the source-sheet support or entropy growth exponent as dependent on the chosen compact Borel fundamental domain.reported failure
  • Useful failurePromote fundamental-domain invariance of labels to gauge invariance of the cofactor dynamics.reported failure
  • Narrowed routeFixed-gauge source-sheet complexityNarrowed to a coarse invariant of auxiliary label and word-metric choices for one determinant representative; it supplies robust neutral-branch data but no comparison between cofactor gauges.
  • Narrowed routeTriangulation-adapted side-pairing bridgeActive structural bridge aligning exact labels, actual walls, the lifted fundamental chain, and finite Euler transformations; it narrows the geometric target but does not itself cancel the wall current.
Bounded Euler and scalar lawsFinite Euler divergence, exact probability identity, transport inequality, scalarization, conditional histograms, and the bounded-Euler recertification boundary.11 displayed rows · 2 routes included
  • retained route statementPointwise finite Euler-divergence identityconditional
  • retained route statementExact finite Euler probability identityconditional
  • retained route statementFinite Euler transport inequalityconditional
  • retained route statementFinite Euler identity on actual wallsconditional
  • retained route statementExact scalarization of Euler transport
  • retained route statementFinite histogram formulaconditional
  • ChallengeThe bounded projective Euler cocycle, its ordinary Euler normalization, positive-ray convention, and comparison map remain external or recertification inputs and cannot be promoted from the current work alone.unsupported step · open
  • ChallengeScalarization is general, but the finite histogram form is available only after fixing and recertifying a finite-valued or controlled piecewise-constant Euler cocycle model.overclaimed scope · open
  • Research targetRecertify the bounded Euler model and adapted comparisonopen
  • Active routeOne-dimensional scalar-law routeStronger active alternative: prove convergence of the adapted Uτ-laws in W₁, using CDFs or finite histograms when a finite-valued Euler model has been recertified.
  • Route held in reserveFinite Euler chambers and histogramsPaused at the model boundary: the exact histogram formula is available once a finite-valued Euler cocycle is fixed, but boundedness alone does not supply finite chambers.
Revision-10 corrections and no-revisit resultsThe moment/transport correction, exact signed augmentation law, cyclic blindness, and the current failed-route ledger that prevents overstrong or ill-normalized restarts.23 displayed rows · 4 routes included
  • supersededRevision-9 moment/transport identificationintermediate
  • retained route statementCorrect finite-Euler target hierarchyintermediate
  • supersededRevision-9 underspecified signed-chain criterionconditional
  • retained route statementExact signed augmentation requirementintermediate
  • retained route statementCyclic periodic packets are Euler-blindintermediate
  • ChallengeEqual scalar means do not imply equality of scalar laws or zero W₁ cost; the three-point laws α=½(δ₋₁+δ₁) and β=δ₀ have the same mean and W₁=1.counterexample · reported resolved
  • ChallengeThe Revision-9 normalization language is insufficiently explicit: direct finite-Euler detection depends on augmentation ε(c), and zero augmentation makes the identity tautological.premise version conflict · reported resolved
  • ComputationThree-point scalar-law counterexample to moment/transport equivalence.For α=½(δ₋₁+δ₁) and β=δ₀, both means are zero while W₁(α,β)=1. · reported unreproduced
  • Useful failureInfer scalar-law or transport coalescence from cancellation of one Euler moment.reported failure
  • Useful failureRequire an explicit full-projective optimal coupling or deterministic matching before testing Euler transport.reported failure
  • Useful failureUse a large zero-total-mass signed wall chain as a direct Euler detector.reported failure
  • Useful failureChoose abstract finite Euler transformations independently of the exact source-sheet wall system.reported failure
  • Useful failureInterchange scalar eigenvalues of affine and determinant-normalized cotangent transport.reported failure
  • Useful failureInfer finite Euler chambers or a finite histogram model from boundedness of the observables alone.reported failure
  • Useful failureRequire every finite Euler moment defect to vanish separately.reported failure
  • Useful failureTreat alignment of Euler generators with actual side-pairing walls as the missing Stokes cancellation itself.reported failure
  • Useful failureTreat scalar histogram coalescence as a necessary condition for Euler cancellation.reported failure
  • Useful failureTransfer the no-augmentation normalization of signed Reiter chains directly to signed finite-Euler chains.reported failure
  • Useful failureUse balanced periodic eigenray packets inside one cyclic subgroup as an Euler proof.reported failure
  • Not yet justifiedExplicit full-projective couplingNo longer a required target after exact scalarization. A geometric coupling may still be useful only when it actually proves scalar-law balance or supplies another needed current identity.
  • Eliminated routeZero-augmentation finite-Euler wall chainEliminated as a direct Euler detector because the signed divergence identity is tautologically zero at total mass zero; such chains remain usable only through the distinct signed-Reiter route.
  • Eliminated routeBalanced cyclic periodic packetsEliminated as an Euler proof because cyclic cohomology cannot detect the degree-n Euler class and the current work cancellations are universal matrix identities.
  • Narrowed routeFull Reiter invarianceFull ℓ¹ invariance remains sufficient but is the strongest item in the corrected hierarchy and is not required by the conjecture’s finite signed endpoint.
Adapted wall-current frontierActual side-pairing walls, unit-augmented signed Stokes cancellation, scalar-law alternative, stratified finite-place corrections, and recurrent-end compactness.12 displayed rows · 3 routes included
  • retained route statementTriangulation-adapted side-pairing boundaryintermediate
  • retained route statementFinite Euler identity on actual wallsconditional
  • retained route statementSigned finite Euler-wall Stokes theorem
  • retained route statementScalar Euler-law coalescenceconditional
  • ChallengeActual side-pairing alignment does not make arbitrary cofactor trajectories transverse or finite-crossing; tangencies, lower-skeleton hits, intervals inside walls, and infinite crossings still require current or approximation machinery.overclaimed scope · open
  • Research targetConstruct the signed finite Euler-wall Stokes identityopen
  • Research targetProve scalar Euler-law or histogram coalescenceopen
  • Research targetAccount for caustic and lower-skeleton correctionsopen
  • Research targetControl recurrent/projective-end current massopen
  • Active routeSigned adapted wall-current routePrimary current route: realize the exact total signed finite Euler functional on actual triangulation side-pairing walls and cancel the finite-place and recurrent-end terms while preserving unit augmentation.
  • Active routeOne-dimensional scalar-law routeStronger active alternative: prove convergence of the adapted Uτ-laws in W₁, using CDFs or finite histograms when a finite-valued Euler model has been recertified.
  • Narrowed routeTriangulation-adapted side-pairing bridgeActive structural bridge aligning exact labels, actual walls, the lifted fundamental chain, and finite Euler transformations; it narrows the geometric target but does not itself cancel the wall current.
Neutral, hyperbolic, caustic, and residual branchesThe caustic-free neutral hard core and the remaining hyperbolic, charged-caustic, translation-saturated, and almost-simple non-split work, all routed toward finite Euler transition data.9 displayed rows · 3 routes included
  • retained route statementCaustic-free uniformly neutral hard coreconditional
  • retained route statementFinite-Euler target across surviving branchesconditional
  • retained route statementCyclic periodic packets are Euler-blindintermediate
  • Research targetEstablish linear angular accessibilityopen
  • Research targetBuild a soldered hyperbolic noncyclic transgressionopen
  • Research targetRoute translation-saturated and residual non-split branchesopen
  • Active routeHyperbolic noncyclic transgressionActive replacement for the cyclic-packet shortcut: combine a noncommuting real-regular family with adapted Euler side pairings and solder-aware fillings.
  • Active routeTranslation-saturated and non-split residual branchesActive branch-specific work must translate escaping-sheet or residual representation geometry into the same adapted finite signed Euler functional; determinant-weight or incomplete representation arguments are not enough.
  • Narrowed routeFixed-gauge source-sheet complexityNarrowed to a coarse invariant of auxiliary label and word-metric choices for one determinant representative; it supplies robust neutral-branch data but no comparison between cofactor gauges.
How to interpret these counts

A statement may be a lemma, conditional reduction, special case, documented limitation, or open target. These counts describe the work's structure; they do not estimate distance to a proof.

Research outlook

Conditions that would advance the current route

Priority open bridgeProve direct clock-insertion cancellation, physical cap stability, and fixed-base uniform-time mean cancellation with the angular stabilization term controlled by the physical tail or a weaker weighted-uniform-integrability estimate.

4 approaches have already been tested and narrowed. The task above is the current priority within the larger open route.

Evidence needed nextConcrete conditions for progress

A result can change the outlook by closing the bridge, narrowing its scope, or showing that the route cannot work.

  • Control the signed direct insertion pairing without assuming bounded variation.
  • Prove the fixed-base mean cancellation with a valid triangular-array comparison.
  • Retain the separate relative-fundamental-class and physical-cap hypotheses explicitly.

Continue the mathematics

Contribute

ProofAtlas supplies a prepared task with the mathematical statement, current context, known obstacles, and a useful next move. Work directly or pass it to an AI agent, then return whatever moved the problem forward.

Read-only beta · actions unavailable
Prepared starting pointClose the direct clock and fixed-base cancellation route

Chern’s Conjecture for Closed Affine Manifolds · ready to start

Mathematical updatesFollow this problem

Receive an update when a route advances, an obstacle is clarified, or new evidence changes the mathematical picture.

Research contextPrepared context for any AI agent

Must every closed manifold carrying an affine structure have Euler characteristic zero?

  • Exact question and boundaries
  • Current routes and known obstacles
  • What a useful result should report
Return mathematical workReturn what you or your agent found

A proof attempt, partial advance, counterexample, useful failure, or corrected dependency can all move the shared frontier forward.

Proof attempt or partial resultSupporting notes or data
Hosted agentRun this task with a hosted agent

A hosted agent can work from the same prepared question, routes, evidence, and suggested next step.

Your own AI agentConnect an outside research agent

Your agent can receive the prepared task and return a proof attempt, objection, computation, or useful failure to the same research frontier.

Sources and references6 cited works · next context review by Nov 2, 2026

The mathematical context was checked on Aug 2, 2026. Status can be refreshed sooner after a material result or claim.

  1. 1
    Chern's conjecture for special affine manifoldsauthoritative webpage · accessed Aug 2, 2026
  2. 2
  3. 3
    https://arxiv.org/abs/2002.03105preprint · accessed Aug 2, 2026
  4. 4
    Chern's conjecture (affine geometry)encyclopedia · accessed Aug 2, 2026
  5. 5
    Geometric structures on manifolds, previewsurvey or monograph · accessed Aug 2, 2026
  6. 6

Important qualifications

  • No uniquely identified published original source for Chern's circa-1955 formulation was established in this scoped pass, so originalSource is intentionally empty.
  • Several public preprints claim unrestricted proofs, including arXiv:2002.03105, but current survey/book sources still treat the unrestricted statement as a conjecture; those claims were not promoted to solved status here.
  • No authoritative theorem-level formalization resource was identified in the scoped search; an empty list is not an assertion that none exists.
  • Empty formalization or computation lists mean that none was verified in this scoped search, not that none exists.

Continue exploring

Compare another research frontier

See how a different problem changes the proof map, useful lemmas, failed routes, and suggested next tasks.

Explore all research workspaces

Expanded visual

Open original image