Appendix B Finite Fox–Heisenberg rules and word ledger
This appendix starts from the finite semidirect,
Heisenberg, and used in the first- and second-order calculations. It records the literal word-evaluation identities that supply the
Jacobian, mixed pairing, and candidate quadratic form in
Section 5,
Section 6.
The rules below are those used in
Lemma 5.4,
Lemma 5.5,
Lemma 5.14,
Proposition 6.5. They are identities of finite word evaluations before passage to cohomology; no formal
Fox calculus over an infinite completed group is invoked. For each finite coefficient calculation one may replace
\(\omega_2\) by any ordinary integer representative modulo the exponent of the finite semidirect, Heisenberg, or extraspecial group being evaluated;
Lemma 5.1 then shows that the resulting first and
mixed second derivatives are independent of the representative.
Let \(G\) act on \(\notn{Amod}{A}\) and \(\notn{Amod}{A}^\vee\text{,}\) and evaluate a word in
\begin{equation*}
G\ltimes(\notn{Amod}{A}\times \notn{Amod}{A}^\vee\times\F_2).
\end{equation*}
If \(\bar u\) is its base value, \(D_u,D_u^\vee\) are its two first derivatives, and \(\beta_u\) is its mixed central coordinate, then direct multiplication in the finite Heisenberg group gives
\begin{align}
D_{uv}&=D_u+\bar uD_v,
&D_{u^{-1}}&=-\bar u^{-1}D_u,\tag{B.1}\\
D_{u^g}&=\bar g^{-1}D_u+\bar g^{-1}(\bar u-1)D_g,
&D_{u^n}&=\sum_{j=0}^{n-1}\bar u^jD_u,\notag\\
\beta_{uv}&=\beta_u+\beta_v+(D_u^\vee)(\bar uD_v),
&\beta_{u^{-1}}&=\beta_u+(\bar u^{-1}D_u^\vee)(\bar u^{-1}D_u).\tag{B.2}
\end{align}
The formulas for conjugates, commutators, and powers follow recursively. When \(\bar u\) has odd order \(e\) and the exponent is the \(2\)-primary idempotent, the power sum is the norm projector
\begin{equation*}
\notn{Pnorm}{P}=1+\bar u+\cdots+\bar u^{e-1}.
\end{equation*}
We now spell out the first-order ledger at a tame lower map. Write \(\notn{opS}{\mathsf S},\notn{opT}{\mathsf T}\) for the lower actions of \(\notn{sigma}{\sigma},\notn{tau}{\tau}\text{,}\) put \(\notnfar{opU}{\mathsf U}=\notn{opS}{\mathsf S}^{\omega_2}\text{,}\) and let \((a,b,c,d)\) be the lift variables on \((\notn{sigma}{\sigma},\notn{tau}{\tau},\notn{x0}{x_0},\notnfar{x1}{x_1})\text{.}\) The \(\omega_2\)-power rule gives
\begin{equation}
\notn{Dfox}{D}(u_i)=\notn{Pnorm}{P}(Dx_i+\notn{Dfox}{D}\notn{tau}{\tau}),\tag{B.3}
\end{equation}
and hence
\begin{equation}
\notn{Dfox}{D}(d_0)=\notn{Pnorm}{P} b+(\notn{Pnorm}{P}+1)c,
\qquad
\notn{Dfox}{D}(z_0)=\notnfar{opU}{\mathsf U}^{-1}c.\tag{B.4}
\end{equation}
The tame relator gives the unnormalized row
\begin{equation}
\notn{Dfox}{D}(\notn{tau}{\tau}^\notn{sigma}{\sigma}\notn{tau}{\tau}^{-2})
=\notn{opS}{\mathsf S}^{-1}(1+\notn{opT}{\mathsf T})a+(\notn{opS}{\mathsf S}^{-1}+1+\notn{opT}{\mathsf T})b.\tag{B.5}
\end{equation}
The wild relator has the following first-order table:
\begin{equation*}
\begin{array}{c|cccc}
\toprule
\text{factor} & a&b&c&d\\
\midrule
h_0&0&0&0&0\\
u_1^{-1}&0&\notn{Pnorm}{P}&0&\notn{Pnorm}{P}\\
\notnfar{x1}{x_1}^\notn{sigma}{\sigma}&0&0&0&\notn{opS}{\mathsf S}^{-1}\\
{[d_0,z_0]}&0&0&0&0\\
\bottomrule
\end{array}
\end{equation*}
Thus
\begin{equation}
L_w=\notn{Pnorm}{P} b+(\notn{Pnorm}{P}+\notn{opS}{\mathsf S}^{-1})d.\tag{B.6}
\end{equation}
The only non-obvious entry in this ledger is the first line. The variation of
\(g_0=\sigma_2^2\) contributes only in order at least two, because the lower values of
\(\notn{x0}{x_0}\) and
\(d_0\) at the tame map are both
\(1\text{.}\) If
\(\notn{Pnorm}{P}=0\text{,}\) then
\(Dd_0=\notn{Dfox}{D}\notn{x0}{x_0}=c\text{,}\) and the exact
class-two identity of
Lemma 5.2 shows that
\(h_0\) has the same elementary and central shadow as
\(\notn{x0}{x_0}^2\text{.}\) If
\(\notn{Pnorm}{P}=1\text{,}\) then
\(\notn{opT}{\mathsf T}=1\) and the
\(2\)-primary operator
\(\notnfar{opU}{\mathsf U}\) acts trivially on the simple characteristic-
\(2\) quotient; its lift to the Heisenberg or extraspecial coefficient group is a central automorphism of order at most
\(2\text{,}\) so
\(g_0=\sigma_2^2\) acts trivially on the full coefficient group. Again
Lemma 5.2 applies. This is the precise reason that
\(h_0\) may be replaced by
\(\notn{x0}{x_0}^2\) in the linear, mixed cup, and determinant calculations.
Write
\(b_{\mathrm{cl}}\) for the bilinear commutator pairing of the chosen class-two coefficient group. For the mixed Heisenberg and extraspecial calculations on
normalized representatives supported on
\(\notn{x0}{x_0}\text{,}\) the ledger (stated inline in
Section 5 and repeated here as part of the appendix’s complete record) is
\begin{equation*}
\begin{array}{c|c|c}
\toprule
\text{factor} & \notnfar{Vhead}{V}\text{-coordinate} & \text{central coordinate}\\
\midrule
h_0&0&\lambda(c)\text{ in }H(\notn{Amod}{A})\text{, or }q(c)\text{ for }\notnfar{kappaq0}{\kappa_q^0}\\
u_1^{-1}&0&0\\
\notnfar{x1}{x_1}^\notn{sigma}{\sigma}&0&0\\
d_0=(\notn{x0}{x_0}\notn{tau}{\tau})^{\omega_2}\notn{x0}{x_0}^{-1}&(\notn{Pnorm}{P}+1)c&*\\
z_0=\notn{x0}{x_0}^{\sigma_2}&\notnfar{opU}{\mathsf U}^{-1}c&*\\
{[d_0,z_0]}&0&b_{\mathrm{cl}}((\notn{Pnorm}{P}+1)c,\notnfar{opU}{\mathsf U}^{-1}c)\\
\bottomrule
\end{array}
\end{equation*}
The starred
central coordinates of
\(d_0\) and
\(z_0\) are immaterial because these words occur only inside the commutator. The table gives both the
mixed Hessian in
Lemma 5.14 and the exact base determinant word expansion
\begin{equation*}
Q_A^0(c)=q(c)+\notnfar{bq}{b_q}((\notn{Pnorm}{P}+1)c,\notnfar{opU}{\mathsf U}^{-1}c)
\end{equation*}
of
Proposition 6.5. The starred entries may contain the non-diagonal action corrections
\(m_c\) from
Lemma 6.1; they are central coordinates of
\(d_0\) and
\(z_0\) and hence do not affect the commutator. No
relator-by-relator Stokes identity is used: the correction terms in the finite-word Stokes formula cancel only after summing the tame and wild relators, exactly as in
Proposition 5.8.
References References
[Asc]
M. Aschbacher, Finite Group Theory, second edition, Cambridge Studies in Advanced Mathematics 10, Cambridge University Press, Cambridge, 2000.
[bib-LMFDB]
The LMFDB Collaboration, The
\(L\)-functions and modular forms database, published electronically at
https://www.lmfdb.org, 2026.
[Bro]
K. S. Brown, Cohomology of Groups, Graduate Texts in Mathematics 87, Springer, 1982.
[Die]
V. Diekert, Über die absolute Galoisgruppe dyadischer Zahlkörper, J. Reine Angew. Math. 350 (1984), 152–172.
[DFPR]
J. D. Dixon, E. W. Formanek, J. C. Poland, and L. Ribes, Profinite completions and isomorphic finite quotients, J. Pure Appl. Algebra 23 (1982), 227–231.
[EG]
M. Emerton and T. Gee, Moduli stacks of étale \((\varphi,\Gamma)\)-modules and the existence of crystalline lifts, Annals of Mathematics Studies 215, Princeton University Press, Princeton, NJ, 2023.
[Eve]
L. Evens, A generalization of the transfer map in the cohomology of groups, Trans. Amer. Math. Soc. 108 (1963), 54–65.
[FV]
I. B. Fesenko and S. V. Vostokov, Local Fields and Their Extensions, second edition, Translations of Mathematical Monographs 121, American Mathematical Society, Providence, RI, 2002.
[Fox]
R. H. Fox, Free differential calculus. I. Derivation in the free group ring, Ann. of Math. (2) 57 (1953), 547–560.
[FJ]
M. D. Fried and M. Jarden, Field Arithmetic, fourth edition, Ergebnisse der Mathematik und ihrer Grenzgebiete (3) 11, Springer, Cham, 2023.
[Gro]
L. C. Grove, Classical Groups and Geometric Algebra, Graduate Studies in Mathematics 39, American Mathematical Society, Providence, RI, 2002.
[Gui]
P. Guillot, The computation of Stiefel–Whitney classes, Ann. Inst. Fourier (Grenoble) 60 (2010), 565–606.
[Iha]
Y. Ihara, The Galois representation arising from \(\mathbb{P}^1\setminus\{0,1,\infty\}\) and Tate twists of even degree, in Galois Groups over \(\mathbb{Q}\) (Y. Ihara, K. Ribet, J.-P. Serre, eds.), Mathematical Sciences Research Institute Publications 16, Springer, New York, 1989, 299–313.
[JW]
U. Jannsen and K. Wingberg, Die Struktur der absoluten Galoisgruppe \(\mathfrak p\)-adischer Zahlkörper, Invent. Math. 70 (1982), 71–98.
[JS]
M. Jarden and M. Shusterman, The absolute Galois group of a \(p\)-adic field, Math. Ann. 386 (2023), no. 3–4, 1595–1603.
[Kah]
B. Kahn, Classes de Stiefel–Whitney de formes quadratiques et de représentations galoisiennes réelles, Invent. Math. 78 (1984), 223–256.
[Koc]
H. Koch, Galois Theory of \(p\)-Extensions, Springer Monographs in Mathematics, Springer, 2002.
[Koz]
A. Kozlowski, The Evens–Kahn formula for the total Stiefel–Whitney class, Proc. Amer. Math. Soc. 91 (1984), 309–313.
[Lab]
J. P. Labute, Classification of Demushkin groups, Canad. J. Math. 19 (1967), 106–132.
[Maz]
B. Mazur, Deforming Galois representations, in: Galois groups over \(\mathbb{Q}\) (Berkeley, CA, 1987), Math. Sci. Res. Inst. Publ. 16, Springer, New York, 1989, pp. 385–437.
[Mil]
J. S. Milne, Arithmetic Duality Theorems, 2nd ed., BookSurge, Charleston, SC, 2006.
[Moc]
S. Mochizuki, A version of the Grothendieck conjecture for \(p\)-adic local fields, Internat. J. Math. 8 (1997), no. 4, 499–506.
[Mon]
M. Monge, Determination of the number of isomorphism classes of extensions of a \(p\)-adic field, J. Number Theory 131 (2011), no. 8, 1429–1434.
[Neu]
J. Neukirch, Algebraic Number Theory, Grundlehren der mathematischen Wissenschaften 322, Springer, Berlin, 1999.
[NSW]
J. Neukirch, A. Schmidt, and K. Wingberg, Cohomology of Number Fields, 2nd ed., Springer, 2015.
[Nis]
Y. Nishio, On the outer automorphism groups of the absolute Galois groups of \(2\)-adic local fields, preprint (2025), arXiv:2512.05095.
[OMe]
O. T. O’Meara, Introduction to Quadratic Forms, Grundlehren der mathematischen Wissenschaften 117, Springer, Berlin, 1963.
[RZ]
L. Ribes and P. Zalesskii, Profinite Groups, 2nd ed., Springer, 2010.
[Sch]
F. Schneider, On the structure of the absolute Galois group of local fields with residue characteristic 2, Dissertation, Universität Regensburg, 2016.
[Ser63]
J.-P. Serre, Structure de certains pro-\(p\)-groupes, Séminaire Bourbaki 8, exposé no. 252 (1962–1964), 145–155.
[Ser73]
J.-P. Serre, A Course in Arithmetic, Graduate Texts in Mathematics 7, Springer-Verlag, New York, 1973.
[Ser78]
J.-P. Serre, Une “formule de masse” pour les extensions totalement ramifiées de degré donné d’un corps local, C. R. Acad. Sci. Paris Sér. A-B 286 (1978), no. 22, A1031–A1036.
[Ser79]
J.-P. Serre, Local Fields, Graduate Texts in Mathematics 67, Springer, 1979.
[Sti]
J. Stix, On cuspidal sections of algebraic fundamental groups, in Galois–Teichmüller Theory and Arithmetic Geometry, Advanced Studies in Pure Mathematics 63, Mathematical Society of Japan, 2012, 519–563.
[Wal]
G. E. Wall, On the conjugacy classes in the unitary, symplectic and orthogonal groups, J. Austral. Math. Soc. 3 (1963), 1–62.
[Web]
P. Webb, A Course in Finite Group Representation Theory, Cambridge Studies in Advanced Mathematics 161, Cambridge University Press, Cambridge, 2016.
[Zel]
I. G. Zel’venskiĭ, Maximal extension without simple ramification of a local field, Izv. Akad. Nauk SSSR Ser. Mat. 42 (1978), no. 6; English transl., Math. USSR-Izv. 13 (1979), 647–661.