Stratified Universality

Download original file

This is the original TeX manuscript source. Use the paper’s PDF for typeset equations.

Read the typeset paper

1 \begin{table}[htbp]
2 \centering
3 \caption{Exact verification of the Galois-Tannakian atlas finite Galois and Tannakian models.}
4 \label{tab:block12-validation}
5 \small
6 \begin{tabularx}{\textwidth}{@{}Y r@{}}
7 \toprule
8 Validation class & Checks\\
9 \midrule
10 Finite subgroup and Reynolds-projector identities & 1,020\\
11 Normality, core, and normal-closure identities & 192\\
12 Double-coset and Mackey packet identities & 1,590\\
13 Nested ramification-style projector filtrations & 39\\
14 Exact Hilbert 90 cocycles over Gaussian rationals & 884\\
15 Projective and Brauer obstruction examples & 44\\
16 Finite faithful tensor-model checks & 7,426\\
17 \midrule
18 \textbf{Galois-Tannakian atlas exact checks} & \textbf{11,195}\\
19 \textbf{Failures} & \textbf{0}\\
20 \bottomrule
21 \end{tabularx}
22 \end{table}

Back to source controls

Back to Stratified Universality