Related papers: Direct Proof of Termination of the Kohn Algorithm …

The D'Angelo finite type is shown to be equivalent to the Kohn finite ideal type on smooth, pseudoconvex domains in complex n space. This is known as the Kohn Conjecture. The argument uses Catlin's notion of a boundary system as well as…

Kohn introduced in 1979 the algorithm of multipliers to study the subelliptc estimate of the $\bar\partial$-Neumann problem for a smooth weakly pseudoconvex domain in a complex Euclidean space which satisfies D'Angelo's finite type…

The equivalence of the Kohn finite ideal type and the D'Angelo finite type with the subellipticity of the $\bar\partial$-Neumann problem is extended to pseudoconvex domains in $C^n$ whose defining function is in a Denjoy-Carleman…

This note discusses the problem of the effective termination of Kohn's algorithm for subelliptic multipliers for bounded smooth weakly pseudoconvex domains of finite type. We give a complete proof for the case of special domains of finite…

This article chronicles a development that started around 1990 with \cite{BoasStraube91}, where the authors showed that if a smooth bounded pseudoconvex domain $\Omega$ in $\mathbb{C}^{n}$ admits a defining function that is plurisubharmonic…

We describe along the guidelines of Kohn "Quantitative estimates..." (1999), the constant E_s which is needed to control the commutator of a totally real vector field T with di-bar* in order to have Sobolev s-regularity of the Bergman…

In this article, we follow the arguments in a paper of Y-T. Siu to study the effective termination of Kohn's algorithm for special domains in $\mathbb{C}^{3}$. We make explicit the effective constants and generic conditions that appear…

A new approach is given to property $(P_q)$ defined by Catlin for $q=1$ in a global and by Sibony in a local context, subsequently extended by Fu-Straube for $q>1$. This property is known to imply compactness and global regularity in the…

This paper has two parts. We first survey recent efforts on the Bloom conjecture which still remains open in the case of complex dimension at least 4. Bloom's conjecture concerns the equivalence of three regular types. There is a more…

In the smooth case, we prove quasi-flasqueness for the sheaves of all subelliptic multipliers as well as at each of the steps of the Kohn algorithm on a pseudoconvex domain in $\C^n.$ We use techniques by Jean-Claude Tougeron to show that…

We show, under an assumption on the weakly pseudoconvex points, the trivial Diederich--Forn\ae ss index directly implies the global regularities of the $\bar{\partial}$-Neumann operators.

This paper describes a formalization of discrete real closed fields in the Coq proof assistant. This abstract structure captures for instance the theory of real algebraic numbers, a decidable subset of real numbers with good algorithmic…

We give examples of pseudoconvex domains of finite type in $\mathbb{C}^2$ where the Kohn algorithm for subelliptic estimates fails to yield an effective lower bound for the order of subellipticity in terms of the type. We show how to modify…

We consider the Dirichlet-Neumann operator for a nearly spherical domain in R^n, and prove sharp analytic and tame estimates in Sobolev class. The novelty of this paper concerns technical improvements, the most important of which are the…

The purpose of this note is threefold. (i) To explain the effective Kohn algorithm for multipliers in the complex Neumann problem and its difference with the full-real-radical Kohn algorithm, especially in the context of an example of…

We study bounded pseudoconvex domains in complex Euclidean spaces. We find analytical necessary conditions and geometric sufficient conditions for a domain being of trivial Diederich--Forn\ae ss index (i.e. the index equals to 1). We also…

Rudin's version of the classical Julia-Wolff-Carath\'eodory theorem is a cornerstone of holomorphic function theory in the unit ball of $\mathbb{C}^d$. In this paper we obtain a complete generalization of Rudin's theorem for a holomorphic…

We introduce a new geometrical invariant of CR manifolds of hypersurface type, which we dub the "Levi core" of the manifold. When the manifold is the boundary of a smooth bounded pseudoconvex domain, we show how the Levi core is related to…

We propose a new class of geometric invariants called jet vanishing orders, and use them to establish a new selection algorithm in the Kohn's construction of subelliptic multipliers for special domains in dimension $3$, inspired by the work…

For a pseudoconvex domain in complex space, we prove the equivalence of the local hypoellipticity of the system (di-bar, di-bar*) with the system (di-bar_b,di-bar*_b) induced in the boundary. This develops a result of ours which used the…