Regular multi-types and the Bloom conjecture (Q2224716): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Import241208061232 (talk | contribs)
Normalize DOI.
 
(4 intermediate revisions by 4 users not shown)
Property / DOI
 
Property / DOI: 10.1016/j.matpur.2020.05.007 / rank
Normal rank
 
Property / OpenAlex ID
 
Property / OpenAlex ID: W3024485335 / rank
 
Normal rank
Property / arXiv ID
 
Property / arXiv ID: 1902.10581 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On microlocal analyticity and smoothness of solutions of first-order nonlinear PDEs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4230686 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Convergence and finite determination of formal CR mappings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Regularity of CR mappings between algebraic hypersurfaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5386124 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the c∞ version of the reflection principle for mappings between CR manifolds / rank
 
Normal rank
Property / cites work
 
Property / cites work: A construction of peak functions on weakly pseudoconvex domains / rank
 
Normal rank
Property / cites work
 
Property / cites work: On equality of line type and variety type of real hypersurfaces in \(\mathbb{C}^ n\) / rank
 
Normal rank
Property / cites work
 
Property / cites work: A geometric characterization of points of type m on real submanifolds of \(\mathbb{C}^n\) / rank
 
Normal rank
Property / cites work
 
Property / cites work: On `type' conditions for generic real submanifolds of \(\mathbb{C}^n\) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3853928 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Contact Between Complex Manifolds and Real Hypersurfaces in C 3 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Sums of squares of complex vector fields and (analytic-) hypoellipticity / rank
 
Normal rank
Property / cites work
 
Property / cites work: Boundary invariants of pseudoconvex domains / rank
 
Normal rank
Property / cites work
 
Property / cites work: Subelliptic estimates for the \({\bar \partial}\)-Neumann problem on pseudoconvex domains / rank
 
Normal rank
Property / cites work
 
Property / cites work: Real hypersurfaces in complex manifolds / rank
 
Normal rank
Property / cites work
 
Property / cites work: Real hypersurfaces, orders of contact, and applications / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3791445 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5412247 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Pseudoconvex domains with real-analytic boundary / rank
 
Normal rank
Property / cites work
 
Property / cites work: Flattening a non-degenerate CR singular point of real codimension two / rank
 
Normal rank
Property / cites work
 
Property / cites work: Construction of p.s.h. functions on weakly pseudoconvex domains / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Neumann Problem for the Cauchy-Riemann Complex. (AM-75) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Shorter Notes: The Levi Form and Local Complex Foliations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Finite type conditions on reinhardt domains> / rank
 
Normal rank
Property / cites work
 
Property / cites work: Real submanifolds of maximum complex tangent space at a CR singular point. I / rank
 
Normal rank
Property / cites work
 
Property / cites work: Real submanifolds of maximum complex tangent space at a CR singular point. II / rank
 
Normal rank
Property / cites work
 
Property / cites work: Subelliptic estimates for the \(\bar \partial\)-Neumann problem in C\(^2\) / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Bishop surface with a vanishing Bishop invariant / rank
 
Normal rank
Property / cites work
 
Property / cites work: Jet vanishing orders and effectivity of Kohn's algorithm in dimension 3 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Boundary behavior of \(\bar \partial\) on weakly pseudo-convex manifolds of dimension two / rank
 
Normal rank
Property / cites work
 
Property / cites work: Subellipticity of the \(\overline\partial\)-Neumann problem on pseudo- convex domains: sufficient conditions / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Catlin Multitype and Biholomorphic Equivalence of Models / rank
 
Normal rank
Property / cites work
 
Property / cites work: Convergence and divergence of formal CR mappings / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the \(\mathcal{C}^\infty\) regularity of CR mappings of positive codimension / rank
 
Normal rank
Property / cites work
 
Property / cites work: Convex domains of finite type / rank
 
Normal rank
Property / cites work
 
Property / cites work: Normal forms for real surfaces in \(C^ 2\) near tangents and hyperbolic surface transformations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Hypoelliptic differential operators and nilpotent groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: Une classe de domaines pseudoconvexes. (A class of pseudoconvex domains) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Effective termination of Kohn's algorithm for subelliptic multipliers / rank
 
Normal rank
Property / cites work
 
Property / cites work: Sur le prolongement holomorphe des fonctions CR définies sur une hypersurface réelle de classe \(C^ 2\) dans \({\mathbb{C}}^ n\). (Holomorphic continuation of CR-functions defined on a real hypersurface of class \(C^ 2\) in \({\mathbb{C}}^ n)\) / rank
 
Normal rank
Property / cites work
 
Property / cites work: A geometric approach to Catlin's boundary systems / rank
 
Normal rank
Property / Wikidata QID
 
Property / Wikidata QID: Q113869070 / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1016/J.MATPUR.2020.05.007 / rank
 
Normal rank

Latest revision as of 13:42, 17 December 2024

scientific article
Language Label Description Also known as
English
Regular multi-types and the Bloom conjecture
scientific article

    Statements

    Regular multi-types and the Bloom conjecture (English)
    0 references
    0 references
    0 references
    4 February 2021
    0 references
    In a fundamental paper [J. Differ. Geom. 6, 523--542 (1972; Zbl 0256.35060)], \textit{J. J. Kohn} first introduced a finite-type condition for a smooth hypersurface in \(\mathbb{C}^2\) to investigate the subellipticity of \(\overline{\partial}\)-Neumann operators over a bounded weakly pseudoconvex domain in \(\mathbb{C}^2\). Kohn's finite-type condition has various generalizations to higher dimensions by many mathematicians such as Bloom-Graham, Bloom, D'Angelo, Catlin and Sibony, etc. These conditions played important roles in answering fundamental problems in several complex variables. For an integer \(s\) with \(1\leq s \leq n-1\) and a point \(p\) on a smooth hypersurface \(M\subset {\mathbb C}^n\) with \(n\ge 2\), \textit{T. Bloom} [Trans. Am. Math. Soc. 263, 515--529 (1981; Zbl 0459.32005)] defined three notions of type taking values in \([2,\infty]\): regular contact type \(a^{(s)}(p)\), iterated commutator type \(t^{(s)}(p)\) and Levi-form type \(c^{(s)}(p)\). Bloom conjectured that these three invariants, though defined very differently, are the same when \(M\) is pseudoconvex. This famous problem is now known as the Bloom conjecture. In the same paper, Bloom proved \(a^{(1)}=c^{(1)}\) for a hypersurface in \(\mathbb{C}^3\). Earlier, \textit{T. Bloom} and \textit{I. Graham} [J. Differ. Geom. 12, 171--182 (1977; Zbl 0436.32013)] and \textit{T. Bloom} [in: Several complex variables, Proc. int. Conf., Cortona/Italy 1976--77, 14--22 (1978; Zbl 0421.32022)] have already achieved the conjecture for \(s=n-1\). The paper under review confirms the Bloom conjecture for \(s=n-2\), which is the first affirmative result on the Bloom conjecture where the pseudoconvexity is fundamentally needed. Notice that the previous theorem of Bloom-Graham for \(s=n-1\) holds for any smooth hypersurfaces and there are many examples for \(s=n-2\) where the Bloom conjecture fails for non-pseudoconvex hypersurfaces. As a corollary, the two authors provide a complete solution of the conjecture for a smooth hypersurface in \(\mathbb{C}^3\), making the first important progress 40 years after Bloom proposed his conjecture. A major difficulty of working on the Bloom conjecture is to find a good use of the pseudoconvexity. The authors use these conditions in a very clever way to validate the Hopf lemma and to obtain a uniqueness of solutions of a complex linear partial differential equation with real part plurisubharmonic functions. It is also interesting to notice the important role played by the Euler vector field in their proof.
    0 references
    0 references
    Bloom conjecture
    0 references
    finite type
    0 references
    pseudoconvexity
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers