pith. sign in

arxiv: 2207.14629 · v1 · pith:CMKUOGZ5new · submitted 2022-07-29 · 🧮 math.KT · math.AC· math.AT· math.RA

Finite domination and Novikov homology over strongly mathbb{Z}²-graded rings

Thomas Huettemann , Luke Steers This is my paper

Pith reviewed 2026-05-24 11:31 UTC · model grok-4.3

classification 🧮 math.KT math.ACmath.ATmath.RA
keywords finite dominationNovikov homologystrongly graded ringschain complexestype FPgraded Novikov ringsZ^2-gradingK-theory
0
0 comments X

The pith

A bounded chain complex of free modules over a strongly Z²-graded ring is finitely dominated over the degree-zero part if and only if it becomes acyclic after tensoring with each of eight graded Novikov rings.

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

The paper gives an exact criterion for when a bounded complex C of finitely generated free modules over a strongly Z²-graded ring R is chain-homotopy equivalent to a bounded complex of finitely generated projective modules over the subring R_{(0,0)}. This finiteness property holds precisely when tensoring C with any one of eight specific rings of formal power series (the graded Novikov rings) produces an acyclic complex. The criterion extends earlier characterizations that were known only for Laurent polynomial rings in one or two variables. A reader would care because the test replaces the need to construct projective modules over R_{(0,0)} with a collection of homology-vanishing checks.

Core claim

Let R be a strongly Z²-graded ring and let C be a bounded chain complex of finitely generated free R-modules. Then C is R_{(0,0)}-finitely dominated if and only if the tensor product of C with each of the eight graded Novikov rings is acyclic.

What carries the argument

The eight graded Novikov rings (formal power series rings associated to the Z²-grading in the positive and negative directions along each axis and their combinations), whose acyclicity conditions detect the finite-domination obstruction.

If this is right

  • Finite domination can be verified by homology computations over the eight power-series rings rather than by directly building a projective resolution over R_{(0,0)}.
  • The same algebraic test applies to every strongly Z²-graded ring, recovering the known Laurent-polynomial cases as special instances.
  • The vanishing of the associated Novikov homology groups becomes a complete invariant for the finiteness obstruction in this graded setting.
  • The result supplies a uniform method for deciding type FP over the degree-zero subring whenever the strong grading hypothesis holds.

Where Pith is reading between the lines

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

  • Analogous characterizations for Z^n-gradings would likely involve 2^n such Novikov rings.
  • The criterion may simplify explicit K-theory calculations for group rings or crossed products carrying Z²-actions.
  • One could test the equivalence computationally on concrete examples such as group rings of Z² or matrix rings over Laurent polynomials.

Load-bearing premise

The ring R must be strongly Z²-graded, which is needed both to define the eight graded Novikov rings and for their acyclicity conditions to be equivalent to finite domination over R_{(0,0)}.

What would settle it

Exhibit a bounded complex C of free R-modules over a strongly Z²-graded ring such that C is homotopy equivalent to a projective complex over R_{(0,0)} yet C remains non-acyclic after tensoring with at least one of the eight graded Novikov rings, or the converse.

Figures

Figures reproduced from arXiv: 2207.14629 by Luke Steers, Thomas Huettemann.

Figure 1
Figure 1. Figure 1: we show our chosen labelling and orientation of the faces (the orientations will be used later to define incidence numbers). • vbl eb • vbr er • et vtr • vtl el S [PITH_FULL_IMAGE:figures/full_fig_p009_1.png] view at source ↗
Figure 1
Figure 1. Figure 1: For example, [er : vtr] = 1 and [er : vbr] = −1, and [S : e?] = 1 for any decoration ? ∈ {t, l, b, r}. Let R be a Z 2 -graded ring. Definition II.3.1. A quasi-coherent diagram of modules is a functor M : S ✲ R(0,0)-Mod , F 7→ MF as depicted in [PITH_FULL_IMAGE:figures/full_fig_p012_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Quasi-coherent diagram We remark that a quasi-coherent diagram of chain complexes can be considered as a functor defined on S with values in the category of chain complexes of R(0,0)-modules, subject to conditions as above specified levelwise. Moreover, any quasi-coherent diagram of modules can be considered as a quasi-coherent diagram of complexes concentrated in chain degree 0. In case R is a Laurent pol… view at source ↗
Figure 3
Figure 3. Figure 3: The quasi-coherent diagram D(k) More explicitly, the sequence 0 ✛ ΓS [PITH_FULL_IMAGE:figures/full_fig_p014_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: The diagram Evbl [PITH_FULL_IMAGE:figures/full_fig_p017_4.png] view at source ↗
read the original abstract

Let $R$ be a strongly $\mathbb{Z}^2$-graded ring, and let $C$ be a bounded chain complex of finitely generated free $R$-modules. The complex $C$ is $R_{(0,0)}$-finitely dominated, or of type FP over $R_{(0,0)}$, if it is chain homotopy equivalent to a bounded complex of finitely generated projective $R_{(0,0)}$-modules. We show that this happens if and only if $C$ becomes acyclic after taking tensor product with a certain eight rings of formal power series, the graded analogues of classical Novikov rings. This extends results of Ranicki, Quinn and the first author on Laurent polynomial rings in one and two indeterminates.

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.

Referee Report

0 major / 3 minor

Summary. The manuscript proves that for a strongly ℤ²-graded ring R, a bounded chain complex C of finitely generated free R-modules is R_{(0,0)}-finitely dominated (i.e., chain homotopy equivalent to a bounded complex of finitely generated projective R_{(0,0)}-modules) if and only if C becomes acyclic after tensoring with each of eight graded Novikov rings (formal power series rings). This is presented as a direct extension of results of Ranicki, Quinn and the first author for Laurent polynomial rings in one and two indeterminates.

Significance. If the result holds, it supplies an explicit homological criterion (acyclicity over eight graded Novikov rings) for detecting finite domination over the degree-zero subring of a strongly graded ring. This generalizes the classical Novikov-homology detection theorems and supplies a tool that can be used in algebraic K-theory to study finiteness properties of modules and complexes. The paper ships a clean if-and-only-if statement under an explicitly stated strong-grading hypothesis that makes the eight rings well-defined.

minor comments (3)
  1. [Abstract] Abstract: the eight graded Novikov rings are invoked but neither named nor constructed; a brief explicit description or a forward reference to their definition in §2 would make the main statement self-contained.
  2. [§1] §1 (Introduction): the precise statements being generalized from the one- and two-variable Laurent cases are not cited; adding the relevant theorem numbers from the earlier papers would clarify the scope of the extension.
  3. [§2] Notation: the symbol R_{(0,0)} is used without an explicit reminder that it denotes the degree-(0,0) component; a one-sentence reminder in the first paragraph of §2 would prevent any ambiguity for readers unfamiliar with graded-ring conventions.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of the manuscript, the clear summary of its main result, and the recommendation for minor revision. No specific major comments appear in the report.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper presents an if-and-only-if characterization theorem in homological algebra: a bounded complex C of f.g. free modules over a strongly Z^2-graded ring R is R_{(0,0)}-finitely dominated precisely when C becomes acyclic after base change to eight graded Novikov power-series rings. The strong-grading hypothesis is required only to ensure the target rings are well-defined; the equivalence itself is stated as a new result extending (but not logically reduced to) prior work on Laurent-polynomial cases. No equation, definition, or central claim is shown to be equivalent to its own inputs by construction, and the single self-citation is merely an extension reference rather than a load-bearing justification. The derivation is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard background in homological algebra and graded ring theory; no free parameters, invented entities, or ad-hoc axioms are indicated in the abstract.

axioms (2)
  • standard math Standard properties of bounded chain complexes of free modules and tensor products
    Invoked implicitly as background for the domination and acyclicity notions.
  • domain assumption Existence of eight graded Novikov rings associated to a strongly Z^2-graded ring
    The equivalence depends on these rings being definable and behaving as classical Novikov rings do.

pith-pipeline@v0.9.0 · 5661 in / 1306 out tokens · 39922 ms · 2026-05-24T11:31:11.807099+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

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

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.

Reference graph

Works this paper leans on

7 extracted references · 7 canonical work pages

  1. [1]

    Everett C. Dade. Group-graded rings and modules. Math. Z. , 174(3):241--262, 1980

    work page 1980

  2. [2]

    Finite domination and N ovikov rings: L aurent polynomial rings in two variables

    Thomas H \"u ttemann and David Quinn. Finite domination and N ovikov rings: L aurent polynomial rings in two variables. J. Algebra Appl. , 14(4):1550055, 44, 2015

    work page 2015

  3. [3]

    Finite domination and N ovikov homology over strongly Z -graded rings

    Thomas H\" u ttemann and Luke Steers. Finite domination and N ovikov homology over strongly Z -graded rings. Israel J. Math. , 221(2):661--685, 2017

    work page 2017

  4. [4]

    Finiteness of total cofibres

    Thomas H \"u ttemann. Finiteness of total cofibres. K -Theory , 31(2):101--123, 2004

    work page 2004

  5. [5]

    K -theory of non-linear projective toric varieties

    Thomas H \"u ttemann. K -theory of non-linear projective toric varieties. Forum Math. , 21(1):67--100, 2009

    work page 2009

  6. [6]

    The algebraic theory of finiteness obstruction

    Andrew Ranicki. The algebraic theory of finiteness obstruction. Math. Scand. , 57(1):105--126, 1985

    work page 1985

  7. [7]

    Finite domination and N ovikov rings

    Andrew Ranicki. Finite domination and N ovikov rings. Topology , 34(3):619--632, 1995

    work page 1995