AIProofWatch
← Explore interestsIndividual problem

Infinite little finitistic dimension

The conjecture bounds finite projective dimensions over each fixed finite-dimensional algebra.

Progress records 1

Understand the problem ↓

1 record · How we rate progress

Understanding the problem

Read the background

The conjecture bounds finite projective dimensions over each fixed finite-dimensional algebra. Varying the algebra or exhibiting only infinite projective dimensions would not refute it.

The complex algebra is fixed before the module family varies. This record does not conflate its characteristic-zero example with the family’s separate characteristic-two construction.

Why it matters

If correct, refutes universal finiteness with one fixed algebra and unbounded terminating projective resolutions.

What counts as progress

A sourced resolution or substantial advance on the precise target, with hypotheses, prior context, and verification evidence stated separately.

What to watch for

  • Assess the precise statement and assumptions before comparing results.
  • The complex algebra is fixed before the module family varies. This record does not conflate its characteristic-zero example with the family’s separate characteristic-two construction.
  • Track independent assessments, dependencies, corrections, and withdrawals separately from importance.

Background review: 2026-10-11. Selected sources:

Website timeline

Publication dates and editorial changes.