pith. sign in

arxiv: 2604.15206 · v1 · submitted 2026-04-16 · 🧮 math.AP

L^p-Hodge decomposition and global integral estimates on the Cartan group

Annalisa Baldi , Alessandro Rosa This is my paper

Pith reviewed 2026-05-10 09:55 UTC · model grok-4.3

classification 🧮 math.AP
keywords Cartan groupRumin complexHodge decompositionPoincaré inequalitySobolev-Gaffney inequalityCarnot groupsdifferential formssub-Riemannian geometry
0
0 comments X

The pith

On the Cartan group, the Rumin complex yields an L^p-Hodge decomposition that implies global Poincaré and Sobolev-Gaffney inequalities for differential forms.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper aims to establish global Poincaré and Sobolev-Gaffney inequalities for differential forms on the Cartan group, a free Carnot group of step three with two generators. This group is chosen because its structure already shows phenomena absent in simpler cases like the Heisenberg groups, serving as a concrete test for conjectures about graded Lebesgue norms in general Carnot groups. For exponents greater than one the proof proceeds by first obtaining an L^p-Hodge decomposition in homogeneous Sobolev classes whose constants are controlled uniformly over the whole group. At the endpoint p equals one only weak-type estimates are available, so the argument switches to a different route that still recovers the inequalities.

Core claim

The central claim is that the Rumin complex on the Cartan group admits an L^p-Hodge decomposition with homogeneous Sobolev classes for p greater than 1, from which global integral estimates for forms follow directly, while at p equals 1 weak-type bounds suffice to prove the same inequalities by a separate argument.

What carries the argument

The L^p-Hodge decomposition on the Rumin complex, which splits forms into harmonic and exact components while controlling norms in homogeneous Sobolev spaces with globally uniform constants.

If this is right

  • Global Poincaré inequalities hold for all differential forms on the Cartan group when the integrability exponent is at least one.
  • Global Sobolev-Gaffney inequalities likewise hold for the same range of exponents.
  • The decomposition constants stay controlled even though the underlying geometry is non-Euclidean and of step three.
  • The p equals 1 case recovers the inequalities from weak-type bounds without needing a full Hodge decomposition.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same strategy may adapt to other Carnot groups of step three or higher once their Rumin complexes are understood.
  • Uniform control of the constants suggests that the inequalities could persist on manifolds whose local geometry is modeled on the Cartan group.
  • It would be natural to check whether the weak-type endpoint at p equals 1 can be strengthened to a full decomposition in this setting.

Load-bearing premise

The Rumin complex on the Cartan group supplies an L^p-Hodge decomposition whose constants remain bounded independently of location in the group.

What would settle it

A differential form on the Cartan group whose Poincaré or Sobolev-Gaffney constant grows without bound as the form is translated or scaled.

read the original abstract

The study of Sobolev and Poincar\'e inequalities for differential forms in Carnot groups and in the more general sub-Riemannian setting is still an open problem in its full generality. One may conjecture that, for general Carnot groups, these inequalities are expressed in terms of suitable graded Lebesgue norms. In recent years, many results have been obtained, both in the Euclidean setting and in the Heisenberg groups, as well as for contact manifolds with bounded geometry. There are also some results for general Carnot groups; however, these do not cover the problem in its full generality. In this paper, we consider a particular Carnot group, the so-called Cartan group (a free Carnot group, of step $3$ with $2$ generators), which provides a natural testing ground for these questions, since its step-three structure already exhibits several phenomena that do not occur in the Heisenberg groups. In this setting, we are able to prove global Poincar\'e and Sobolev-Gaffney inequalities for differential forms. With the aim of obtaining sharp estimates, we replace the de Rham complex of differential forms with the Rumin complex. The case $p>1$ is carried out after establishing an $L^p$-Hodge decomposition with homogeneous Sobolev classes. We are able to consider also the endpoint case $p=1$; however, as in Euclidean setting, when $p=1$, the operator we deal with provides only weak-type estimates which do not yield a Hodge decomposition analogous to the case $p>1$. Therefore, in this situation the proof follows a different approach, relying on a recent result proved in \cite{BT}.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 1 minor

