pith. sign in

arxiv: 2605.04442 · v1 · submitted 2026-05-06 · 🧮 math.AP · math.DG

Asymptotics of Minimizers for Ginzburg--Landau-type Functionals in High Dimensions

Giacomo Canevari , Haotong Fu , Wei Wang This is my paper

Pith reviewed 2026-05-08 17:42 UTC · model grok-4.3

classification 🧮 math.AP math.DG
keywords Ginzburg-Landau functionalslocal minimizersenergy concentrationvarifoldsharmonic mapsrectifiable setsasymptoticsvacuum manifold
0
0 comments X

The pith

Local minimizers of Ginzburg-Landau functionals in dimensions n at least 3 concentrate normalized energy on an (n-2)-rectifiable stationary varifold whose density is quantized by homotopy classes of the vacuum manifold.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper studies local minimizers of Ginzburg-Landau-type functionals in dimensions three and higher that obey logarithmic energy bounds, under the assumption that the potential's vacuum manifold has finite fundamental group. It proves that the normalized energy measures of these minimizers converge to an (n-2)-rectifiable measure associated with a stationary varifold. The density of this limiting measure is quantized in a manner determined by the homotopy classes of the vacuum manifold. Away from the support of this measure, the minimizers converge strongly in H1 locally to a minimizing harmonic map that is smooth outside an (n-3)-rectifiable singular set. This description clarifies the concentration and asymptotic behavior of such variational problems in high dimensions.

Core claim

Under the assumptions that the potential has a vacuum manifold with finite fundamental group and the local minimizers satisfy logarithmic energy bounds, the normalized energy measures of the minimizers converge to an (n-2)-rectifiable measure associated with a stationary varifold, with quantized density determined by the homotopy classes of the vacuum manifold. Away from the support of the (n-2)-rectifiable measure, the minimizers converge strongly in H1_loc to a minimizing harmonic map, which is smooth outside an (n-3)-rectifiable singular set.

What carries the argument

Normalized energy measures converging to an (n-2)-rectifiable stationary varifold with density quantized by homotopy classes of the vacuum manifold.

If this is right

  • Energy concentrates precisely along a stationary (n-2)-dimensional rectifiable set.
  • The limiting density takes only discrete values fixed by topological invariants of the vacuum manifold.
  • The limit map is a minimizing harmonic map and is smooth outside an (n-3)-rectifiable set.
  • The result applies uniformly in all dimensions n at least 3.
  • The quantization controls the possible topological types of the concentration set.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same concentration and quantization mechanism may apply to other variational problems whose potentials admit similar vacuum manifolds.
  • Numerical approximations of minimizers in high dimensions should exhibit energy concentration along lower-dimensional skeletons whose total mass is a multiple of the minimal topological charge.
  • The (n-3)-dimensional singular set of the limiting harmonic map may itself carry additional structure detectable by higher-order analysis.
  • Removing the logarithmic energy bound would likely require entirely different compactness arguments.

Load-bearing premise

The potential has a vacuum manifold with finite fundamental group, and the local minimizers satisfy logarithmic energy bounds.

What would settle it

A sequence of such minimizers whose normalized energy measures fail to converge to any (n-2)-rectifiable stationary varifold, or whose limiting density is not quantized according to the homotopy classes, or that do not converge strongly to a harmonic map away from the support.

read the original abstract

We investigate local minimizers of Ginzburg--Landau-type functionals in dimension $n\geq 3$ that satisfy logarithmic energy bounds, assuming the potential has a vacuum manifold with a finite fundamental group. We show that the normalized energy measures converge to an $(n-2)$-rectifiable measure associated with a stationary varifold, with quantized density determined by the homotopy classes of the vacuum manifold. Away from the support of the $(n-2)$-rectifiable measure, the minimizers converge strongly in $H^1_{\text{loc}}$ to a minimizing harmonic map, which is smooth outside an $(n-3)$-rectifiable singular set.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. The paper examines local minimizers of Ginzburg-Landau-type functionals in dimensions n ≥ 3 satisfying logarithmic energy bounds, with the potential's vacuum manifold having finite fundamental group. It proves convergence of normalized energy measures to an (n-2)-rectifiable stationary varifold with quantized density from homotopy classes, and strong H^1_loc convergence to a minimizing harmonic map away from the support, smooth outside an (n-3)-rectifiable singular set.

