A remark on locally direct product subsets in a topological Cartesian space

Hiroki Yagisita

A remark on locally direct product subsets in a topological Cartesian space

T0 review · 0 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read A path-connected closed subset of a product space that is locally a product must be a full product of two subsets.

desk verdict A short, correct, and genuinely useful lemma—closed path-connected locally direct product subsets of X×Y are globally direct products—with a clean elementary proof and some scattered speculative appendices. read the letter →

arxiv 1908.05624 v4 pith:RQW3TQ36 submitted 2019-08-15 math.GN

Hiroki Yagisita This is my paper · ORCID

classification math.GN MSC 54B1054D0554C05

keywords locallydirectproductpath-connectedclosedsettopologyCartesiantopological2-spacelocal-to-globalprinciplefiberanalogy

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper establishes a local-to-global principle for product sets. If a path-connected closed subset C of a Cartesian product X×Y is locally a direct product—meaning near each ambient point its intersection with a rectangle U×V has the form I×J—then C is globally a direct product A×B. The proof is elementary and self-contained, splitting into a rectangle-filling step for continuous paths and a projection-combining step. This matters because local product structure is a natural condition arising in manifolds modeled on products, and the result turns it into a strong global constraint. The paper also suggests analogous questions for fiber products and locally trivial fiber spaces.

What carries the argument

The machinery is a closed-open set T attached to a continuous path. For a path γ(t)=(x(t),y(t)) in C, define T as the set of t∈[0,1] such that the whole square [0,t]×[0,t] is carried into C by (u,v)↦(x(u),y(v)). Local direct-product structure lets one push any t0<T to a larger interval, while closedness of C makes T closed; because [0,1] is connected, T=[0,1]. This yields the corner points and, after a second connectedness step, the global product splitting.

What would settle it

Consider the open unit disk D={(x,y)∈$R^{2}$:$x^{2}$+$y^{2}$<1}. It is path-connected and locally direct product—every point has a small open rectangle contained in D, and outside D small rectangles miss D entirely—but D is not A×B, since the length of a vertical slice depends on x. This shows the theorem's closedness hypothesis is essential; a closed path-connected locally direct product set that is not a product would refute the paper's theorem.

Watch

Extended reading notes

Core claim

The central claim is the theorem: for topological spaces X and Y and a path-connected closed set C⊂X×Y, if C is locally direct product, then C=A×B for some A⊂X and B⊂Y; in fact A and B are the coordinate projections of C. The proof first shows that for any continuous path (x(t),y(t)) in C, the corners (x(0),y(1)) and (x(1),y(0)) also lie in C. Then, using path-connectedness, any point (x0,y1) whose coordinates separately occur in C can be connected to points (x0,y0) and (x1,y1) in C, and the corner property forces (x0,y1) into C. Hence every pair of projected coordinates is present, so C is exactly the product of its two projections.

Load-bearing premise

The load-bearing premise is that C is closed in X×Y; without closedness, the sets T and S used in the proof need not be closed, so the argument that they are both open and closed in [0,1] or [0,t0] can fail.

Editorial extensions

If this is right

Any closed path-connected locally direct product subset is completely determined by its two coordinate projections: C = π_X(C)×π_Y(C).
The corner lemma means that from two points of C sharing one coordinate, the opposite corner is also present, so C is closed under coordinate mixing.
The result gives an elementary recognition test for product subsets: local rectangularity plus path-connectedness and closedness suffices for a global product splitting.
For manifolds modeled on product spaces, a connected closed submanifold that is locally a product cannot be globally twisted; it must split as a product of two subsets.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The author's suggested fiber-product analogue should be checked against examples like the Möbius band: a connected total space locally a product U×F over a base need not be globally trivial, so the theorem likely relies on the local rectangles aligning with one fixed global product structure.
The 2-homotopy category introduced in the appendix suggests that local product coordinates carry homotopical information beyond ordinary topology, since two 2-spaces can be homeomorphic yet not 2-homotopy equivalent.
A testable extension would replace closedness by completeness in metric product spaces; if a locally direct product subset is complete and path-connected, the same open-and-closed argument may still work, extending the result to many infinite-dimensional settings.
For function-space manifolds such as C([0,1];R)-manifolds, the theorem gives a potential obstruction: a closed path-connected submanifold of a finite product that is locally a product would have to be a global product, refining the non-embedding examples in the appendix.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

The main thing you should know: the central lemma is real. If C is closed and path-connected in X×Y and is locally a direct product, then C is globally a direct product. I went through Step 1 carefully and the argument holds up. The closedness of C is genuinely used when they assert T and S are closed; without it the propagation argument would fail, but that is a premise, not a hidden cost. The compactness of [0,1] and the pullback argument for D are standard and handled correctly. Step 2 is just Step 1 applied to a path between two chosen points. No gaps, no circularity.

What is actually new: none of the cited works state this exact criterion. It is an elementary statement, but novelty in elementary topology often looks like this—small, clean, and absent from the literature. The paper is honest about what it proves and keeps the proof self-contained. That deserves credit.

