Source author record

Giuseppe Zampieri

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.CV math.AP

Catalog footprint

Research overview

13works

2topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2015arXiv

Extension of L^2, di-bar-closed, forms

We prove extension of a di-bar-closed, smooth, form from the intersection of a pseudoconvex domain with a complex hyperplane to the whole domain. The extension form is di-bar-closed, has harmonic coefficients and its L^2-norm is estimated by the L^2-norm of the trace. For holomorphic functions this is proved by Ohsawa-Takegoshi [12]. For forms of higher degree, this is stated by Manivel [9]. It seems, however, that the proof contains a gap because of the use of a a singular weight and the failure of regularity for the solution of the related di-bar-equation. There is a rich literature on the subject (cf. among otheres [7], [14]) but it does not seem to contain complete answer to the question. Also, the problem of extending cohomology classes of di-bar of higher degree in a compact Kahler space is addressed in [8] and [3]. Apart from the formal analogy, this has little in common with our problem in which these classes are 0. We also believe, comparing to the preceding literature, that our approach is original and, somewhat, simpler.

preprint2014arXiv

Gain/Loss of derivatives for complex vector fields

In $\C_z\times\R_t$ we consider the function $g=g(z)$ , set $g_1=\di_z g$, $g_{1\bar 1}=\di_z\dib_zg$ and define the operator $L_g=\di_z+ig_1\di_t$. We discuss estimates with loss of derivatives, in the sense of Kohn, for the system $(\bar L_g,f^kL_g)$ where $(\bar L_g,L_g)$ is $\frac1{2m}$ subelliptic at 0 and $f(0)=0,\,\,df(0)\neq0$ . We prove estimates with a loss $l=\frac{k-1}{2m}$ if the "multiplier" condition $|f|\simgeq |g_{1\bar 1}|^{\frac1{2(m-1)}}$ is fulfilled. (For estimates without cut-off, subellipticity can be weakened to compactness and this results in a loss of $l=\frac [{2(m-1)}$ .) For the choice $(g,f^k)=(|z|^{2m},\bar z^k)$ this result was obtained by Kohn and Bove-Derridj-Kohn-Tartakoff for $m=1$ and $m\geq1$ respectively. Also, the loss $l=\frac{k-1}{2m}$ was proven to be optimal. We show that it remains optimal for the model $(g,f^k)=(x^{2m},x^k)$ . Instead, for the model $(g,f^k)=(|z|^{2m},x^k)$ , in which the multiplier condition is violated, the loss is not lowered by the type and must be $\geq \frac{k-1}2$ .

preprint2014arXiv

Hypoellipticity of the $\bar\partial$ -Neumann problem by means of subelliptic multipliers

We prove local hypoellipticity of the complex Laplacian $\Box$ and of the Kohn Laplacian $\Box_b$ in a pseudoconvex boundary when, for a system of cut-off $η$ , the gradient $\partial_bη$ and the Levi form $\partial_b\bar\partial_bη^2$ are subelliptic multipliers in the sense of Kohn.

preprint2014arXiv

Hypoellipticity of the di-bar-Neumann problem at a set of infinite type with positive CR dimension

This paper presents a class of domains on which the Kohn Laplacian and the dib-bar-Neumann problem are hypoelliptic but not superlogarithmic and which, moreover, have a set of points of Levi-degeneracy with positive CR dimension.

preprint2014arXiv

Local regularity of the Green operator in a CR manifold of general "type"

It is here proved that if a pseudoconvex CR manifold $M$ of hypersurface type has a certain "type", that we quantify by a vanishing rate $F$ at a submanifold of CR dimension $0$ , then $\Box_b$ "gains $f^2$ derivatives" where $f$ is defined by inversion of $F$ . Indeed the estimate is more accurate and it involves the Levi form of $M$ and of additional weights, instead of $\Box_b$ . Next a general tangential estimate, "twisted" by a pseudodifferential operator $Ψ$ is established. The combination of the two yields a general " $f$ -estimate" twisted by $Ψ$ . We apply the twisted estimate for $Ψ$ which is the composition of a cut-off $η$ with a differentiation of order $s$ such as $R^s$ of Section 4. Under the assumption that $[\partial_b,η]$ and $[\partial_b,[\bar\partial_b,η]]$ are superlogarithmic multipliers in a sense inspired to Kohn, we get the local regularity of the Green operator $G=\Box_b^{-1}$ . In particular, if $M$ has "infraexponential type" along $S\setminusΓ$ where $S$ is a manifold of CR dimension $0$ and $Γ$ a curve transversal to $T^{\mathbb C} M$ , then we have local regularity of $G$ . This gives an immediate proof of former work by Baracco, Khanh, Zampieri and by Kohn. The conclusion extends to "block decomposed" domains for whose blocks the above hypotheses hold separately. In the application of Section 4, $Ψ$ is composed by a cut off $η$ and a differentiation of order $s$ such as $Λ^s$ or $R^s$ and $M$ is a decoupled hypersurface which has infraexponential type along the coordinate lines $\mathbb R_{x_j}\setminus\{0\}$ and whose equations have differentials which are superlogarithmic multipliers in the sense of Kohn. In this situation, $\Box_b$ is locally hypoelliptic.

preprint2012arXiv

Complex Manifolds In $Q$ -Convex Boundaries

We consider a smooth boundary bΩwhich is q-convex in the sense that its Levi-form has positive trace on every complex q-plane. We prove that bΩis tangent of infinite order to the complexification of each of its submanifolds which is complex tangential and of finite bracket type. This generalizes Diederich-Fornaess [Annals 1978] from pseudoconvex to q-convex domains. We also readily prove that the rows of the Levi-form are (1/2)-subelliptic multipliers for the di-bar-Neumann problem on q-forms (cf. Ho [Math. Ann. 1991]). This allows to run the Kohn algorithm of [Acta Math. 1979] in the chain of ideals of subelliptic multipliers for q-forms. If bΩis real analytic and the algorithm stucks on q-forms, then it produces a variety of holomorphic dimension q, and in fact, by our result above, a complex q-manifold which is not only tangent but indeed contained in bΩ. Altogether, the absence of complex q-manifolds in bΩproduces a subelliptic estimate on q-forms.

preprint2011arXiv

On extending $L^{2}$ holomorphic functions from complex hyperplanes

The key to the proof of the Ohsawa-Takegoshi Extension Theorem is a certain $\bar{\partial}$ -estimate. The purpose of this note is to show that the 'curvature term' that arises in the Kohn-Morrey-Hörmander inequality (or the Bochner-Kodaira technique) is sufficient to produce such an estimate. We exploit self boundedness of the gradients of the weight functions to change the weight with respect to which the adjoint is taken. The weights, on the other hand, are the usual ones used in this context.

preprint2011arXiv

Regularity at the Boundary and Tangential Regularity

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 theory of the "harmonic" extension by Kohn. This technique is inadequate for the purpose of the present paper and must be replaced by the "holomorphic" extension introduced by the authors in former work.

preprint2011arXiv

The Diederich-Fornaess index and the global regularity of the di-bar-Neumann problem

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 projection in any degree of forms, on a smooth pseudoconvex domain D of the complex space. This statement, not explicit in Kohn's paper, yields Straube's Theorem in "A sufficient condition..." (2008). Next, we refine the pseudodifferential calculus at the boundary in order to relate, for a defining function r of D, the operators (T^+)^{-delta/2} and (-r)^{delta/2}. We are thus able to extend to general degree of forms the conclusion of Kohn which only holds for functions: if for the Diederich-Fornaess index delta of D, we have that (1-δ)^{1/2} < E_s, then the Bergman projection is s-regular.

preprint2010arXiv

Compactness of $\Box_b$ in a CR manifold

This note is aimed at simplifying current literature about compactness estimates for the Kohn-Laplacian on CR manifolds. The approach consists in a tangential basic estimate in the formulation given by the first author in \cite{Kh10} which refines former work by Nicoara \cite{N06}. It has been proved by Raich \cite{R10} that on a CR manifold of dimension $2n-1$ which is compact pseudoconvex of hypersurface type embedded in $\C^n$ and orientable, the property named " $(CR-P_q)$ " for $1\leq q\leq \frac{n-1}2$ , a generalization of the one introduced by Catlin in \cite{C84}, implies compactness estimates for the Kohn-Laplacian $\Box_b$ in degree $k$ for any $k$ satisfying $q\leq k\leq n-1-q$ . The same result is stated by Straube in \cite{S10} without the assumption of orientability. We regain these results by a simplified method and extend the conclusions in two directions. First, the CR manifold is no longer required to be embedded. Second, when $(CR-P_q)$ holds for $q=1$ (and, in case $n=1$ , under the additional hypothesis that $\dib_b$ has closed range on functions) we prove compactness also in the critical degrees $k=0$ and $k=n-1$ .

preprint2010arXiv

Hypoellipticity of the $\bar\partial$ -Neumann problem at exponentially degenerate points

We prove that the $\bar\partial$ -Neumann solution operator is locally regular in a domain which has compactness estimates, is of finite type outside a curve transversal to the CR directions and for which the holomorphic tangential derivatives of a defining function are subelliptic multipliers in the sense of Kohn.

preprint2010arXiv

Loss of derivatives for systems of complex vector fields and sums of squares

We discuss, both for systems of complex vector fields and for sums of squares, the phenomenon discovered by Kohn of hypoellipticity with loss of derivatives.

preprint2010arXiv

Necessary geometric and analytic conditions for general estimates in the $\dib$-Neumann problem

We show that a general estimate in the $\dib$-Neumann problem implies a upper bound on the order of contact of a complex curve with the boundary and a lower bound on the rate of the Levi form of a bounded family of weights.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Giuseppe Zampieri

Research overview

Is this your work?

13 publications

Extension of L^2, di-bar-closed, forms

Gain/Loss of derivatives for complex vector fields

Hypoellipticity of the $\bar\partial$ -Neumann problem by means of subelliptic multipliers

Hypoellipticity of the di-bar-Neumann problem at a set of infinite type with positive CR dimension

Local regularity of the Green operator in a CR manifold of general "type"

Complex Manifolds In $Q$ -Convex Boundaries

On extending $L^{2}$ holomorphic functions from complex hyperplanes

Regularity at the Boundary and Tangential Regularity

The Diederich-Fornaess index and the global regularity of the di-bar-Neumann problem

Compactness of $\Box_b$ in a CR manifold

Hypoellipticity of the $\bar\partial$ -Neumann problem at exponentially degenerate points

Loss of derivatives for systems of complex vector fields and sums of squares

Necessary geometric and analytic conditions for general estimates in the $\dib$-Neumann problem

See the researcher in context

Building this map preview

Giuseppe Zampieri

Research overview

Is this your work?

13 publications

Extension of L^2, di-bar-closed, forms

Gain/Loss of derivatives for complex vector fields

Hypoellipticity of the ∂ˉ\bar\partial∂ˉ-Neumann problem by means of subelliptic multipliers

Hypoellipticity of the di-bar-Neumann problem at a set of infinite type with positive CR dimension

Local regularity of the Green operator in a CR manifold of general "type"

Complex Manifolds In QQQ-Convex Boundaries

On extending L2L^{2}L2 holomorphic functions from complex hyperplanes

Regularity at the Boundary and Tangential Regularity

The Diederich-Fornaess index and the global regularity of the di-bar-Neumann problem

Compactness of □b\Box_b□b​ in a CR manifold

Hypoellipticity of the ∂ˉ\bar\partial∂ˉ-Neumann problem at exponentially degenerate points

Loss of derivatives for systems of complex vector fields and sums of squares

Necessary geometric and analytic conditions for general estimates in the $\dib$-Neumann problem

See the researcher in context

Building this map preview

Hypoellipticity of the $\bar\partial$ -Neumann problem by means of subelliptic multipliers

Complex Manifolds In $Q$ -Convex Boundaries

On extending $L^{2}$ holomorphic functions from complex hyperplanes

Compactness of $\Box_b$ in a CR manifold

Hypoellipticity of the $\bar\partial$ -Neumann problem at exponentially degenerate points