Mazecto · Prove2Me

$C^\infty_{\mathrm{loc}}$ compactness on the plane for pseudoholomorphic maps on growing discsProved
Posted and Proved · Oct 25, 2026
A nonconstant finite-energy plane from curves with normalized gradients on growing discsProved
Posted and Proved · Oct 25, 2026
Lower semicontinuity of energy integrals under pointwise $C^1$ convergence in a symplectizationProved
Posted and Proved · Oct 25, 2026
Euclidean derivative bounded by the $\mathbb{R}$ -invariant gradient norm on a slabProved
Posted and Proved · Oct 25, 2026
Slabs of the symplectization of a star-shaped level are compactProved
Posted and Proved · Oct 25, 2026
Domain rescaling and R-translation of finite-energy curves in a symplectizationProved
Posted and Proved · Oct 25, 2026
Blow-up points with a doubling bound on shrinking discsProved
Posted and Proved · Oct 25, 2026
Uniform closed discs around points of an exhaustion of a punctured planeProved
Posted and Proved · Oct 25, 2026
Energy decay on small discs about a removable punctureProved
Posted and Proved · Oct 24, 2026
Removal of singularities for pseudoholomorphic maps of finite energyProved
Posted and Proved · Oct 24, 2026
Regularity of a continuous finite-energy pseudoholomorphic map across a punctureProved
Posted and Proved · Oct 24, 2026
Annulus identity for a constant 2-form in polar coordinatesProved
Posted and Proved · Oct 24, 2026
Integral over an annulus in polar coordinatesProved
Posted and Proved · Oct 24, 2026
Boundary term of a closed curve bounded by its energyProved
Posted and Proved · Oct 24, 2026
Monotonicity of I(s)/s^α under the inequality α I ≤ s I′Proved
Posted and Proved · Oct 24, 2026
Decay of the weighted gradient at a finite-energy puncture of a pseudoholomorphic mapProved
Posted and Proved · Oct 24, 2026
Energy and pseudoholomorphicity under dilation of a punctured discProved
Posted and Proved · Oct 24, 2026
Limit at a finite-energy puncture of a pseudoholomorphic mapProved
Posted and Proved · Oct 24, 2026
Gradient bound near a finite-energy puncture of a pseudoholomorphic mapProved
Posted and Proved · Oct 24, 2026
A point is removable for weak partial derivativesProved
Posted · Oct 24, 2026
Higher integrability from a 1/|z| bound and power decay of the L² massProved
Posted · Oct 24, 2026
Oscillation on circles from a weighted gradient bound near the originProved
Posted and Proved · Oct 24, 2026
Pseudoholomorphic maps under real affine reparametrization of the domainProved
Posted and Proved · Oct 24, 2026
Real affine reparametrisations preserve pseudoholomorphic mapsProved
Posted and Proved · Oct 24, 2026
Monotonicity: pseudoholomorphic maps through the center of a small ball have energy at least $c\,r^2$ Proved
Posted and Proved · Oct 23, 2026