Alphabeta Math
DefinitionDefinition: AI-adaptedProof: Not applicablePipeline-generatedjudge pass (gpt-6-luna)
How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

  • Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
  • AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
  • AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

Local dual U(1) monopole-Higgs effective data

Physical scope

Explicit constant-positive-vector-metric, two-derivative dual U(1) effective model near one pure-SU(2) N=2 monopole singularity after small N=1 mass perturbation; source superpotential retained, metric freezing and any linear-u truncation are additional approximations, with no global action, continuum construction or vortex existence asserted.

Definition

Use natural units in which the speed of light and reduced Planck constant are one, with metric η=diag⁡(−1,1,1,1), and the local duality frame near one monopole singularity of the selected pure SU(2), four-dimensional rigid N=2 model. Let AD be the complex scalar coordinate in the local dual U(1)D vector multiplet, and let M,M~ be complex scalar fields of dual electric charges +1 and −1 in two N=1 chiral multiplets. These are emergent infrared monopole fields in a dual frame of the independent pure ultraviolet model, not microscopic matter hypermultiplets. The dual gauge group acts by

AD↦AD,M↦eiαM,M~↦e−iαM~,α∈R/(2πZ).

Let u(AD) be the supplied holomorphic coordinate function on an open patch ∣AD∣<r about AD=0, with u(0)=um and c:=u′(0)≠0. Let μ≠0 be the coefficient of the small adjoint mass perturbation, let gD>0 be the dimensionless dual gauge coupling, and use connection normalization for AD, canonical kinetic terms for M,M~, and zero microscopic D-type Fayet--Iliopoulos parameter. Freeze the positive local vector-multiplet metric at b=gD−2; this is a specified constant-coupling two-derivative approximation within the patch, not the full field-dependent Wilsonian metric. Define

Wμ(AD,M,M~)=2ADMM~+μu(AD),D=gD(∣M∣2−∣M~∣2).

Vμ=gD2∣∂ADWμ∣2+∣∂MWμ∣2+∣∂M~Wμ∣2+12D2.

Let F~μν=∂μA~ν−∂νA~μ and D~μAD=∂μAD, D~μM=(∂μ−iA~μ)M, and D~μM~=(∂μ+iA~μ)M~. In metric η=diag⁡(−1,1,1,1), the connection-normalized bosonic kinetic Lagrangian is

Lkin=−ημν(gD−2∂μAD‾ ∂νAD+D~μM‾ D~νM+D~μM~‾ D~νM~)−14gD2F~μνF~μν.

The mass dimensions are [AD]=[M]=[M~]=[μ]=mass, [u]=mass2, [Wμ]=mass3, [FAD]=[FM]=[FM~]=[D]=[F~μν]=mass2, [A~μ]=mass, [c]=mass, and [gD]=1.

Supply a positive effective cutoff ΛEFT of mass dimension one and a dimensionless control margin 0<ε<1. This is independently chosen applicability data, not an identification with the dynamical scale Λ of the Coulomb-branch model. Define the small-perturbation regime by

v:=(∣μc∣2)1/2<εΛEFT,0<∣μ∣<2ε2ΛEFT2∣c∣.

The two inequalities are equivalent because c≠0; μ≠0 remains required. Write a=AD and supply a gauge-invariant open background-validity domain UEFT⊂{(a,M,M~)∈C3:∣a∣<r} containing the vacuum orbit a=0, ∣M∣=∣M~∣=v, MM~=−μc/2. The supplied regime may impose additional mass, coupling or background-field restrictions; no universal choice of this domain is inferred from the cutoff inequality.

To specify an application energy range, use the standard coordinate basis of Minkowski space R1,3 with the displayed metric. Supply a nonempty set Kapp⊂R4 of excitation four-momentum components p=(p0,p1,p2,p3) in that basis, and require the finite bound

Eapp:=sup⁡p∈Kappmax⁡0≤ν≤3∣pν∣≤εΛEFT.

Here p0 is the excitation energy and p1,p2,p3 are its spatial momentum components; all have mass dimension one. An application without specified excitations may take Kapp={0}. Physical use of this adopted low-energy regime requires background values in UEFT and the supplied excitation bound. This does not impose a hard Fourier-support condition on static vortex profiles. The domain, cutoff and margin are supplied model-validity inputs, not a proof of microscopic accuracy or a bound on omitted terms. In particular, small μ alone establishes no such error bound.

The displayed functional remains a specified classical two-derivative model for all smooth fields with ∣AD∣<r, including fields outside this physical applicability regime; no physical accuracy outside that regime is claimed. Additional hard restrictions on a variational class must be stated separately and checked against any trial profiles or interpolations.

For a specified leading linear-superpotential truncation, explicitly replace u(AD) by um+cAD in this constant-metric model. Then the perturbation is an F-type FI deformation of the local N=2 abelian theory, related to a D-type FI deformation by rotation of its auxiliary triplet. This extra truncation admits the critical BPS square completion. The generic holomorphic u(AD) model above is softly broken to N=1 and is not asserted to have exact BPS vortices; the full physical solution and a globally valid metric are separate inputs. Neither a small μ nor a holomorphic superpotential theorem alone controls all non-holomorphic metric or higher-derivative corrections.

This is a one-singularity effective data package. It includes neither a simultaneously local electric description of mutually nonlocal dyons nor a claim that the local action extends over the full moduli space. A finite-energy vortex is not part of this Definition; its existence, when needed, is a separate hypothesis.

Definition references

Depends on

Dependency tree · 2 levels

Sources