Dirac-Bergmann analysis of SW-mapped non-commutative $U(1)$ electrodynamics with external currents

This paper employs the Dirac-Bergmann algorithm to demonstrate that introducing fixed external currents into Seiberg-Witten mapped non-commutative $U(1)$ electrodynamics creates a source-compatibility obstruction located within the Dirac constraint chain, which typically resolves by fixing the primary multiplier rather than generating new constraints, thereby limiting a complete reduced-phase-space analysis to specific first-class subcases.

The Gist

The Big Picture: A World Where "Here" and "There" Blur

Imagine you are drawing a map of a city. In our normal world, if you draw a street, it has a specific location. If you draw a house, it's in a specific spot. You can measure the distance between them perfectly.

Now, imagine a "Non-Commutative" world. In this world, the rules of geometry are slightly broken. It's like trying to draw a map where the ink is slightly blurry, or where the concept of "left" and "right" gets mixed up depending on how fast you are moving. In physics, this is called Non-Commutative (NC) Electrodynamics. It's a theory where the coordinates of space and time don't play nicely together; they are "fuzzy."

Scientists use a special tool called the Seiberg-Witten (SW) map to translate this fuzzy, weird world back into the language of our normal, crisp world so they can do calculations. Think of the SW map as a translator that takes a sentence written in "Blurry-Speak" and converts it into "Clear English."

The Problem: The "Fixed" Guest

Usually, when physicists study these theories, they look at empty space or fields that move freely. But this paper asks: What happens if we add a "fixed guest"?

In physics, a "current" (like electricity flowing through a wire) is the guest.

• The Scenario: Imagine a dance floor (the electromagnetic field). The dancers move freely.
• The Guest: Now, imagine a very heavy, immovable statue (an external current) is placed on the dance floor. The dancers have to move around it, but the statue doesn't move.

The paper investigates what happens when we use our "Translator" (the SW map) to describe this dance floor with the statue.

The Conflict: Two Ways to Translate

The authors found a major problem. When you have this fixed statue, there are two ways to use the translator, and they give different results:

1. Method A (Action-Level): You translate the rules of the dance first, then tell the dancers to move.
2. Method B (Equation-Level): You let the dancers move according to the original blurry rules, then translate the result.

In a normal world, these two methods give the same answer. But in this fuzzy world with a fixed statue, they disagree. Method A breaks the symmetry of the dance (gauge symmetry), while Method B keeps it perfect.

The big question the paper asks is: Where exactly does Method A go wrong?

The Investigation: The "Constraint Chain"

To find the answer, the authors used a detective tool called the Dirac-Bergmann algorithm.

The Analogy: Imagine a chain of dominoes.

1. You push the first domino (the primary rule).
2. It falls and knocks over the second domino (the secondary rule).
3. The second knocks over the third, and so on.

In physics, these "dominoes" are called constraints. They are rules that must be true for the system to work. If a domino falls and doesn't knock over the next one, the chain breaks, and the theory is inconsistent.

The authors pushed the first domino (the primary constraint) and watched the chain reaction.

