Source author record

Luca Baracco

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

ResearcherUnclaimed source record

Catalog footprint

Research overview

11works
1topics
4close collaborators

Published work

11 publications

preprint2015arXiv

Extension of L^2 holomorphic functions

The purpose of this note is to show that the di-bar-estimate which is needed in the Ohsawa-Takegoshi Extension Theorem [6] is a direct consequence of the Hormander-Kohn-Morrey weigthed inequality. In this inequality, the Donnelly-Fefferman argument is not required and a single 1-parameter family of non-singular weights is used. This paper is the furtherst step of a great deal of work devoted to the simplification of the original proof of Ohsawa-Takegoshi Theorem, among other papers on the subject, we mention [1] and [8] which are based on "twisted" basic estimates and, in recent time, [3] and [9].

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)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 (Lˉg,fkLg)(\bar L_g,f^kL_g) where (Lˉg,Lg)(\bar L_g,L_g) is 12m\frac1{2m} subelliptic at 0 and f(0)=0,  df(0)≠0f(0)=0,\,\,df(0)\neq0. We prove estimates with a loss l=k−12ml=\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=[2(m−1)l=\frac [{2(m-1)}.) For the choice (g,fk)=(∣z∣2m,zˉk)(g,f^k)=(|z|^{2m},\bar z^k) this result was obtained by Kohn and Bove-Derridj-Kohn-Tartakoff for m=1m=1 and m≥1m\geq1 respectively. Also, the loss l=k−12ml=\frac{k-1}{2m} was proven to be optimal. We show that it remains optimal for the model (g,fk)=(x2m,xk)(g,f^k)=(x^{2m},x^k). Instead, for the model (g,fk)=(∣z∣2m,xk)(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 ≥k−12\geq \frac{k-1}2.

preprint2014arXiv

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

It is here proved that if a pseudoconvex CR manifold MM of hypersurface type has a certain "type", that we quantify by a vanishing rate FF at a submanifold of CR dimension 00, then □b\Box_b "gains f2f^2 derivatives" where ff is defined by inversion of FF. Indeed the estimate is more accurate and it involves the Levi form of MM and of additional weights, instead of □b\Box_b. Next a general tangential estimate, "twisted" by a pseudodifferential operator ΨΨ is established. The combination of the two yields a general "ff-estimate" twisted by ΨΨ. We apply the twisted estimate for ΨΨ which is the composition of a cut-off ηη with a differentiation of order ss such as RsR^s of Section 4. Under the assumption that [∂b,η][\partial_b,η] and [∂b,[∂ˉb,η]][\partial_b,[\bar\partial_b,η]] are superlogarithmic multipliers in a sense inspired to Kohn, we get the local regularity of the Green operator G=□b−1G=\Box_b^{-1}. In particular, if MM has "infraexponential type" along S∖ΓS\setminusΓ where SS is a manifold of CR dimension 00 and ΓΓ a curve transversal to TCMT^{\mathbb C} M, then we have local regularity of GG. 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 ss such as ΛsΛ^s or RsR^s and MM is a decoupled hypersurface which has infraexponential type along the coordinate lines Rxj∖{0}\mathbb R_{x_j}\setminus\{0\} and whose equations have differentials which are superlogarithmic multipliers in the sense of Kohn. In this situation, □b\Box_b is locally hypoelliptic.

preprint2012arXiv

Boundaries of analytic varieties

We prove that every smooth CR manifold $M\subset\subset \C^n$, of hypersurface type, has a complex strip-manifold extension in $\C^n$. If MM is, in addition, pseudoconvex-oriented, it is the "exterior" boundary of the strip. In turn, the strip extends to a variety with boundary MM (Rothstein-Sperling Theorem); in case MM is contained in a pseudoconvex boundary with no complex tangencies, the variety is embedded in $\C^n$. Altogether we get: MM is the boundary of a variety (Harvey-Lawson Theorem); if MM is pseudoconvex oriented the singularities of the variety are isolated in the interior; if MM lies in a pseudoconvex boundary, the variety is embedded in $\C^n$ (and is still smooth at MM)

Research graph

See the researcher in context

Open full explorer

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.