Registry · Definition V.D111 tau-effective formalized

V.D111 — Mixed-sector mode

Mixed-sector mode: a propagating perturbation on tau^3 involving coherent oscillation between two or more sector components of the boundary holonomy algebra; the Alfven mode is the canonical example, mixing sectors B (electromagnetic) and D (gravitational).

Book V Part 4 Ch. 32

Dependency Graph

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.FluidMacro.TauAlfven

Symbol: Tau.BookV.FluidMacro.MixedsectorMode