Local symmetry and the dependence on extended spacetime

Technische Samenvatting: Lokale Symmetrie en de Afhankelijkheid van Uitgebreide Ruimtetijd

Probleemstelling
Het artikel behandelt de formulering van lokale symmetrieën in theorieën die gedefinieerd zijn op uitgebreide ruimtetijden, specifie verb { $E$ } theorie (de niet-lineaire realisatie van $E_{11} \otimes_s l_1$) en Siegel-theorie (Double Field Theory). Historisch gezien hebben deze theorieën vertrouwd op "sectievoorwaarden" (zoals de zwakke conditie $\partial_\Pi \partial^\Pi \cdot = 0$ of de sterke conditie $\partial_\Pi \cdot \partial^\Pi \cdot = 0$) om behoud van ijkenvariantie en consistentie te waarborgen. Deze voorwaarden, gemotiveerd door de stringtheorie level-matching conditie, beperken de afhankelijkheid van velden van de uitgebreide coördinaten ($x^\mu, y^\mu$) tot een triviale vorm.

De auteurs stellen dat het opleggen van dergelijke voorwaarden aan de velden zelf een onjuiste benadering kan zijn. Zij merken op dat de uitgebreide coördinaten cruciaal zijn voor $E_{11}$-invariantie en geassocieerd zijn met niet-perturbatieve effecten (solitonen/branen). Bovendien zijn generieke sterke sectievoorwaarden ongebruikelijk in de natuurkunde, en heeft hun toepassing in contexten zoals Scherk-Schwarz reducties tot twijfel geleid. Het centrale probleem is het bepalen van de minimale voorwaarden die vereist zijn voor de theorie om een lokale symmetrie te bezitten zonder vooraf restrictieve voorwaarden op te leggen.

Methodologie
De auteurs hanteren een pragmatische, conservatieve benadering waarbij zij "de minst mogelijke aannames" doen. In plaats van sectievoorwaarden op de velden aan te nemen, onderzoeken zij de vereisten voor de geliniariseerde bewegingsvergelijkingen om invariant te zijn onder de voorgestelde lokale transformaties.

1. Geliniariseerde Analyse in $E$-theorie:

   • Zij beschouwen de geliniariseerde bewegingsvergelijkingen voor de graviton en het drie-vorm veld in de $E$-theorie.
   • Zij construeren de meest algemene geliniariseerde bewegingsvergelijkingen die termen bevatten tot een specifiek afgeleide-niveau.
   • Zij berekenen de variatie van deze bewegingsvergelijkingen onder de lokale transformaties (afgeleid van de niet-lineaire realisatie van $E_{11}$).
   • Door te eisen dat de variatie verdwijnt, lossen zij de coëfficiënten van de algemene vergelijkingen op en leiden zij de noodzakelijke restricties af op de transformatieparameters ($\xi^\mu$ en $\Lambda^{\mu\nu}$).

2. Analyse van Siegel-theorie (Level Nul):

   • Zij herhalen de berekening voor de Siegel-theorie, die overeenkomt met de level-zero decompositie van de $E$-theorie leidend naar de IIA-theorie.
   • Zij analyseren de geliniariseerde vergelijkingen voor de graviton, de twee-vorm en de dilaton.
   • Zij leiden de voorwaarden af voor de parameters die nodig zijn om de bewegingsvergelijking van de dilaton invariant te maken, waarbij zij opmerken dat dit leidt tot een niet-lineaire restrictie op de parameters.

3. Groepstheoretische Verificatie:

   • Voor de Siegel-theorie leveren zij een groepstheoretische afleiding die aantoont dat de afgeleide parameterrestricties invariant zijn onder de Cartan-involutie invariante subalgebra $SO(D) \otimes SO(D)$.

Belangrijkste Bijdragen en Resultaten

