pith. sign in

arxiv: 2604.08026 · v1 · submitted 2026-04-09 · 🧮 math.AG

Quasi-Compactness in Infinite Dimension

A. Bernhard Zeidler This is my paper

Pith reviewed 2026-05-10 18:13 UTC · model grok-4.3

classification 🧮 math.AG
keywords quasi-compactnessaffine spacesinverse limitsprime spectraretro-compactnesscylinder setsalgebraic geometryZariski topology
0
0 comments X

The pith

Weak stability, retro-compactness, and cylinder sets are equivalent criteria for quasi-compactness of open subsets in arbitrary-dimensional affine spaces and inverse limits of prime spectra.

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

The paper seeks to characterize when open subsets are quasi-compact in two infinite-dimensional contexts: affine spaces of any dimension and inverse limits of prime spectra. It demonstrates that weak stability, retro-compactness, and membership in cylinder sets serve as equivalent tests for this property in both cases. This equivalence matters for handling topological properties where standard compactness arguments may fail due to infinite dimensionality. The work further provides a concrete example of an affine space that is not quasi-compact.

Core claim

We give extensive characterizations for an open subset of an affine space of arbitrary dimension, resp. of an inverse limit of prime spectra to be quasi-compact. Among other things weak stability, retro-compactness, and cylinder sets provide equivalent criteria in both settings. We also exhibit an example of a non-quasi-compact affine space.

What carries the argument

The equivalence of weak stability, retro-compactness, and cylinder sets as criteria for quasi-compactness.

If this is right

  • Quasi-compactness can be checked by verifying weak stability instead of arbitrary open covers.
  • Retro-compactness is interchangeable with quasi-compactness in these settings.
  • Being a cylinder set is another equivalent test that applies uniformly across both contexts.
  • Affine spaces need not be quasi-compact, as shown by the explicit counterexample.

Where Pith is reading between the lines

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

  • These equivalences could be tested in concrete cases such as polynomial rings in countably many variables to verify the criteria computationally.
  • The same approach might connect to studying compactness properties in other infinite-dimensional algebraic structures.
  • One could explore whether analogous cylinder-based descriptions apply to quasi-compactness in related geometric categories.

Load-bearing premise

The characterizations and equivalences hold for open subsets in the stated settings of arbitrary-dimensional affine spaces and inverse limits of prime spectra without additional restrictions on the base ring or topology.

What would settle it

Finding an open subset in an infinite-dimensional affine space that is quasi-compact but not retro-compact would falsify the claimed equivalence of the criteria.

read the original abstract

We give extensive characterizations for an open subset of an affine space of arbitrary dimension, resp. of an inverse limit of prime spectra to be quasi-compact. Among other things weak stability, retro-compactness, and cylinder sets provide equivalent criteria in both settings. We also exhibit an example of a non-quasi-compact affine space.

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

1 major / 0 minor

Summary. The manuscript claims to give extensive characterizations of quasi-compact open subsets of an affine space of arbitrary dimension and of an inverse limit of prime spectra. It asserts that weak stability, retro-compactness, and cylinder sets furnish equivalent criteria in both settings, and exhibits an explicit example of a non-quasi-compact affine space.

Significance. If the claimed equivalences hold, the work would supply concrete, checkable criteria for quasi-compactness in infinite-dimensional algebraic geometry, a setting where standard Noetherian or finite-dimensional tools fail. The provision of an explicit counter-example shows the notions are non-vacuous and could be useful for studying schemes that arise as inverse limits or as open subsets of infinite-dimensional affine spaces.

major comments (1)
  1. The abstract states the main equivalences and the existence of an example but supplies neither definitions of the new terms (weak stability, retro-compactness, cylinder sets) nor any derivation or proof sketch. Without these, the central claim that the three criteria are equivalent cannot be verified.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their report on our manuscript. We address the single major comment below.

