Recognition: 2 theorem links
· Lean TheoremStability of the Monomial Basis Kernel of Reinhardt domains
Pith reviewed 2026-05-12 02:35 UTC · model grok-4.3
The pith
The p-Monomial Basis Kernel on pseudoconvex Reinhardt domains varies continuously with the parameter p.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For a pseudoconvex Reinhardt domain Ω in C^n, the p-Bergman space A^p(Ω) has a canonical monomial basis indexed by S_p(Ω) subset Z^n, and the p-MBK is the reproducing kernel series built from these monomials normalized by their p-norms. The paper shows continuity of this kernel in p, a Ramadanov-type convergence for increasing domains, and explicit computation of S_p and threshold exponents for certain monomial polyhedra to demonstrate how the index sets transform under finite unions, intersections and products.
What carries the argument
The p-Monomial Basis Kernel (p-MBK), the series summing (over monomials z^alpha with alpha in S_p(Omega)) of z^alpha / ||z^alpha||_p^2 .
If this is right
- The index set S_p(Ω) changes in a stable manner as p varies.
- Threshold exponents for the index sets can be computed explicitly in polyhedral cases.
- Structural properties of the index sets are preserved or described under unions, intersections, and products of domains.
- The kernels converge for approximating sequences of domains.
Where Pith is reading between the lines
- These continuity results could enable numerical approximation of the kernels by varying p or by polyhedral approximations.
- The explicit models for monomial polyhedra might serve as test cases for studying general properties of Bergman kernels in Reinhardt domains.
- Similar stability might hold for other types of domains if analogous monomial expansions are available.
Load-bearing premise
The mild hypotheses placed on the pseudoconvex Reinhardt domains that are needed to guarantee the continuity in p and the Ramadanov-type convergence.
What would settle it
A counterexample consisting of a pseudoconvex Reinhardt domain and a value of p where the p-MBK fails to depend continuously on p would disprove the main stability result.
read the original abstract
On a pseudoconvex Reinhardt domain $\Omega\subset\mathbb{C}^n$ the $p$-Bergman space $A^p(\Omega)$ admits a canonical basis of monomials indexed by a subset $S_p(\Omega)\subset\mathbb{Z}^n$. The corresponding $p$-Monomial Basis Kernel (or $p$-MBK) is defined by a series involving these monomials and their norms. This article records stability properties of the $p$-MBK and of the index set $S_p(\Omega)$ with respect to the parameter $p$. First, under mild hypotheses, the $p$-MBK depends continuously on $p\in[1,\infty)$, and a Ramadanov-type theorem holds for $p$-MBK for an increasing sequence of pseudoconvex Reinhardt domains. Second, for certain special classes of monomial polyhedra, we explicitly compute the index set and the associated Threshold exponents. Finally, these explicit models are used to illustrate structural properties of the index sets under finite unions, intersections, and products.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript studies stability properties of the p-Monomial Basis Kernel (p-MBK) on pseudoconvex Reinhardt domains Ω ⊂ ℂ^n. It shows that, under mild hypotheses, the p-MBK varies continuously with p ∈ [1, ∞) and establishes a Ramadanov-type convergence theorem for increasing sequences of such domains. For special classes of monomial polyhedra the index set S_p(Ω) and associated threshold exponents are computed explicitly; these models are then used to illustrate the behavior of the index sets under finite unions, intersections, and products.
Significance. If the continuity and Ramadanov-type results hold, the work contributes to the parameter dependence of monomial bases in p-Bergman spaces on Reinhardt domains, a setting where such bases are canonical. The explicit computations for monomial polyhedra are a concrete strength, supplying verifiable examples that illustrate structural properties of S_p(Ω) and can serve as test cases for general theories of index-set stability.
major comments (1)
- [Statements of the main continuity and Ramadanov-type theorems] The precise content of the 'mild hypotheses' invoked for continuity of the p-MBK with respect to p and for the Ramadanov-type theorem is not stated explicitly in the theorem formulations (see the statements following the abstract and in the section on general Reinhardt domains). Without a clear list of these hypotheses it is impossible to verify whether they are routinely satisfied by typical pseudoconvex Reinhardt domains or whether they exclude cases in which S_p(Ω) changes abruptly.
minor comments (2)
- [Introduction to stability results] The definition of the p-MBK series (involving the monomials z^α and their p-norms) should be recalled or cross-referenced at the beginning of the stability section for readers who have not memorized the earlier notation.
- [Section on monomial polyhedra] In the explicit computations for monomial polyhedra, a summary table listing the index sets S_p and threshold exponents for each class considered would improve readability and facilitate comparison.
Simulated Author's Rebuttal
We thank the referee for the careful reading of our manuscript and for highlighting the need for greater clarity in the statement of our main results. We address the single major comment below.
read point-by-point responses
-
Referee: [Statements of the main continuity and Ramadanov-type theorems] The precise content of the 'mild hypotheses' invoked for continuity of the p-MBK with respect to p and for the Ramadanov-type theorem is not stated explicitly in the theorem formulations (see the statements following the abstract and in the section on general Reinhardt domains). Without a clear list of these hypotheses it is impossible to verify whether they are routinely satisfied by typical pseudoconvex Reinhardt domains or whether they exclude cases in which S_p(Ω) changes abruptly.
Authors: We agree that the theorem statements would benefit from an explicit enumeration of the mild hypotheses. In the revised manuscript we will restate both the continuity theorem and the Ramadanov-type theorem with a numbered list of the precise assumptions (pseudoconvexity of the Reinhardt domain, the monomials forming a Schauder basis for A^p(Ω), and the technical integrability condition on the weight that guarantees the series for the p-MBK converges uniformly on compact subsets). A short remark will be added immediately after each theorem indicating that these conditions are satisfied by all bounded pseudoconvex Reinhardt domains with smooth boundary that appear in the subsequent sections, while also noting the (rare) situations in which the index set S_p(Ω) may fail to be stable. revision: yes
Circularity Check
No circularity: stability and explicit computations derived from domain geometry
full rationale
The paper defines the p-MBK explicitly as a series over the monomial basis indexed by S_p(Ω) and the associated norms. It then derives continuity in p and a Ramadanov-type theorem under stated mild hypotheses on the Reinhardt domains, plus explicit index-set computations for monomial polyhedra obtained directly from the polyhedral geometry. No step equates a claimed result to its own definition, renames a fitted quantity as a prediction, or reduces the central claims to a self-citation chain; the derivations rest on independent analytic properties of pseudoconvex Reinhardt domains and are externally verifiable against the geometry.
Axiom & Free-Parameter Ledger
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclearthe p-Monomial Basis Kernel K_p,Ω(z,w) := ∑_{α∈S_p(Ω)} e_α(z) e_α(w) |e_α(w)|^{p-2} / ||e_α||_p^p,Ω
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclearThreshold(Ω_A) = {2(a+b)/j , 2(c+d)/k : 1≤j≤2(a+b)−1, …}
Reference graph
Works this paper leans on
- [1]
-
[2]
Chakrabarti, Debraj and Edholm, Luke D , journal=. Projections onto. 2024 , publisher=
work page 2024
-
[3]
Chakrabarti, Debraj and Edholm, Luke D and McNeal, Jeffery D , journal=. Duality and approximation of. 2019 , publisher=
work page 2019
-
[4]
Bender, Chase and Chakrabarti, Debraj and Edholm, Luke and Mainkar, Meera , journal=. 2022 , publisher=
work page 2022
- [5]
-
[6]
Deng, Fusheng and Wang, Zhiwei and Zhang, Liyou and Zhou, Xiangyu , pages =. 2020 , journal =. doi:10.1016/j.jfa.2020.108514 , issn =
-
[7]
Chen, Liwei and Krantz, Steven G and Yuan, Yuan , journal=. 2020 , publisher=
work page 2020
-
[8]
Chakrabarti, Debraj and Zeytuncu, Yunus , journal=
- [9]
- [10]
-
[11]
Chakrabarti, Debraj and Konkel, Austin and Mainkar, Meera and Miller, Evan , TITLE =. Pacific J. Math. , FJOURNAL =. 2020 , NUMBER =. doi:10.2140/pjm.2020.306.67 , URL =
-
[12]
Chakrabarti, Debraj and Cinzori, Isaac and Gaidhane, Ishani and Gregory, Jonathan and Wright, Mary , TITLE =. J. Math. Anal. Appl. , FJOURNAL =. 2024 , NUMBER =. doi:10.1016/j.jmaa.2023.127723 , URL =
-
[13]
Zhang, Shuo , TITLE =. Complex Var. Elliptic Equ. , FJOURNAL =. 2021 , NUMBER =. doi:10.1080/17476933.2020.1769085 , URL =
-
[14]
Zhang, Shuo , TITLE =. Math. Slovaca , FJOURNAL =. 2021 , NUMBER =. doi:10.1515/ms-2021-0024 , URL =
- [15]
-
[16]
Chen, Liwei and Christopherson, Adam B , journal=. Lower endpoint blowup of the. 2026 , publisher=
work page 2026
-
[17]
The Journal of Geometric Analysis , volume=
Bergman subspaces and subkernels: degenerate L^p mapping and zeroes , author=. The Journal of Geometric Analysis , volume=. 2017 , publisher=
work page 2017
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.