AF-by-discrete亜群の指数写像と核を具体的に記述

We give an explicit geometric and algebraic description of the index map for AF-by-discrete groupoids. The index records transport between infinite tiles and abelianized returns in the groups of germs, subject to a defect in the dimension group of the associated Bratteli diagram. We determine the kernel of the index map and construct transposition factorizations of zero-index elements with trivial germs at singleton orbits. In particular, in every minimal case, this kernel equals the subgroup generated by dynamical transpositions. We also characterize approximation by the fixed AF core and prove almost finiteness for minimal systems that are compactly generated. We make higher homology explicit in terms of the groups of germs. We express the secondary parity differential by lifted surface relations and by an extension class constructed from balanced boundary data. Under minimality and comparison, lifting finite relations gives a split AH sequence. Explicit boundary and matrix calculations, together with a nonminimal example with nonzero parity differential, illustrate the theory.