Periodicity and Indecomposability in Generalized Inverse Limits

The paper’s main theorem (Theorem 1.1) states exactly the two implications under audit: (1) a periodic cycle whose period is not a power of two implies the inverse limit has an indecomposable subcontinuum under the light + almost nonfissile hypothesis off π1[int G(f)], and (2) if f is organic and the inverse limit is indecomposable, then f has a periodic cycle with period not a power of two. This is explicitly tied to Theorems 4.4 and 4.8 in the body of the paper . For (1), the paper reduces to the empty-interior case via an explicit modification g with G(g)⊆G(f) that preserves the given cycle and is light and almost nonfissile everywhere; this ensures lim←{[0,1],g}⊂lim←{[0,1],f} and lets Theorem 4.3 (empty-interior case) apply . Theorem 4.3 builds the indecomposable subcontinuum by producing a 3-cycle for a shift iterate and invoking full-projection machinery (Theorems 3.10–3.11) plus Lemma 4.2 to keep projections nondegenerate . For (2), Theorem 4.8 picks three points forcing pairwise irreducibility, uses organicity to obtain n with fn of certain intervals equal to [0,1], and carries out a detailed IVP-based case analysis to create a periodic cycle whose period is not a power of two . The candidate solution mirrors these steps: it performs the same interior-excision to an everywhere light/almost nonfissile map, embeds the modified inverse limit into the original, and uses full-projection/IVP arguments to conclude indecomposability; and it uses organicity with a triple of points to force surjective iterates and then derives a non–power-of-two period via an IVP case analysis. Minor gaps in the model include not stating surjectivity (used in Theorems 3.10, 3.11, 4.3, 4.4, and 4.8) and hand-wavy phrasing around obtaining a 3-cycle via IVP rather than citing the Sarkovskii result for set-valued maps, which the paper explicitly invokes (Theorem 4.1) . Overall, both proofs align closely in structure and substance.