History of Covolumes of the Bianchi groups

back to table · edit · history · where entries came from · files

compare when who what
2026-09-16 06:37 bmatschke interactive T175 moved: its address stopped at 'of', having lost the $\pi$ that the phrase is about. The cross-references follow it. current reviewed
2026-09-13 00:38 zeta3 table-repair@1.99+d9432b0a repair critique of T221 prose and relations
2026-09-13 00:14 zeta3 table-build@1.114+ea6faffe finish Bianchi covolume prose after checks
2026-09-13 00:11 zeta3 with Codex CLI, table-build@6ec table-build@1.114+ea6faffe Bianchi group covolumes from Humbert's formula
2026-09-13 00:03 zeta3 table-build@1.114+ea6faffe claim Bianchi group covolumes

What changed between 2026-09-13 00:38 and 2026-09-16 06:37

from line 26 (5 lines) @@ -26,5 +26,5 @@
     $12$ in $\mathrm{PSL}_2(\mathcal{O}_K)$ CITE{Chu2020}, so twelve times HREF{#-3}[the     $D=-3$ entry] is HREF{Hyperbolic_volumes_of_the_prime_knots_with_at_most_ten_crossings#4,1}[the-    volume of the figure-eight knot complement]. The HREF{#-4}[$D=-4$ entry] is HREF{Values_of_the_Clausen_functions_at_rational_multiples_of#2,1/2}[Catalan's+    volume of the figure-eight knot complement]. The HREF{#-4}[$D=-4$ entry] is HREF{Values_of_the_Clausen_functions_at_rational_multiples_of_pi#2,1/2}[Catalan's     constant] divided by $3$. Formulas:
from line 36 (5 lines) @@ -36,5 +36,5 @@
     Dirichlet $L$-function], the same volume is $|D|^{3/2}L(2,\chi_D)/24$.   formula-clausen: $\mathrm{Vol}\bigl(\mathrm{PSL}_2(\mathcal{O}_K)\backslash\mathbb{H}^3\bigr)-    = |D|\sum_{a=1}^{|D|-1}\chi_D(a)\mathrm{Cl}_2(2\pi a/|D|)/24$, where HREF{Values_of_the_Clausen_functions_at_rational_multiples_of}[$\mathrm{Cl}_2$]+    = |D|\sum_{a=1}^{|D|-1}\chi_D(a)\mathrm{Cl}_2(2\pi a/|D|)/24$, where HREF{Values_of_the_Clausen_functions_at_rational_multiples_of_pi}[$\mathrm{Cl}_2$]     is the Clausen function. Similar tables:
from line 60 (6 lines) @@ -60,6 +60,6 @@
   relation: $\kappa_D$, the residue at $s=1$ of the same $\zeta_K$, under the same     $D$-- table: HREF{Values_of_the_Clausen_functions_at_rational_multiples_of}[Values of-    the Clausen functions at rational multiples of $\pi$]+- table: HREF{Values_of_the_Clausen_functions_at_rational_multiples_of_pi}[Values+    of the Clausen functions at rational multiples of $\pi$]   relation: the finite Clausen sum in CITE{formula-clausen} Links: 

Sign in to restore an earlier version.