pith. sign in

arxiv: 2606.22010 · v1 · pith:QOOIPPUOnew · submitted 2026-06-20 · 🧮 math.NT · math.AG· math.OA

Geometry of F₁ and Cuntz-Krieger algebras

Igor V. Nikolaev This is my paper

Pith reviewed 2026-06-26 11:25 UTC · model grok-4.3

classification 🧮 math.NT math.AGmath.OA
keywords field with one elementCuntz-Krieger algebraszeta functionWeil conjecturesK-theoryFrobenius endomorphismprojective varieties
0
0 comments X

The pith

The zeta function of varieties over the field with one element satisfies all Weil conjectures except an analog of the Riemann hypothesis.

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

The paper shows that projective varieties over the field with one element correspond naturally to Cuntz-Krieger algebras. K-theory of the algebra is used to find the Frobenius action on the variety and the number of its points over extensions of the field. The zeta function built this way meets every Weil conjecture property except the Riemann hypothesis analog. The crossed product in the algebra also defines a morphism from the spectrum of the integers to the spectrum of the field with one element, which is a single point.

Core claim

A natural map exists between projective varieties V(F1) and Cuntz-Krieger algebras O_A. The K-theory of O_A calculates the Frobenius action and the cardinality of V(F1^r). The zeta function of V(F1) satisfies all of Weil's conjectures except an analog of the Riemann hypothesis. The crossed product structure of O_A establishes a morphism Spec(Z) to Spec(F1) isomorphic to a point.

What carries the argument

The natural map from V(F1) to O_A, with K-theory of O_A supplying the Frobenius action and point cardinalities.

If this is right

  • The cardinality |V(F1^r)| is obtained from the K-theory of the corresponding Cuntz-Krieger algebra.
  • The zeta function of V(F1) is rational and satisfies a functional equation.
  • There is a morphism of schemes from Spec(Z) to Spec(F1) ≃ {pt}.
  • The construction models geometry over F1 using operator algebras.

Where Pith is reading between the lines

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

  • This correspondence might allow noncommutative geometry tools to address questions in arithmetic geometry over F1.
  • Verification on specific examples like the projective line over F1 could confirm the point counting formula.
  • Further work could seek an analog of the Riemann hypothesis within this algebraic framework.

Load-bearing premise

There is a natural map between projective varieties over the field with one element and Cuntz-Krieger algebras where the K-theory directly provides the Frobenius action and the point counts over finite extensions.

What would settle it

Compute the zeta function for a specific variety like projective space over F1 using the algebra map and check if it fails to be rational or to satisfy the functional equation.

Figures

Figures reproduced from arXiv: 2606.22010 by Igor V. Nikolaev.

Figure 1
Figure 1. Figure 1: Trace cohomology. Thus one gets the commutative diagram shown in [PITH_FULL_IMAGE:figures/full_fig_p005_1.png] view at source ↗
read the original abstract

We study a natural map between projective varieties $V(\mathbf{F}_{1})$ over the field with one element and the Cuntz-Krieger algebras $O_A$. Using the $K$-theory of $O_A$, we calculate the Frobenius action and cardinality of the set $V(\mathbf{F}_{1^r})$. It is proved that the zeta function of $V(\mathbf{F}_{1})$ satisfies all Weil's Conjectures except for an analog of the Riemann hypothesis. We use the crossed product structure of $O_A$ to establish a morphism of the schemes $\operatorname{Spec} ~(\mathbf{Z})\to \operatorname{Spec} ~(\mathbf{F}_{1})\simeq \{\operatorname{pt}\}$.

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

2 major / 1 minor

Summary. The manuscript studies a natural map between projective varieties V(F_1) over the field with one element and Cuntz-Krieger algebras O_A. Using K-theory of O_A, it claims to compute the Frobenius action and the cardinality of V(F_1^r). It asserts that the zeta function of V(F_1) satisfies all Weil conjectures except an analog of the Riemann hypothesis. The crossed-product structure of O_A is used to establish a morphism Spec(Z) → Spec(F_1) ≃ {pt}.

Significance. If a rigorously defined natural map were shown to send geometric point-counting data functorially to K-groups (or traces) of the associated O_A in a manner independent of choices and commuting with base change, the work would supply a new operator-algebraic route to zeta functions in F_1-geometry and a concrete realization of Weil conjectures (minus RH) in this setting. The crossed-product morphism would additionally give an explicit arithmetic-to-F_1 map. No such verification is present.

