Raw JSON

{
  "kind": 30023,
  "id": "e4c424869db5f5d8e6bef354c4200dc873eb9f9da9b2503e1740197d12fbd323",
  "pubkey": "d475ce4b3977507130f42c7f86346ef936800f3ae74d5ecf8089280cdc1923e9",
  "created_at": 1781946649,
  "tags": [
    [
      "d",
      "augmented-torsion-efv9q9"
    ],
    [
      "title",
      "Augmented Torsion"
    ],
    [
      "published_at",
      "1772020682"
    ],
    [
      "summary",
      "The transport displacement that actually transforms like a field."
    ],
    [
      "t",
      "geometric unity"
    ],
    [
      "t",
      "gu"
    ],
    [
      "t",
      "physics"
    ],
    [
      "t",
      "science"
    ],
    [
      "t",
      "augmented torsion"
    ],
    [
      "client",
      "Decent Newsroom"
    ]
  ],
  "content": "Naive torsion is usually where gauge covariance goes to die. GU’s transport move is to stop trying to “fix torsion” after the fact and instead define torsion as a compensated difference from the outset. The augmented torsion\n\n$$\nT := \\eta - \\varepsilon^{-1} d_{A_0} \\varepsilon\n$$\n\nis engineered so the bad (inhomogeneous) terms cancel. This gives a torsion variable that transforms adjointly and can be pulled back to $X$ without illegal moves.\n\n# Definitions / Notation used\n- $\\omega = (\\varepsilon, \\eta) \\in G = H \\ltimes N$, with $\\eta \\in \\Omega^1(Y, \\mathrm{ad}(P_H))$.\n- $A_0$ fixed; $d_{A_0}$ is the covariant exterior derivative.\n- $B_{\\omega} := A_0 \\cdot \\varepsilon$, curvature $F_B := dB_{\\omega} + B_{\\omega} \\wedge B_{\\omega}$.\n- Augmented torsion:\n\n\n$$\nT(\\omega) := \\eta - \\varepsilon^{-1} d_{A_0} \\varepsilon \\in \\Omega^1\\big(Y, \\mathrm{ad}(P_H)\\big).\n$$\n\n# Main technical argument\n**Lemma (covariance of augmented torsion).**\n\nUnder the tilted right action by $h \\in H$, augmented torsion transforms adjointly:\n\n$$\nT(\\omega \\cdot h) = h^{-1} T(\\omega) h.\n$$\n\n## Explicit transformation line showing cancellation\nUse the tilted ($A_0$-aware) bookkeeping where the components transform as\n\n$$\n\\varepsilon^\\prime = \\varepsilon h,\n\\eta^\\prime = h^{-1} \\eta h + h^{-1} d_{A_0} h.\n$$\n\nCompute:\n\n$$\nT^\\prime = \\eta^\\prime - (\\varepsilon^\\prime)^{-1} d_{A_0} (\\varepsilon^\\prime)\n$$\n\n$$\n= \\big(h^{-1} \\eta h + h^{-1} d_{A_0} h\\big) - (h^{-1} \\varepsilon^{-1}) d_{A_0}(\\varepsilon h)\n$$\n\n$$\n= h^{-1} \\eta h + h^{-1} d_{A_0} h - h^{-1} \\varepsilon^{-1} (d_{A_0} \\varepsilon) h - h^{-1} d_{A_0} h\n$$\n\n$$\n= h^{-1} \\big( \\eta - \\varepsilon^{-1} d_{A_0} \\varepsilon \\big) h\n$$\n\n$$\n= h^{-1} T h.\n$$\n\nThe inhomogeneous term $h^{-1} d_{A_0} h$ cancels exactly.\n\n# Geometric meaning\n$T$ is the affine difference between two connection-building routes from the same $\\omega$:\n- translate: $A_0 + \\eta$\n- rotate: $B_{\\omega} = A_0 \\cdot \\varepsilon$\n\n\nThen $T$ is the “difference” in the model space $N$:\n\n$$\nT = (A_0 + \\eta) - (A_0 \\cdot \\varepsilon),\n$$\n\nwhich is precisely $\\eta - \\varepsilon^{-1} d_{A_0} \\varepsilon$.\n\n# Assumptions vs Consequences\n## Assumptions\n- $A_0$ fixed, $d_{A_0}$ used in compensators.\n- Tilted $H$-action includes the inhomogeneous $h^{-1} d_{A_0} h$ term on $\\eta $.\n\n\n## Consequences\n- $T$ transforms covariantly: $T \\mapsto h^{-1} T h$.\n- Therefore $\\iota^\\ast(T)$ is well-defined on $X$.\n- $B_{\\omega}$ and $F_B$ are operational objects compatible with transport bookkeeping.\n\n\n# Why this matters\n$T$ is the first transport-native torsion variable that survives gauge covariance. It is linear (lives in $N$), pullback-safe (can be observed on $X$ via $\\iota^\\ast$), and built to avoid “connections-aren’t-tensors” pitfalls. Later, when we build Einstein-like curvature contractions, we will not take naive Ricci traces on $\\mathrm{ad}$-valued curvature; those contractions are replaced by Shiab $\\bullet_{\\varepsilon}$. $T$ is designed to be compatible with that gauge-aware contraction discipline.\n\n\n# Key takeaway\nAugmented torsion is the right torsion variable because it is covariant by construction.\n\n# Technical takeaway\n$T := \\eta - \\varepsilon^{-1} d_{A_0} \\varepsilon$ transforms as $T \\mapsto h^{-1} T h$ because the inhomogeneous terms cancel line-by-line.",
  "sig": "a974a62c1d7d2801c4afb07823241b8aed72f2bfbc2268deeca686905d6300549067659583fbb0fd5a25cc7d73c57cc726b1f4ec9892edb47152b120e5a86718"
}