原始 JSON

{
  "kind": 30023,
  "id": "b7612d34253044f7441d69f06da8967f2edb743f93101bc8ddaafe5012add9b7",
  "pubkey": "d475ce4b3977507130f42c7f86346ef936800f3ae74d5ecf8089280cdc1923e9",
  "created_at": 1774202075,
  "tags": [
    [
      "d",
      "first-order-torsion-first-field-equation-structure-and-interpretation-jyoovm"
    ],
    [
      "title",
      "First order torsion-first field equation: structure and interpretation"
    ],
    [
      "published_at",
      "1774202075"
    ],
    [
      "summary",
      "If torsion-first is going to mean anything operational, the action has to be written in variables you are actually allowed to vary. The only thing you can safely push through an Euler-Lagrange variation is a covariant field on $Y.$ That field is the augmented torsion $T.$"
    ],
    [
      "t",
      "geometric unity"
    ],
    [
      "t",
      "gu"
    ],
    [
      "t",
      "physics"
    ],
    [
      "t",
      "science"
    ],
    [
      "t",
      "action"
    ],
    [
      "t",
      "euler-lagrange"
    ],
    [
      "t",
      "torsion"
    ],
    [
      "client",
      "Decent Newsroom"
    ]
  ],
  "content": "# Definitions / Notation used\n\n- $Y$ is a 14D manifold with split signature $(7,7)$. $X$ is a 4D manifold immersed by $\\iota: X \\hookrightarrow Y$. Along $\\iota(X)$: $TY|\\_X \\simeq TX \\oplus N\\_\\iota$, with indices $\\mu,\\nu$ on $TX$; $a,b$ on $N\\_\\iota$; and $M,N$ on $TY$.\n- $g\\_X := \\iota^\\* g\\_Y$. We use the $\\sigma$-split: $g\\_Y \\simeq g\\_X \\oplus \\sigma^2(x) \\delta\\_{ab} \\hat{n}^a \\hat{n}^b$, and distinguish $\\ast_X$ from $\\ast_Y$.\n- $H$ is the gauge group, $N := \\Omega^1(Y,\\mathrm{ad})$ ($\\mathrm{ad} = \\mathrm{ad}(P_H)$), and $G := H \\ltimes N$. A generic gauge-affine variable is $\\omega = (\\varepsilon, \\eta) \\in G$.\n- $A_0$ is the chosen background connection on $Y$. From $\\omega$ we form $B_{\\omega}$ (the transported/rotated connection built from $A_0$ and $\\varepsilon$), its curvature $F_B$, and the augmented torsion $T$ (the covariant \"difference\" built from $\\eta$ and $\\varepsilon$ relative to $A_0$).\n- Augmented torsion: $T := \\eta - \\varepsilon^{-1} d\\_{A\\_0} \\varepsilon \\in \\Omega^1(Y, \\mathrm{ad}(P\\_H))$.\n- The Shiab operator: $\\bullet_\\varepsilon$.\n- Swervature: $\\bullet\\_\\varepsilon(F\\_B)$\n\n\nDefine:\n\n$$\n\\Upsilon_\\omega := \\bullet_\\varepsilon(F_B) - \\kappa_1 T\n$$\n\n$$\nI\\_1(\\omega) := \\int\\_Y \\langle T, \\*\\_Y \\Upsilon\\_\\omega \\rangle\n$$\n\n# What this action is really doing\n\n$I_1$ is a torsion swervature pairing. It is constructed so it lives in the same bundle as $T$, allowing a gauge-covariant pairing.\n\nThe action is written in terms of:\n\n1. a covariant 1-form $T$\n2. a covariant form $\\bullet_\\varepsilon(F\\_B)$\n\n\nboth valued in $\\mathrm{ad}(P_H)$, paired via:\n$$\n\\langle \\cdot , \\cdot \\rangle \\quad \\text{and} \\quad \\*\\_Y\n$$\n\nTorsion first principle: **the field is $T$, not the connection**.\n\n\n# Variation sketch why $\\Upsilon_\\omega = 0$\n\n## Step 1: Choose a legal variation\n\nConnections are affine, so vary the translation part:\n\n$$\n\\omega\\_s = (\\varepsilon, \\eta + s \\alpha), \\quad \\alpha \\in \\Omega^1(Y, \\mathrm{ad}(P\\_H))\n$$\n\nThen: $T_s = T + s \\alpha$ and $\\delta T = \\alpha$.\n\nSince $B_\\omega$ depends only on $\\varepsilon$:\n\n$$\n\\delta F_B = 0\n$$\n\nThus:\n$$\n\\delta \\Upsilon\\_\\omega = -\\kappa\\_1 \\alpha\n$$\n\n## Step 2: Vary the action\n\n$$\n\\delta I\\_1\n= \\int\\_Y \\left( \\langle \\delta T, \\*\\_Y \\Upsilon\\_\\omega \\rangle + \\langle T, \\*\\_Y \\delta \\Upsilon\\_\\omega \\rangle \\right)\n$$\n\nInsert:\n$$\n\\delta T = \\alpha, \\quad \\delta \\Upsilon\\_\\omega = -\\kappa\\_1 \\alpha\n$$\n\n$$\n\\delta I\\_1\n= \\int\\_Y \\left( \\langle \\alpha, \\*\\_Y \\Upsilon\\_\\omega \\rangle - \\kappa\\_1 \\langle T, \\*\\_Y \\alpha \\rangle \\right)\n$$\n\nWith the normalization convention:\n$$\n\\frac{\\delta}{\\delta T} \\langle T, \\*\\_Y T \\rangle = \\*\\_Y T\n$$\n\nthe terms combine into:\n$$\n\\delta I\\_1 = \\int\\_Y \\langle \\alpha, \\*\\_Y (\\bullet\\_\\varepsilon(F\\_B) - \\kappa\\_1 T) \\rangle\n$$\n\n$$\n\\delta I\\_1 = \\int\\_Y \\langle \\alpha, \\*\\_Y \\Upsilon\\_\\omega \\rangle\n$$\n\nSince $\\alpha$ is arbitrary:\n$$\n\\Upsilon_\\omega = 0\n$$\n\n# Technical lemma normalization\n\nDefine:\n$$\nQ(T) := \\int\\_Y \\langle T, \\*\\_Y T \\rangle\n$$\n\nThen:\n$$\n\\delta Q(T)[\\alpha] = \\int\\_Y \\langle \\alpha, \\*\\_Y T \\rangle\n$$\n\nNo factor of 2 appears due to polarization normalization.\n\n# What about varying $\\varepsilon$\n\n$\\varepsilon$ enters in:\n\n- $T = \\eta - \\varepsilon^{-1} d\\_{A\\_0} \\varepsilon$\n- $B\\_\\omega = A\\_0 \\cdot \\varepsilon$\n\n\nThe resulting variation yields a compatibility condition: a Bianchi-type identity linking curvature and torsion through $\\bullet_\\varepsilon$ and $\\Theta_E$.\n\nNo Ricci-type contraction appears.\n\n# Assumptions vs consequences\n\n## Assumptions\n\n- $\\mathrm{Spin}(7,7)$ structure on $Y$\n- metric split with $\\sigma(x)$\n- distinguished background $A_0$\n- torsion $T$ as variable\n- fixed Shiab operator and $\\Theta_E$\n- pairing normalization\n\n\n## Consequences\n\n$$\n\\Upsilon\\_\\omega = 0\n\\quad \\Rightarrow \\quad\n\\bullet\\_\\varepsilon(F\\_B) = \\kappa\\_1 T\n$$\n\n- gauge covariant equation\n- no connection as a tensor\n- no Ricci trace\n\n\n# Why this matters\n\nThis is the point where the construction becomes a field theory on $Y$. The dynamics are written entirely in covariant objects.\n\nRecovering GR will mean showing that\n$\\bullet\\_\\varepsilon(F\\_B)$\nreduces to the Einstein contraction in a controlled regime.\n\n\n# Key takeaway\n\nThe action is built from torsion $T$, and its stationary points satisfy:\n$\\Upsilon_\\omega = 0 $\n\n# Technical takeaway\n\n$$\nI_1(\\omega) =\n\\int\\_Y \\langle T, \\*\\_Y (\\bullet\\_\\varepsilon(F\\_B) - \\kappa\\_1 T) \\rangle\n\\quad \\Rightarrow \\quad \\Upsilon_\\omega = 0\n$$",
  "sig": "1386e989234bfc57f757c5e4e41b3be6af881f04205be101aadb29f7535ea7f0e79dc0e67de8661e6f6bbb803ab554206749c4a83cbb3aaa12239f36b7166325"
}