Summary. The paper proves global Poincaré and Sobolev-Gaffney inequalities for differential forms on the Cartan group (free step-3 Carnot group with two generators) by replacing the de Rham complex with the Rumin complex. For p>1 it establishes an L^p-Hodge decomposition in homogeneous Sobolev classes that yields the inequalities with constants independent of the form; for p=1 it uses weak-type estimates together with a cited result from BT.

Significance. If the global uniformity of constants holds, the result supplies a concrete testing ground for Sobolev inequalities on Carnot groups beyond the Heisenberg case, where the step-3 bracket structure produces higher-order commutators. The explicit use of the Rumin complex to obtain sharper estimates and the separate treatment of the p=1 endpoint are clear strengths.

major comments (2)
  1. [Abstract and the construction of the L^p-Hodge decomposition (p>1 case)] The central claim of global (rather than local) Poincaré and Sobolev-Gaffney inequalities rests on uniform control of the constants in the L^p-Hodge decomposition. The step-3 structure of the Cartan group introduces commutators of order higher than those in the Heisenberg case; it is not clear from the argument whether these are controlled independently of the support scale of the form.
  2. [p=1 case and invocation of BT] For the endpoint p=1 the proof switches to weak-type estimates plus the external result in BT. It is not shown whether the hypotheses of BT are satisfied verbatim for the Rumin complex on the Cartan group or whether additional restrictions on the forms or the homogeneous Sobolev classes are needed.
minor comments (1)
  1. [Introduction] Notation for the homogeneous Sobolev classes and the precise statement of the Rumin differential should be recalled or referenced at the first appearance to aid readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the positive evaluation of the significance of our work and for the constructive major comments. We address each point below and will incorporate clarifications to strengthen the presentation of the global estimates.

read point-by-point responses

  1. Referee: [Abstract and the construction of the L^p-Hodge decomposition (p>1 case)] The central claim of global (rather than local) Poincaré and Sobolev-Gaffney inequalities rests on uniform control of the constants in the L^p-Hodge decomposition. The step-3 structure of the Cartan group introduces commutators of order higher than those in the Heisenberg case; it is not clear from the argument whether these are controlled independently of the support scale of the form.

    Authors: We appreciate the referee drawing attention to the uniformity of constants. The L^p-Hodge decomposition is constructed on the Rumin complex, whose operators are homogeneous with respect to the Carnot dilations of the Cartan group. The higher-order commutators arising from the step-3 structure are controlled by the graded Lie algebra brackets, which are dilation-invariant; this yields constants independent of the support scale. Local estimates are obtained first via the subelliptic regularity of the Rumin Laplacian, then globalized by a partition of unity subordinate to a homogeneous covering whose overlap is controlled uniformly. We will add a short paragraph after the statement of the main theorem (and a corresponding remark in the proof of the decomposition) explicitly noting this scale-invariance. revision: partial

  2. Referee: [p=1 case and invocation of BT] For the endpoint p=1 the proof switches to weak-type estimates plus the external result in BT. It is not shown whether the hypotheses of BT are satisfied verbatim for the Rumin complex on the Cartan group or whether additional restrictions on the forms or the homogeneous Sobolev classes are needed.

    Authors: The referee correctly observes that the manuscript invokes the result of BT without a dedicated verification paragraph. The Rumin complex on the Cartan group is a homogeneous, hypoelliptic complex of differential operators whose symbol satisfies the conditions required by BT (in particular, the maximal hypoellipticity and the precise homogeneity degrees match those assumed in BT). The weak-type (1,1) estimates we establish for the Rumin operators place the forms in the exact homogeneous Sobolev classes used by BT, with no further restrictions. In the revised version we will insert a short subsection (immediately before the application of BT) that checks each hypothesis of the cited theorem against the Rumin complex on the Cartan group, confirming that the hypotheses hold verbatim. revision: yes

Circularity Check

0 steps flagged

No circularity: L^p-Hodge decomposition established internally for p>1; p=1 endpoint uses independent external citation

full rationale

