Home >Documents >Sobolev Regularity

# Sobolev Regularity

Date post:26-Oct-2014
Category:
View:120 times
Description:
SOBOLEV REGULARITY OF SOLUTIONS OF THE COHOMOLOGICAL EQUATION
Transcript:

i+jkSiTju, SiTjv)q +TiSju, TiSjv)q .The weighted Sobolev norms with integer exponent k 0, let Nq() := card EV(Q) / , where eacheigenvalue EV(Q) is counted according to its multiplicity.Theorem 2.3. ([For97], Th. 2.5) There exists a constant C> 0 such that(2.8) lim+Nq()=vol(M, Rq).Let q:= Sq Tq be the Cauchy-Riemann operators induced by the holo-morphic orientable quadratic differential qonM, introduced in [For97],3. Let Mq L2q(M) be the subspaces of meromorphic, respectively anti-meromorphic functions (with poles at q). By the Riemann-Roch theorem,the subspacesMqhave the same complex dimension equal to the genusg 1 of the Riemann surface M. In addition, M+q Mq= C, hence(2.9) Hq:=_M+q__Mq_= u L2q(M) [_Mu q=0 .Let H1q:=Hq H1q(M). By Theorem 2.2, the restriction of the hermitianform toH1qis positive denite, hence it induces a norm. By the Poincarinequality (see [For97], Lemma 2.2 or [For02], Lemma 6.9), the Hilbertspace (H1q, Q) is isomorphic to the Hilbert space (H1q, , )1).Proposition 2.4. ([For97], Prop. 3.2) The Cauchy-Riemann operators qare closable operators on the common domain C0(M q) L2q(M) andtheir closures (denote by the same symbols) have the following properties:(1)the domains D(q) = H1q(M) and the kernels N(q) = C;(2)the ranges Rq:= Ran(q) =_Mq_are closed in L2q(M);(3)the operators q: (H1q, Q) (R, , )q) are isometric.Let E = en[ n N H1q(M) C(M) be an orthonormal basis of theHilbert space L2q(M) of eigenfunctions of the Dirichlet form (2.7) and let : N R+ 0 be the corresponding sequence of eigenvalues:(2.10) n:=Q(en, en) , for eachn N.SOBOLEV REGULARITY OF SOLUTIONS 13The Friedrichs weighted Sobolev norm ||s of order sR+is the norminduced by the hermitian product dened as follows: for all u, v L2q(M),(2.11) (u, v)s :=

nN(1 +n)su, en)qen, v)q .The inner products (2.4) and (2.11) induce equivalent Sobolev norms onthe weighted Sobolev space Hkq(M), for all kZ+. In fact, the followingresult, a sharp version of Lemma 4.2 of [For97], holds:Lemma 2.5. For eachkZ+there exists a constantCk>1 such that,for any orientable holomorphic quadratic differentialq onMand for allfunctions u Hkq(M),(2.12) C1k[u[k|u|kCk[u[k.Proof. By Proposition 2.4, (3), and Lemma 2.1, for all u Hk+1q(M),k N, the following identity holds (see (4.4) in [For97]):(2.13) [u[2k+1 = [u[20+

i+jkQ(SiTju, SiTju) == [u[20+

i+jkSiTjqu, SiTjqu)q= [u[20+[qu[2k.Hence in particularuHk+1q(M), k N, impliesquHkq(M). Ifk 1, a second application of the identity (2.13) yields(2.14) [u[2k+1 = [u[21+[qqu[2k1.The statement then follows by induction on k N. For k= 0 it is immedi-ate and for k = 1, by the identity (2.13),(2.15) [u[21 = [u[20+Q(u, u) =

nN(1 +n) [u, en)q[2.For k>1, by induction hypothesis we can assume that the norms [[k1and ||k1 are equivalent, that is, there exists a constant Ck1>1 suchthat, for all u Hk1q(M),(2.16) C1k1[u[k1|u|k1Ck1[u[k1.Since by (2.3) for all u, vH1q(M), qu, v)q=u, qv)q, the adjointoperator (q)= qon H1q(M). By Proposition 2.4, (3), we have(2.17) |qqu|2k1 =

nN(1 +n)k1[qu, qen)q[2==

nN(1 +n)k1[Q(u, en)[2=

nN(1 +n)k12n[u, en)q[2.14 GIOVANNI FORNIThere exists a constant Ck+1> 1 such that, for all 0,(2.18) C2k+1 (1 +)k+1 1 + + C2k12(1 +)k1 1 + + C2k12(1 +)k1 C2k+1 (1 +)k+1.By (2.14), (2.15), (2.16), (2.17) and (2.18), the estimate(2.19) C1k+1[u[k+1|u|k+1Ck+1[u[k+1follows, thereby completing the induction step. 2.2. Fractional Sobolev norms. Let q be any orientable quadratic differ-ential on M. For all s 0, let(2.20)Hsq(M) := u L2q(M) /

nN(1 +n)s[u, en)q[2< +,endowed with the hermitian product given by (2.11) and, for any s > 0, letHsq(M) be the dual space of the Hilbert spaceHsq(M). The spacesHsq(M)will be called the Friedrichs (fractional) weighted Sobolev spaces.Let H1H2 be Hilbert spaces such that H1 embeds continuously into H2with dense image. For all [0, 1], let[H1, H2]be the (holomorphic)interpolation space ofH1H2 in the sense of Lions-Magenes [LM68],Chap. 1, endowed with the canonical interpolation norm. By the resultsof [LM68], Chap. 1, 2, 5, 6 and 14, we have the following:Lemma 2.6. The Friedrichs weighted Sobolev spaces form an interpolationfamily Hsq(M)sR of Hilbert spaces: for all r, s R with r < s,(2.21)H(1)r+sq(M) [ Hrq(M),Hsq(M)].The family Hsq(M)sR of fractional weighted Sobolev spaces will be de-ned as follows. Let[s] N denote the integer part and s[0, 1) thefractional part of any real number s 0.Denition 2.7. (1)The fractional weighted Sobolev norm[[s of or-der s0 is the euclidean norm induced by the hermitian productdened as follows: for all functions u, v Hq(M),(2.22) u, v)s:=12

i+j[s](SiTju, SiTjv){s} + (TiSju, TiSjv){s}.(2)The fractional weighted Sobolev norm[[s of orders 0 by denition of theSobolev spaces Hsq(M).The operatorss: Hs+1q(M)Hsq(M) do not extend to bounded oper-atorsHs+1q(M) Hsq(M) unlessMq is a at torus. In fact, every nitecombination fof eigenfunctions of the Dirichlet form belongs toHsq(M),for allsR, butqf ,H1q(M) in all cases because of the presence ofobstructions in the Taylor expansion of eigenfunctions at the singular setq,=. In fact, if+qenH1q(M) (orqenH1q(M)) for allnN,then +qenH1q(M) and qenH1q(M), for all nN, since the eigen-functions en can be chosen real. It follows that en H2q(M), for all n N,hence H2q(M)=H2q(M) is the domain of the Friedrichs extension Fqofthe Laplacian q of the metric Rq. Thus the Laplacian q is self-adjoint onthe domain H2q(M), hence the metric Rq has no singularities and M is thetorus. In fact, the space H2q(M) is the domain of the closure of the Lapla-cian q on the common invariant domain Hq(M). If H2q(M)=H2q(M),then q is essentially self-adjoint on Hq(M) and by [Nel59], Th. 5 or Cor.9.1, the action of the commutative Lie algebra spanned by S, T integratesto a Lie group action. Hence, the singularity set q= and M is the torus.16 GIOVANNI FORNIFinally, the Friedrichs extensionFq , dened onH2q(M), has a boundedrestrictions:Hs+2q(M) Hsq(M), for all s 0. In fact, we have(2.25) Fq u =

nNnu, en)q en, for all u H2q(M) ,henceFq uHsq(M) ifuHs+2q(M), by denition of the Friedrichsweighted Sobolev spacesHsq(M) (in terms of eigenfunction expansions forthe Dirichlet form). Lemma 2.10. The fractional weighted Sobolev norms satisfy the followinginterpolation inequalities. For any 0 r < s there exists a constant Cr,s>0 such that, for any [0, 1] and any function u Hsq(M),(2.26) [u[(1)r+sCr,s[u[1r[u[s .Proof. The argument will be carried out in three steps: (1) the open interval(r, s) does not contain integers; (2) the open interval (r, s) contains a singleinteger; (3) the general case.In case(1) there existskN such thatkr 0 such that(2.35)[u[k1C(3)r,s[u[1k1+1rr[u[k1rk1+1rk1+1;[u[k2C(3)r,s[u[sk2sk2+1k21[u[1sk2+1s.18 GIOVANNI FORNIThe estimates in (2.35) imply, by bootstrap-type estimates based on (2.34)for k=k1 + 1 and k=k2 1, that there exists a constant C(4)r,s>0 suchthat(2.36)[u[k1C(4)r,s[u[k2k1k2rr[u[k1rk2rk2;[u[k2C(4)r,s[u[sk2sk1k1[u[k2k1sk1s.By (2.36) and again by bootstrap, there exists a constant C(5)r,s> 0 such that(2.37)[u[k1C(5)r,s[u[sk1srr[u[k1rsrs;[u[k2C(5)r,s[u[sk2srr[u[k2rsrs,Let (r, s). We have proved the interpolation inequality for the subcases=k1 and =k2. Let us prove that the general case can be reduced tothese subcases. If (r, k1), by step (1) there exists Cr> 0 such that(2.38) [u[Cr[u[k1k1rr[u[rk1rk1.The interpolation inequality in this case follows immediately from (2.37)and (2.38). If (k2, s), the argument is similar. If (k1, k2), then bystep (1), there exists C[]> 0 such that(2.39) [u[C[][u[1{}[][u[{}[]+1.The interpolation inequality then follows from (2.34), (2.37) and (2.39).

Let Hs(M), s R, denote a family of standard Sobolev spaces on thecompact manifold M(dened with respect to a Riemannian metric). Thecomparison lemma below claries to some extent the relations between thedifferent scales of fractional Sobolev spaces.Lemma 2.11. The following continuous embedding and isomorphisms ofBanach spaces hold:(1) Hs(M) Hsq(M) Hsq(M) , for 0 s < 1;(2) Hs(M) Hsq(M) Hsq(M) , for s = 1;(3) Hsq(M) Hsq(M) Hs(M) , for s > 1.Fors[0, 1], the spaceHs(M) is dense inHsq(M) and, fors>1, theclosure of Hsq(M) inHsq(M) or Hs(M) has nite codimension.Proof. By denition H0(M)=L2(M) and H0q(M)=H0q(M)=L2q(M).Since the area form induced by any quadratic differential is smooth on M,which is a compact surface, it follows that L2(M) L2q(M). The em-beddingH1q(M) H1q(M)follows byLemma 2.5andtheembeddingSOBOLEV REGULARITY OF SOLUTIONS 19H1q(M) H1q(M) holds since the eigenfunctions of the Dirichlet formare in H1q(M). The isomorphism H1(M) H1q(M) is proved in [For02],6.2. Hence (2) is proved and (1) follows by interpolation.Let s > 1. If [s] = 2k is even, there exists a constant Ak> 0 such that, forall functions u Hq(M), we have(2.40) |u|2s= |(I Fq )ku|2{s} A2k

i+j2k|SiTju|2{s}= C2k[u[s.If [s] = 2k +1 is odd, we argue as follows. The Cauchy-Riemann operatorsq: H1q(M) L2q(M) are bounded and extend by duality to boundedoperators0: L2q(M)H1q(M). Hence, by the fundamental theoremof interpolation (see [LM68], Chap. 1, 5.1), for all [0, 1] the Cauchy-Riemann operators have bounded restrictions(2.41) :Hq (M) H1q(M) .It follows that there exists a constantBk>0 such that, for all functionsu Hq(M), we have(2.42)|u|2s= |(I Fq )k+1u|2{s}1 B2k

i+j2k+1|SiTju|2{s} = C2k[u[s.Thus the embeddings Hsq(M) Hsq(M) hold for all s > 1.It was proved in [For02], 6.2, that Hkq(M) Hk(M), for all k Z+. Weprove below the stronger statement thatHsq(M) Hs(M), for all s R+.Let R be a smooth Riemannian metric on M conformally equivalent to thedegenerate metricRqand letHsR(M), s0, denote the Sobolev spacesof the Riemannian manifold(M, R) which are dened as the domains ofthe powers of the essentially self-adjoint Laplacian R of the metric. SinceM is compact, the Sobolev spaces HsR(M)Hs(M) are independent, astopological vector spaces, of the choice of the Riemannian metric R, for allsR. We claim thatH2kq(M)H2kR(M), for all kZ+. In fact, thereexists a smooth non-negative real-valued function W on M (vanishing onlyat q) such that WFqR. Let Wbe the unique function such thatthe area forms of the metrics are related by the identityq=WR. Ifu H2q(M), then Fq u L2q(M), so that(2.43) Ru = WFq u L2(M, R) .Let us assume thatH2k2q(M) H2k2R(M) and let u H2kq(M). We have(2.44) kRu = k1RWFq u = [k1R, W]Fq u + Wk1RFq u .Since the commutator [k1R, W] and k1Rare differential operators of or-der 2k 2 on M and Fq uH2k2R(M) by the induction hypothesis, the20 GIOVANNI FORNIfunction kRuL2(M, R). The claim is therefore proved. It follows byinterpolation thatHsq(M) HsR(M), for all s 1. Thus (3) is proved.Fors [0, 1], the spaceC0(Mq) Hsq(M)is dense inHsq(M).Fors >1, the subset C(M)Hsq(M) is dense inHsq(M), since theeigenfunctions of the Dirichlet form (hence all nite linear combinations)belong to C(M) and the space C(M) is dense in Hs(M). Finally, thesubspace C(M) Hkq(M)C(M) can be described, for any kN,as the kernel of a nite number of distributions of nite order supported onthe nite setq(see [For02], (7.9)), hence for anyk>s the closure ofHkq(M) Hsq(M) inHsq(M) or in Hs(M) has nite codimension. 2.3. Local analysis. For each pMand all kZ+, let Hkq(p),Hkq (p),andHk(p) the spaces of germs of fuctions atp which belong toHkq(M),Hkq(M) andHk(M), endowed with the respective direct limit topologies.More precisely, a germ of function f at p belongs to the space Hkq (p),Hkq (p)or Hk(p) iff it can be realized by a function Fon M which belongs to thespace Hkq(M),Hkq(M) or Hk(M) respectively and the open sets in Hkq (p),Hkq(p) or Hk(p) are dened as the images of open sets in Hkq (M),Hkq(M)or Hk(M) under the natural maps Hkq(M) Hkq(p),Hkq(M) Hkq(p) orHk(M) Hk(p).By Lemma 2.11 we have the inclusions(2.45)H0(p) H0q(p) H0q(p) ;H1q(p) =H1q(p) = H1(p) ;Hkq(p) Hkq (p) Hk(p) .If p,q, since there is an open neighbourhood Dp of p in M isomorphicto a at disk and the operator Fqis elliptic of order 2 on Dp (isomorphicto the at Laplacian), all the inclusions in (2.45) are identities. We willdescribe precisely the inclusions Hkq(p) Hkq(p) Hk(p) for k> 1.Let pq be a zero of (even) order 2m of the (orientable) quadratic dif-ferential q on M. There exists a unique canonical holomorphic coordinatez: DpC, dened on a neighbourhood Dp of p M, such that z(p) = 0and q(z)=z2mdz2. With respect to the canonical coordinate the Cauchy-Riemann operators qcan be written in the following form:(2.46) +q=2 zm zand q=2zmz.SOBOLEV REGULARITY OF SOLUTIONS 21Let C(p) be the space of germs at p Mof smooth complex-valuedfunctions on M and for any u C(p) let(2.47) u(z, z) =

i,jNaij(u, p)zi zj.be its (formal) Taylor series at p (with respect to the canonical coordinate).Lemma 2.12. Let pq be a zero of (even) order 2m of the (orientable)quadratic differential q on M. For any k N, a germu C(p) Hkq(p) aij(u, p) = 0 , for all i + j (k 1)(m+ 1) ,except all pairs (i, j) for which one of the following conditions holds:(2.48)(1)i N(m+ 1) , j N(m + 1) ;(2)i N(m+ 1) , j, N(m + 1) and i < j ;(3)i , N(m+ 1) , j N(m + 1) and i > j .Proof. Let u C(p). For any n N, there is a local Taylor expansionu(z, z) =

i+jnaij(u, p)zi zj+Run(z, z)where the remainderRunis a smooth function vanishing at ordern at p.Astraightforwardcalculation(basedonformulas(2.46)yieldsthat anysmooth function R vanishing at p at order n belongs to the space Hkq(p) Hkq(p) if n > (k 1)m. It follows that u Hk(p) iff its Taylor polynomialof any order n > (k 1)m does. The argument can therefore be reduced tothe case of polynomials.It follows from formulas (2.46) that, for all N and all (i, j)NN,there exists a complex constant cm,ijsuch that(2.49) q(zi zj) = cm,ijzi(m+1) zj(m+1).The area form of the quadratic differential q can be written as(2.50) q= [z[2mdx dywith respect to the canonical coordinate z:= x+y. Hence, straightforwardcomputations in polar coordinates yield that, if cm,ij,= 0,(2.51)q(zi zj) H0q(p) i + j 2(m+ 1) > (m+ 1) ;q(zi zj) H1q(p) i + j 2(m+ 1) > 0 .If cm,ij= 0, then either i N (m+1) and i < (m+1) or j N (m+1)and j< (m+ 1). It follows that, if i, j, N(m + 1), then(2.52) zi zjHkq(p) i + j (k 1)(m+ 1) > 0 .22 GIOVANNI FORNIIf iN(m + 1), i=h(m + 1), andj,N(m + 1), then conditions(2.51) apply for all h, hence (2.52) holds if k 2h, while if k> 2h,(2.53) zi zjHkq(p) hq(zi zj) H1q(p) j> i .Similarly, if j N (m+1), j= h(m+1), and i , N (m+1), then (2.52)holds if k 2h, while if k> 2h,(2.54) zi zjHkq(p) hq(zi zj) H1q(p) i > j .It follows immediately from (2.52), (2.53) and (2.54) that the conditionslisted in the statement of the lemma are sufcient. The necessity followsfrom the following argument. For any r1< r2, let D(r1, r2) M be the an-nulus (centered at p) dened by the inequalities r1< [z[< r2. The systemof Laurent monomials zi zj[i, j Z is orthogonal inHk(Dr1,r2). In fact, acomputation in polar coordinates shows that, for all (i, j) ,= (i, j) ZZ,(2.55)_D(r1,r2)q(zi zj)q ( zizj)q=0 ,hence(2.56) |

i+jnaijzi zj|2k=

i+jn[aij[2|zi zj|2k .It follows that only Laurent monomialszi zjHk(p) can appear in theTaylor expansion of a function f C(p) Hk(p). Lemma 2.13. Let p q be a zero of order 2mof the quadratic differentialq on M. For any k N, a germu C(p) Hkq(p) aij(u, p) = 0 , for all i + j (k 1)(m+ 1) ,except all pairs (i, j) N(m + 1) N(m+ 1).Proof. The proof is similar to that of Lemma 2.12 above. In fact, formulas(2.49) are replaced by the following formulas. For all N and all i N,there exists a complex constant cm,isuch that(2.57) (+q)(q)zi zj= cm,i cm,jzi(m+1) zj(m+1).As in the proof of Lemma 2.12, it follows by a straightforward computationin polar coordinates that, if cm,i cm,j,= 0,(2.58) (+)()zi zj H0q(p) i +j (+)(m+1) > (m+1) .Since there existsN such thatcm,i=0 iffi N(m + 1), eitheri, j N(m + 1), in which casezi zjHkq(p), or there exists(, )such that + =k andcm,i cm,j,=0, in which casezi zjHkq (p) iffi + j> (k 1)(m+ 1). SOBOLEV REGULARITY OF SOLUTIONS 23Let p q be a zero of order 2mp of the orientable quadratic differential q.Let Tp N N be the set of (i, j) such that(2.59)i N(mp + 1) , j, N(mp + 1) and i < j ori , N(mp + 1) , j N(mp + 1) and i > j,For any (i, j) Tp, let ijpbe the linear functional (distribution) on C(M)dened as follows. Let u(z, z) =

aij(u, p)zi zjdenote the Taylor expan-sion ofuC(M) atpqwith respect to the canonical coordinatez: Dp C for the differential q at p. Let(2.60) ijp (u) := aij(u, p) .It is clear from the denition that ijp= jipfor all (i, j) Tp. A calculationshows that, for any h NN(mp+1) we have the following representationin terms of the Cauchy principal value: for any u C(p),(2.61)h0p(u) = 14h PV_Mquzhq ;0hp(u) = 14h PV_Mqu zhq .(The above formulas can be derived one from the other by conjugation). Inaddition, for any N, by formulas (2.49) there exist complex constantscmp,0,h,=0 and cmp,h,0,= 0 such that the following identities hold in the senseof distributions:(2.62)cmp,0,h(mp+1),(mp+1)+hp= q_0,hp_;cmp,h,0(mp+1)+h,(mp+1)p= q_h,0p_.Let Tkp Tp be the subset of (i, j) such that i + j (k 1)(mp + 1).Lemma 2.14. For each(i, j)Tkp, the functional ijphas a unique (non-trivial) continuous extension to the spaceHkq (p) and the following holds:(2.63) Hkq(p) = u Hkq(p) [ ijp (u) = 0 for all (i, j) Tkp .Proof. The functionszhand zhL2q(D) for all1hmp and theoperatorFq:H2q(p)L2q(p) is bounded. Hence the linear functionals0hpandh0pare continuous onH2q(p) for all1hmp. Similarly, thedistributions PV(zh) and PV( zh) H1(Dp) for all mp< h < 2(mp +1) and the operatorFq:H3q(p) H1(p) is bounded. Hence the linearfunctionals 0hpand h0pare continuous onH3q(p) for all mp< h < 2(mp +1). Since the space Hkq (p) is equal to the closure inHkq(p) of the subspaceC(p) Hkq(p), the statement for k= 2, k= 3 follows from Lemmas 2.12and 2.13.24 GIOVANNI FORNIWe complete the argument by induction on k N. The Friedrichs extensiondenes bouned operatorsFq:Hk+1q(p) Hk1q(p) and its dual Fq:Hk+1q(p) Hk1q(p). By the induction hypothesis, since all functionalsinTk1pextend (uniquely) to bounded functionals inHk+1q(p), it followsthat all functionals in Fq (Tk1p) extend (uniquely) to bounded functionalsinHk1q(p) and the following holds. For any u Hk+1q(p),(2.64) Fq u Hk1q(p) ijp (u) = 0 for all ijp Fq (Tk1p) .Let Ek+1qHk+1q(p) the closed nite-codimensional subspace dened as(2.65) Ek+1q:= u Hk+1q(p) [ ijp (u) = 0 for all ijp Fq (Tk1p) .By formulas (2.62), any distribution pTk+1p Fq (Tk1p) is of the formp=0hpor p=h0pwith 1hk(mp + 1). By formulas (2.61), suchdistributions have a (unique) continuous extension to the subspace Ek+1qHk+1q(p). In fact, the distributions PV(zh) and PV( zh)Hk+1q(Dp),for all1h0 such that,for any (i, j) N N and for all (0, 1]:(2.68)[Kp()(Zijp) Zijp [k Ck 1+i+jm+1k, fork< 1 +i + jm + 1 ;[Kp()(Zijp)[k Ck[ log [1/2, fork= 1 +i + jm + 1 ;[Kp()(Zijp)[k Ck [k(1+i+jm+1)], fork> 1 +i + jm + 1 .Proof. Let z:DpC be a canonical coordinate at pq dened on anopen neighbourhood Dp M such that Dpq= p. There exists r1> 0such that D(r1)z(Dp), where D(r1) is the euclidean disk centered atthe origin of radiusr1>0 . Let 0 ( + 1)(m+ 1), since the functionszi(a)(m+1) zj(b)(m+1) L2q(Dp) ,for all 0 a and0 b , andabis bounded, by change ofvariables we obtain that for (a, b),=(0, 0) there exists a constant Ca,b>0such that(2.73) [ab(z)(a+b)zi(a)(m+1) zj(b)(m+1)[0 Ca,b1+i+jm+1(+),and that similarly, for a = b = 0, there exists a constant C0> 0(2.74) [((z) 1) zi(m+1) zj(m+1)[0 C01+i+jm+1(+).If i +j< [( a) + ( b) 1](m+ 1), there exists a constant Ca,b> 0such that(2.75) [ab(z)(a+b)zi(a)(m+1) zj(b)(m+1)[0 Ca,b1+i+jm+1(+),since the function abis bounded and supported outside the euclidean diskof radius r11m+1centered at the origin.If i + j= [( a) + ( b) 1](m+ 1), a similar calculation yields(2.76)[ab(z)(a+b)zi(a)(m+1) zj(b)(m+1)[0 Ca,b1+i+jm+1(+)[ log [12.By formula (2.72) for the Cauchy-Riemann iterated derivatives, the requiredestimates (2.68) follow immediately from estimates (2.73), (2.74), (2.75)and (2.76). We derive below estimates for the local smoothing familyKp() con-structed in Lemma 2.16 with respect to the fractional weighted Sobolevnorms. Let pq be any zero of order 2mp of the quadratic differentialSOBOLEV REGULARITY OF SOLUTIONS 27q onM. For each pair(i, j) NN, leteijp: R+[0, 1] denote thefunction dened as follows:(2.77) eijp (s) :=___s , if [s] = 1 +i+jmp+1 ;1 s , if [s] =i+jmp+1 ;0 , otherwise .Theorem 2.17. The family Kp() [ (0, 1] of local smoothing oper-atorsKp() : C(M) Hq(M), dened in (2.69),has the followingproperties. For each sR+, there exists a constant Cs>0 such that, forany pair (i, j) N N and all (0, 1]:[Kp()(Zijp) Zijp [s Cs1+i+jmp+1s[ log [eijp(s)2, fors < 1 +i + jmp + 1 ;[Kp()(Zijp)[s Cs[ log [ [ log [eijp(s)2, fors = 1 +i + jmp + 1 ;[Kp()(Zijp)[s Cs[s(1+i+jmp+1)][ log [eijp(s)2, fors > 1 +i + jmp + 1 .Proof. For any k N, the function Zijp Hkq(M), if k< 1+(i+j)/(m+1),since zi zjHkq(p). By Lemma 2.16, there exists a constant Ck>0 suchthat, for all (0, 1],(2.78)[Kijp() Kijp(/2)[k [(Kijp() Zijp) (Kijp(/2) Zijp)[k ; [Kijp() Zijp [k +[Kijp(/2) Zijp [k Ck 1+i+jm+1k.If k 1 + (i + j)/(m+ 1),(2.79) [Kijp() Kijp(/2)[k [Kijp()[k+[Kijp(/2)[khence, by Lemma 2.16,(2.80)[Kijp() Kijp(/2)[k 2Ck[ log [1/2, if k= 1 +i + jm+ 1 ;[Kijp() Kijp(/2)[k 2Ck 1+i+jm+1k, if k> 1 +i + jm+ 1 .As a consequence, by the interpolation inequality (Lemma 2.10), for everys R+there exists a constant Cs> 0 such that, for all (0, 1],[Kijp() Kijp(/2)[s Cs1+i+jm+1s, if [s], [s] + 1 ,= 1 +i + jm + 1 ;[Kijp() Kijp(/2)[s Cs1+i+jm+1s[ log [1{s}2, if [s] = 1 +i + jm+ 1 ;[Kijp() Kijp(/2)[s Cs1+i+jm+1s[ log [{s}2, if [s] =i + jm + 1 .28 GIOVANNI FORNIIf s < 1 + (i + j)/(m+ 1) and [s] ,= (i + j)/(m+ 1), for all n N,(2.81) [Kijp(/2n) Kijp(/2n+1)[s Cs1+i+jm+1s2n(1+i+jm+1s),hence, for any xed (0, 1], the sequenceKijp(/2n)nN is Cauchy,and therefore convergent, in the Hilbert spaceHsq(M). By Lemma 2.16Kijp(/2n)nN converges to Zijpin H[s]q(M). Since H[s]q(M)Hsq(M),by uniqueness of the limit Zijp Hsq(M) and Kijp(/2n)nN converges toZijpin Hsq(M). The estimate (2.81) also implies that(2.82)[Kijp() Zijp [s

nN[Kijp(/2n) Kijp(/2n+1)[s Cs1+i+jm+1s.If s < 1+(i +j)/(m+1) and [s] = (i +j)/(m+1), by a similar argumentwe again get that Zijp Hsq(M) and(2.83) [Kijp() Zijp[s Cs1+i+jm+1s[ log [{s}2.If s 1 +(i +j)/(m+1) and [s], [s] +1 ,= 1 +(i +j)/(m+1) we argueas follows. For each 1/2, we have(2.84) [Kijp(2) Kijp()[s Cs (2)1+i+jm+1s,hence if 2n, for all 0 k < n,(2.85) [Kijp(2k+1) Kijp(2k)[s Cs 2(k+1)(1+i+jm+1s)1+i+jm+1s.It follows that, there exists a constant Cs> 0 such that(2.86) [Kijp(2n) Kijp()[s Cs 2n(1+i+jm+1s)1+i+jm+1s.For every (0, 1], let n() be the maximum nN such that 2n 1.By this denition it follows that 1/2 < 2n() 1. Sincesup1/21[Kijp()[s sup1/21[Kijp()[[s]+1 0 such that(2.87)[Kijp()[s Cs1+i+jm+1s, if s > 1 +i + jm + 1 ;[Kijp()[s Cs[ log [ , if s = 1 +i + jm + 1 .By a similar argument, for s > 1 + (i + j)/(m+ 1) we have(2.88)[Kijp()[s Cs1+i+jm+1s[ log [1{s}2, if [s] = 1 +i + jm+ 1 ;[Kijp()[s Cs1+i+jm+1s[ log [{s}2, if [s] =i + jm + 1 ,SOBOLEV REGULARITY OF SOLUTIONS 29while for s = 1 + (i + j)/(m+ 1) we have(2.89)[Kijp()[s Cs[ log [ [ log [1{s}2, if [s] = 1 +i + jm+ 1 ;[Kijp()[s Cs[ log [ [ log [{s}2, if [s] =i + jm + 1 .

Theorem 2.17 implies in particular the following smoothness results.Corollary 2.18. Letz : DpCbe a canonical coordinate for an ori-entable quadratic differentialqat a zeropqof order2m. For each(i, j) N N, the function(2.90) zi zj Hsq(p), for all s < 1 +i + jmp + 1.Corollary 2.19. Let p q be a zero of order 2mp and let (i, j) Tp. Thedistribution ijphas the following regularity properties:(2.91)ijpHsq(p) for s > 1 +i + jmp + 1 ,ijp, Hsq(p) for s < 1 +i + jmp + 1 .Proof. By the formulas (2.61) and by Lemma 2.14, for anyhN N (mp + 1) and for any N, there exist constants Cmp,h0,= 0 and Cmp,0h,= 0such that the following identities hold in the dual Hilbert spaceHkq(p) forany integer k 1 +h/(mp + 1):(2.92)Cmp,h0h0p= +1q_z(mp+1)h z(mp+1)_,Cmp,0h0hp= +1q_z(mp+1) z(mp+1)h_.By Corollary 2.18, if (mp + 1) h > 0, for all s < 2 + 1 h/(mp + 1),z(mp+1)h z(mp+1)and z(mp+1) z(mp+1)h Hsq(p) Hsq(p) .Hence h0p, 0hpHsq(p) for all s > 1 +h/(mp +1). By formulas (2.62) itthen follows that ijpHsq(p) for all s > 1 +(i +j)/(mp +1) as claimed.Let (i, j) Tp and s < 1+(i+j)/(mp+1). By Corollary 2.18, the functionzi zj Hsq(p). Since by denition Hq(p) is dense in Hsq(p) for any s > 0,the functional ijp 0 on Hq(p) and ijp (zi zj) = 1, it follows that ijpdoesnot extend to a bounded functional on Hsq(p). 30 GIOVANNI FORNILet p q be a zero of (even) order 2mp the quadratic differential q on M.For every s R+, let Tsp Tp be the subset dened as(2.93) Tsp:= (i, j) Tp[ i + j< (s 1)(mp + 1) .Let DsqHsq(M) be the set of distributions dened as follows:(2.94) Dsq:= ijp[ p qand(i, j) Tsp .Corollary 2.20. The closure of the subspace Hsq(M) inHsq(M) is a subsetof the (closed) kernel of the system Dsq onHsq(M), that is,(2.95) Hsq(M) u Hsq(M) [ (u) = 0 , for all DsqThe reverse inclusion holds if the following sufcient condition is satised:(2.96) s , 1 + (i + j)/(mp + 1) [ p qand(i, j) Tp .Proof. Since Hq(M) is dense in Hsq(M) Hsq(M),Hq(M) u Hsq(M) [ (u) = 0 , for all Dsqand DsqHsq(M), it follows thatHsq(M) u Hsq(M) [ (u) = 0 , for all Dsq .Conversely, if condition (2.96) is satised, by Corollary 2.18 the subspaceu C(M) [ (u) = 0 , for all Dsq Hsq(M) .Since C(M) Hsq(M) is dense inHsq(M), the result follows. The regularity result proved in Corollary 2.18 extends to a certain subset ofall pairs (i, j) ZZ if the functions zi zjare interpreted as distributionsin the sense of the Cauchy principal value:(2.97) PV_zi zj_(v) :=PV_Mzi zjv q , for all v C(p) .The most general regularity result for the distributions (2.97) is based on thefollowing generalization of Corollary 2.18 to include logarithmic factors.Lemma 2.21. Let z: DpC be a canonical coordinate for an orientableholomorphic quadratic differentialqat a zeropqof order2m. Foreach (i, j, h) N N N, the functionzi zjlogh[z[ Hsq(p) , for all s < 1 +i + jmp + 1 .SOBOLEV REGULARITY OF SOLUTIONS 31Proof. Simple calculations show that log [z[ L2q(M) and that by formulas(2.46) the following identities hold on Dp p:(2.98) +log [z[ =1 zm+1and log [z[ =1zm+1.It follows that, for each (i, j, h) NNNand each (, ) NN, thereexists a nite sequence of non-zero constants C1, . . . , Ch, which depend on(i, j, h, , , m), such that the following identity holds on Dp p:(2.99) (+)()_zi zjlogh[z[_= zi(m+1) zj(m+1)h

=0Clog[z[ .For all (i, j, h) NNN, let Lijhp C(M p) be any function suchthat Lijhp(z) = zi zjlogh[z[ for all z Dp. By (2.99), the functionLijhp Hkq (M) , if k Nand k< 1 +i + jmp + 1Let Kp() [ (0, 1] be the family of local smoothing operators denedby formulas (2.69). By computations similar to those carried out in theproof of Lemma 2.16, based on formulas (2.99), it is possible to prove thatfor each k N, there exists a constant Ck> 0 such that for all (0, 1]:[Kp()(Lijhp) Lijhp[k Ck 1+i+jm+1k[ log [h, for k < 1 +i + jm+ 1;[Kp()(Lijhp)[k Ck[ log [1/2[ log [h, for k = 1 +i + jm+ 1;[Kp()(Lijhp)[k Ck [k(1+i+jm+1)][ log [h, for k > 1 +i + jm+ 1.Reasoning as in the proof of Theorem 2.17, we can derive similar estimatesfor fractional Sobolev norms. For each (i, j) NN, let eijp: R+[0, 1]be the function dened in formula (2.77). By the interpolation Lemma 2.10,for any s < 1 + (i + j)/(m+ 1) there exists a constant Cs> 0 such that[Kp()(Lijhp) Kp(/2)(Lijhp)[s Cs1+i+jm+1s[ log [h+eijp(s)2.It follows that the sequence Kp(/2n)(Lijhp)nN is Cauchy and thereforeconverges in Hsq(M). By uniqueness of the limitLijhp Hsq(M) , for all s < 1 +i + jmp + 1 .32 GIOVANNI FORNIIn addition, the following estimates hold. For eachsR+there exists aconstant Cs> 0 such that for all (0, 1]:[Kp()(Lijhp)[s Cs[ log [ [ log [h+eijp(s)2, for s = 1 +i + jmp + 1 ;[Kp()(Lijhp)[s Cs[s(1+i+jmp+1)][ log [h+eijp(s)2, for s > 1 +i + jmp + 1 .

Theorem 2.22. Let z : DpCbe a canonical coordinate for an ori-entableholomorphicquadratic differential qatazerop qoforder2mp. For each (i, j)ZZ such that (1) i j ,Z(mp + 1) or (2)i > (mp + 1) or (3)j> (mp + 1), the distribution(2.100) PV_zi zjlogh[z[_ Hsq(p), for all s < 1 +i + jmp + 1.Proof. For all (i, j)ZZ such that i j,Z(mp+ 1) and for anyh Z the following formulas hold for all functions v Hq(p):(2.101)(a) PV_M+(zi zjlogh[z[)v q= PV_Mzi zjlogh[z[ +v q ;(b) PV_M(zi zjlogh[z[)v q= PV_Mzi zjlogh[z[ v q .Formulas (2.101) also hold in case (a) if i > (mp +1), j Z, and in case(b) if j> (mp + 1), i Z, for all germs v C(p).By taking into account the formulas (2.46) for the Cauchy-Riemann opera-tors with respect to a canonical coordinate, it follows from formulas (2.101)by induction on h N that ifPV(zi zjlogh[z[) Hsq(p) , for all h N,then, if i j, Z(mp + 1) or i > (mp + 1) and j Z,PV(zi zj(mp+1)logh[z[) Hs1q(p) , for all h N,and, if i j, Z(mp + 1) or j> (mp + 1) and i Z,PV(zi(mp+1) zjlogh[z[) Hs1q(p) , for all h N.Thus, the statement of the theorem can be derived from Corollary 2.18, byan induction argument based on formulas (2.101). Corollary 2.23. Let z : DpC be a canonical coordinate for an ori-entable holomorphic quadratic differential q at a zero p q of order 2mp.SOBOLEV REGULARITY OF SOLUTIONS 33If (i, j) , Z(mp + 1) Z(mp + 1), the distribution(2.102) PV_zi zjlogh[z[_, Hsq(p), for s > 1 +i + jmp + 1 ,and, if i j Z(mp + 1)and bothi (m + 1)andj (m + 1),(2.103) PV_zi zjlogh[z[_, Hq(p).Proof. We argue by contradiction. Assume there exists (i, j) Z Z suchthat (i, j) ,Z (mp+1)Z (mp+1) and PV(zi zj) Hrq(p) forsome r>1 + (i + j)/(mp + 1). By taking Cauchy-Riemann derivativesif necessary, we can assume that i0 and j0. By Theorem 2.22, thedistributionPV_zi(m+1) zj(m+1)_ Hsq(p) , for all s < 1 i + jmp + 1.It follows that, for any positive smooth functionC0(Dp) identicallyequal to 1 on a disk Dp Dp centered at p q, the principal valuePV_M(z) zi zjzi(m+1) zj(m+1)qis nite, which can be proved to be false by a simple computation in (ge-odesic) polar coordinates. This contradiction proves the rst part of thestatement.If i j Z (mp +1) and both i (m+1) and j (m+1), we argueas follows. It is not restrictive to assume thati j, hence the function zijHq(M). However, by a computation in polar coordinates, sincei (mp + 1),PV_M(z) zi zjlog [z[ zijq= +.It follows that PV_zi zjlogh[z[_ ,Hq(p), hence the second part of thestatement is also proved. We conclude this section with a fundamental smoothing theorem for the1-parameter family of weighted Sobolev spaces.Theorem 2.24. For each kN, there exists a family Sk() [ (0, 1]of bounded operatorsSk() : L2q(M)Hkq(M) such that the followingestimates hold. For anys, r [0, k] and for any >0, there existsaconstant Ckr,s() > 0 such that, for all u Hsq(M) and for all (0, 1]:(2.104)[Sk()(u) u[r Ckr,s()|u|ssr, if s > r ;[Sk()(u)[r Ckr,s()|u|ssr, if s r .34 GIOVANNI FORNIProof. For each p q, let z: DpC be a canonical coordinate denedon a disk Dp (centered at p) such that Dp q= p. For each (i, j) Tp,let Zijp C(M) be a (xed) smooth extension, as in (2.67), of the locallydened functionzi zjC(p). LetPkbe the linear operator dened asfollows:(2.105) Pk(f) := f

pq

(i,j)Tkpijp (f) Zijp, for all fHkq(M) .The operatorPk:Hkq(M)Hkq (M) is well-dened and bounded. It iswell-dened by Lemma 2.14 and Theorem 2.15. It is bounded since, for allpq and all(i, j)Tp, the functions ZijpHq(M) by Lemma 2.12and, for all (i, j)Tp, the distributions ijpHkq(M) by Corollary 2.19.In fact, the condition (i, j) Tp implies i + j< (k 1)(mp + 1).For each pq, let Kp() [ (0, 1] be the family of local smoothingoperators constructed in Lemma 2.16. Let Sk[ (0, 1] be the one-parameter family of bounded linear operatorsSk:Hkq(M) Hkq(M)dened as follows. For all fHkq(M), we let(2.106) Sk(f) := Pk(f)+

pq

(i,j)Tkpijp (f) Kp()_Zijp_.By denition the following identity holds for all fHkq (M):Sk(f) f=

pq

(i,j)Tkpijp (f)_Kp()_Zijp_Zijp.Since for all p q the condition (i, j) Tp implies i+j, N (mp+1), byLemma 2.16 the following estimate holds. For each N such that k,there exists a constant Ck> 0 such that, for any fHkq(M),(2.107) |Sk(f) f| Ck

pq

(i,j)Tkp1+i+jmp+1[ijp (f)[ .In fact, for each pq and each(i, j)Tp, since ZijpHq(M), whichimpliesKp()_Zijp_ ZijpHq(M), if 0, C> 0 such that|Kp()_Zijp_Zijp| C[Kp()_Zijp_Zijp [ C1+i+jmp+1,while, if > 1 + (i + j)/(mp + 1), since ZijpHq(M),|Kp()_Zijp_Zijp | |Kp()_Zijp_| +|Zijp | C1+i+jmp+1.The scale of Friedrichs Sobolev spaces admits a standard family of smooth-ing operators T[ >0 such that the operator T:L2q(M)Hq(M)SOBOLEV REGULARITY OF SOLUTIONS 35is dened, for each > 0, by the following truncation of Fourier series. Leten[ nN be an orthonormal basis of eigenfunctions of the FriedrichsLaplacian Fqand let : N R+ 0 be the corresponding sequence ofeigenvalues. ThenT(u) :=

2n1u, en)q en, if u =

nNu, en)q en.If uHsq(M), then T(u) u inHsq(M) (as 0+) and the followingestimates hold. For all r R+, there exists a constant Cr,s(q) > 0 such that(2.108)|T(u) u|r Cr,s(q) |u|ssr, if s r ;|T(u)|r Cr,s(q) |u|s(rs), if r s .If pq and (i, j)Tp, the distribution ijpHsijq(M) for any sij>0such that i+j< (sij1)(mp+1). Hence there exists a constant Cijp(q) > 0such that, by estimates (2.108), for all u Hsq(M),(2.109) [ijp(T(u)) [ Cijp(q) |u|smax1, ssij .If u Hsq(M), then pij(u) = 0, for all p q and all (i, j) Tsp. Hence, ifsij s and i + j< (sij 1)(mp + 1),(2.110) [ijp(T(u)) [ = [ijp(T(u) u) [ Cijp(q) |u|sssij.The following estimates hold. Let s R+and N. For any > 0, thereexists a constant C,s() > 0 such that, for all (0, 1] and all u Hsq(M),(2.111) |Sk T(u) T(u)| C,s() |u|ss.In fact, if p q and (i, j) Tkp,(2.112) [ijp(T(u)) [ Cijp(q) |u|sssij;for any sij>1 + (i + j)/(mp + 1)s, if (i, j)Tkp Tsp, and for any1+(i+j)/(mp+1) < sij s, if (i, j) Tsp. The claim (2.111) then followsfrom (2.107). By estimates (2.108) and (2.111), for any >0, there existsa constant C,s() > 0 such that, for all (0, 1] and for all u Hsq(M),(2.113) |Sk T(u) u| C,s() |u|ss.Let Sk() [ (0, 1]bethe familyofoperators Sk() : L2q(M) Hkq(M) dened as follows: for each (0, 1],(2.114) Sk() := Sk T .By estimate (2.113), for any > 0, there exists a constant C,s() > 0 suchthat, for all (0, 1] and for all u Hsq(M),(2.115) |Sk()(u) Sk(/2)(u)| C,s() |u|ss.36 GIOVANNI FORNISinceSk()(u) Hkq(M) for all (0, 1], by the interpolation inequalityproved in Lemma 2.10 it follows that, for any r[0, k] and for any >0there exists Cr,s() > 0 such that, for all (0, 1] and for all u Hsq(M),(2.116) [Sk()(u) Sk(/2)(u)[r Cr,s() |u|ssr.It follows that, for every n N and for every (0, 1],(2.117)[Sk(/2n)(u) Sk(/2n+1)(u)[r Cr,s() |u|s2n(sr)sr.If s > r and 0 < < s r, the sequence Sk(/2n)(u)nN is Cauchy andtherefore convergent to the function uHsq(M)Hrq(M) in the Hilbertspace Hrq(M). It follows that, for all (0, 1] and for all u Hsq(M),(2.118) [Sk()(u) u[r Cr,s() |u|ssr.If sr and s r0 0 such that(2.121) [Sk(2n)(u) Sk()(u)[r Cr,s() |u|s 2n(sr)sr,For every (0, 1], let n() be the maximumn Nsuch that 2n 1. Bythis denition it follows that 1/2 0 such that, for all u Hsq(M),[Sk(2n())(u)[r sup1/21|Sk()(u)|k0 such that, for all (0, 1] and forall u Hsq(M),(2.122) [Sk()(u)[r Cr,s() |u|ssr,

By Lemma 2.11 and Theorem 2.24, we have the following comparison es-timate for the (Friedrichs) weigthed Sobolev norms :Corollary 2.25. For any0 0 such that, for all u Hsq(M), the following inequalities hold:C1r|u|r [u[r Cr,s|u|s.SOBOLEV REGULARITY OF SOLUTIONS 37Finally, we derive a crucial interpolation estimate for the dual weightedSobolev norms:Corollary 2.26. Let 0s1s1andlet Sk() :L2q(M) Hkq(M) be the family of smoothing operators constructed above.By Theorem 2.24, since 0 r s1< s s1 and any r s2< s s2 0,there exists a constant Ckr,s>0 such that the following holds: for anyu Hs1q(M) 0, any v Hsq(M) and for all (0, 1],(2.124)[u, v)[ [u[s1[v Sk()(v)[s1+[u[s2[Sk()(v)[s2 Ckr,srs1[u[s1 + rs2[u[s2 [v[s.The interpolation inequality (2.123) then follows by taking=_[u[s2[u[s1_ 1s2s1 (0, 1] .

3. THE COHOMOLOGICALEQUATION3.1. Distributional solutions. In this section we give a streamlined ver-sion of the main argument of [For97] (Theorem 4.1) with the goal of estab-lishing the sharpest bound on the loss of Sobolev regularity within the reachof the methods of [For97]. We were initially motivated by a question ofMarmi, Moussa and Yoccoz who found for almost all orientable quadraticdifferentials a loss of regularity of1+BV (they nd bounded solutionsfor absolutely continuous data with rst derivative of bounded variation un-der nitely many independent compatibility conditions and correspondingresults for higher smoothness) [MMY03], [MMY05] . The results of thissection, as those of [For97], hold for all orientable quadratic differentials.There is a natural action of the circle groupS1SO(2, R) on the spaceQ(M) of holomorphic quadratic differentials on a Riemann surface M:r(q) := eiq , for all (r, q) SO(2, R) Q(M) .Let qdenote the quadratic differentialr(q) and letS, T denote theframe (introduced in 2.1) associated to the quadratic differential q for any38 GIOVANNI FORNI S1. We have the following formulas:(3.1)S= cos_2_Sq + sin_2_Tq=ei22+q+ei22q;T= sin_2_Sq + cos_2_Tq=ei22i+qei22iq;Denition 3.1. Let q be an orientable quadratic differential. A distributionu Hrq(M) will be called a (distributional) solution of the cohomologicalequation Squ = f for a given function fHsq(M) ifu, Sqv) = f, v) , for all v Hr+1q(M) Hsq(M) .LetHsq(M) Hsq(M), Hsq(M) Hsq(M) (for any s R) be the subspacesorthogonal to constant functions, that is(3.2)Hsq(M) := fHsq(M) [ f, 1)s= 0 ,Hsq(M) := f Hsq(M) [ (f, 1)s= 0 .The spacesHsq(M) Hsq(M) andHsq(M) Hsq(M) coincide with thesubspaces of functions of zero average for s 0, and with the subspaces ofdistributions vanishing on constant functions for s < 0.Theorem 3.2. Letr>2 andp(0, 1) be such that andrp>2. Thereexists a bounded linear operatorU :H1q(M) Lp_S1,Hrq(M)_such that the following holds. For anyf H1q(M)there existsa fullmeasure subset Fr(f) S1such that u :=U(f)() Hrq(M) is a distri-butional solution of the cohomological equation Su = f for all Fr(f).Proof. We claim that for any r>2, any p(0, 1) such thatpr>2 andany fH1q(M), there exists a measurable function Aq:=Aq(p, r, f)Lp(S1, R+) such that the following estimates hold. Let S1be such thatAq() < +. For all v Hr+1q(M) we have(3.3) [f, v)[ Aq() |Sv|r.In addition, the following bound for the Lpnorm of the function Aq holds.There exists a constant Bq(p) > 0 such that(3.4) [Aq[p Bq(p) |f|1.Assuming the claim, we prove the statement of the theorem. In fact, by theestimate (3.3) the linear map given by(3.5) Sv f, v), for all v Hr+1q(M),SOBOLEV REGULARITY OF SOLUTIONS 39is well dened and extends by continuity to the closure of the rangeRr()of the linear operator S inHrq(M). Let U(f)() be the extension uniquelydened by the condition thatU(f)() vanishes on the orthogonal comple-ment ofRr() inHrq(M). By construction, for almost all S1the linearfunctional u:=U(f)()Hrq(M) yields a distributional solution of thecohomological equation Su = f whose norm satises the bound|U(f)()|r Aq() .By (3.4) theLpnorm of the measurable functionU(f): S1Hrq(M)satises the required estimate[U(f)[p :=__S1|U(f)()|pr d_1/pBq(p) |f|1.We turn now to the proof of the above claim. LetRq=_Mq_be the(closed) ranges of the Cauchy-Riemann operators q:H1q(M)L2q(M)(see Proposition 2.4). Following [For97], we introduce the linear operatorUq: RqR+qdened as(3.6) Uq:= q(+q)1.By Proposition 2.4, (3), the operatorUqis a partial isometry onL2q(M),hence by the standard theory of partial isometries on Hilbert spaces, it hasa family of unitary extensionsUJ: L2q(M) L2q(M) parametrized byisometriesJ : M+qMq(see formulas(3.10)-(3.12) in [For97]). Bydenition the following identities hold on H1q(M) (see formulas (3.13) in[For97]) :(3.7) S=ei22_UJ+ ei_+q=ei22_U1J+ ei_q.The proof of estimate (3.3) is going to be based on properties of the re-solvent of the operatorUJ. In fact, the proof of (3.3) is based on the re-sults, summarized in [For97], Corollary 3.4, concerning the non-tangentialboundarybehaviouroftheresolvent ofaunitaryoperatoronaHilbertspace, applied to the operatorsUJ, U1JonL2q(M). The Fourier analysisof [For97], 2, also plays a relevant role through Lemma 4.2 in [For97] andthe Weyls asymptotic formula (Theorem 2.3).Following [For97], Prop. 4.6A, or [For02], Lemma 7.3, we prove that thereexists a constant Cq> 0 such that the following holds. For any distributionf H1q(M) there exist (weak) solutions FL2q(M) of the equationsqF= f such that(3.8) [F[0 Cq|f|1.40 GIOVANNI FORNIIn fact, the maps given by(3.9) qv f, v), for all v H1q(M) ,are bounded linear functionals on the (closed) ranges Rq L2q(M) (of theCauchy-Riemann operator q: H1q(M) L2q(M). In fact, the functionalsare well-dened since f vanishes on constant functions, that is, on the ker-nel of the Cauchy-Riemann operators, and it is bounded since by Poincarinequality (see [For97], Lemma 2.2 or [For02], Lemma 6.9) there exists aconstant Cq> 0 such that, for any v H1q(M) H1q(M),(3.10) [f, v)[ |f|1|v|1 Cq|f|1[qv[0.Let be the unique linear extension of the linear map (3.9) toL2q(M)which vanishes on the orthogonal complement of Rqin L2q(M). By (3.10),the functionals are bounded on L2q(M) with norm|| Cq|f|1.Bythe Rieszrepresentationtheorem, thereexist two(unique)functionsF L2q(M) such thatv, F)q=(v) , for all v L2q(M) .The functionsFare by construction (weak) solutions of the equationsqF= f satisfying the required bound (3.8).The identities (3.7) immediately imply that(3.11)qv, F)q= 2ei2RJ (z)Sv, F)q(z + ei)RJ (z)qv, F)q ,whereR+J (z) andRJ (z) denote the resolvents of the unitary operators UJand U1Jrespectively, which yield holomorphic families of bounded opera-tors on the unit disk D C.Let r>2 and let p(0, 1) be such that pr>2. LetE=ekkN be theorthonormal Fourier basis of the Hilbert space L2q(M) described in 2. ByCorollary 3.4 in [For97] all holomorphic functions(3.12) Rk (z) := RJ (z)ek, F)q, k N,belong to the Hardy space Hp(D), for any 02andp (0, 1) be such thatpr >2. By Theorem 3.2, for anyk N 0 there exists a functionwith distributional valuesuk:=U(ek)Lp_S1,Hrq(M)_ such that thefollowing holds. There exists a constant Cq:= Cq(p, r) > 0 such that(3.19)__S1|uk()|pr d_1/pCq|ek|1=Cq (1 +k)1/2.In addition, for any kN 0, there exists a full measure setFkS1such that, for all Fk, the distributionu :=uk() Hrq(M) is a(distributional) solution of the cohomological equation S u = ek.Any function fHr1q(M) such that_M f q= 0 has a Fourier decompo-sition in L2q(M):f=

kN\{0}f, ek)q ek.A (formal) solution of the cohomological equationSu=fis thereforegiven by the series(3.20) u:=

kN\{0}f, ek)q uk().By the triangular inequality inHrq(M) and by Hlder inequality, we have|u|r__

kN\{0}|uk()|2r(1 +k)r1__1/2|f|r1,hence by the triangular inequality for Lpspaces (with 0< p 1 the series in (3.21) is convergent, hence by Chebyshevinequality for the spaceLp(S1), there exists a full measure set BS1such that, for allB, formula (3.20) yields a well-dened distributionuHrq(M) and there exists a constant Cq() > 0 such that(3.22) |u|rCq() |f|r1.The set F = FkBhas full measure and for all F, for all k N0,the distribution uk()Hrq(M) is a solution of the equation Su=ek.It follows that uHrq(M) is a solution of the cohomological equationSu = f which satises the required bound (3.22). SOBOLEV REGULARITY OF SOLUTIONS 43We nally derive a result on distributional solutions of the cohomologicalequation for distributional data of arbitrary regularity:Corollary 3.4. For anysR there existsr>0 such that the followingholds. For almost all S1(with respect to the Lebesgue measure), thereexists a constant Cr,s()>0 such that, for all FHsq(M) orthogonal toconstant functions, the cohomological equationSU=Fhas a distribu-tional solution UHrq(M) satisfying the following estimate:|U|r Cr,s() |F|s.Proof. SinceF Hsq(M) is orthogonal to constant functions, for everykN there exists fkHs+2kq(M), orthogonal to constant functions, suchthat(I Fq )kfk=F. In fact, the family of Friedrichs Sobolev spacesHsq(M)[sR is dened in terms of the Friedrichs extension Fqof theLaplace operatorq of the at metric determined by the quadratic differ-ential. Let n N be the minimum integer such that :=s + 2n + 1>2.By Theorem 3.3, for almost all S1(with respect to the Lebesgue mea-sure) the cohomological equationSu=fnhas a distributional solutionuHq(M) satisfying the following estimate:(3.23) |u| C() |fn|1.Let U:=(I Fq )nuH2nq(M). It follows immediately from theestimate (3.23) and from the denitions that|U|2n= |un| C() |fn|1= C() |F|s.Finally UH2nq(M) is a distributional solution of the cohomologicalequation SU= F, for almost all S1. In fact, for any v H+2n+1q(M),the function Sv H+2nq(M), hence(I q)nSv= S(I q)nvand,since the distributionuHq(M) is a solution of the cohomologicalequation Su = fn, for almost all S1, and (I Fq )nv H+1q(M),U, Sv) = (I Fq )nu, Sv) = u, S(I q)nv)= fn, (I Fq )nv) = (I Fq )nfn, v) = F, v) ,as required by the denition of distributional solution of the cohomologicalequation (Denition 3.1). 3.2. Invariant distributions and basic currents. Invariant distributionsyield obstructions to the existence of smooth solutions of the cohomolog-ical equation. We derive below from Theorem 3.2 a sharp version of themain results of [For02], 6, about the Sobolev regularity of invariant distri-butions. We then recall the structure theorem proved in that paper on thespace of invariant distributions (see [For02], Th. 7.7).44 GIOVANNI FORNIInvariant distributions for the horizontal [respectively vertical] vector eldof an orientable quadratic differential q are closely related to basic currents(of dimension and degree equal to 1) for the horizontal [vertical] foliation Fq[ Fq]. The notion of a basic current for a measured foliation on a Riemannsurface has been studied in detail in [For02], 6, in the context of weightedSobolev spaces with integer exponent. We outline below some of the basicconstructions and results on basic currents and invariant distributions whichcarry over without modications to the more general context of fractionalweighted Sobolev spaces. Finally, we derive from Theorem 3.2 a result onthe Sobolev regularity of basic currents (or invariant distributions) whichimproves upon a similar result proved in [For02] (see Theorem 7.1 (i)).Let M be a nite subset. The space D(M) will denote the standardspace of de Rham currents on the open manifold M , that is the dual ofthe Frchet space c(M ) of differential forms with compact support inM . A homogenous current of dimensiondN (and degree2 d)on M is a continuous linear functional on the subspace dc(M ) ofdiferential forms of degreed. The subspace of homogeneous currents ofdimension d on M will be denote by Dd(M ).Let q be an orientable quadratic differential on a Riemann surface M. Letq be the (nite) set of its zeroes. In [For02] we have introduced the fol-lowing space q(M) of smooth test forms on M.Denition 3.5. For any p M of (even) order k= 2m N (m = 0 if p ,q), let z:UpC be a canonical complex coordinate on a neighbourhoodUp of p M, that is a complex coordinate such that z(p) = 0 and q= zkdz2on Up. Let p:Up C be the (local) covering map dened byp(z) :=zm+1m+ 1 , z C.The spaceq(M) is dened as the space of smooth forms onMsuchthat the following holds: for all pM, there exists a smooth form p ona neighbourhood of 0C such that =p(p) onUpUp. The spaceq(M) is the direct sum of the subspaces dq(M) of homogeneous forms ofdegree d 0, 1, 2. The spaces dq(M), for any d 0, 1, 2, and q(M)can be endowed with a natural Frchet topology modeled on the smoothtopology in every coordinate neighbourhood.Lemma 3.6. For any orientable quadratic differential q Q(M), the spaceof functions 0q(M) is dense in the space Hq(M) endowed with the inverselimit Frchet topology induced by the family of weighted Sobolev norms.Proof. By denition, the MacLaurin series of any f q(M) with respectto a canonical complex coordinate z for q at every pq (of order 2mp)SOBOLEV REGULARITY OF SOLUTIONS 45has the following form:(3.24) f(z) =

h,kNfhkzh(mp+1) zk(mp+1).By Lemmas 2.12 and 2.13, f Hq(M). Thus q(M) Hq(M).Let F Hq(M). By Lemma 2.11 the functionF C(M) and byLemmas 2.12 and 2.13 its MacLaurin series has the form (3.24) at everypq (of order2mp). By Borels thereorem and by a partition of unityargument, there exists a function fq(M) such that F fC(M)vanishes at innite order atq. LetUbe the open neighbourhood of qwhich is the union of a nite number of disjoint geodesic disksD(p) ofradius (0, 0), each centered at a point p q. Let : M [0, 1] bea smooth function such that (a) C0(M q), (b) 1 on M Uand (c)for each (i, j)NN there exists a constant Cij>0 such that,for all (0, 0),maxxM[SiTj(x)[ Ciji+j.If can be proved that, since Ff vanishes at innite order at q,f+ (Ff) F in Hq(M) , as 0+,which implies, since by constructionf+(Ff) 0q(M), that Fbelongs to the closure of 0q(M) in Hq(M). Denition 3.7. The spaceSq(M) D(M q) ofq-tempered currents(introduced in [For02], 6.1) is the dual space of the Frchet space q(M).A homogeneous q-tempered current of dimension d (and degree 2 d) is acontinuous functional on the subspace dq(M)q(M) of homogeneousforms of degree d0, 1, 2. The space of homogeneous currents of di-mension d (and degree 2 d) will be denoted by Sdq(M).For any quadratic differential q on M, there is a natural operator, whichmaps the spaceD0(M q) of currents of dimension0 and degree2 onthe non-compact manifoldM q(which is naturally identied with thespace of distributions on M q) bijectively onto the space D2(M q) ofcurrents of dimension 2 and degree 0 on M q. The operator:D0(M q) D2(M q)is dened as follows. Let q be the smooth area form associated with the(orientable) quadratic differential q on M. It is a standard fact in the theoryof currents that any distribution U on the 2-dimensional surface M q canbe written as U= Uq for a unique current Uof dimension 2 and degree0. Since q 2q(M), the mapextends to a bijective map:S0q(M) S2q(M) .46 GIOVANNI FORNIDenition 3.8. A distribution D D2(M q) is horizontally [vertically]quasi-invariant if SD=0[TD=0] inD2(Mq). AdistributionDS2q(M) is horizontally [vertically] invariant if SD=0 [TD=0] inS2q(M). The space of horizontally [vertically] quasi-invariant distributionswill be denoted by Iq(Mq) [Iq(Mq)] and the subspace of horizontally[vertically] invariant distributions will be denoted by Iq(M) [Iq(M)].Denition 3.9. For any s R+, let(3.25)Isq(M q) :=Iq(M q) Hsq(M) ;Isq(M) :=Iq(M) Hsq(M) .The subspacesIsq(M)Hsq(M) of horizontally [vertically] invariantdistributions can also be dened as follows:(3.26)Isq(M) := D Hsq(M) [ SD = 0 in Hs1q(M) ;[Isq(M) := D Hsq(M) [ TD = 0 in Hs1q(M)] .The subspaces of horizontally [vertically] invariant distributions which canbe extended to bounded functionals on Friedrichs weighted Sobolev spaceswill be denoted by(3.27)Isq(M q) :=Iq(M q) Hsq(M) ;Isq(M) :=Iq(M) Hsq(M) .Let Vq(M) be the space of vector elds X on M q such that the contrac-tion X and the Lie derivative LX q(M) for all q(M).Denition 3.10. A current CD1(M q) is horizontally [vertically]quasi-basic, that is basic forFq [Fq] in the standard sense on M q, ifthe identities(3.28) XC=LXC=0hold in D(M q) for all smooth vector elds X tangent to Fq [Fq] withcompact support on M q. A q-tempered current C S1q(M) is horizon-tally [vertically] basic if the identities (3.28) holds inSq(M) for all vectoreldsXVq(M), tangent toFq[Fq] onMq. The vector spacesof horizontally [vertically] quasi-basic (real) currents will be denoted byBq(M q) [Bq(M q)] and the subspace of horizontally [vertically]basic (real) currents will be denoted by Bq(M) [Bq(M)].Denition 3.11. For any sR, the Friedrichs weighted Sobolev space of1-currentsWsq(M) Sq(M) and the weighted Sobolev space of 1-currentsWsq(M) Sq(M) are dened as follows:(3.29)Wsq(M) := Sq(M) [ (S, T) Hsq(M) Hsq(M) ;Wsq(M) := Sq(M) [ (S, T) Hsq(M) Hsq(M) .SOBOLEV REGULARITY OF SOLUTIONS 47Denition 3.12. For any 1-current CD(M q), the weighted SobolevorderOWq(C) and the Friedrichs weighted Sobolev orderOWq(C) are thereal numbers dened as follows:(3.30)OWq(C) :=infs R[ D Wsq(M) ;OWq(C) :=infs R[ CWsq(M) .Denition 3.13. For any s R, let(3.31)Bsq(M q) :=Bq(M q) Wsq (M) ;Bsq(M) :=Bq(M) Wsq(M) .The subspaces Bsq(M) Wsq(M) of horizontally [vertically] basic cur-rents can also be dened as follows:(3.32)SC= 0 in Hsq(M) and LSC= 0 in Ws1q(M) ;[TC= 0 in Hsq(M) and LTC= 0 in Ws1q(M)] .The subspaces of basic currents which can be extended to bounded func-tionals on Friedrichs weighted Sobolev spaces will be denoted by(3.33)Bsq(M q) :=Bq(M q) Wsq(M) ;Bsq(M) :=Bq(M) Wsq(M) .According to Lemma 6.5 of [For02], the notions of invariant distributionsand basic currents are related (see also Lemma 6.6 in [For02]):Lemma 3.14. A currentCBsq(M q) [CBsq(M)] if and only ifthe distributionC (q1/2) Isq(M q) [C (q1/2) Isq(M)]. Acurrent CBsq(M q) [CBsq(M)] if and only if the distributionC (q1/2) Isq(M q) [C (q1/2) Isq(M)]. In addition, the map(3.34)Dq: CC (q1/2);[Dq: CC (q1/2)];is a bijection from the spaceBsq(M q) [Bsq(M q)] onto the spaceIsq(M q) [Isq(M q)], which maps the subspaceBsq(M) [Bsq(M)]onto the subspaceIsq(M) [Isq(M)]. The map (3.34) also maps the spaceBsq(M) [Bsq(M)] onto Isq(M) [Isq(M)].3.3. Basic cohomology. Let Z(M ) D1(M ) denote the subspaceof all (real) closed currents, that is, the space of all (real) de Rham currentsC D1(M ) such that the exterior derivative dC= 0 in D(M ). LetZq(M)S1q(M) be the subspace of all (real) closed q-tempered currents,that is, the space of allq-tempered (real) currentsC such thatdC=0 in48 GIOVANNI FORNISq(M). It was proved in [For02], Lemma 6.2, that the natural de Rhamcohomology map(3.35) jq:Z(M q) H1(M q, R)has the property that the subspace of closed q-tempered currents is mappedonto the absolute real cohomology of the surface, that is,(3.36) jq:Zq(M) H1(M, R) H1(M q, R) .It was also proved in [For02], Lemma 6.2, that quasi-basic and basic cur-rents are closed, in the sense that the following inclusions hold:(3.37)Bq(M q) Z(M q) ,Bq(M) Zq(M) .The images of the restrictions of the natural cohomology map to the variousspaces of basic currents are called the horizontal [vertical] basic cohomolo-gies , namely the spaces(3.38)H1q(M q, R) := jq (Bq(M q)) H1(M q, R) ;H1,sq(M q, R) := jq_Bsq(M q)_H1q(M q, R) ;H1q(M, R) := jq (Bq(M)) H1(M, R) ;H1,sq(M, R) := jq_Bsq(M)_H1q(M, R) .Following [For02], Theorem 7.1, we give below a description of the hori-zontal [vertical] basic cohomologies for the orientable quadratic differentialq, for any orientable holomorphic quadratic differential q on M and for al-most all S1. The result we obtain below is stronger than Theorem 7.1of [For02] since it requires weaker Sobolev regularity assumptions.(Absolute) real cohomology classes onMcan be represented in terms ofmeromorphic (or anti-meromorphic) functions in L2q(M) (see [For02], 2).In fact, by the Hodge theory on Riemann surfaces [FK92], III.2, all realcohomology classes can be represented as the real (or imaginary) part ofa holomorphic (or anti-holomorphic) differential onM. In turn, any ori-entable holomorphic quadratic differential induces an isomorphismbetweenthe space Hol+(M) [Hol(M)] of holomorphic [anti-holomorphic] differ-entials and the space of square-integrable meromorphic [anti-meromorphic]functions. Let M+q[Mq ] be the space of meromorphic [anti-meromorphic]functions onMwhich belong to the Hilbert spaceL2q(M) (see Proposi-tion 2.4). Such spaces can be characterized as the spaces of all meromor-phic [anti-meromorphic] functions with poles atq=q=0 of ordersbounded in terms of the multiplicity of the points pq as zeroes of thequadratic differential q. In fact, if p q is a zero of q of order 2m, that pis a pole of order at most m for any m Mq .SOBOLEV REGULARITY OF SOLUTIONS 49Let q1/2beaholomorphic square rootof qonM. Holomorphic [anti-holomorphic] differentials h+[h] on M can be written in terms of mero-morphic [anti-meromorphic] functions in L2q(M) as follows:(3.39)h+:= m+q1/2, m+ M+q;h:= m q1/2, m Mq.The following representations of real cohomology classes therefore hold:(3.40)c H1(M, R) c = [(m+q1/2)] , m+ M+q;c H1(M, R) c = [(m q1/2)] , m Mq.The mapscq: MqH1(M, R) given by the representations (3.40) arebijective and it is in fact isometric if the spacesMqare endowed with theeuclidean structure induced by L2q(M) and H1(M, R) with the Hodge prod-uct relative to the complex structure of the Riemann surface M. In fact, theHodge norm |c|2H of a cohomology class cH1(M, R) is dened as fol-lows:(3.41) |c|2H:=2_Mh hif c = [(h)] , h Hol(M) .We remark that the Hodge norm is dened in terms of the complex structureof the Riemann surfaceM(carrying a holomorphic quadratic differentialq Q(M)) but does not depend on the quadratic differential. If q Q(M)is any orientable quadratic differential on M, by the representation (3.40),we can also write:(3.42)|c+q (m+)|2H:=_M[m+[2q , for all m+ M+q;|cq (m)|2H:=_M[m[2q , for all m Mq.The representation (3.39)-(3.40) can be extended to the punctured cohomol-ogy H1(M q, R) as follows. For any nite set M, let Hol+(M )[Hol(M )] be the space of meromorphic [anti-meromorphic] differen-tials with at most simple poles at . By Riemann surface theory, any realcohomology classc H1(M , R) can be represented as the real (orimaginary) part of a differential h+ Hol+(M ) or h Hol(M ).Let Mbe a nite set and let M+() [M+()] be the space of allmeromorphic [anti-meromorphic] functions which are holomorphic [anti-holomorphic] on M . The spacesM() can be identied with a sub-space of the distributional spaceD2(M ). In fact, if q is any orientableholomorphic quadratic differential on M, the spaces M(q) identify withsubspaces of the space S2q(M) of q-tempered distributions. The distributiondetermined by a function M+(q) or M(q) is dened by integration50 GIOVANNI FORNI(in the standard way) as a linear functional on C0(M q), which can beextended to the space 0q(M) as follows:(v) := PV_M vq , for all v 0q(M) .The Sobolev regularity of a distributions M(q) depend on the orderof its poles. In fact, by Theorem 2.22 we have the following:Lemma 3.15. Let M+(q) [ M+(q) ] be a meromorphic [anti-meromorphic] function with poles atq. For anysR, the associateddistribution Hsq(M) if at every pqof order2mp the function has a pole of order < (mp + 1)(s + 1).We introduce the following notation: for all s > 0,(3.43) Ms (q) :=M(q) Hsq(M) .There exist natural maps q: Hol(Mq) M(q) dened as follows:for all h Hol(M q),+q (h+) = h+/q1/2[q (h) = h/ q1/2] .By Lemma 3.15 the range of the mapsqis contained in the weightedSobolev space Hsq(M) for all s > 0, hence there are well-dened maps(3.44) q: Hol(M q) Ms (q) for all s > 0 .The maps (3.44) are clearly injective and by Corollary 2.23 there existssq> 0 such that, for any s (0, sq), they are also surjective. Let(3.45) M (q) =

s>0Ms (q) =Ms (q) , for any s (0, sq) .The representation (3.40) of the absolute real cohomology generalizes tothe punctured real cohomology as follows.(3.46)c H1(M q, R) c = [(m+q1/2)] , m+ M+ (q) ;c H1(M q, R) c = [(m q1/2)] , m M (q) .The following lemma, proved in [For02], Lemma 7.6, for weighted Sobolevspaces with integer exponent, holds:Lemma 3.16. LetsR+. LetCWsq(M) be any real current of di-mension (and degree) equal to 1, closed in the space D(Mq) of currentson M q. There exists a distribution U Hs+1q(M) and a meromorphicdifferential h+ Hol+(M q) such that(3.47) dU=(h+)C inWsq(M) .SOBOLEV REGULARITY OF SOLUTIONS 51If C is closed in the space Sq(M) of q-tempered currents there exists a dis-tribution UHs+1q(M) and a holomorphic differential h+ Hol+(M)such that the identity (3.47) holds.The argument given in [For02], Lemma 7.6, in the case of integer orders N extends the general case of order s R+. In fact, it follows from thedistributional identity (3.47) inSq(M) that the current UHs+1q(M) ifand only if the current C Wsq(M), for any s R+. Hence, Lemma 3.16follows immediately from [For02], Lemma 7.6.The construction of basic currents (or, equivalently, of invariant distribu-tions) is based on the following method.Lemma 3.17. Let q be an orientable holomorphic quadratic differential ona Riemann surface M. Let m+ M+s (q) be a meromorphic function withpolesat qM. AdistributionU Hs+1q(M)isa(distributional)solution in D(M q) of the cohomological equation(3.48) SU= (m+)[TU= (m+)] in D(M q) ,if and only if the current C Wsq(M) uniquely determined by the identity(3.49) dU= (m+q1/2)+Cishorizontally [vertically]quasi-basic. If (m+q1/2) Hol+(M), thedistribution UHs+1q(M) is a solution of the cohomological equation(3.48) in the spaceSq(M) of q-tempered currentsif and only if the cur-rent CWsq(M) uniquely determined by formula (3.49) is horizontally[vertically] basic.Proof. If formula (3.49) holds inD(M q), then C is closed inD(Mq). If the differential (m+q1/2) is holomorphic and formula (3.49) holdsinSq(M), thenCis closed inSq(M). The standard formula for the Liederivative of a current,(3.50) LXC= XdC+dXC=0 ,holds in D(M q) for any vector eld X with compact support containedin M q and it holds in Sq(M) for any vector eld X Vq(M) It followsthat a current CD(M q) is horizontally [vertically] quasi-basic ifand only if it is closed andSC=0 [TC=0] inD(Mq) and itis horizontally [vertically] basic if and only ifCSq(M) is closed andSC=0 [TC=0] inSq(M). The distribution UHsq(M) in formula(3.49) is a solution of the cohomological equation (3.48) inD(Mq)or Sq(M) if and only ifSC=0 [TC=0] inD(Mq) or Sq(M)respectively. As a consequence, the lemma is proved. 52 GIOVANNI FORNILet q be an orientable holomorphic quadratic differential on a Riemann sur-face M(of genus g1). Let q(M q, R)H1(M q, R) be thecodimension 1 subspaces dened as follows:(3.51)1q(M q, R) := c H1(M q, R) [ c [(q1/2)] = 0 ;1q(M q, R) := c H1(M q, R) [ c [(q1/2)] = 0 .Since the absolute cohomology can be regarded as a subspace of the punc-tured cohomology it also is possible to dene the subspaces(3.52)1q(M, R) := 1q(M q, R) H1(M, R) ;1q(M, R) := 1q(M q, R) H1(M, R) .Theorem 3.18. For any s > 3 there exists a full measure set Fs S1suchthat the following holds. For any Fs, the following inclusions hold(3.53)1q(M q, R) H1,sq(M q, R) ,1q(M, R) H1,sq(M, R) .Proof. Let m+M+1(q) be any meromorphic function such that theinduced distribution PV(m+)H1q(M). A computation shows that, forall S1,(3.54) PV_M(m+) q= 0 [(m+q1/2)] 1q(M q, R) .Under the zero-average condition (3.54), by Theorem 3.2 for anyr >2there exists a full measure set Fr(m+) S1such that, for all S1,the cohomological equationSU =(m+) has a distributional solutionU(m+) Hrq(M). Let U(m+) be the current of dimension2 corre-sponding to the distributionU(m+). LetC(m+) Wr1q(M) be the1-dimensional current determined by the identity(3.55) dU(m+) =(m+q1/2)C(m+) .By Lemma 3.17, we have thus proved that, for all meromorphic functionsm+M+1(q) and for all Fr(m+), there exists a quasi-basic currentC(m+) Br+1q(M q) such that[C(m+)] = [(m+q1/2)] 1q(M q, R) ;in addition, whenever m+M+q , the current C(m+) Br+1q(M) is basicand has a cohomology class[C(m+)] = [(m+q1/2)] 1q(M, R) .Let N be the cardinality of the set q M and letm+1 , . . . , m+2g1, . . . , m+2g+1SOBOLEV REGULARITY OF SOLUTIONS 53be a basis (overR) of the real subspace ofM+ (q) dened by the zero-average condition (3.54). For any s > 3, letF+s:=2g+1

i=1Fs1(m+i) .Clearly he set F+shas full Lebesgue measure. We claim that for all F+sthe following inclusions hold:(3.56)1q(M q, R) H1,sq(M q, R) ,1q(M, R) H1,sq(M R) .The claim is proved as follows. For any cH1(M q, R) there exists aunique meromorphic function m+M+ (q) such that c=[(m+q1/2)].The functionm+M+qfor anycH1(M, R). Ifc1q(M, R), thedistribution (m+) vanishes on constant functions as in (3.54), hence forallF+s , there exists a solution UHs+1q(M) of the cohomologicalequation SU= (m+). The current C Bsq(Mq) such that [C] = c 1q(Mq, R) is then given by the identity (3.55). By the above discussionthe current C Bsq(M) for all c 1q(M, R).By a similar argument it is possible to construct a full measure set Fssuchthat, for all Fs , the following inclusions hold:(3.57)1q(M q, R) H1,sq(M q, R) ,1q(M, R) H1,sq(M, R) .Thus the set Fs:=F+sFshas the required properties since it has fullmeasure and the inclusions (3.53) hold. By Lemma 3.14 and Theorem 3.18 the following holds:Corollary 3.19. For anys >3 there exists a full measure set FsS1such that, for all Fs, the spaces Isq(M) Hsq(M) of horizontally orvertically quasi-invariant distributions have dimension at least 2g + 1and the spaces Isq(M)Hsq(M) of horizontally or vertically invariantdistributions have dimension at least 2g 1.Corollary 3.20. For any s > 3 and for almost all S1,(3.58) H1,sq(M, R) = 1q(M, R) .For any s > 4 and for almost all S1,(3.59) H1,sq(M q, R) = H1(M q, R) .54 GIOVANNI FORNIProof. The inclusionsH1,sq(M, R) 1q(M, R) hold for an

Popular Tags:

#### orientableholomorphic quadratic differential Embed Size (px)
Recommended

Documents

Documents

Documents

Documents

Documents

Documents

Documents

Documents

Documents

Documents

Documents

Documents

Documents

Documents