{"id":"dc9cb77d-16ea-440d-ab57-d099093990e0","arxiv_id":"2412.11011","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A net-based construction of the fundamental groupoid and a groupoid Seifert-van Kampen theorem for limit spaces.","lead":"This paper develops homotopy theory for limit spaces, a broad generalization of topological spaces based on convergence of nets instead of open sets, and proves a Seifert-van Kampen theorem for their fundamental groupoid. If correct, it extends classical algebraic topology tools to spaces where ordinary topologies may be inconvenient or unavailable.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The proof of Theorem 4.0.1's colimit well-definedness contains a concrete rectangle-subdivision error; the theorem is unsupported as written until Step 2 is repaired.","rationale":"The reader's verdict of CONDITIONAL is appropriate, and my read does not move it. The reader's weakest_assumption correctly identifies the well-definedness of the colimit functor as a gap; I agree that Step 2 is the load-bearing point. However, I do not fully share the reader's emphasis on Lemma 4.0.1: although its proof is omitted, the lemma is actually salvageable, because on a compact metric topological space any convergence system has interiors covering the space, and the ordinary Lebesgue number lemma then applies. The serious problem is the displayed rectangle argument in Step 2. The path ~γ is claimed to lie in V, but the stated inclusions place its initial segment (r∈[0,t]) in U. Also, the proof never fixes the splitting point for γ', so the comparison between F([γ]) and F([γ']) is not well-defined even as a sketch. Since the universal property of the colimit requires F to be a well-defined functor on the groupoid Π(X), this error directly threatens the theorem's central claim. A concrete check is to write out Step 2 for a two-set convergence system and see whether the argument can be corrected without assuming the O-sets are open in the topological modification. This is a precise, finite verification, and it would settle whether the theorem holds as stated or needs stronger hypotheses.","tokens_in":37593,"tokens_out":10087,"duration_ms":92775,"concrete_test":"Formalize Step 2 for the minimal case O={A,B,A∩B} with X=A∪B, explicitly tracking a rel-homotopy H: [0,1]^2→X and proving that F([γ]) is independent of the chosen subdivision and of H; if the corrected rectangle argument requires A and B to be open in the topological modification O(L), then Theorem 4.0.1 needs an added hypothesis, and if it cannot be repaired even with such openness, the theorem as stated is false.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central theorem's universality proof hinges on showing that the functor F defined on arrow classes in Theorem 4.0.1 is well-defined. Step 2 of that proof is not merely sketched; it contains an internal inconsistency. After subdividing [0,1]^2 and choosing sets U,V,U',V', the text claims that the path ~γ defined by ~γ(r)=H(r,t) for r≤s and ~γ(r)=H(s,r) for r≥s 'is a path in V'. But with the stated inclusions H[[0,t]×[0,s]]⊆U, H[[t,1]×[0,s]]⊆U', H[[0,t]×[s,1]]⊆V, H[[t,1]×[s,1]]⊆V', the segment of ~γ with r∈[0,t] lies in U, not in V. Moreover, the splitting time t is taken for γ while the splitting time for γ' is never specified, so the rectangle labels mix the two paths. This is not a harmless omission: the displayed construction cannot be correct as written, and the equality F([~γ0*~Γ])=F([γ]) depends on it. The separate issue that Lemma 4.0.1's proof is omitted is less serious, because for a compact metric domain the interiors of a convergence system form an open cover, so a Lebesgue number does exist; but Step 2 needs a correct argument in the general limit-space setting, where the O-sets need not be open in X.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript develops a net-based foundation for convergence spaces and uses it to build homotopy theory in limit spaces. After introducing preconvergence, convergence, and limit spaces, it defines continuous convergence, establishes the existence of exponential objects, constructs the fundamental groupoid, and states a groupoid version of the Seifert-van Kampen theorem: for a limit space X and a convergence system O closed under finite intersections, the colimit of the functor U → Π(U) over U ∈ O is Π(X). The early chapters contain many carefully proved elementary results, and the paper includes instructive non-topological examples, such as the sequential convergence on R and the lollipop space. However, the proof of the central theorem, Theorem 4.0.1, contains a serious gap in the well-definedness argument for the colimit functor, and Lemma 4.0.1 is stated without proof.","tokens_in":37941,"tokens_out":13574,"duration_ms":125723,"significance":"If Theorem 4.0.1 can be repaired, the paper would provide a groupoid Seifert-van Kampen theorem for limit spaces, extending a classical topological result to spaces described only by net convergence. The net-based exposition is pleasant, and the examples showing that fundamental groupoids can change under non-topological limit structures are valuable. The compactness criterion in Theorem 2.4.1 and the careful treatment of continuous convergence are also strengths. Nevertheless, the central theorem is not fully supported as written, so the paper's main contribution currently rests on an unproved lemma and an erroneous subdivision argument.","major_comments":[{"comment":"The well-definedness argument for F on rel-homotopy classes is internally inconsistent. After choosing U, V, U', V' with H[[0,t]×[0,s]]⊆U, H[[t,1]×[0,s]]⊆U', H[[0,t]×[s,1]]⊆V, and H[[t,1]×[s,1]]⊆V', the text defines a path ~γ by ~γ(r)=H(r,t) for r≤s and ~γ(r)=H(s,r) for r≥s, and asserts that ~γ is a path in V. With the stated inclusions, for r∈[0,t] the point H(r,t) lies in U, and for r∈[t,s] it lies in U', so the assertion is false. Moreover, the splitting time t is taken for γ, while no splitting time for γ' is specified; the rectangle labels mix the two paths. Since the subsequent equalities F([~γ0*~Γ])=F([γ]) rely on this path and on the unproved claim that ~Γ is rel-homotopic to ⃗Γ*γ1, the construction of F on arrows is not established. A correct proof of well-definedness must be supplied.","section":"Theorem 4.0.1, Step 2"},{"comment":"Lemma 4.0.1 is stated without proof, with only 'the proof is the same as in the topological case'. This is not literally the classical Lebesgue lemma, because C is a convergence system and its members need not be open in the codomain. Theorem 4.0.1 invokes this lemma both for subdividing paths on [0,1] and for subdividing homotopies on [0,1]×[0,1], so the lemma is load-bearing. The manuscript should either prove that a convergence system on a compact metric domain has a Lebesgue number, or supply a precise reference that covers this setting.","section":"Lemma 4.0.1"}],"minor_comments":[{"comment":"Rel-homotopy is defined in Definition 3.3.1 as a map H:[0,1]→C([0,1],X), but Step 2 of Theorem 4.0.1 writes H:[0,1]×[0,1]→X. The exponential adjunction of Proposition 2.3.4 should be invoked explicitly, and the coordinate conventions should be fixed before the rectangle subdivision is discussed.","section":"Section 3.3 / Theorem 4.0.1"},{"comment":"The last line of the proof of Proposition 2.4.2(iii) says 'inhL(A) ∩ inhL(B) ⊆ adhL(A ∩ B)', but the statement being proved is about inhL(A∩B); the final inclusion should be '⊆ inhL(A∩B)'.","section":"Proposition 2.4.2(iii)"},{"comment":"Example 2.1.6 contains an unresolved placeholder 'φ↑#D, in the sense of the definition ??' and a misspelling 'satifsfayng'; these should be corrected.","section":"Example 2.1.6"},{"comment":"The composition law for Π(X) is written as ⟨[ρ],[γ]⟩ ↦ [γ∗ρ]. This is nonstandard unless composition is explicitly declared to be in diagrammatic order; please clarify the convention so that associativity and identities read correctly.","section":"Section 3.3, groupoid composition"}],"recommendation":"major_revision","confidential_remarks":"This is an undergraduate thesis with many useful expository parts, but the main theorem is not yet reliable. The central gap in Step 2 of Theorem 4.0.1 is a concrete error, not merely a missing detail, and Lemma 4.0.1 needs a proof. The paper would also benefit from a clearer positioning relative to existing work on homotopy in convergence and pseudotopological spaces by Rieser, Dossena, and Marroquín. I recommend major revision rather than rejection because the stated theorem is plausible and the rest of the manuscript indicates the author can repair the argument."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: the first three chapters are a clean, net-based introduction to convergence spaces and the fundamental groupoid, and the groupoid Seifert–van Kampen theorem for limit spaces is a genuinely new statement. But the proof of Theorem 4.0.1 has a concrete error in the well-definedness argument, and the main claim is not established as written.\n\nWhat the paper does well: the net formalism is not new, but it is well executed and reads better than the filter-only treatments for someone with a geometric bent. The pasting lemma for limit spaces, the construction of Π(X), and the examples (discrete fundamental groupoid of (R, Seq), the lollipop) are all solid and clearly explained. The author is honest about the prior work of Rieser, Dossena, and Marroquín.\n\nThe soft spot is Theorem 4.0.1. Lemma 4.0.1 is asserted with 'the proof is the same as in the topological case'; that is a gap, though likely repairable. More seriously, step 2 of the proof contains an internal inconsistency. After subdividing the square and obtaining inclusions H[[0,t]×[0,s]]⊆U, H[[t,1]×[0,s]]⊆U′, H[[0,t]×[s,1]]⊆V, H[[t,1]×[s,1]]⊆V′, the path γ̃ defined by γ̃(r)=H(r,t) for r≤s and γ̃(r)=H(s,r) for r≥s is claimed to be a path in V. But for r∈[0,t], γ̃(r) lies in U; for r≥s, γ̃(r) lies in V′ (since s≥t). Also, t is the splitting time for γ, while γ′ needs its own splitting time. The later equalities F([γ̃0∗Γ̃])=F([γ]) depend on γ̃ being in V. This is not a harmless omission; the displayed construction cannot be correct. The theorem may still be true, and the bookkeeping may be repairable, but the current text does not prove it. A referee should ask for a corrected step 2 and a real proof of Lemma 4.0.1 before accepting the main claim.\n\nWho is this for? Researchers in convergence spaces who want a net-friendly development and a candidate groupoid van Kampen theorem. I would send it to a serious referee, but with the expectation of major revision.","headline":"The net-based development of limit-space homotopy is solid and the groupoid SvK theorem is new, but the proof of Theorem 4.0.1 has a concrete error in the colimit well-definedness that leaves the main claim unproven as written.","tokens_in":38403,"tokens_out":6302,"would_cite":false,"duration_ms":54197,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["54A20","55Q05","18B40"],"pacs":[],"model":"deepseek-v4-flash","headline":"A groupoid Seifert–van Kampen theorem holds for limit spaces, with open covers replaced by convergence systems.","keywords":["convergence spaces","limit spaces","nets","fundamental groupoid","Seifert–van Kampen theorem","homotopy theory","continuous convergence","convergence systems"],"falsifier":"Find a limit space $X$, a convergence system $O$ closed under finite intersections, and a path $\\gamma:[0,1]\\to X$ such that $\\{\\gamma^{-1}[U]:U\\in O\\}$ has no Lebesgue number; then the subdivision step in Theorem 4.0.1 cannot define $F([\\gamma])$, so the claimed colimit equality would fail without further hypotheses.","tokens_in":37389,"feed_emoji":"🕸️","tokens_out":11432,"duration_ms":97157,"temperature":0.7,"pith_summary":"This paper argues that homotopy theory can be developed for limit spaces using only net convergence, without open sets. It builds the fundamental groupoid of a limit space and proves that whenever a convergence system closed under finite intersections covers the space, the fundamental groupoid is the colimit of the fundamental groupoids of the pieces. If correct, this extends the classical groupoid Seifert–van Kampen theorem from topological spaces to all limit spaces, which include every topological space plus many non-topological convergence structures. The paper's concrete examples show this is a real extension: the fundamental groupoid of the real line with sequential convergence is discrete, unlike the usual one.","feed_headline":"No open sets needed: groupoid van Kampen holds in limit spaces","feed_subtitle":"No open sets needed: paths and local pieces glue into the full fundamental groupoid.","key_machinery":"The machinery has three parts. A limit space is a set with a convergence structure on nets that is centered, isotone, and stable under mixing of nets; a convergence system is a family $O$ of subsets such that every convergent net has a tail lying inside one member of $O$, playing the role an open cover plays classically. Paths and homotopies are defined through the exponential object provided by continuous convergence, making homotopy literally a path in the function space $C([0,1],X)$. The proof of Theorem 4.0.1 uses a Lebesgue-number subdivision: a path or homotopy is cut into small pieces, each contained in a single member of $O$, and the pieces are reassembled by the universal property of the colimit of the groupoids $\\Pi(U)$.","core_discovery":"The central claim is Theorem 4.0.1: for a limit space $X$ and a convergence system $O$ of $X$ closed under finite intersections, the colimit of the functor sending each $U\\in O$ to its fundamental groupoid $\\Pi(U)$ is the fundamental groupoid $\\Pi(X)$. Here paths are continuous functions from $[0,1]$ with its usual convergence, and homotopies are paths in the function space carrying continuous convergence, so no topology on $X$ is needed. The theorem is a groupoid version of Seifert–van Kampen for limit spaces, and it reduces to the classical topological statement when $O$ is an open cover. The paper also proves that $\\Pi\\colon \\mathrm{LIM}\\to\\mathrm{GROUPOID}$ is a functor, that $\\Pi(X\\times Y)\\cong \\Pi(X)\\times \\Pi(Y)$, and that non-topological limit spaces can have fundamental groupoids different from those of their topological modifications.","pith_inferences":["Not pursued in the paper: if the theorem is right, $\\Pi$ should be a 2-sheaf on the site whose covers are convergence systems closed under finite intersections, so the colimit statement would follow from a descent property; checking this would also show exactly where the finite-intersection hypothesis is used.","A likely testable strengthening is that the conclusion still holds when $O$ is replaced by its closure under finite intersections, since the proof only needs $U\\cap V$ to make the cocone diagrams commute.","If the Lebesgue-type subdivision property fails for some limit space, the natural repair is to restrict to limit spaces whose convergence systems admit uniform subdivisions; the examples in the paper would still be covered."],"forward_implications":["For topological spaces, taking $O$ to be an open cover recovers the classical groupoid Seifert–van Kampen theorem, so the result is a strict generalization rather than a separate analogue.","The equality $\\pi_1(X,x_0)=\\Pi(X)[x_0,x_0]$ means fundamental groups of limit spaces can be computed by gluing local fundamental groupoids, with no path-connectedness or single-base-point assumption.","The functor $\\Pi\\colon\\mathrm{LIM}\\to\\mathrm{GROUPOID}$ and the isomorphism $\\Pi(X\\times Y)\\cong\\Pi(X)\\times\\Pi(Y)$ give limit spaces a working toolkit for algebraic topology, including non-topological examples such as the lollipop space.","The example of the real line with sequential convergence shows that limit spaces carry genuinely new invariants: $\\Pi(\\langle\\mathbb{R},\\mathrm{Seq}\\rangle)$ is discrete while the fundamental groupoid of the usual real line is not."],"supporting_citations":[{"why":"Supplies the topological Seifert–van Kampen proof and the Lebesgue-number lemma that the limit-space argument adapts.","marker":"[14]"},{"why":"Provides the groupoid formulation of the Seifert–van Kampen theorem and the construction of the fundamental groupoid being generalized.","marker":"[5]"},{"why":"Supplies the convergence-space terminology—preconvergences, inherence, limit modification—on which the net-theoretic definitions rest.","marker":"[7]"},{"why":"Gives the definitions and examples of convergence and limit spaces, including non-topological convergences used in the paper.","marker":"[8]"},{"why":"Supplies the net–filter correspondence and the definition of subnets that the paper uses throughout.","marker":"[32]"},{"why":"Treats covering systems (called convergence systems here) and continuous convergence, the exponential-object structure at the core of the homotopy definitions.","marker":"[1]"},{"why":"Provides the classical theory of continuous convergence on $C(X)$, which justifies homotopies as paths in function spaces.","marker":"[2]"}],"fun_headline_variants":["No topology required: groupoid van Kampen for limit spaces","No open sets, no problem: groupoid van Kampen via nets","Van Kampen for limit spaces without any open sets","Groupoid van Kampen theorem proved with nets, not open sets","Limit spaces get van Kampen: no topology needed, nets suffice"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that every path and homotopy in a limit space can be cut into finitely many small pieces, each lying entirely in one member of the convergence system, a Lebesgue-type property that the paper states as Lemma 4.0.1 without proof.","fun_headline_variants_meta":{"raw":{"variants":["No topology required: groupoid van Kampen for limit spaces","No open sets, no problem: groupoid van Kampen via nets","Van Kampen for limit spaces without any open sets","Groupoid van Kampen theorem proved with nets, not open sets","Limit spaces get van Kampen: no topology needed, nets suffice"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000541,"raw_usage":{"total_tokens":2540,"prompt_tokens":839,"completion_tokens":1701,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":455,"completion_tokens_details":{"reasoning_tokens":1613}},"tokens_in":455,"tokens_out":1701,"duration_ms":10691,"temperature":1.0,"reasoning_tokens":1613,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T15:23:11.269926+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find a limit space $X$, a convergence system $O$ closed under finite intersections, and a path $\\gamma:[0,1]\\to X$ such that $\\{\\gamma^{-1}[U]:U\\in O\\}$ has no Lebesgue number; then the subdivision step in Theorem 4.0.1 cannot define $F([\\gamma])$, so the claimed colimit equality would fail without further hypotheses.","supporting_citations":[{"cited_title":"Introduction to Algebraic Topology","cited_arxiv_id":null,"evidence_quote":"Supplies the topological Seifert–van Kampen proof and the Lebesgue-number lemma that the limit-space argument adapts."},{"cited_title":"Topology and groupoids","cited_arxiv_id":null,"evidence_quote":"Provides the groupoid formulation of the Seifert–van Kampen theorem and the construction of the fundamental groupoid being generalized."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the convergence-space terminology—preconvergences, inherence, limit modification—on which the net-theoretic definitions rest."},{"cited_title":"Dolecki and F","cited_arxiv_id":null,"evidence_quote":"Gives the definitions and examples of convergence and limit spaces, including non-topological convergences used in the paper."},{"cited_title":"Handbook of Analysis and Its Foundations","cited_arxiv_id":null,"evidence_quote":"Supplies the net–filter correspondence and the definition of subnets that the paper uses throughout."},{"cited_title":"Beattie and H.P","cited_arxiv_id":null,"evidence_quote":"Treats covering systems (called convergence systems here) and continuous convergence, the exponential-object structure at the core of the homotopy definitions."},{"cited_title":"Continuous Convergence on C(X)","cited_arxiv_id":null,"evidence_quote":"Provides the classical theory of continuous convergence on $C(X)$, which justifies homotopies as paths in function spaces."}],"review_version":1}