Soft spots, in proportion. The bibliography is entirely self-citations, which makes external novelty hard to assess; a search of standard references would have helped. The appendices—2-spaces, C([0,1];R) embeddings, Rn-Morse functions—are speculative sketches and not needed for the main result. They read more like leftover ideas than a developed program. The keyword list is also misleading: it lists Morse-Bott indices and Stein manifolds, but those topics only appear in passing questions. These are presentation problems, not mathematical ones. If you want a serious referee, the referee can ignore the appendices and focus on the two-step proof, which is short enough to fully verify in an hour.

The theorem itself is worth having on record. It is the kind of result that might save someone a page of argument in a paper about infinite-dimensional manifolds or embedding questions. It is not a field-reorganizing contribution, and the author doesn't claim it is. The speculative parts should be trimmed before publication, but the core is sound.

Who is this for: anyone working on product structures, local-to-global principles, or the C^n-manifold program the author cites. It deserves a serious referee. I would accept it for review and, if the appendices are cut or clearly marked as open problems, accept it as a short note. My verdict: send it to refereeing, not desk-reject. The proof is correct and the statement is genuinely useful.

Referee Report

0 major / 5 minor

Summary. The manuscript proves the following theorem: if X and Y are topological spaces and C is a path-connected closed subset of X×Y such that for every point (a,b) there are open neighborhoods U,V and subsets I⊂U, J⊂V with C∩(U×V)=I×J, then C=A×B, where A and B are the coordinate projections of C. The proof is in two steps. Step 1 shows that for any path (x,y) in C, the mixed points (x(0),y(1)) and (x(1),y(0)) belong to C, by propagating the rectangle D={(u,v):(x(u),y(v))∈C} from the diagonal to the full square [0,1]^2. Step 2 then applies this to a path joining a point in {x0}×Y to a point in X×{y1} to conclude that any (x0,y1) in A×B lies in C. The appendices collect supplementary definitions, examples, and open problems related to C([0,1];R)-manifolds and '2-spaces'.

Significance. The main theorem is a clean rigidity statement: under the mild local-product hypothesis and closedness, path-connectedness forces a global product decomposition. The proof is elementary, fully self-contained, and does not depend on the author's previous work or on numerical fitting or free parameters. The argument is simple enough to serve as a useful lemma in embedding problems for C^n-manifolds, which the author indicates as motivation. The appendices are speculative and not needed for the main claim; they should not affect the assessment of the theorem itself.

minor comments (5)

[Step 1 (S argument)] The proof that S is open in [0,t0] is incomplete at the endpoint 0; the extension property is only shown for u0∈(0,t0]∩S. Please add the standard infimum argument: let s=inf S, use closedness to conclude s∈S, and apply the extension property to s if s>0 to obtain a contradiction, hence s=0 and S=[0,t0].
[Proof (first sentence)] The sentence 'Let (x, y) is a continuous mapping from [0,1] to C' should be rewritten, for example as 'Let (x,y):[0,1]→C be a continuous path.'
[Abstract / Definition] Quantifying the local direct product condition over all (a,b)∈X×Y is stronger than needed for points outside C; consider stating the condition only for (a,b)∈C to avoid confusion about why points outside C matter.
[Appendix 1] The 2-space material is introduced without connecting it to the main theorem; if the appendices remain, please mark them explicitly as a separate speculative section and explain the relation (if any) to the main result.
[References] The 'related literature' URL entries are not standard bibliographic references and should be replaced by proper citations or removed.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; the theorem is derived directly from its stated hypotheses.

full rationale

The derivation chain is fully explicit in Steps 1 and 2 and uses only the stated hypotheses. Step 1 constructs T and D from the path (x,y) and C's local product representation; closedness of C gives closedness of T and D; the local product hypothesis is used to extend [0,t0]^2 to a neighborhood square, and the finite-cover argument propagates the rectangles [0,t0] x [t0,t3] and [t0,t4] x [0,t0]. No equation is introduced by fitting, and no parameter is estimated. Step 2 defines A and B as the coordinate projections of C, so C subset A x B is definitional, but the nontrivial containment A x B subset C is proved by invoking Step 1 on a path joining points of A x B. The cited works [1]-[4] are all by the author, but they appear in remarks and appendices as context or open questions; none is needed to justify the theorem. There is no self-definitional step, no fitted input called a prediction, and no imported uniqueness theorem. The theorem is a direct consequence of its hypotheses, so the circularity score is 0.

Assumptions & free parameters 0 free parameters · 3 assumptions · 1 invented entities

The central theorem rests only on standard point-set topology and its hypotheses: path-connectedness, closedness, and the local direct product condition. There are no fitted constants, no numerical parameters, and no ad hoc entities in the proof. The appendix defines a new mathematical structure (2-space), but it is not used to prove the theorem.

assumptions (3)

domain assumption C is a path-connected closed subset of X×Y satisfying the local direct product hypothesis.
These are the stated hypotheses of the theorem; the proof does not rely on any stronger regularity.
standard math The unit interval [0,1] is compact and connected, and finite subcovers and closed-open subset arguments apply.
Used in Step 1 to cover [0,t0]×{t0} by finitely many product neighborhoods and to conclude that an open, closed, nonempty subset of [0,1] is the whole interval.
standard math Restricting the local product structure of C to the path square D=(x,y)^-1(C) preserves the locally direct product property.
The paper uses this when it states 'D is a locally direct product set of [0,1]×[0,1]' after defining D from a path in C; it follows directly from intersecting the rectangles for C with [0,1]^2.

