A new proof of maximal theorem on Heisenberg groups

Chuhan Sun; Zipeng Wang

arxiv: 2605.14961 · v2 · pith:W7RFDWV4new · submitted 2026-05-14 · 🧮 math.CA

A new proof of maximal theorem on Heisenberg groups

Chuhan Sun , Zipeng Wang This is my paper

Pith reviewed 2026-05-20 20:19 UTC · model grok-4.3

classification 🧮 math.CA

keywords maximal operatorsHeisenberg groupsfractional maximal functionsgeometric covering lemmaL^p to L^q boundednessCórdoba-Fefferman lemmacoordinate-parallel rectanglesreal Heisenberg group

0 comments

The pith

The fractional maximal operator M_alpha on the Heisenberg group maps L^p to L^q when alpha equals 1/p minus 1/q.

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

This paper establishes the L^p to L^q boundedness of the maximal operator M_alpha on the real Heisenberg group for the relation alpha equals 1/p minus 1/q in the range 1 less than p less than or equal to q less than infinity. It extends the earlier L^p boundedness result for the case alpha equals zero due to Christ by invoking a geometric covering lemma of Córdoba and Fefferman. A sympathetic reader cares because the result shows that averaging over coordinate-parallel rectangles continues to satisfy the expected mapping properties even after the group law is changed from ordinary addition to Heisenberg multiplication. The proof therefore indicates that the volume measure and the specific form of the rectangles are compatible with standard Euclidean covering arguments.

Core claim

We define M_alpha f at a point by taking the supremum over all coordinate-parallel rectangles R containing the origin of vol(R) to the power alpha minus one times the integral of the absolute value of f composed with the inverse Heisenberg multiplication over that rectangle. We prove that M_alpha is bounded from L^p to L^q precisely when alpha equals 1/p minus 1/q for 1 less than p less than or equal to q less than infinity. The argument proceeds by applying the Córdoba-Fefferman geometric covering lemma directly to the family of such rectangles equipped with the Heisenberg group multiplication and its associated Lebesgue measure.

What carries the argument

The fractional maximal operator M_alpha, defined as the supremum over coordinate-parallel rectangles R of vol(R)^{alpha-1} times the integral of f translated by the inverse Heisenberg multiplication, whose boundedness is obtained via the Córdoba-Fefferman geometric covering lemma.

If this is right

The operator M_alpha satisfies the stated strong-type bounds for every 1 less than p less than or equal to q less than infinity.
The result recovers the L^p boundedness of M_0 as the special case alpha equals zero.
The same covering argument controls the measure of overlapping rectangles when the underlying group law is the Heisenberg multiplication rather than ordinary addition.
Weak-type inequalities at the endpoint p equals one follow by the same covering technique.

Where Pith is reading between the lines

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

The compatibility of the covering lemma suggests that similar fractional maximal bounds hold for other nilpotent groups whose dilations preserve the volume scaling of coordinate rectangles.
One could test whether the result remains valid if the rectangles are allowed to be rotated rather than coordinate-parallel.
The technique may extend to prove corresponding bounds for singular integral operators whose kernels are adapted to the same family of rectangles on the Heisenberg group.

Load-bearing premise

The Córdoba-Fefferman geometric covering lemma applies directly to the family of coordinate-parallel rectangles equipped with the Heisenberg group multiplication and its associated volume measure.

What would settle it

A concrete counterexample would consist of a function f belonging to L^p of R to the power 2n plus 1 for some admissible p and q together with a collection of rectangles whose overlaps cannot be controlled by the Córdoba-Fefferman lemma under the Heisenberg multiplication, causing the L^q norm of M_alpha f to become arbitrarily large relative to the L^p norm of f.

read the original abstract

Given $0\leq\alpha<1$, we define \[\begin{array}{lr} \mathbf{M}_\alpha f(u,v,t) = \sup_{ \mathbf{R} \ni (0,0,0)} {\rm vol} \{\mathbf{R}\}^{\alpha-1} \iiint_\mathbf{R}\left|f [(u,v,t)\odot(\xi,\eta,\tau)^{-1}]\right|d\xi d\eta d\tau \end{array}\] where $\mathbf{R}\subset\mathbb{R}^{2n+1}$ is a rectangle parallel to the coordinates. Moreover, $\odot$ denotes the multiplication law on a real Heisenberg group. The $\mathbf{L}^p$-boundedness of $\mathbf{M}_0$ has been previously proved by M. Christ. We show $\mathbf{M}_\alpha\colon\mathbf{L}^p(\mathbb{R}^{2n+1}) \to \mathbf{L}^q(\mathbb{R}^{2n+1})$ for $\alpha={1\over p}-{1\over q},~ 1<p\leq q<\infty$ by applying a geometric covering lemma due to C\'{o}rdoba and Fefferman.

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.

