Сравнение по n: правило, Тода, лекция
Строка — группа $\pi_n(S^2)=\pi_n(S^3)$ ($n\ge4$), 3-примарная часть. Число — ранг 3-кручения.
- E² — нестабильный $E_2$ для $S^3$ при $p=3$ без башни над $\pi_3$, то есть гомологии метабиблиотеки; цвета — $Q$-вес Ext (метод), $n\le150$.
- хищное — что остаётся после хищного правила с цветом $+1$. Две колонки — два способа заполнять цепочки: «low» и «high» (дифференциалы). Результат окончателен до $n=149$.
- Тода 2003 — наше прочтение таблицы Тоды 2003 года ($n\le82$); Тода 1962 — его книга ($n\le22$).
Хищное правило («low») совпадает с Тодой при всех $n\le48$. Это ровно стемы $k=n-3<46$, которые Тода определил в 1967 году. Расхождения при $n\le82$: $\pi_{49}$, $\pi_{50}$, $\pi_{51}$, $\pi_{59}$, $\pi_{60}$, $\pi_{63}$, $\pi_{64}$, $\pi_{66}$, $\pi_{67}$, $\pi_{68}$, $\pi_{69}$, $\pi_{70}$, $\pi_{73}$, $\pi_{74}$, $\pi_{75}$, $\pi_{76}$, $\pi_{77}$, $\pi_{79}$, $\pi_{80}$; везде правило оставляет больше классов, чем Тода. Нулей при $49\le n\le149$ правило не даёт ни в одном варианте.
| n | E² | хищное low | хищное high | Тода 2003 | Тода 1962 | семейство | лекция | замечание |
|---|---|---|---|---|---|---|---|---|
| 4 | 0 | 0 | 0 | — | 0 | |||
| 5 | 0 | 0 | 0 | — | 0 | |||
| 6 | 1 | 1 | 1 | 1 | 1 | элемент Тоды | ||
| 7 | 0 | 0 | 0 | 0 | 0 | |||
| 8 | 0 | 0 | 0 | 0 | 0 | |||
| 9 | 1 | 1 | 1 | 1 | 1 | сэндвич | ||
| 10 | 1 | 1 | 1 | 1 | 1 | элемент Тоды | ||
| 11 | 0 | 0 | 0 | 0 | 0 | |||
| 12 | 0 | 0 | 0 | 0 | 0 | |||
| 13 | 1 | 1 | 1 | 1 | 1 | сэндвич | ||
| 14 | 1 | 1 | 1 | 1 | 1 | элемент Тоды | ||
| 15 | 0 | 0 | 0 | 0 | 0 | |||
| 16 | 1 | 1 | 1 | 1 | 1 | |||
| 17 | 1 | 1 | 1 | 1 | 1 | сэндвич | ||
| 18 | 1 | 1 | 1 | 1 | 1 | элемент Тоды | ||
| 19 | 1 | 1 | 1 | 1 | 1 | |||
| 20 | 1 | 1 | 1 | 1 | 1 | |||
| 21 | 1 | 1 | 1 | 1 | 1 | сэндвич | ||
| 22 | 1 | 1 | 1 | 1 | 1 | элемент Тоды | ||
| 23 | 1 | 0 | 0 | 0 | ||||
| 24 | 2 | 0 | 0 | 0 | ||||
| 25 | 2 | 1 | 1 | 1 | сэндвич | |||
| 26 | 2 | 2 | 2 | 2 | элемент Тоды | |||
| 27 | 2 | 1 | 1 | 1 | ||||
| 28 | 2 | 0 | 0 | 0 | ||||
| 29 | 3 | 2 | 2 | 2 | сэндвич | |||
| 30 | 2 | 2 | 2 | 2 | элемент Тоды | |||
| 31 | 1 | 0 | 0 | 0 | ||||
| 32 | 2 | 0 | 0 | 0 | ||||
| 33 | 3 | 1 | 1 | 1 | сэндвич | |||
| 34 | 3 | 1 | 1 | 1 | элемент Тоды | |||
| 35 | 3 | 1 | 1 | 1 | ||||
| 36 | 4 | 2 | 2 | 2 | ||||
| 37 | 4 | 2 | 2 | 2 | сэндвич | |||
| 38 | 3 | 1 | 1 | 1 | элемент Тоды | |||
| 39 | 3 | 1 | 1 | 1 | ||||
| 40 | 3 | 1 | 1 | 1 | ||||
| 41 | 3 | 1 | 2 | 1 | сэндвич | |||
| 42 | 4 | 2 | 2 | 2 | элемент Тоды | |||
| 43 | 4 | 1 | 0 | 1 | ||||
| 44 | 4 | 0 | 0 | 0 | нет 3-кручения | |||
| 45 | 5 | 2 | 2 | 2 | сэндвич | |||
| 46 | 5 | 3 | 3 | 3 | элемент Тоды | |||
| 47 | 4 | 1 | 1 | 1 | ||||
| 48 | 4 | 0 | 0 | 0 | ||||
| 49 | 5 | 2 | 2 | 1 | сэндвич | гипотеза: есть | правило ≠ Тода | |
| 50 | 5 | 3 | 3 | 1 | элемент Тоды | гипотеза: есть | правило ≠ Тода | |
| 51 | 4 | 1 | 1 | 0 | гипотеза: есть | правило ≠ Тода; Тода: 0 при n ≥ 49 | ||
| 52 | 6 | 2 | 1 | 2 | гипотеза: есть | |||
| 53 | 7 | 3 | 2 | 3 | сэндвич | гипотеза: есть | ||
| 54 | 6 | 2 | 2 | 2 | элемент Тоды | гипотеза: есть | ||
| 55 | 5 | 1 | 1 | 1 | гипотеза: есть | |||
| 56 | 6 | 2 | 2 | 2 | гипотеза: есть | |||
| 57 | 6 | 2 | 2 | 2 | сэндвич | гипотеза: есть | ||
| 58 | 6 | 2 | 2 | 2 | элемент Тоды | гипотеза: есть | ||
| 59 | 6 | 2 | 2 | 1 | гипотеза: есть | правило ≠ Тода | ||
| 60 | 6 | 1 | 1 | 0 | гипотеза: есть | правило ≠ Тода; Тода: 0 при n ≥ 49 | ||
| 61 | 7 | 2 | 3 | 2 | сэндвич | гипотеза: есть | ||
| 62 | 7 | 3 | 3 | 3 | элемент Тоды | гипотеза: есть | ||
| 63 | 8 | 3 | 2 | 2 | гипотеза: есть | правило ≠ Тода | ||
| 64 | 8 | 2 | 2 | 1 | гипотеза: есть | правило ≠ Тода | ||
| 65 | 7 | 2 | 2 | 2 | сэндвич | гипотеза: есть | ||
| 66 | 7 | 3 | 3 | 2 | элемент Тоды | гипотеза: есть | правило ≠ Тода | |
| 67 | 7 | 2 | 2 | 0 | гипотеза: есть | правило ≠ Тода; Тода: 0 при n ≥ 49 | ||
| 68 | 8 | 2 | 2 | 1 | гипотеза: есть | правило ≠ Тода | ||
| 69 | 8 | 3 | 3 | 2 | сэндвич | гипотеза: есть | правило ≠ Тода | |
| 70 | 7 | 2 | 2 | 1 | элемент Тоды | гипотеза: есть | правило ≠ Тода | |
| 71 | 8 | 1 | 2 | 1 | предсказано $(\mathbb Z/3)^2$; гипотеза: есть | Тода: 1, не 2 | ||
| 72 | 10 | 1 | 1 | 1 | гипотеза: есть | |||
| 73 | 11 | 3 | 2 | 1 | сэндвич | гипотеза: есть | правило ≠ Тода | |
| 74 | 10 | 3 | 4 | 1 | элемент Тоды | гипотеза: есть | правило ≠ Тода | |
| 75 | 10 | 2 | 2 | 0 | гипотеза: есть | правило ≠ Тода; Тода: 0 при n ≥ 49 | ||
| 76 | 12 | 4 | 3 | 0 | гипотеза: есть | правило ≠ Тода; Тода: 0 при n ≥ 49 | ||
| 77 | 11 | 3 | 4 | 1 | сэндвич | гипотеза: есть | правило ≠ Тода | |
| 78 | 10 | 2 | 3 | 2 | элемент Тоды | гипотеза: есть | ||
| 79 | 11 | 3 | 2 | 1 | гипотеза: есть | правило ≠ Тода | ||
| 80 | 11 | 2 | 1 | 0 | гипотеза: есть | правило ≠ Тода; Тода: 0 при n ≥ 49 | ||
| 81 | 12 | 2 | 3 | 2 | сэндвич | гипотеза: есть | ||
| 82 | 14 | 3 | 3 | 3 | элемент Тоды | гипотеза: есть | ||
| 83 | 16 | 3 | 3 | — | гипотеза: есть | |||
| 84 | 16 | 3 | 5 | — | гипотеза: есть | |||
| 85 | 14 | 3 | 4 | — | сэндвич | гипотеза: есть | ||
| 86 | 15 | 5 | 4 | — | элемент Тоды | гипотеза: есть | ||
| 87 | 15 | 3 | 3 | — | гипотеза: есть | |||
| 88 | 14 | 1 | 2 | — | гипотеза: есть | |||
| 89 | 14 | 4 | 4 | — | сэндвич | гипотеза: есть | ||
| 90 | 14 | 4 | 3 | — | элемент Тоды | гипотеза: есть | ||
| 91 | 16 | 2 | 2 | — | гипотеза: есть | |||
| 92 | 18 | 1 | 2 | — | гипотеза: есть | |||
| 93 | 20 | 4 | 5 | — | сэндвич | гипотеза: есть | ||
| 94 | 20 | 6 | 7 | — | элемент Тоды | гипотеза: есть | ||
| 95 | 18 | 4 | 3 | — | гипотеза: есть | |||
| 96 | 18 | 4 | 4 | — | гипотеза: есть | |||
| 97 | 18 | 4 | 6 | — | сэндвич | гипотеза: есть | ||
| 98 | 18 | 4 | 5 | — | элемент Тоды | гипотеза: есть | ||
| 99 | 20 | 6 | 5 | — | гипотеза: есть | |||
| 100 | 20 | 5 | 3 | — | гипотеза: есть | |||
| 101 | 20 | 3 | 4 | — | сэндвич | гипотеза: есть | ||
| 102 | 23 | 5 | 5 | — | элемент Тоды | гипотеза: есть | ||
| 103 | 25 | 5 | 4 | — | гипотеза: есть | |||
| 104 | 24 | 3 | 4 | — | гипотеза: есть | |||
| 105 | 23 | 4 | 4 | — | сэндвич | гипотеза: есть | ||
| 106 | 24 | 5 | 5 | — | элемент Тоды | гипотеза: есть | ||
| 107 | 25 | 3 | 4 | — | гипотеза: есть | |||
| 108 | 25 | 2 | 3 | — | гипотеза: есть | |||
| 109 | 25 | 5 | 6 | — | сэндвич | гипотеза: есть | ||
| 110 | 26 | 6 | 5 | — | элемент Тоды | гипотеза: есть | ||
| 111 | 27 | 5 | 4 | — | гипотеза: есть | |||
| 112 | 27 | 5 | 5 | — | гипотеза: есть | |||
| 113 | 28 | 5 | 6 | — | сэндвич | гипотеза: есть | ||
| 114 | 29 | 4 | 5 | — | элемент Тоды | гипотеза: есть | ||
| 115 | 29 | 4 | 4 | — | гипотеза: есть | |||
| 116 | 29 | 4 | 5 | — | гипотеза: есть | |||
| 117 | 29 | 4 | 5 | — | сэндвич | гипотеза: есть | ||
| 118 | 29 | 5 | 5 | — | элемент Тоды | гипотеза: есть | ||
| 119 | 28 | 4 | 5 | — | гипотеза: есть | |||
| 120 | 29 | 3 | 3 | — | гипотеза: есть | |||
| 121 | 30 | 4 | 4 | — | сэндвич | гипотеза: есть | ||
| 122 | 30 | 6 | 7 | — | элемент Тоды | гипотеза: есть | ||
| 123 | 31 | 5 | 5 | — | гипотеза: есть | |||
| 124 | 31 | 4 | 5 | — | гипотеза: есть | |||
| 125 | 31 | 6 | 6 | — | сэндвич | гипотеза: есть | ||
| 126 | 30 | 6 | 6 | — | элемент Тоды | гипотеза: есть | ||
| 127 | 29 | 3 | 4 | — | гипотеза: есть | |||
| 128 | 31 | 3 | 3 | — | гипотеза: есть | |||
| 129 | 33 | 6 | 6 | — | сэндвич | гипотеза: есть | ||
| 130 | 34 | 5 | 5 | — | элемент Тоды | гипотеза: есть | ||
| 131 | 36 | 5 | 6 | — | гипотеза: есть | |||
| 132 | 37 | 6 | 8 | — | гипотеза: есть | |||
| 133 | 38 | 5 | 6 | — | сэндвич | гипотеза: есть | ||
| 134 | 38 | 6 | 6 | — | элемент Тоды | гипотеза: есть | ||
| 135 | 36 | 5 | 4 | — | гипотеза: есть | |||
| 136 | 36 | 4 | 5 | — | гипотеза: есть | |||
| 137 | 37 | 5 | 7 | — | сэндвич | гипотеза: есть | ||
| 138 | 38 | 6 | 5 | — | элемент Тоды | гипотеза: есть | ||
| 139 | 39 | 5 | 4 | — | гипотеза: есть | |||
| 140 | 41 | 3 | 4 | — | гипотеза: есть | |||
| 141 | 44 | 7 | 9 | — | сэндвич | гипотеза: есть | ||
| 142 | 44 | 9 | 10 | — | элемент Тоды | гипотеза: есть | ||
| 143 | 43 | 6 | 5 | — | гипотеза: есть | |||
| 144 | 43 | 4 | 6 | — | гипотеза: есть | |||
| 145 | 44 | 6 | 8 | — | сэндвич | гипотеза: есть | ||
| 146 | 44 | 8 | 7 | — | элемент Тоды | гипотеза: есть | ||
| 147 | 43 | 6 | 5 | — | гипотеза: есть | |||
| 148 | 45 | 6 | 5 | — | гипотеза: есть | |||
| 149 | 47 | 8 | 5 | — | сэндвич | гипотеза: есть | ||
| 150 | 48 | — | — | — | элемент Тоды | гипотеза: есть |