Significance. If the results are correct, this provides a significant extension of Ginzburg-Landau theory to higher dimensions, linking PDE minimizers to geometric objects like varifolds and harmonic maps with controlled singularities. The quantized density and rectifiability results are particularly valuable for applications in mathematical physics. The manuscript appears to build on standard techniques in GMT and harmonic map theory, which is a strength.

major comments (1)
  1. [Section 4 (Varifold Convergence)] The proof that the limiting measure is associated with a stationary varifold relies on the logarithmic energy bound; please provide a specific reference or sketch in this section showing how the bound prevents mass loss or ensures stationarity, as this is central to the rectifiability claim.
minor comments (2)
  1. [Introduction] The discussion of the finite fundamental group assumption could benefit from an example of a vacuum manifold satisfying this condition to aid readers.
  2. [Notation] Clarify the exact definition of the normalized energy measure early in the paper to avoid confusion with un-normalized versions.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the positive evaluation and recommendation of minor revision. We address the major comment below.

read point-by-point responses

  1. Referee: [Section 4 (Varifold Convergence)] The proof that the limiting measure is associated with a stationary varifold relies on the logarithmic energy bound; please provide a specific reference or sketch in this section showing how the bound prevents mass loss or ensures stationarity, as this is central to the rectifiability claim.

    Authors: We agree that an explicit sketch would improve clarity. In the revised manuscript we will add a short paragraph in Section 4 that recalls the standard first-variation argument for stationary varifolds: the logarithmic energy bound (combined with the finite fundamental group assumption) yields a uniform control on the total variation of the energy measures, which rules out mass loss in the weak limit and allows passage to the limit in the first variation formula, thereby establishing stationarity. We will cite the relevant lemma from the GMT literature on rectifiable varifolds with bounded mean curvature (e.g., the compactness and stationarity results in Allard’s regularity theory adapted to the Ginzburg–Landau setting). revision: yes

Circularity Check

0 steps flagged

No significant circularity detected in derivation chain

full rationale

The paper establishes a convergence result for local minimizers of Ginzburg-Landau functionals in dimensions n ≥ 3 under logarithmic energy bounds and finite fundamental group of the vacuum manifold. The normalized energy measures are shown to converge to an (n-2)-rectifiable stationary varifold with density quantized by homotopy classes, while away from its support the maps converge strongly in H¹_loc to a minimizing harmonic map that is smooth outside an (n-3)-rectifiable set. These conclusions follow from standard GMT compactness and rectifiability arguments together with partial regularity theory for harmonic maps; the quantization step uses the topological input of the finite fundamental group as an independent fact, and no equation or claim reduces by construction to a fitted parameter, self-citation chain, or renamed input. The derivation remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on established results from geometric measure theory and harmonic map theory without introducing new free parameters or postulated entities.

axioms (2)
  • standard math Standard properties of stationary varifolds and rectifiable measures in geometric measure theory
    Invoked to identify the limit of the normalized energy measures.
  • standard math Regularity and minimizing properties of harmonic maps with (n-3)-rectifiable singular sets
    Used for the strong H1_loc convergence and smoothness statement away from the support.

pith-pipeline@v0.9.0 · 5409 in / 1380 out tokens · 29832 ms · 2026-05-08T17:42:04.559196+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

  • Foundation.AlexanderDuality alexander_duality_circle_linking unclear
    ?
    unclear

    Relation between the paper passage and the cited Recognition theorem.

    We show that the normalized energy measures converge to an (n−2)-rectifiable measure associated with a stationary varifold, with quantized density determined by the homotopy classes of the vacuum manifold.

  • Cost.FunctionalEquation washburn_uniqueness_aczel unclear
    ?
    unclear

    Relation between the paper passage and the cited Recognition theorem.

    Θ^{n−2}(µ_∗,x) ∈ {|σ|_∗ : σ ∈ [S¹,N]}, where [S¹,N] denotes the collection of free homotopy classes of N and |·|_∗ is a suitable norm on [S¹,N].

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

