Recognition: unknown
A Structure Sheaf for Kirch Topology
Pith reviewed 2026-05-08 15:37 UTC · model grok-4.3
The pith
The locally LIP sheaf on Kirch topology allows computation of zeroth and first cohomology via Cech methods on basic open covers.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
In this paper we investigate some of its basic properties, primarily regarding zeroth and first cohomology and Cech cohomology with respect to covers by basic open sets of the sheaf of locally LIP functions on the Kirch topology.
What carries the argument
The sheaf of locally LIP functions as the structure sheaf for the Kirch topology on the natural numbers.
If this is right
- The zeroth cohomology group consists of the global sections of locally LIP functions.
- The first cohomology group captures the obstructions to gluing local sections.
- Cech cohomology with respect to basic open covers computes the sheaf cohomology groups.
- Basic properties of the sheaf as a ring sheaf hold under this topology.
Where Pith is reading between the lines
- This could enable the definition of holomorphic functions on the natural numbers equipped with the Kirch topology.
- Further development might lead to analogs of theorems like Cauchy's integral formula in this setting.
- Connections to other number-theoretic topologies could be explored using similar sheaf techniques.
Load-bearing premise
The sheaf of locally LIP functions forms a valid sheaf of rings on the Kirch topology and covers by basic open sets are adequate for computing the relevant cohomology groups.
What would settle it
Computing the cohomology for a particular cover by basic open sets and finding that the Cech complex does not yield the expected sheaf cohomology would falsify the claim that such covers are sufficient.
read the original abstract
Kirch topology on $\mathbb N$ goes back to 1969, and is remarkable for being Hausdorff, connected, and locally connected. In this sense, it is analogous to the usual topology on $\mathbb C,$ yet, to the author's knowledge, there have been no Kirch topology analogs of the sheaf of complex-analytic functions until very recently. In our latest paper we constructed such natural sheaf of rings, the sheaf of locally LIP functions. In this paper we investigate some of its basic properties, primarily regarding zeroth and first cohomology and Cech cohomology with respect to covers by basic open sets.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript investigates basic properties of the sheaf of locally LIP functions (constructed in the author's prior work) on the Kirch topology on the natural numbers, with primary attention to the zeroth and first cohomology groups together with Čech cohomology computed via covers by basic open sets.
Significance. If the claims hold, the work supplies a structure-sheaf analog for a topology that is Hausdorff, connected, and locally connected, thereby enabling sheaf-cohomological techniques in a discrete setting that mirrors aspects of complex analysis. Explicit computations of H^0, H^1, and Čech groups for basic opens would constitute a concrete first step toward developing this theory.
major comments (1)
- The central claims rest on the assertion that the sheaf of locally LIP functions is a sheaf of rings on the Kirch topology and that basic-open covers compute the relevant cohomology groups; these properties are imported from the prior paper without independent verification or even a concise recap of the key steps in the present manuscript.
minor comments (1)
- The abstract describes the scope of the investigation but does not state any concrete theorems, vanishing results, or explicit computations; the introduction or a dedicated results section should list the main statements for clarity.
Simulated Author's Rebuttal
We thank the referee for their careful reading of the manuscript and for identifying the need to improve self-containment. We address the single major comment below and will revise the paper accordingly.
read point-by-point responses
-
Referee: The central claims rest on the assertion that the sheaf of locally LIP functions is a sheaf of rings on the Kirch topology and that basic-open covers compute the relevant cohomology groups; these properties are imported from the prior paper without independent verification or even a concise recap of the key steps in the present manuscript.
Authors: We agree that the manuscript would be strengthened by greater self-containment. In the revised version we will insert a concise recap (approximately one page) in the introduction or a new preliminary section. This recap will summarize the construction of the sheaf of locally LIP functions from our prior work, the verification that it forms a sheaf of rings on the Kirch topology (including the key gluing and locality axioms), and the standard sheaf-theoretic argument that Čech cohomology with respect to covers by basic open sets computes the cohomology groups in this setting. The recap will cite the relevant propositions from the earlier paper but will not reproduce full proofs, thereby keeping the present manuscript focused while allowing readers to follow the cohomology computations without immediate consultation of the prior work. revision: yes
Circularity Check
No significant circularity in derivation chain
full rationale
The paper does not present a derivation of the central object (the sheaf of locally LIP functions) or any first-principles prediction within its own text. It explicitly references the construction to a prior paper and restricts its scope to investigating cohomology groups and Čech cohomology for that sheaf on the Kirch topology using basic open covers. No equations, fitted parameters, or uniqueness claims are shown that reduce by construction to the paper's own inputs or to a self-citation chain. The argument is therefore an extension of an externally referenced construction rather than a self-contained loop, satisfying the default expectation of no circularity.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Kirch topology on natural numbers is Hausdorff, connected, and locally connected.
- domain assumption The sheaf of locally LIP functions is a natural sheaf of rings on this topology.
invented entities (1)
-
Sheaf of locally LIP functions
no independent evidence
Reference graph
Works this paper leans on
-
[1]
A. Borisov. Locally integer polynomial functions,Integers25(2025), A41
2025
-
[2]
Borisov, S
A. Borisov, S. Sengupta, Images of polynomial maps in Kirch Topology, in preparation
-
[3]
Clark, N
P.L. Clark, N. Lebowitz-Lockard, and P. Pollack, A note on Golomb topologies,Quaest. Math. 42(2019), no. 1, 73–86
2019
-
[4]
Kirch, A countable, connected, locally connected Hausdorff space,Amer
A.M. Kirch, A countable, connected, locally connected Hausdorff space,Amer. Math. Monthly 76(1969), 169–171
1969
-
[5]
Knots and primes – an introduction to arithmetic topology
Masanori Morishita. Knots and primes – an introduction to arithmetic topology. Second edi- tion.Universitext.Springer, Singapore (2024)
2024
-
[6]
Veettil, Ph.D
M. Veettil, Ph.D. dissertation, in preparation
-
[7]
Szczuka, The connectedness of arithmetic progressions in Furstenberg’s, Golomb’s, and Kirch’s topologies,Demonstratio Math.43(4) (2010), 899–909
P. Szczuka, The connectedness of arithmetic progressions in Furstenberg’s, Golomb’s, and Kirch’s topologies,Demonstratio Math.43(4) (2010), 899–909
2010
-
[8]
Joseph L. Taylor. Several complex variables with connections to algebraic geometry and Lie groups.Graduate Studies in Mathematics,46. American Mathematical Society, Providence, RI, 2002. xvi+507 pp. ISBN: 0-8218-3178-X 20
2002
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.