Desk Editor's Note private letter to a colleague

This paper supplies a new proof for the fractional maximal operator on Heisenberg groups by applying the Córdoba-Fefferman covering lemma to extend Christ's alpha=0 result.

read the letter

The main takeaway is that the authors prove the L^p to L^q bound for M_alpha with alpha = 1/p - 1/q on the Heisenberg group by reducing it to a geometric covering argument. They define the operator using coordinate-parallel rectangles and the group multiplication for the translates, then cite the Córdoba-Fefferman lemma to control the overlaps. This gives a different route from whatever Christ used for the non-fractional case, and the abstract presents it cleanly as a direct application. That is the concrete advance here. The write-up credits the prior result properly and keeps the statement focused on the boundedness claim. If the covering step goes through without extra constants or adjustments, the argument is short and reusable for similar settings on nilpotent groups. The soft spot is the transfer of the lemma. The Heisenberg product introduces a bilinear cross term that shears each rectangle into a non-axis-parallel set. Córdoba-Fefferman controls overlap for ordinary Euclidean rectangles; it is not obvious that the same dimensional bound survives the distortion while preserving the volume estimates under Haar measure. The paper would need to show either that the selection procedure still works or that the sheared intersections satisfy the same multiplicity bound. Without that explicit check the reduction feels incomplete, though it may be routine once written out. This is a narrow technical note aimed at people already working on maximal functions or harmonic analysis on stratified groups. A reader who cares about extending Euclidean covering lemmas to sub-Riemannian or Lie-group settings will find the method worth seeing. It is not broad enough to change the field but it is a solid incremental step. I would send it to referees so they can verify the covering details and confirm the constants remain independent of the group parameters.

Referee Report

1 major / 0 minor

Summary. The manuscript claims to give a new proof of the L^p to L^q boundedness of the maximal operator M_α on the Heisenberg group ℝ^{2n+1}, where M_α f(u,v,t) is the supremum over coordinate-parallel rectangles R containing the origin of vol(R)^{α-1} times the integral of |f| over the group-translated set R under Heisenberg multiplication ⊙, for α = 1/p - 1/q with 1 < p ≤ q < ∞. It extends Christ's earlier result for α=0 by direct application of the Córdoba-Fefferman geometric covering lemma to the family of such rectangles.

Significance. If the central application of the covering lemma is valid, the result supplies a streamlined proof of weighted maximal inequalities on the Heisenberg group, a setting of interest in harmonic analysis and subelliptic PDEs. The approach avoids more involved machinery and could extend to other stratified groups if the geometric control transfers.

major comments (1)

[Abstract and main argument (application of Córdoba-Fefferman lemma)] The argument reduces the boundedness to an application of the Córdoba-Fefferman lemma on coordinate-parallel rectangles equipped with Heisenberg translations. However, the group law ⊙ introduces a bilinear cross term in the t-coordinate, mapping each rectangle to a sheared set. The manuscript does not explicitly verify that the lemma's key geometric hypotheses—bounded overlap multiplicity independent of the particular rectangles and control of containment relations—continue to hold with the same dimensional constants under this distortion while preserving Haar measure. This verification is load-bearing for the claim in the abstract.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and for identifying the need to explicitly confirm that the Córdoba-Fefferman lemma applies under Heisenberg translations. We address the major comment below and will strengthen the exposition accordingly in the revised version.

read point-by-point responses

Referee: [Abstract and main argument (application of Córdoba-Fefferman lemma)] The argument reduces the boundedness to an application of the Córdoba-Fefferman lemma on coordinate-parallel rectangles equipped with Heisenberg translations. However, the group law ⊙ introduces a bilinear cross term in the t-coordinate, mapping each rectangle to a sheared set. The manuscript does not explicitly verify that the lemma's key geometric hypotheses—bounded overlap multiplicity independent of the particular rectangles and control of containment relations—continue to hold with the same dimensional constants under this distortion while preserving Haar measure. This verification is load-bearing for the claim in the abstract.