• Domino 1: The basic rule of the field.
• Domino 2 (Gauss's Law): A rule about how electric charge relates to the field.
• Domino 3 (The Tertiary Candidate): This is where the magic happens.

The Discovery: The "Third Domino"

The authors discovered that when they added the fixed statue (the external current) to the "Action-Level" translation:

• The first two dominoes fell fine.
• But when the third domino fell, it revealed a hidden message.

They found that this third domino was algebraically identical to the "divergence" (a measure of how much the rules are breaking) of the translated equations.

The Metaphor:
Imagine you are translating a recipe.

• You translate the ingredients (Action).
• You start cooking.
• At step 3, you realize the sauce is too salty.
• The paper proves that this "too salty" moment (the third constraint) is exactly the same as realizing the original recipe was flawed when translated.

They found that the "flaw" isn't random; it's a specific, predictable error that appears exactly at the third step of the consistency check. It's like a "canonical fingerprint" that says, "Hey, you used the Banerjee translation method, and here is exactly where it breaks with a fixed current."

The Resolution: Fixing the Multiplier

Usually, when a chain of dominoes breaks, you have to throw in a new, fourth domino to fix it. But here, the authors found something interesting.

Instead of needing a new rule (a new constraint), the system just adjusts the speed of the first domino.

• In the "generic" case (where the current is messy and uneven), the system doesn't break; it just forces the "multiplier" (a variable that controls the timing of the rules) to adjust itself to compensate for the error.
• The chain closes, but it's a "tight" closure. It works, but only if the current behaves in a very specific way.

The "Restricted" Success Story

The paper also looked at a special, simpler case: What if the statue is perfectly symmetrical and the current flows in a very clean way?

• In this restricted case, the chain of dominoes works perfectly.
• They could build a "Reduced Phase Space," which is like a simplified map of the dance floor that ignores the messy parts.
• In this simplified world, they could count exactly how many independent dancers (degrees of freedom) are left. It turns out, even with the fuzzy space and the statue, you still have two main dancers moving freely, just like in normal electricity.

Summary of Findings

1. The Translation Matters: How you translate the fuzzy world into the normal world matters a lot when you have fixed currents. The "Action-Level" translation (Banerjee map) has a specific flaw.
2. The Flaw is Localized: This flaw isn't a vague problem; it appears exactly at the third step of the consistency check (the tertiary constraint).
3. The Identity: The authors proved mathematically that this third step is exactly the same as the "divergence" of the translated equations. They are two sides of the same coin.
4. The Fix: For messy currents, the system fixes itself by adjusting a "multiplier" rather than creating a new rule. For clean, symmetrical currents, the system works beautifully and reduces to a standard, understandable form.

In a nutshell: The paper is a forensic investigation into a broken translation. They didn't just say "it's broken"; they found the exact cracked tile in the floor (the third constraint), proved it matches the blueprint's error, and showed how the building can still stand if the foundation is strong enough.

Technical Summary

1. Problem Statement

The paper addresses a fundamental inconsistency in Non-Commutative (NC) field theory when external sources are introduced.

• Context: In NC electrodynamics, the Seiberg–Witten (SW) map allows the theory to be expressed in terms of ordinary commutative fields. Previous work (specifically by Adorno et al.) established that for fixed external currents, the action-level implementation of the SW map (mapping the action before variation) yields equations of motion that are not gauge covariant, whereas the equation-level implementation (mapping after variation) preserves gauge covariance.
• The Gap: While the Lagrangian mismatch was known, the Hamiltonian (canonical) origin of this obstruction was unclear. Specifically, it was unknown at which stage of the Dirac–Bergmann constraint algorithm the source-induced obstruction enters the consistency chain, nor how it depends on the specific choice of the SW current map.
• Objective: To perform a full Dirac–Bergmann analysis of the first-order action-level SW-mapped U(1) electrodynamics with a prescribed, non-dynamical external current $J_\mu$, treating the current as a fixed background without imposing current conservation ($\partial_\mu J^\mu = 0$) a priori.

2. Methodology

The authors employ the Dirac–Bergmann algorithm in the full phase space, treating the time component of the gauge field ($A_0$) and its conjugate momentum ($\pi_0$) as canonical variables throughout.

• Model Setup:
  • Non-Commutativity: Restricted to purely spatial non-commutativity ($\theta^{0i} = 0$) to ensure unitarity and causal propagation.
  • SW Map: Uses the Banerjee current map (a specific first-order parametrization with parameters $c_1=1, c_2=1/2, c_3=0$) which includes $F_{\alpha\beta}$-dependent terms in the current coupling. This distinguishes it from the "minimal" map used by Adorno et al.
  • Lagrangian: Constructed as $L = L_{ws} + L_J$, where $L_{ws}$ is the source-free SW-mapped Maxwell Lagrangian and $L_J$ is the interaction term derived from the Banerjee map.
• Algorithm Execution:
  1. Primary Constraint: Identified as $\phi_1 = \pi_0 \approx 0$ (since $\dot{A}_0$ is absent).
  2. Secondary Constraint: Derived from the time preservation of $\phi_1$, yielding a Gauss-type constraint $\phi_2 \approx 0$ that includes source-dependent corrections.
  3. Tertiary Stage: The time preservation of $\phi_2$ is calculated without assuming $\partial_\mu J^\mu = 0$. This generates a third-stage candidate constraint, $\Phi^{\text{cand}}_3$.
  4. Consistency Check: The authors analyze the Poisson brackets of these constraints to determine if the chain closes via a new constraint or by fixing the Lagrange multiplier.

3. Key Contributions and Results

A. The Central Identity (Proposition 1)

The most significant finding is an exact algebraic identity established at the tertiary stage of the Dirac chain:
$$\Phi^{\text{cand}}_3 = \dot{\phi}_2 = \partial_\nu E^\nu_B$$
Where:

• $\Phi^{\text{cand}}_3$ is the tertiary constraint candidate generated by the Dirac algorithm.
• $\partial_\nu E^\nu_B$ is the divergence of the mapped Euler–Lagrange equations (Banerjee realization).

Significance: This identity proves that the source-compatibility obstruction (the condition required for the equations to be consistent) enters the Dirac chain precisely at the tertiary stage. It confirms that the Lagrangian mismatch identified by Adorno et al. has a direct canonical manifestation: the failure of the tertiary constraint to vanish unless specific conditions on the source are met.

B. Map Dependence

The authors demonstrate that this identity is map-dependent. The specific form of $\Phi^{\text{cand}}_3$ relies on the $F_{\alpha\beta}$-dependent terms unique to the Banerjee current map. A different SW map (e.g., the minimal map) would yield different coefficients in the tertiary candidate, implying that the "canonical fingerprint" of the obstruction varies with the choice of SW parametrization.

C. Generic Closure via Multiplier Fixing

For generic inhomogeneous sources (where the kernel $\Theta_l = \theta^{li}\partial_i J_0 \neq 0$):

• The preservation of the tertiary candidate $\dot{\Phi}^{\text{cand}}_3 \approx 0$ does not generate a new (quaternary) constraint.
• Instead, it acts as a differential equation that fixes the primary Lagrange multiplier ($u_1$) associated with the primary constraint.
• Result: The Dirac chain closes by multiplier fixing rather than by the appearance of a new constraint. This indicates that for generic sources, the system does not possess a standard first-class structure in the unrestricted sector.

D. Hierarchical Source Kernels

The analysis reveals that the source dependence is encoded in three distinct kernels:

1. $\Theta_l$: Controls the secondary self-bracket and the primary-tertiary bracket.
2. $\Sigma_{lk}$: Controls the mixed secondary-tertiary bracket (symmetrized spatial gradients of current).
3. $\Xi_l$: Controls the mixed bracket (gradient of source divergence).
   The generic obstruction is visible in $\Theta_l$. Only if $\Theta_l = 0$ (and other kernels vanish) does the system potentially recover a first-class structure.

E. Reduced Phase-Space Analysis (Restricted Sector)

The authors derive the reduced Hamiltonian description, gauge generator, and Dirac brackets only for a restricted subcase where the source kernels vanish ($\Theta_l = \Sigma_{lk} = \Xi_l = 0$) and the tertiary candidate is identically zero.

• Degrees of Freedom: In this restricted sector, the system has 2 physical degrees of freedom (standard for U(1)).
• On-Shell Comparison:
  • Temporal Sector (Gauss Law): The reduced Hamiltonian formulation exactly recovers the gauge-invariant Gauss law found in the equation-level formulation of Adorno et al.
  • Spatial Sector (Ampère Law): The reduced spatial evolution equations fail to fully reproduce the gauge-invariant Ampère law. They retain irreducible residues:
    1. A gauge-invariant obstruction dependent on the Banerjee map choice.
    2. A gauge-dependent obstruction involving the potential $A_i$.
  • Conclusion: The action-level Banerjee route cannot be fully reduced to the gauge-covariant equation-level route for generic sources, even in the restricted sector.

4. Significance and Implications

• Canonical Diagnosis: The paper provides the first rigorous Hamiltonian diagnosis of the SW-map mismatch. It locates the obstruction not just as a Lagrangian artifact, but as a specific stage (tertiary) in the constraint consistency chain.
• Clarification of "Gauge Obstruction": It clarifies that the lack of gauge covariance in the action-level approach is structurally linked to the inability to close the Dirac chain with first-class constraints for generic external currents.
• Map Sensitivity: The results highlight that the physical consistency of NC theories with sources is highly sensitive to the choice of the SW current map. The Banerjee map, while consistent in the source-free limit, introduces specific obstructions in the presence of sources that differ from the minimal map.
• Limitations: The paper explicitly states that the reduced phase-space results (gauge generators, Dirac brackets) are valid only for the restricted subcase where source kernels vanish. No general reduced formulation exists for arbitrary source profiles within this framework.

Summary Conclusion

This work bridges the gap between Lagrangian and Hamiltonian analyses of Non-Commutative electrodynamics with external sources. It proves that the source-induced obstruction in the action-level Banerjee realization manifests as a tertiary constraint in the Dirac chain, which is algebraically identical to the divergence of the mapped Euler–Lagrange equations. While the temporal sector (Gauss law) can be recovered exactly in a restricted sector, the spatial sector retains irreducible obstructions, confirming that the action-level SW-mapped theory with fixed currents is not fully equivalent to the gauge-covariant equation-level theory for generic sources.