invented entities (1)

2-space (topological 2-space)
purpose: A space equipped with a system of local homeomorphisms onto products of two topological spaces, together with 2-maps and 2-homotopies.
Defined in Appendix 1 as a new concept and used to pose problems; it is not used in the main theorem and has no external falsifiable handle.

how reviews work

0 comments

Cite this review

Pith. "Pith review of A remark on locally direct product subsets in a topological Cartesian space." pith.science (2026). https://pith.science/paper/RQW3TQ36

@misc{pith2026190805624,
  author       = {Pith},
  title        = {Pith review of: A remark on locally direct product subsets in a topological Cartesian space},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/RQW3TQ36}},
  note         = {Machine review of arXiv:1908.05624}
}

abstract

Let $X$ and $Y$ be topological spaces. Let $C$ be a path-connected closed set of $X\times Y$. Suppose that $C$ is locally direct product, that is, for any $(a,b)\in X\times Y$, there exist an open set $U$ of $X$, an open set $V$ of $Y$, a subset $I$ of $U$ and a subset $J$ of $V$ such that $(a,b) \in U\times V$ and $$C\cap (U\times V)=I\times J$$ hold. Then, in this memo, we show that $C$ is globally so, that is, there exist a subset $A$ of $X$ and a subset $B$ of $Y$ such that $$C=A\times B$$ holds. The proof is elementary. Here, we note that one might be able to think of a (perhaps, open) similar problem for a fiber product of locally trivial fiber spaces, not just for a direct product of topological spaces. In Appendix, we mentioned a simple example of a $C([0,1];\mathbb R)$-manifold that cannot be embedded in the direct product $(C([0,1];\mathbb R))^n$ as a $C([0,1];\mathbb R)$-submanifold. In addition, we introduce the concept of topological 2-space, which is locally the direct product of topological spaces and an analog of homotopy category for topological 2-space. Finally, we raise a question on the existence of an $\mathbb R^n$-Morse function and the existence of an $\mathbb R^n$-immersion in a finite-dimensional $\mathbb R^n$-Euclidean space. Here, we note that the problem of defining the concept of an $\mathbb R^n$-handle body may also be considered.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

4 extracted references · 4 canonical work pages

[1]

Yagisita, Holomorphic diﬀerential forms of complex manifolds on commutative Banach algebras and a few related problems, preprint

H. Yagisita, Holomorphic diﬀerential forms of complex manifolds on commutative Banach algebras and a few related problems, preprint

work page
[2]

Yagisita, Cartan-Thullen theorem for a Cn-holomorphic convexity and a related problem, preprint

H. Yagisita, Cartan-Thullen theorem for a Cn-holomorphic convexity and a related problem, preprint

work page
[3]

Yagisita, A manifold on the real commutative Banach algebra C([0, 1]; R) that cannot be embedded in the ﬁnite-dimensional Euclidean space C([0, 1]; Rn), preprint

H. Yagisita, A manifold on the real commutative Banach algebra C([0, 1]; R) that cannot be embedded in the ﬁnite-dimensional Euclidean space C([0, 1]; Rn), preprint

work page
[4]

https://www.researchgate.net/proﬁle/ Hiroki Yagisita

H. Yagisita, Finite-dimensional complex manifolds on commutative Banach algebras and continuous families of compact complex manifold s, Complex Manifolds , 6 (2019), 228-264. The related literature: “https://www.researchgate.net/proﬁle/ Hiroki Yagisita” 7

work page 2019

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.

[1] [1]

Yagisita, Holomorphic diﬀerential forms of complex manifolds on commutative Banach algebras and a few related problems, preprint

H. Yagisita, Holomorphic diﬀerential forms of complex manifolds on commutative Banach algebras and a few related problems, preprint

work page

[2] [2]

Yagisita, Cartan-Thullen theorem for a Cn-holomorphic convexity and a related problem, preprint

H. Yagisita, Cartan-Thullen theorem for a Cn-holomorphic convexity and a related problem, preprint

work page

[3] [3]

Yagisita, A manifold on the real commutative Banach algebra C([0, 1]; R) that cannot be embedded in the ﬁnite-dimensional Euclidean space C([0, 1]; Rn), preprint

H. Yagisita, A manifold on the real commutative Banach algebra C([0, 1]; R) that cannot be embedded in the ﬁnite-dimensional Euclidean space C([0, 1]; Rn), preprint

work page

[4] [4]

https://www.researchgate.net/proﬁle/ Hiroki Yagisita

H. Yagisita, Finite-dimensional complex manifolds on commutative Banach algebras and continuous families of compact complex manifold s, Complex Manifolds , 6 (2019), 228-264. The related literature: “https://www.researchgate.net/proﬁle/ Hiroki Yagisita” 7

work page 2019