Authors: We agree that an explicit verification strengthens the argument and addresses a potential gap in the exposition. The Córdoba-Fefferman lemma is applied directly to the family of axis-parallel rectangles R in the underlying Euclidean coordinates; the Heisenberg group law affects only the translation of the integrand, not the geometric family itself. Because the group operation induces a volume-preserving (Jacobian determinant 1) shearing that is linear in the vertical variable, the intersection and containment relations among the rectangles remain combinatorially identical to the Euclidean case, with overlap multiplicity bounded by a constant depending only on dimension. In the revision we will add a short paragraph immediately after invoking the lemma that records this observation and confirms the constants are unchanged. This clarification does not alter the proof strategy or the main result. revision: yes

Circularity Check

0 steps flagged

No circularity; derivation applies external Córdoba-Fefferman lemma to Heisenberg rectangles

full rationale

The paper defines M_alpha via Heisenberg multiplication on coordinate-parallel rectangles and claims the L^p to L^q bound for alpha = 1/p - 1/q by direct application of the Córdoba-Fefferman geometric covering lemma, after citing Christ's prior result only for the alpha=0 case. No equation or step reduces the target bound to a fitted parameter, self-referential definition, or load-bearing self-citation chain; the geometric control is imported from an independent external source whose hypotheses are asserted to hold for the given family of sets. The derivation therefore remains self-contained against the cited lemma and prior theorem.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claim rests on standard properties of the Heisenberg group and the applicability of the cited covering lemma; no free parameters or new entities are introduced in the abstract.

axioms (2)

standard math The Heisenberg group with the given multiplication law is a nilpotent Lie group whose Haar measure is Lebesgue measure on R^{2n+1}.
Invoked in the definition of the operator and the volume scaling.
domain assumption The Córdoba-Fefferman geometric covering lemma holds for the family of coordinate-parallel rectangles in this group setting.
The proof applies this lemma to control overlaps.

pith-pipeline@v0.9.0 · 5733 in / 1328 out tokens · 55855 ms · 2026-05-20T20:19:29.171181+00:00 · methodology

Review history (2 revisions) →

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We show M_α : L^p(R^{2n+1}) → L^q(R^{2n+1}) for α = 1/p - 1/q ... by applying a geometric covering lemma due to Córdoba and Fefferman.

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

5 extracted references · 5 canonical work pages

[1]

C\' o rdoba and R

A. C\' o rdoba and R. Fefferman, A geometric proof of the strong maximal theorem , Annals of Mathematics 102 : 95-100, 1975

work page 1975
[2]

Christ, Hilbert transforms along curves

M. Christ, Hilbert transforms along curves. I. Nilpotent groups , Annals of Mathematics 122 : no.3, 575-596, 1985

work page 1985
[3]

Christ, The strong maximal function on a nilpotent group , Transactions of the American Mathematical Society 331 : no.1, 1-13, 1992

M. Christ, The strong maximal function on a nilpotent group , Transactions of the American Mathematical Society 331 : no.1, 1-13, 1992

work page 1992
[4]

Ricci and E

F. Ricci and E. M. Stein, Oscillatory singular integrals and harmonic analysis on Nilpotent groups , Proc. Nat. Acad. Sci. U.S.A. 83 :1-3, 1986

work page 1986
[5]

Ricci and E

F. Ricci and E. M. Stein, Harmonic analysis on nilpotent groups and singular integrals. II: Singular kernels supported on submanifolds , Journal of Functional Analysis 78 : 56-84, 1988

work page 1988

[1] [1]

C\' o rdoba and R

A. C\' o rdoba and R. Fefferman, A geometric proof of the strong maximal theorem , Annals of Mathematics 102 : 95-100, 1975

work page 1975

[2] [2]

Christ, Hilbert transforms along curves

M. Christ, Hilbert transforms along curves. I. Nilpotent groups , Annals of Mathematics 122 : no.3, 575-596, 1985

work page 1985

[3] [3]

Christ, The strong maximal function on a nilpotent group , Transactions of the American Mathematical Society 331 : no.1, 1-13, 1992

M. Christ, The strong maximal function on a nilpotent group , Transactions of the American Mathematical Society 331 : no.1, 1-13, 1992

work page 1992

[4] [4]

Ricci and E

F. Ricci and E. M. Stein, Oscillatory singular integrals and harmonic analysis on Nilpotent groups , Proc. Nat. Acad. Sci. U.S.A. 83 :1-3, 1986

work page 1986

[5] [5]

Ricci and E

F. Ricci and E. M. Stein, Harmonic analysis on nilpotent groups and singular integrals. II: Singular kernels supported on submanifolds , Journal of Functional Analysis 78 : 56-84, 1988

work page 1988