Research problems opened by the proof

The proof-critical PV/Barlak comparison for block-supported height-one absorption is closed in Technical Engine A. It uses the equivariant PV triangle, the exact Baum--Connes skeletal functor, and a filtered-cofiber exact-couple chase; it does not form an ordinary \(C^*\)-algebra cone of \(1-\alpha_h\). The remaining problems concern the full magnetic phase, higher coefficient rank, and stronger realizations.

1. Construct comparison maps for the magnetic phase

For a full magnetic matrix, the book produces fixed-corner classes

\[ [\nu]\in H^2\bigl(G,U(D_{\mathrm{lc}})_{\bar\beta}\bigr). \]

Construct comparison maps under corner conjugacy, finite colour stabilization, changes of transfer function, and changes of projection representative. Only after proving invariance under these maps is it legitimate to define a stable phase attached to \(x_f\). In parallel, compute the fixed-corner classes in explicit cut-and-project and skew-product systems. The raw data are the locally constant return-time functions and the entries \(\Theta_{ih}\).

2. Build the twisted module directly as a Gabor module

The descent construction proves finite projectivity through the explicit projection \(\lambda_F^{(m)}(e)\). A stronger result would write a finite family of coefficient-valued windows whose time-frequency shifts give the projection or frame operator directly for the full Fell-bundle cocycle. This should make the magnetic phase visible as a projective representation identity on the windows.

3. Replace GPS in higher height rank

For \(H\cong\mathbb Z^s\), identify a compact-open normalizer category in which vanishing spectral-sequence obstructions imply strict finite PE transport. One possible route is a cubical system of Kakutani--Rokhlin partitions with coherent face maps.

4. Compare the three appearances of cohomology

There are at least three related but distinct groups:

pattern-equivariant or groupoid cohomology controlling shape data;
\(H^2\) of the transformation groupoid controlling twists;
even cohomology entering the Chern character of \(K_0\).

The useful unification is not an identification by slogan. It is a diagram of concrete maps showing which deformation class changes the multiplier, which changes the groupoid, which yields a Kasparov element, and how its Chern character pairs with the invariant trace.

flowchart LR
    PE["PE deformation class"]
    GR["deformed groupoid or action"]
    TW["groupoid H^2 twist"]
    KK["KK correspondence"]
    K0["new K_0 class"]
    CH["Chern character"]
    TR["trace / gap label"]
    PE --> GR --> KK --> K0
    TW --> KK
    K0 --> CH --> TR

5. Turn constructions into lower bounds

For a family of clopen classes \(f_a\) and transverse Rieffel classes \(E_b\), determine the rank of the subgroup generated by

\[ [\mathcal E_{b,a}] \quad\text{and by their trace values}\quad \mu(f_a)\tau(E_b). \]

Trace independence gives a practical lower bound on \(K_0\), but equal traces do not imply equal classes. Cyclic cocycles or higher Chern pairings are needed when the canonical trace has a kernel.

6. Compare with torus pullback classes

When the hull fibers over a torus and pullback is injective on \(K_0\), compare the pulled-back Rieffel lattice with the mixed classes constructed here. The trace formula predicts a tensor-product pattern: torus Pfaffian minors multiplied by clopen frequencies. Proving independence requires tracking the relevant Chern components, not only the scalar trace.

Keyboard shortcuts