The paper derives the global Poincaré and Sobolev-Gaffney inequalities by first establishing an L^p-Hodge decomposition with homogeneous Sobolev classes on the Rumin complex for the Cartan group when p>1, then handling the p=1 case via a separate weak-type approach that invokes the cited result in BT. No self-definitional loops, fitted parameters renamed as predictions, or load-bearing self-citations appear in the derivation chain; the BT citation supplies an external endpoint result whose assumptions lie outside the present paper's constructions. The argument is therefore self-contained and does not reduce any claimed prediction or uniqueness statement to its own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on the existence of a suitable Rumin complex on the Cartan group that replaces the de Rham complex and yields controlled homogeneous Sobolev norms, plus the validity of a cited external result for the p=1 weak-type endpoint.

axioms (2)
  • domain assumption The Rumin complex on the Cartan group admits an L^p-Hodge decomposition with homogeneous Sobolev classes for p>1
    Invoked to obtain sharp global estimates instead of the standard de Rham complex.
  • domain assumption A recent result in BT supplies the weak-type (1,1) endpoint without further restrictions on the Cartan group
    Used directly for the p=1 case.

pith-pipeline@v0.9.0 · 5605 in / 1439 out tokens · 22316 ms · 2026-05-10T09:55:02.505446+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

58 extracted references · 58 canonical work pages

  1. [1]

    Annalisa Baldi and Bruno Franchi,Differential forms in Carnot groups: aΓ-convergence approach, Calc. Var. Partial Differential Equations43(2012), no. 1-2, 211–229. MR 2886116

    work page 2012

  2. [2]

    ,Sharp a priori estimates for div-curl systems in Heisenberg groups, J. Funct. Anal. 265(2013), no. 10, 2388–2419. MR 3091819

    work page 2013

  3. [3]

    Math.366(2020), 107084

    Annalisa Baldi, Bruno Franchi, and Pierre Pansu,L1-Poincaré inequalities for differential forms on Euclidean spaces and Heisenberg groups, Adv. Math.366(2020), 107084. MR 4070308

    work page 2020

  4. [4]

    ,Poincaré and Sobolev inequalities for differential forms in Heisenberg groups and contact manifolds, J. Inst. Math. Jussieu21(2022), no. 3, 869–920. MR 4404128

    work page 2022

  5. [5]

    ,Cohomology of annuli, duality andL∞-differential forms on Heisenberg groups, J. Funct. Anal.285(2023), no. 2, Paper No. 109944, 48. MR 4571869

    work page 2023

  6. [6]

    10, 2550023

    ,Continuous primitives for higher degree differential forms in euclidean spaces, heisen- berg groups and applications, Communications in Contemporary Mathematics27(2025), no. 10, 2550023

    work page 2025

  7. [7]

    Math.223(2010), no

    Annalisa Baldi, Bruno Franchi, Nicoletta Tchou, and Maria Carla Tesi,Compensated compact- ness for differential forms in Carnot groups and applications, Adv. Math.223(2010), no. 5, 1555–1607. MR 2592503

    work page 2010

  8. [8]

    Annalisa Baldi, Bruno Franchi, and Maria Carla Tesi,Compensated compactness in the contact complex of Heisenberg groups, Indiana Univ. Math. J.57(2008), 133–186

    work page 2008

  9. [9]

    ,Hypoellipticity, fundamental solution and Liouville type theorem for matrix–valued differential operators in Carnot groups, J. Eur. Math. Soc.11(2009), no. 4, 777–798

    work page 2009

  10. [10]

    13, Springer, 2015, pp

    Annalisa Baldi, Bruno Franchi, and Francesca Tripaldi,Gagliardo-Nirenberg inequalities for horizontal vector fields in the Engel group and in the 7-dimensional quaternionic Heisenberg group, Geometric Methods in PDE’s, Springer INdAM Ser., vol. 13, Springer, 2015, pp. 287–312

    work page 2015

  11. [11]

    1, 129739

    Annalisa Baldi and Alessandro Rosa,Lp-Hodge decomposition with Sobolev classes in sub- Riemannian contact manifolds, Journal of Mathematical Analysis and Applications552(2025), no. 1, 129739

    work page 2025

  12. [12]

    Nonlinear Stud.22(2022), no

    Annalisa Baldi, Maria Carla Tesi, and Francesca Tripaldi,Sobolev-Gaffney type inequalities for differential forms on sub-Riemannian contact manifolds with bounded geometry, Adv. Nonlinear Stud.22(2022), no. 1, 484–516. MR 4491197

    work page 2022

  13. [13]

    Nonlinear Stud.25(2025), no

    Annalisa Baldi and Francesca Tripaldi,Comparing three possible hypoelliptic Laplacians on the 5-dimensional Cartan group via div-curl type estimates, Adv. Nonlinear Stud.25(2025), no. 4, 1079–1111. MR 4974404

    work page 2025

  14. [14]

    4, 453–467

    Sisto Baldo and Giandomenico Orlandi,A note on the Hodge theory for functionals with linear growth, Manuscripta Math.97(1998), no. 4, 453–467. MR 1660152

    work page 1998

  15. [15]

    MR MR2363343

    Andrea Bonfiglioli, Ermanno Lanconelli, and Francesco Uguzzoni,Stratified Lie groups and potential theory for their sub-Laplacians, Springer Monographs in Mathematics, Springer, Berlin, 2007. MR MR2363343

    work page 2007

  16. [16]

    Bryant and Lucas Hsu,Rigidity of integral curves of rank2distributions, Invent

    Robert L. Bryant and Lucas Hsu,Rigidity of integral curves of rank2distributions, Invent. Math.114(1993), no. 2, 435–461. MR 1240644

    work page 1993

  17. [17]

    Luca Capogna, Donatella Danielli, and Nicola Garofalo,The geometric Sobolev embedding for vector fields and the isoperimetric inequality, Comm. Anal. Geom.2(1994), no. 2, 203–215. MR 1312686 (96d:46032)

    work page 1994

  18. [18]

    Elie Cartan,Les systèmes de Pfaff, à cinq variables et les équations aux dérivées partielles du second ordre, Ann. Sci. École Norm. Sup. (3)27(1910), 109–192. MR 1509120

    work page 1910

  19. [19]

    Global Anal

    Shantanu Dave and Stefan Haller,Graded hypoellipticity of BGG sequences, Ann. Global Anal. Geom.62(2022), no. 4, 721–789. MR 4493251 29

    work page 2022

  20. [20]

    MR 3532989

    Georges De Rham,Sur l’analysis situs des variétés àn dimensions, NUMDAM, [place of publication not identified], 1931. MR 3532989

    work page 1931

  21. [21]

    266, Springer-Verlag, Berlin, 1984, Forms, currents, harmonic forms, Translated from the French by F

    Georges de Rham,Differentiable manifolds, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 266, Springer-Verlag, Berlin, 1984, Forms, currents, harmonic forms, Translated from the French by F. R. Smith, With an introduction by S. S. Chern. MR 760450

    work page 1984

  22. [22]

    G. F. D. Duff and D. C. Spencer,Harmonic tensors on Riemannian manifolds with boundary, Ann. of Math. (2)56(1952), 128–156. MR 48137

    work page 1952

  23. [23]

    MR MR0257325 (41 #1976)

    Herbert Federer,Geometric measure theory, Die Grundlehren der mathematischen Wis- senschaften, Band 153, Springer-Verlag New York Inc., New York, 1969. MR MR0257325 (41 #1976)

    work page 1969

  24. [24]

    314, Birkhäuser/Springer, [Cham], 2016

    Veronique Fischer and Michael Ruzhansky,Quantization on nilpotent Lie groups, Progress in Mathematics, vol. 314, Birkhäuser/Springer, [Cham], 2016. MR 3469687

    work page 2016

  25. [25]

    ,Sobolev spaces on graded Lie groups, Ann. Inst. Fourier (Grenoble)67(2017), no. 4, 1671–1723. MR 3711136

    work page 2017

  26. [26]

    Math.429(2023), Paper No

    Véronique Fischer and Francesca Tripaldi,An alternative construction of the Rumin complex on homogeneous nilpotent Lie groups, Adv. Math.429(2023), Paper No. 109192, 39. MR 4613357

    work page 2023

  27. [27]

    Folland,Subelliptic estimates and function spaces on nilpotent Lie groups, Ark

    Gerald B. Folland,Subelliptic estimates and function spaces on nilpotent Lie groups, Ark. Mat.13(1975), no. 2, 161–207. MR MR0494315 (58 #13215)

    work page 1975

  28. [28]

    Folland and Elias M

    Gerald B. Folland and Elias M. Stein,Hardy spaces on homogeneous groups, Mathematical Notes, vol. 28, Princeton University Press, Princeton, N.J., 1982. MR MR657581 (84h:43027)

    work page 1982

  29. [29]

    Wheeden,Sobolev and isoperimetric inequalities for degenerate metrics, Math

    Bruno Franchi, Sylvain Gallot, and Richard L. Wheeden,Sobolev and isoperimetric inequalities for degenerate metrics, Math. Ann.300(1994), no. 4, 557–571. MR 1314734 (96a:46066)

    work page 1994

  30. [30]

    Wheeden,Representation formulas and weighted Poincaré inequalities for Hörmander vector fields, Ann

    Bruno Franchi, Guozhen Lu, and Richard L. Wheeden,Representation formulas and weighted Poincaré inequalities for Hörmander vector fields, Ann. Inst. Fourier (Grenoble)45(1995), no. 2, 577–604. MR 1343563 (96i:46037)

    work page 1995

  31. [31]

    Bruno Franchi, Francescopaolo Montefalcone, and Elena Serra,Gaffney-Friedrichs inequality for differential forms on Heisenberg groups, Rev. Mat. Iberoam.35(2019), no. 3, 643–692. MR 3960254

    work page 2019

  32. [32]

    Math.22(1996), no

    Bruno Franchi, Raul Serapioni, and Francesco Serra Cassano,Meyers-Serrin type theorems and relaxation of variational integrals depending on vector fields, Houston J. Math.22(1996), no. 4, 859–890. MR 1437714

    work page 1996

  33. [33]

    Bruno Franchi and Maria Carla Tesi,Wave and Maxwell’s equations in Carnot groups, Commun. Contemp. Math.14(2012), no. 5, 1250032, 62. MR 2972522

    work page 2012

  34. [34]

    Math., vol

    Mikhael Gromov,Carnot-Carathéodory spaces seen from within, Sub-Riemannian geometry, Progr. Math., vol. 144, Birkhäuser, Basel, 1996, pp. 79–323. MR MR1421823 (2000f:53034)

    work page 1996

  35. [35]

    Stefan Haller,Analytic torsion of generic rank two distributions in dimension five, J. Geom. Anal.32(2022), no. 10, Paper No. 248, 66. MR 4458384

    work page 2022

  36. [36]

    Stefan Haller,Regularized determinants of the rumin complex in irreducible unitary represen- tations of the (2,3,5) nilpotent lie group, 2023

    work page 2023

  37. [37]

    Stefan Haller,Analytic torsion of nilmanifolds with(2,3,5)distributions, Anal. Geom. Metr. Spaces13(2025), no. 1, Paper No. 20250028, 26. MR 4959549

    work page 2025

  38. [38]

    Helmholtz,über Integrale der hydrodynamischen Gleichungen, welche den Wirbelbewegungen entsprechen, J

    H. Helmholtz,über Integrale der hydrodynamischen Gleichungen, welche den Wirbelbewegungen entsprechen, J. Reine Angew. Math.55(1858), 25–55. MR 1579057

    work page

  39. [39]

    W. V. D. Hodge,A Dirichlet Problem for Harmonic Functionals, with Applications to Analytic Varities, Proc. London Math. Soc. (2)36(1934), 257–303. MR 1575963

    work page 1934

  40. [40]

    MR 51571

    ,The theory and applications of harmonic integrals, Cambridge, at the University Press„ 1952, 2d ed. MR 51571

    work page 1952

  41. [41]

    thesis, Alma Mater Studiorum University of Bologna, Giugno 2008

    Cristina Imperato,Teoria del potenziale non lineare e operatore di Schrödinger nei gruppi di Carnot, Ph.D. thesis, Alma Mater Studiorum University of Bologna, Giugno 2008

    work page 2008

  42. [42]

    Iwaniec, C

    T. Iwaniec, C. Scott, and B. Stroffolini,Nonlinear Hodge theory on manifolds with boundary, Ann. Mat. Pura Appl. (4)177(1999), 37–115. MR 1747627

    work page 1999

  43. [43]

    Kunihiko Kodaira,Harmonic fields in Riemannian manifolds (generalized potential theory), Ann. of Math. (2)50(1949), 587–665. MR 31148

    work page 1949

  44. [44]

    1, 193–248

    Jean Leray,Sur le mouvement d’un liquide visqueux emplissant l’espace, Acta Math.63(1934), no. 1, 193–248. MR 1555394

    work page 1934

  45. [45]

    Xiang-Dong Li,On the strong Lp-Hodge decomposition over complete Riemannian manifolds, J. Funct. Anal.257(2009), no. 11, 3617–3646. MR 2572263

    work page 2009

  46. [46]

    ,Riesz transforms on forms andLp-Hodge decomposition on complete Riemannian manifolds, Rev. Mat. Iberoam.26(2010), no. 2, 481–528. MR 2677005

    work page 2010

  47. [47]

    Guozhen Lu,The sharp Poincaré inequality for free vector fields: an endpoint result, Rev. Mat. Iberoamericana10(1994), no. 2, 453–466. MR 1286482 30

    work page 1994

  48. [48]

    Paweł Nurowski,Differential equations and conformal structures, J. Geom. Phys.55(2005), no. 1, 19–49. MR 2157414

    work page 2005

  49. [49]

    Pierre Pansu and Michel Rumin,On theℓq,pcohomology of Carnot groups, Ann. H. Lebesgue 1(2018), 267–295. MR 3963292

    work page 2018

  50. [50]

    Pierre Pansu and Francesca Tripaldi,Averages and theℓq,1cohomology of heisenberg groups, Annales Mathématiques Blaise Pascal26(2019), 81–100

    work page 2019

  51. [51]

    Fulvio Ricci,Sub-laplacians on nilpotent lie groups, lecture notes, 2002

    work page 2002

  52. [52]

    Differential Geom.39 (1994), no

    Michel Rumin,Formes différentielles sur les variétés de contact, J. Differential Geom.39 (1994), no. 2, 281–330. MR MR1267892 (95g:58221)

    work page 1994

  53. [53]

    ,Differential geometry on C-C spaces and application to the Novikov-Shubin numbers of nilpotent Lie groups, C. R. Acad. Sci. Paris Sér. I Math.329(1999), no. 11, 985–990. MR MR1733906 (2001g:53063)

    work page 1999

  54. [54]

    19, Année 2000–2001, Sémin

    ,Around heat decay on forms and relations of nilpotent Lie groups, Séminaire de Théorie Spectrale et Géométrie, Vol. 19, Année 2000–2001, Sémin. Théor. Spectr. Géom., vol. 19, Univ. Grenoble I, 2001, pp. 123–164. MR MR1909080 (2003f:58062)

    work page 2000

  55. [55]

    ,An introduction to spectral and differential geometry in Carnot-Carathéodory spaces, Rend. Circ. Mat. Palermo (2) Suppl.75(2005), 139–196. MR MR2152359 (2006g:58053)

    work page 2005

  56. [56]

    1607, Springer-Verlag, Berlin, 1995

    Günter Schwarz,Hodge decomposition—a method for solving boundary value problems, Lecture Notes in Mathematics, vol. 1607, Springer-Verlag, Berlin, 1995. MR MR1367287 (96k:58222)

    work page 1995

  57. [57]

    Jean Van Schaftingen and Po-Lam Yung,Limiting Sobolev and Hardy inequalities on stratified homogeneous groups, Ann. Fenn. Math.47(2022), no. 2, 1065–1098. MR 4475132

    work page 2022

  58. [58]

    Appl.27(2009), no

    Andreas Čap and Katharina Neusser,On automorphism groups of some types of generic distributions, Differential Geom. Appl.27(2009), no. 6, 769–779. MR 2552685 Annalisa Baldi and Alessandro Rosa, Università di Bologna, Dipartimento di Matematica Piazza di Porta S. Donato 5, 40126 Bologna, Italy . e-mail: annalisa.baldi2@unibo.it,alessandro.rosa15@unibo.it 31

    work page 2009