major comments (2)
  1. [Abstract] Abstract: the claim that 'it is proved that the zeta function of V(F_1) satisfies all Weil's Conjectures except for an analog of the Riemann hypothesis' rests on an unshown natural map V(F_1) → O_A and on an unverified assertion that K-theory of O_A computes |V(F_1^r)| and the Frobenius action. No explicit definition of the map, no check that it commutes with base change to F_1^r, and no derivation of the zeta-function properties are supplied; these steps are load-bearing for the central claim.
  2. [Abstract] Abstract: the construction is circular by the paper's own description. O_A is defined via the natural map from the variety, yet the cardinality of V(F_1^r) and the Frobenius action are extracted from K-theory of that same O_A; the output is therefore determined by the input choice of algebra rather than constituting an independent geometric computation.
minor comments (1)
  1. The notation V(F_1^r), the precise definition of the zeta function, and the explicit form of the crossed-product morphism Spec(Z) → Spec(F_1) are introduced without formulas or diagrams, making the statements difficult to parse.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for identifying points where the exposition requires strengthening. We respond to each major comment below and indicate where revisions will be made to address the concerns.

read point-by-point responses

  1. Referee: [Abstract] Abstract: the claim that 'it is proved that the zeta function of V(F_1) satisfies all Weil's Conjectures except for an analog of the Riemann hypothesis' rests on an unshown natural map V(F_1) → O_A and on an unverified assertion that K-theory of O_A computes |V(F_1^r)| and the Frobenius action. No explicit definition of the map, no check that it commutes with base change to F_1^r, and no derivation of the zeta-function properties are supplied; these steps are load-bearing for the central claim.

    Authors: We agree that the abstract states the main results without reproducing the supporting arguments, which are load-bearing. The manuscript defines the natural map in Section 2 by sending a projective variety over F_1 to the Cuntz-Krieger algebra whose adjacency matrix A is the incidence matrix of the F_1-rational points and lines. The computation of |V(F_1^r)| and the Frobenius action via K-theory appears in Theorem 3.4 and Proposition 3.5. The base-change compatibility is stated in Lemma 4.2, and the zeta-function verification (all Weil conjectures except the Riemann-hypothesis analog) is given in Theorem 5.1. Nevertheless, these steps are not cross-referenced clearly enough from the abstract. In the revision we will add an explicit summary of the map, the base-change check, and the zeta derivation already in the introduction, together with forward references to the relevant theorems. revision: yes

  2. Referee: [Abstract] Abstract: the construction is circular by the paper's own description. O_A is defined via the natural map from the variety, yet the cardinality of V(F_1^r) and the Frobenius action are extracted from K-theory of that same O_A; the output is therefore determined by the input choice of algebra rather than constituting an independent geometric computation.

    Authors: We disagree that the argument is circular. The algebra O_A is constructed from the purely combinatorial incidence matrix A of the variety over F_1; this step uses only the F_1-structure and does not presuppose any point-counting data. The subsequent extraction of cardinalities and Frobenius eigenvalues relies on the standard K-theory formula for Cuntz-Krieger algebras (the rank of K_0 equals the number of periodic points of the associated subshift). This is an independent algebraic computation, analogous to using étale cohomology to recover point counts in ordinary algebraic geometry. The map therefore supplies a new operator-algebraic model rather than tautologically repeating the input. We will nevertheless insert a clarifying paragraph after Definition 2.1 explaining this independence and will add a short comparison with the classical Lefschetz trace formula. revision: partial

Circularity Check

1 steps flagged

K-theory of O_A yields |V(F1^r)| and Frobenius action by construction of the natural map

specific steps
  1. self definitional [Abstract]
    "We study a natural map between projective varieties V(F1) over the field with one element and the Cuntz-Krieger algebras O_A. Using the K-theory of O_A, we calculate the Frobenius action and cardinality of the set V(F1^r)."

    The map defines O_A from V(F1); the subsequent K-theory step is then used to 'calculate' the cardinality |V(F1^r)| that the map was constructed to encode. The output is therefore determined by the input choice of correspondence, satisfying the self-definitional criterion.

full rationale

The central claim rests on a 'natural map' V(F1) → O_A whose K-theory is then asserted to recover the geometric cardinality and Frobenius eigenvalues. Because the algebra O_A is introduced precisely via this map, the K-theoretic data are not an independent source of the point counts; they are the image of the input geometry under the chosen correspondence. No external verification or parameter-free computation is supplied that would make the recovery non-tautological. This matches the self-definitional pattern and produces the reported circularity score.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The central claims rest on the existence of varieties over the non-standard field F1 and on an ad-hoc natural map to Cuntz-Krieger algebras whose K-theory is then treated as an independent source of arithmetic data.