read point-by-point responses

  1. Referee: The abstract states the main equivalences and the existence of an example but supplies neither definitions of the new terms (weak stability, retro-compactness, cylinder sets) nor any derivation or proof sketch. Without these, the central claim that the three criteria are equivalent cannot be verified.

    Authors: Abstracts in mathematical papers are conventionally concise and do not contain definitions or proof sketches; these appear in the body of the work. The notions of weak stability, retro-compactness, and cylinder sets are defined in Section 2, with the relevant equivalences proved in Theorems 3.1 (for open subsets of affine spaces) and 4.2 (for inverse limits of spectra). The explicit example of a non-quasi-compact affine space is constructed in Section 5. A reader examining the full manuscript can therefore verify the stated equivalences. revision: no

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper establishes mathematical equivalences between weak stability, retro-compactness, and cylinder sets as criteria for quasi-compactness of open subsets in affine spaces of arbitrary dimension and inverse limits of prime spectra. These characterizations follow from direct definitions and proofs in the algebraic geometry setting without any reduction to fitted parameters, self-definitions, or load-bearing self-citations. The explicit counterexample of a non-quasi-compact affine space confirms the notions are independent and non-vacuous. The derivation chain remains self-contained and does not collapse any claimed result to its inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract provides no information on free parameters, axioms, or invented entities; full text required to audit them.

pith-pipeline@v0.9.0 · 5325 in / 1050 out tokens · 70990 ms · 2026-05-10T18:13:49.306497+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

8 extracted references · 8 canonical work pages

  1. [1]

    Jean-Baptiste Campesato, Toshizumi Fukui, Krzysztof Kurdyka, and Adam Parusi´ nski,Arc spaces, motivic measure and Lipschitz geometry of real algebraic sets, Advances in Mathemat- ics357(2019), 211–251, DOI 10.1016/j.aim.2019.106826

    work page doi:10.1016/j.aim.2019.106826 2019

  2. [2]

    Jan Denef and Fran¸ cois Loeser,Germs of arcs on singular algebraic varieties and motivic integration, Inventiones mathematicae135(1999), 201–232, DOI 10.1007/s002220050284

    work page doi:10.1007/s002220050284 1999

  3. [3]

    Alexander Grothendieck and Jean Alexandre Eug` ene Dieudonne,El´ ements de G´ eom´ etrie Alg´ ebrique I, Springer Verlag, Grundlehren der mathematischen Wissenschaften, Berlin, 1971

    work page 1971

  4. [4]

    ,El´ ements de G´ eom´ etrie Alg´ ebrique IV (Troisi` eme Partie), Publications math´ ematiques de l’I.H.´E.S., tome 28, Bures-sur-Yvette, 1966

    work page 1966

  5. [5]

    Available at www.mathematik.tu- darmstadt.de/media/algebra/homepages/richarz/Notes on affine Grassmannians.pdf

    Timo Richarz,Basics on affine Grassmanians(2019), 21. Available at www.mathematik.tu- darmstadt.de/media/algebra/homepages/richarz/Notes on affine Grassmannians.pdf

    work page 2019

  6. [6]

    Available at stacks.math.columbia.edu/browse

    Aise Johan de Jong et al.,The Stacks Project, Columbia University, 2025. Available at stacks.math.columbia.edu/browse

    work page 2025

  7. [7]

    QUASI-COMPACTNESS IN INFINITE DIMENSION 13

    Willem Veys,Arc spaces, motivic Integration and stringy Invariants, Advanced Studies in Pure Mathematics43(2006), 529–572, DOI 10.2969/aspm/04310529. QUASI-COMPACTNESS IN INFINITE DIMENSION 13

    work page doi:10.2969/aspm/04310529 2006

  8. [8]

    Mathematisches Institut, Universit ¨at T ¨ubingen, Auf der Morgenstelle 10, 72076 T¨ubingen, Germany Email address:zeidler@math.uni-tuebingen.de

    Andreas Bernhard Zeidler,Infinite Versions of Hilbert’s Nullstellensatz, Communications in Algebra54(3)(2025), 968—974, DOI 10.1080/00927872.2025.2542548. Mathematisches Institut, Universit ¨at T ¨ubingen, Auf der Morgenstelle 10, 72076 T¨ubingen, Germany Email address:zeidler@math.uni-tuebingen.de

    work page doi:10.1080/00927872.2025.2542548 2025