• Parameterrestricties versus Veldbesturingen: Het primaire resultaat is dat lokale symmetrie in het geliniariseerde regime geen voorwaarden vereist voor de velden. In plaats daarvan legt het specifieke differentiële voorwaarden op aan de parameters van de lokale transformaties.

  • In de $E$-theorie leidt de invariantie van de drie-vorm en graviton vergelijkingen tot voorwaarden zoals $\partial_\lambda \partial^\lambda_\nu \{ \dots \} = 0$ (Vergelijking 2.1.10 en 2.3.2). Deze voorwaarden bepalen de afhankelijkheid van de parameters van de hogere-level coördinaten in termen van hun laagste-level componenten.
  • In de Siegel-theorie zijn de voorwaarden eenvoudiger (Vergelijkingen 3.8–3.11), welke de vorm aannemen van $\partial_\lambda \bar{\partial}^\lambda (\dots) = 0$. Deze vergelijkingen bepalen de $y^\mu$ afhankelijkheid van de parameters $\xi^\mu(x,y)$ en $\Lambda^\mu(x,y)$ in termen van hun $x^\mu$ afhankelijkheid.

• Onderscheid van Sectievoorwaarden: De auteurs demonstreren expliciet dat de afgeleide voorwaarden voor de parameters verschillen van de standaard sectievoorwaarden (Vergelijkingen 1.1 en 1.2) die aan de velden worden opgelegd.

  • Standaard sectievoorwaarden op velden impliceren dat afgeleiden die op de variatie van het veld inwerken (die een afgeleide van parameters bevat) via de Leibniz-regel moeten distribueren, wat vaak de sterke sectievoorwaarde noodzakelijk maakt om te verdwijnen.
  • Door geen voorwaarden op de velden op te leggen, vermijden de auteurs de noodzaak van de sterke sectievoorwaarde. De afgeleide parameterrestricties zijn voldoende om invariantie te garanderen.

• Niet-lineaire Dilaton-restrictie: Voor de dilaton-bewegingsvergelijking in de Siegel-theorie vinden de auteurs dat invariantie onder lokale symmetrie een "relatief eenvoudige niet-lineaire conditie" op de parameters vereist (Vergelijking 4.7). Dit ondersteunt de claim dat er geen voorwaarden op de velden nodig zijn, zelfs niet in het niet-lineaire regime.

• Algebra Sluiting: Het artikel verwijst naar eerder werk (Ref [33]) dat stelt dat de lokale transformaties een gesloten algebra vormen als een specifieke conditie op de parameters geldt. De auteurs suggereren dat hun afgeleide voorwaarden deze sluitingsconditie aanvullen.

Betekenis en Claims
Het artikel beweert een fundamenteler begrip te bieden van lokale symmetrieën in uitgebreide ruimtetijdtheorieën. Door de last van consistentie te verschuiven van de velden naar de transformatieparameters, beargumenteren de auteurs dat de uitgebreide coördinaten hun fysieke betekenis (geassocieerd met niet-perturbatieve objecten) kunnen behouden zonder dat deze door sectievoorwaarden triviaal worden gemaakt.

De auteurs zijn bescheiden over de reikwijdte van hun bevindingen en stellen:

• Zij hebben deze resultaten slechts vastgesteld voor de geliniariseerde bewegingsvergelijkingen bij lage levels.
• Zij hebben nog geen volledige niet-lineaire voorwaarden voor de $E$-theorie afgeleid, waarbij zij erkennen dat het vinden van het "juiste pad vooruit" in een dergelijke radicale afwijking van de standaard fysica moeilijk is.
• Zij stellen geen nieuwe toepassingen of experimentele tests voor, maar bieden een theoretische verfijning van de consistentievoorwaarden voor de $E$-theorie en de Siegel-theorie.

Samenvattend betogen de auteurs dat de "sectievoorwaarden" die universeel worden gebruikt in Double Field Theory en gerelateerde contexten, mogelijk artefacten zijn van het opleggen van restricties aan parameters in plaats van aan velden, en dat een consistente lokale symmetrie kan worden bereikt door de afhankelijkheid van de parameters van de uitgebreide coördinaten te beperken in plaats daarvan.