The general structural conjecture for joinings of partially pro-nilsystem actions
General Structural Conjecture. Depending only on these data, there are finite families of pairs (Λi,j,mi,j)(\Lambda_{i,j},m_{i,j})(Λi,j,mi,j) for i=1,2,…,ri=1,2,\ldots,ri=1,2,…,r, with mi,j≥0m_{i,j}\geq 0mi,j≥0 and…