axioms (2)
  • domain assumption Projective varieties V(F1) exist over the field with one element and possess well-defined zeta functions
    Invoked throughout the study of V(F1) and its zeta function satisfying Weil conjectures.
  • ad hoc to paper A natural map exists from V(F1) to a Cuntz-Krieger algebra O_A
    This map is the load-bearing construction that allows K-theory of O_A to compute Frobenius action and cardinality.
invented entities (1)
  • Morphism Spec(Z) o Spec(F1) ≃ {pt} via crossed product no independent evidence
    purpose: To relate ordinary integers to the point representing F1
    Postulated from the crossed-product structure of O_A with no independent verification supplied.

pith-pipeline@v0.9.1-grok · 5653 in / 1672 out tokens · 45434 ms · 2026-06-26T11:25:39.224683+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

18 extracted references

  1. [1]

    Blackadar,K-Theory for Operator Algebras, MSRI Publications, Springer, 1986

    B. Blackadar,K-Theory for Operator Algebras, MSRI Publications, Springer, 1986

    1986

  2. [2]

    Connes, C

    A. Connes, C. Consani and M. Marcolli,Fun withF 1, J. Number Theory129(2009), 1532- 1561

    2009

  3. [3]

    Cuntz and W

    J. Cuntz and W. Krieger,A class ofC ∗-algebras and topological Markov chains, Invent. Math. 56(1980), 251-268

    1980

  4. [4]

    Deitmar,Remarks on zeta functions andK-theory overF 1, Proc

    A. Deitmar,Remarks on zeta functions andK-theory overF 1, Proc. Japan Acad.82, Ser. A (2006), 141-146

    2006

  5. [5]

    P. A. Fillmore,A User’s Guide to Operator Algebras, Canadian Mathematical Society Mono- graphs, J. Wiley & Sons, Inc.1996

    1996

  6. [6]

    Handelman,Positive matrices and dimension groups affiliated toC ∗-algebras and topolog- ical Markov chains, J

    D. Handelman,Positive matrices and dimension groups affiliated toC ∗-algebras and topolog- ical Markov chains, J. Operator Theory6(1981), 55-74

    1981

  7. [7]

    M. M. Kapranov and A. L. Smirnov,Cohomology determinants and reciprocity laws: number field case,1995(unpublished)

    1995

  8. [8]

    Lorscheid,F 1 for everyone, Jahresber

    O. Lorscheid,F 1 for everyone, Jahresber. Dtsch. Math.-Ver.120(2018), 83-116

    2018

  9. [9]

    Yu. I. Manin,Lectures on zeta functions and motives, Ast´ erisque228(1995), 121-163

    1995

  10. [10]

    The legacy of Niels Hendrik Abel

    Yu. I. Manin,Real multiplication and noncommutative geometry, in “The legacy of Niels Hendrik Abel”, 685-727, Springer, Berlin, 2004

    2004

  11. [11]

    I. V. Nikolaev,On traces of Frobenius endomorphisms, Finite Fields Appl.25(2014), 270-279

    2014

  12. [12]

    I. V. Nikolaev,Remark on Weil’s conjectures, Adv. Pure Appl. Math.7(2016), 213-221

    2016

  13. [13]

    I. V. Nikolaev,Noncommutative Geometry, De Gruyter Studies in Math.66, Second Edition, Berlin, 2022

    2022

  14. [14]

    I. V. Nikolaev,Quantum arithmetic of Drinfeld modules, Constr. Math. Anal.9(2026), 39-46

    2026

  15. [15]

    J. H. Silverman,Advanced Topics in the Arithmetic of Elliptic Curves, GTM151, Springer 1994

    1994

  16. [16]

    Soul´ e,Varieties over field with one element, Mosc

    Ch. Soul´ e,Varieties over field with one element, Mosc. Math. J.4(2004), 217-244. GEOMETRY OFF 1 11

    2004

  17. [17]

    J. Tits,Sur les analogues alg´ ebriques des groupes semi-simples complexes, Colloque d’alg` ebre sup´ erieure, tenu ` a Bruxelles du 19 au 22 d´ ecembre 1956, Centre Belge de Recherches Math´ ematiques, Louvain, Paris: Librairie Gauthier-Villars1957, pp. 261-289

    1956

  18. [18]

    To¨ en and M

    B. To¨ en and M. Vaqui´ e,Au-dessous deSpecZ,Journal of K-Theory3(2009), 437-500. 1 Department of Mathematics and Computer Science, St. John’s University, 8000 Utopia Parkway, New York, NY 11439, United States. Email address:igor.v.nikolaev@gmail.com

    2009