m 19 actual

Prompt

RESEARCH QUESTION (plane continua / order theory; ALL-DRY (= DRY_0, chart branch of RIG-THICK, Route I): noncrossing involutions on a Cantor subset of S^1 and the folded gaps forced inside the free gap of a BESIDE-wet wall). Self-contained. Label every claim PROVED (you prove it), SOURCE (exact reference; unchecked?), LAB (from this prompt, status as given), CONJECTURE, OPEN, or RESTATEMENT (a gap reworded). If a definition is ambiguous, state your reading in one line and continue. Say where your argument stops. A. DEFINITIONS Setting (compressed from the lab notes D2603, D2607, D2609 and the lanes b_opus_dry0_prove, a_fable_dtower; DERIVED-U there, unaudited here; lines marked (INFERRED) are my bridging). - Zhat := the profinite integers. E is a Cantor set, sigma: E -> E a fixed-point-free homeomorphism, D: Zhat \ {0} -> E continuous and even with D(2N) = sigma D(N). Fibre points p_m(e) (m in Z, e in E), fibres P_m := {p_m(e)}, K := the closure of the regular points g(z) = (z, (D(z - j))_j), z in Zhat \ Z (K is totally disconnected), X := K x {0,1} (two levels), pi(p_m(e)) = m, pi(g(z)) = z. The host Y := ([0,1/2] x K)/folds is a planar continuum, dynamics H[t,x] = [2t,2x] has no periodic point, h := H^-1, m_1 := min d(y, h y) > 0. - Two-page picture (SOURCE-lab, D1535). P: X -> S^1 is a continuous injection (a 2PAGE order). Fence chords F join (m,0) to (m,1), same label, and are noncrossing in the OUTER page. Fold chords are noncrossing in the INNER page: iota_0 at level 0 sends p_m(e) to p_{-m}(e) (extended continuously to K), iota_1 at level 1 sends p_m(e) to p_{-1-m}(e). Chords of different pages never cross. iota_0 is a continuous involution of X^0 := K x {0} whose fixed set is exactly the tip fibre P_0^0 (lab), iota_1 has no fixed point. A chord {x, iota x} is also called an arch; a tip is a degenerate arch. - Hulls. For |n| >= M_0 (far), Hull(P_n^0) is the smallest closed arc of S^1 containing P(P_n x {0}). (S): every far turn q is non-interleaving, i.e. Hull(P_q^0) and Hull(P_{-q}^0) are disjoint. For such q, A_q is the SHORT open arc between the two hulls and [b, a'] its closed hull (b the last point of Hull(P_q^0), a' the first point of Hull(P_{-q}^0), a' = iota_0 b by the lab's Lemma A); X^0 cap [b, a'] is iota_0-invariant (noncrossing). - Tips and gaps. P(P_0^0) is a Cantor set in S^1; a gap G is a component of its complement and its two end labels are walls. A wall w is wet if points of X outside P_0^0 lying in G accumulate at the tip p_0(w), dry otherwise. DRY_0 (= ALL-DRY) := every wall of every gap is dry. - Lemma TG (lab, from D2601 Lemma SC+, needs m_1 > 0): for far m, Hull(P_m^0) contains no tip, so it lies in one gap G(m). Fact D (lab, elementary): every nonempty open subset of X^0 contains a whole fibre P_m with |m| arbitrarily large. - Proposition BA2 (lab, from TG and (S)): let w be a wet wall with free gap G and m_i far with P_{m_i}^0 in G, P_{m_i}^0 -> p_0(w), m_i -> 0 in Zhat. After passing to a subsequence exactly one holds. (BESIDE) Hull(P_{-m_i}^0) lies in G too, so the arc A_{m_i} lies in G and contains no tip. (AROUND) Hull(P_{-m_i}^0) lies in another gap on the fibre side, A_{m_i} contains the tip p_0(w) and an infinite clopen interval T_i of tips shrinking to {w}. B. LEMMAS (status; where used) Known (all UNAUDITED). - D2607 / dry0_prove: DRY_0 = (no BESIDE-wet wall) and (no AROUND-wet wall); TRAP-type compactness at the tip fibre, accessibility counts, Moore/Bing decompositions and COLLAR separation each fail at a named step. The h-free control: a fibre-0 germ (Cantor tip set, a gap, reflected Cantor pairs accumulating at one wall, matched by a noncrossing continuous involution fixing the tips) realises both shapes, so noncrossing at fibre 0 alone decides nothing. - D2609 (Construction R): a recursive convex-block 2PAGE order has a wall wet at every fibre; NI fails there cofinally. M10R asks whether NI forces ALL-DRY and R9 whether doubling preserves nesting of turn arcs; neither is the question below. - (INFERRED, the drafter's, to be checked) Lemma CG (folded gap). Let q be far with A_q containing no tip (the BESIDE type). Then [b, a'] contains an arch {x, iota_0 x} of minimal length, and its open arc FOLD(q) := (x, iota_0 x) contains no point of X^0 (level 0): a gap of P(X^0) whose two ends are swapped by iota_0. Proof idea: iota_0 is continuous and fixed-point free on the compact set X^0 cap [b, a'] (it has no tip), so |x - iota_0 x| has a positive minimum; if a level-0 point y lay inside the minimal arch then iota_0 y lies inside too (noncrossing, injectivity), giving a shorter arch. Level-1 points may lie in FOLD(q): their fence chords leave through the outer page. Consequence for BESIDE-wet: the arcs A_{m_i} lie in G and shrink to the wall, so FOLD(m_i) are folded gaps inside G with FOLD(m_i) -> {w}; and the ends of FOLD(q) are x and iota_0 x: if x = p_n(e) is a fibre point then iota_0 x = p_{-n}(e) (same label e, addresses n and -n, the arch is a fold edge of the ray of e), and if x = g(z) is regular then iota_0 x = g(-z) (INFERRED). - (INFERRED) Parallel fence at a folded gap: if x, y = iota_0 x are consecutive on the circle across FOLD, with fence partners x', y', then in the outer page the chords {x,x'}, {y,y'} are noncrossing only if the ccw order is x, y, y', x'; the arc between y' and x' is then closed under the fence (its level-0 points are matched to level-1 points of that arc or of FOLD). Whether this puts a constraint on the ray beyond the fold is not clear to me. C. THE TARGET Statement BESIDE-OUT. In the setting above (TG, (S), the two-page structure) no wall is wet in the BESIDE shape. Equivalent form via Lemma CG (INFERRED): there are no folded gaps FOLD(m_i) of far turns inside a free gap G with FOLD(m_i) -> w the wall. The other shape (AROUND) is not asked. D. ASK Part 1 (the lemma). Check Lemma CG and its consequence step by step: compactness of X^0 cap [b, a'] and positivity of the minimum (what if x or iota_0 x is an end b, a'); invariance of the open arc; the claim that FOLD(q) has no level-0 point; why FOLD(m_i) lies in G and tends to w (TG, hull diameters tending to 0); the labelling of the ends (fibre points p_n(e), p_{-n}(e), or regular points g(z), g(-z)). State the AROUND analogue: say exactly which part of the proof fails when tips lie in A_q, and what remains (for instance, the arches over one tip form a chain by inclusion; the arches whose arcs avoid the tips). Part 2 (decision). Decide BESIDE-OUT with the folded gaps as an additional tool: either (a) exclude the infinite sequence FOLD(m_i) -> w inside G by a law of the setting (name it: Fact D, TG at level 1, the parallel fence, noncrossing of iota_1 on the ray beyond the fold, the Zhat structure of the addresses n_i of the ends), or (b) give consistent data: an explicit circular order table with the wall w, the gap G, the beads (hulls of P_{m_i} and P_{-m_i}), the folded gaps with the labels and addresses of their ends, the fence partners (level 1) and the iota_1 images, checking noncrossing in both pages for at least i = 1, 2, 3, marked Tier 0 (COMPUTED or hand-checked) with what the infinite statement still needs. A point of level 1 inside FOLD(q) must be discussed. Part 3 (weakest extra law). If neither closes, name the weakest relation (about the ray beyond a fold, or about the addresses of the ends of a folded gap, or the fence at a folded gap) that would exclude BESIDE-wet, and test it on Knaster, on Y_2 and on the fibre-0 germ. Each claim must be labelled PROVED, SOURCE, LAB, DERIVED, CONJECTURE, OPEN or RESTATEMENT. Do not claim anything about L2 or PER. E. CONTROLS (all must hold) (C1) Knaster bucket handle (one tip, sigma = identity): no gap, no wall, everything vacuous; a proof must use that sigma has no fixed point or that a gap exists. (C2) The depth-only host Y_2 (D(N) = [v_2(N)], sigma = +1): H has a fixed point, m_1 = 0, TG is unavailable and (S) fails at the powers of 2; a proof must break there at TG or (S). (C3) The fibre-0 germ (h-free, BESIDE shape) must be shown to contain folded gaps FOLD(i) -> w, as Lemma CG predicts; if your argument excludes BESIDE it must name the law that the germ does not satisfy. (C4) Planted negative: in an AROUND germ there is no minimal arch near w; Lemma CG must say nothing there. (C5) Level 1: the minimal arch is a gap of P(X^0) only; state whether a level-1 point inside it matters. F. DEAD ENDS (not progress) (a) A static proof without non-interleaving (D2609: Construction R is a planar 2PAGE order with a wet wall at every fibre). (b) TRAP-type compactness at the tip fibre (the gloves meet each far hull only finitely often; Proposition NT of dry0_prove). (c) Accessibility counts and sigma-invariance of the dry set (AF2: consistent with every sigma-invariant dry set). (d) Moore/Bing decompositions (no decomposition is both side-sensitive and h-equivariant). (e) Doubling and nesting of turn arcs (R9) and NI (M10R). (f) Re-deciding AROUND. (g) Finite tables as proof (Tier 0 only). RESTATEMENT GATE (mandatory; answered BEFORE the headline, in its own section). If your verdict reduces the node N to a residual lemma L (with or without other proved pieces), you must give ALL of: (G1) the exact statement of L and of N side by side, with the same standing hypotheses; (G2) a proof that L implies N (the reduction); (G3) a reason L is STRICTLY weaker than N: either an explicit configuration (or consistent abstract data meeting every standing law) where L holds and the conclusion of N is not yet available, or the named hypothesis of L that the negation of N does NOT supply; (G4) the line of your argument where L's own hypothesis (the defect, the witness, the scale) is actually used; if it is never used, L is a restatement. If G3 or G4 fails, the headline word is RESTATEMENT, not REDUCED, and the answer reports the proved building blocks only. A headline REDUCED without G1-G4 counts as a failed answer. G. FORMAT Line 1 exactly: VERDICT: BESIDE-WET EXCLUDED (proof, inputs listed) | BESIDE-WET CONSISTENT (explicit data meeting every listed law, with the folded gaps shown) | FOLDED-GAP LEMMA PROVED, CONSEQUENCE OPEN (what is proved, the named residual) | REDUCED (to ONE named lemma, G1-G4 answered) | OPEN. Then SUMMARY (<= 100 words), the argument (<= 2,000 words), STILL OPEN EXACTLY. Short of effort: line 1 + summary; an honest OPEN is valid. No finite computation as proof; no theorem beyond its hypotheses; UNKNOWN if unsure a cited result exists. RED FLAGS: treating the minimal arch as a gap of P(X) (it is a gap of the LEVEL-0 set only: level-1 points may lie in it); assuming iota_0 is order-reversing on all of X^0 (only the outermost arch reverses; arches may sit side by side); using a minimal arch near a tip (fixed points make the length argument fail); using Fact K for q not close to 0 in Zhat; assuming ALL-DRY or its negation; calling a finite table a proof; arguing from NI as in M10R or from doubling as in R9