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
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 , and the local duality frame near one monopole singularity of the selected pure , four-dimensional rigid model. Let be the complex scalar coordinate in the local dual vector multiplet, and let be complex scalar fields of dual electric charges and in two 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
Let be the supplied holomorphic coordinate function on an open patch about , with and . Let be the coefficient of the small adjoint mass perturbation, let be the dimensionless dual gauge coupling, and use connection normalization for , canonical kinetic terms for , and zero microscopic D-type Fayet--Iliopoulos parameter. Freeze the positive local vector-multiplet metric at ; this is a specified constant-coupling two-derivative approximation within the patch, not the full field-dependent Wilsonian metric. Define
Let and , , and . In metric , the connection-normalized bosonic kinetic Lagrangian is
The mass dimensions are , , , , , , and .
Supply a positive effective cutoff of mass dimension one and a dimensionless control margin . This is independently chosen applicability data, not an identification with the dynamical scale of the Coulomb-branch model. Define the small-perturbation regime by
The two inequalities are equivalent because ; remains required. Write and supply a gauge-invariant open background-validity domain containing the vacuum orbit , , . 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 with the displayed metric. Supply a nonempty set of excitation four-momentum components in that basis, and require the finite bound
Here is the excitation energy and are its spatial momentum components; all have mass dimension one. An application without specified excitations may take . Physical use of this adopted low-energy regime requires background values in 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 , 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 by in this constant-metric model. Then the perturbation is an -type FI deformation of the local 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 model above is softly broken to 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
Seiberg and Witten, §5.6, equations (5.17)–(5.21).
Pure SU(2) Coulomb-branch conventions: Pure SU(2) Coulomb-branch and period data.
Independent pure ultraviolet vector-multiplet datum: Independent pure SU(2) ultraviolet vector-multiplet datum.