45 extracted references · 45 canonical work pages

  1. [1]

    Alberti, S

    G. Alberti, S. Baldo, and G. Orlandi. Variational convergence for functionals of Ginzburg-Landau type.Indiana Univ. Math. J., 54(5):1411–1472, 2005

    work page 2005

  2. [2]

    W. K. Allard and F. J. jun. Almgren. The structure of stationary one dimensional varifolds with positive density. Invent. Math., 34:83–97, 1976

    work page 1976

  3. [3]

    Ambrosio and H

    L. Ambrosio and H. M. Soner. A measure theoretic approach to higher codimension mean curvature flows.Ann. Sc. Norm. Super. Pisa, Cl. Sci., IV. Ser., 25(1-2):27–49, 1997

    work page 1997

  4. [4]

    Andr´ e and I

    N. Andr´ e and I. Shafrir. Asymptotic behavior of minimizers for the Ginzburg-Landau functional with weight. I. Arch. Ration. Mech. Anal., 142(1):45–73, 1998

    work page 1998

  5. [5]

    Andr´ e and I

    N. Andr´ e and I. Shafrir. Asymptotic behavior of minimizers for the Ginzburg-Landau functional with weight. II. Arch. Ration. Mech. Anal., 142(1):75–98, 1998

    work page 1998

  6. [6]

    F. Bethuel. Variational methods for Ginzburg-Landau equations. InCalculus of variations and geometric evo- lution problems. Lectures given at the 2nd session of the Centro Internazionale Matematico Estivo (CIME), Cetraro, Italy, June 15–22, 1996, pages 1–43. Berlin: Springer, 1999. GINZBURG-LANDAU TYPE FUNCTIONALS IN HIGH DIMENSIONS 41

    work page 1996

  7. [7]

    Bethuel, H

    F. Bethuel, H. Br´ ezis, and F. H´ elein. Asymptotics for the minimization of a Ginzburg-Landau functional.Calc. Var. Partial Differ. Equ., 1(2):123–148, 1993

    work page 1993

  8. [8]

    Bethuel, H

    F. Bethuel, H. Br´ ezis, and F. H´ elein.Ginzburg-Landau vortices, volume 13 ofProg. Nonlinear Differ. Equ. Appl. Boston, MA: Birkh¨ auser, 1994

    work page 1994

  9. [9]

    Bethuel, H

    F. Bethuel, H. Br´ ezis, and G. Orlandi. Asymptotics for the Ginzburg-Landau equation in arbitrary dimensions. J. Funct. Anal., 186(2):432–520, 2001

    work page 2001

  10. [10]

    Bethuel and D

    F. Bethuel and D. Chiron. Some questions related to the lifting problem in Sobolev spaces. InPerspectives in nonlinear partial differential equations in honor of Ha¨ ım Brezis. Based on the conference celebration of Ha¨ ım Brezis’ 60th birthday, June 21–25, 2004, pages 125–152. Providence, RI: American Mathematical Society (AMS), 2007

    work page 2004

  11. [11]

    Bethuel, G

    F. Bethuel, G. Orlandi, and D. Smets. Improved estimates for the Ginzburg-Landau equation: the elliptic case. Ann. Sc. Norm. Super. Pisa, Cl. Sci. (5), 4(2):319–355, 2005

    work page 2005

  12. [12]

    Bourgain, H

    J. Bourgain, H. Br´ ezis, and P. Mironescu.H 1/2 maps with values into the circle: minimal connections, lifting, and the Ginzburg-Landau equation.Publ. Math., Inst. Hautes ´Etud. Sci., 99:1–115, 2004

    work page 2004

  13. [13]

    Brezis, Y

    H. Brezis, Y. Li, P. Mironescu, and L. Nirenberg. Degree and sobolev spaces.Topological Methods in Nonlinear Analysis, 13(2):181–190, 1999

    work page 1999

  14. [14]

    Bulanyi, J

    B. Bulanyi, J. Van Schaftingen, and B. Van Vaerenbergh. Limiting behavior of minimizingp-harmonic maps in 3d aspgoes to 2 with finite fundamental group.Arch. Ration. Mech. Anal., 249(3):103, 2025. Id/No 29

    work page 2025

  15. [15]

    Canevari

    G. Canevari. Biaxiality in the asymptotic analysis of a 2D Landau-de Gennes model for liquid crystals.ESAIM, Control Optim. Calc. Var., 21(1):101–137, 2015

    work page 2015

  16. [16]

    Canevari

    G. Canevari. Line defects in the small elastic constant limit of a three-dimensional Landau-de Gennes model. Arch. Ration. Mech. Anal., 223(2):591–676, 2017

    work page 2017

  17. [17]

    Canevari and G

    G. Canevari and G. Orlandi. Topological singular set of vector-valued maps. II: Γ-convergence for Ginzburg- Landau type functionals.Arch. Ration. Mech. Anal., 241(2):1065–1135, 2021

    work page 2021

  18. [18]

    Contreras and X

    A. Contreras and X. Lamy. Singular perturbation of manifold-valued maps with anisotropic energy.Anal. PDE, 15(6):1531–1560, 2022

    work page 2022

  19. [19]

    Contreras, X

    A. Contreras, X. Lamy, and R. Rodiac. On the covergence of minimizers of singular perturbation functionals. Indiana Univ. Math. J., 67(4):1665–1682, 2018

    work page 2018

  20. [20]

    L. C. Evans and R. F. Gariepy.Measure theory and fine properties of functions. Textb. Math. Boca Raton, FL: CRC Press, revised ed. edition, 2015

    work page 2015

  21. [21]

    Federer.Geometric measure theory, volume 153 ofGrundlehren Math

    H. Federer.Geometric measure theory, volume 153 ofGrundlehren Math. Wiss.Springer, Cham, 1969

    work page 1969

  22. [22]

    Hardt, D

    R. Hardt, D. Kinderlehrer, and F.-H. Lin. Existence and partial regularity of static liquid crystal configurations. Communications in Mathematical Physics, 105(3):547–570, 1986

    work page 1986

  23. [23]

    Hatcher.Algebraic topology

    A. Hatcher.Algebraic topology. Cambridge: Cambridge University Press, 2002

    work page 2002

  24. [24]

    R. L. Jerrard. Lower bounds for generalized ginzburg–landau functionals.SIAM Journal on Mathematical Anal- ysis, 30(4):721–746, 1999

    work page 1999

  25. [25]

    R. L. Jerrard and H. M. Soner. The Jacobian and the Ginzburg-Landau energy.Calc. Var. Partial Differ. Equ., 14(2):151–191, 2002

    work page 2002

  26. [26]

    X. Lamy. Bifurcation analysis in a frustrated nematic cell.J. Nonlinear Sci., 24(6):1197–1230, 2014

    work page 2014

  27. [27]

    Lin and T

    F. Lin and T. Rivi` ere. Complex Ginzburg-Landau equations in high dimensions and codimension two area minimizing currents.J. Eur. Math. Soc. (JEMS), 1(3):237–311, 1999

    work page 1999

  28. [28]

    Lin and T

    F. Lin and T. Rivi` ere. A quantization property for static Ginzburg-Landau vortices.Commun. Pure Appl. Math., 54(2):206–228, 2001

    work page 2001

  29. [29]

    Lin and C

    F. Lin and C. Wang. Harmonic and quasi-harmonic spheres.Commun. Anal. Geom., 7(2):397–429, 1999

    work page 1999

  30. [30]

    Luckhaus

    S. Luckhaus. Partial H¨ older continuity for minima of certain energies among maps into a Riemannian manifold. Indiana Univ. Math. J., 37(2):349–368, 1988

    work page 1988

  31. [31]

    N. D. Mermin. The topological theory of defects in ordered media.Rev. Mod. Phys., 51(3):591–648, 1979

    work page 1979

  32. [32]

    Monteil, R

    A. Monteil, R. Rodiac, and J. Van Schaftingen. Ginzburg-landau relaxation for harmonic maps on planar domains into a general compact vacuum manifold.Arch. Ration. Mech. Anal., 242(2):875–935, 2021

    work page 2021

  33. [33]

    Monteil, R

    A. Monteil, R. Rodiac, and J. Van Schaftingen. Renormalised energies and renormalisable singular harmonic maps into a compact manifold on planar domains.Math. Ann., 383(3-4):1061–1125, 2022

    work page 2022

  34. [34]

    Naber and D

    A. Naber and D. Valtorta. Rectifiable-Reifenberg and the regularity of stationary and minimizing harmonic maps. InProceedings of the international conference of basic science 2024, Beijing, China, July 14–26, 2024. Volume 1, pages 210–223. Somerville, MA: International Press, 2025

    work page 2024

  35. [35]

    Pigati and D

    A. Pigati and D. Stern. Quantization and non-quantization of energy for higher-dimensional Ginzburg-Landau vortices.Ars Inven. Anal., 2023:55, 2023. Id/No 3

    work page 2023

  36. [36]

    D. Preiss. Geometry of measures inR n: distribution, rectifiability, and densities.Ann. Math. (2), 125:537–643, 1987. 42 GIACOMO CANEVARI, HAOTONG FU, AND WEI WANG

    work page 1987

  37. [37]

    Rivi` ere

    T. Rivi` ere. Asymptotic analysis for the Ginzburg-Landau equations.Boll. Unione Mat. Ital., Sez. B, Artic. Ric. Mat. (8), 2(3):537–575, 1999

    work page 1999

  38. [38]

    E. Sandier. Lower bounds for the energy of unit vector fields and applications.J. Funct. Anal., 152(2):379–403, 1998

    work page 1998

  39. [39]

    Sandier and S

    E. Sandier and S. Serfaty.Vortices in the magnetic Ginzburg-Landau model, volume 70 ofProg. Nonlinear Differ. Equ. Appl.Basel: Birkh¨ auser, 2007

    work page 2007

  40. [40]

    Schoen and K

    R. Schoen and K. Uhlenbeck. A regularity theory for harmonic maps.J. Differ. Geom., 17:307–335, 1982

    work page 1982

  41. [41]

    Schoen and K

    R. Schoen and K. Uhlenbeck. Boundary regularity and the Dirichlet problem for harmonic maps.J. Differ. Geom., 18:253–268, 1983

    work page 1983

  42. [42]

    Simon.Lectures on geometric measure theory, volume 3 ofProc

    L. Simon.Lectures on geometric measure theory, volume 3 ofProc. Cent. Math. Anal. Aust. Natl. Univ.Australian National University, Centre for Mathematical Analysis, Canberra, 1983

    work page 1983

  43. [43]

    D. Stern. Existence and limiting behavior of min-max solutions of the Ginzburg-Landau equations on compact manifolds.J. Differ. Geom., 118(2):335–371, 2021

    work page 2021

  44. [44]

    M. Struwe. On the asymptotic behavior of minimizers of the Ginzburg-Landau model in 2 dimensions.Differ. Integral Equ., 7(5-6):1613–1624, 1994

    work page 1994

  45. [45]

    Wang and Z

    W. Wang and Z. Zhang. Landau-de Gennes model with sextic potentials: asymptotic behavior of minimizers. Preprint, arXiv:2404.00677 [math.AP] (2024), 2024. Universit`a di Verona, Strada Le Grazie 15, 37134 Verona, Italy Email address:giacomo.canevari@univr.it School of Mathematical Sciences, Peking University, Beijing 100871, China Email address:2301110012...

    work page arXiv 2024