pith. sign in

arxiv: 2409.02824 · v5 · submitted 2024-09-04 · 🧮 math.AG

Locally Trivial Deformations of Toric Varieties

Nathan Ilten , Sharon Robins This is my paper

Pith reviewed 2026-05-23 20:46 UTC · model grok-4.3

classification 🧮 math.AG
keywords toric varietiesdeformation functorslocally trivial deformationsfansČech cochainsobstruction theorythreefoldsunobstructed deformations
0
0 comments X

The pith

A fan-derived combinatorial functor equals the deformation functor for complete toric varieties satisfying smoothness and Q-factoriality conditions in low codimensions.

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

The paper builds a deformation functor Def_Σ directly from the fan Σ of a toric variety by using Čech zero-cochains on associated simplicial complexes. Under the conditions that the variety is complete, smooth in codimension 2, and Q-factorial in codimension 3, this functor matches the geometric functor of locally trivial deformations of the variety. This equivalence lets the authors derive a criterion for when deformations are unobstructed and compute explicit obstruction formulas. They also classify which toric threefolds from iterated projective line bundles have unobstructed deformation spaces and give concrete examples of deformation spaces.

Core claim

We construct Def_Σ for any fan Σ via Čech zero-cochains on simplicial complexes. Under appropriate hypotheses, Def_Σ is isomorphic to Def'_X_Σ, the functor of locally trivial deformations of the toric variety X_Σ. In particular, for any complete toric variety X smooth in codimension 2 and Q-factorial in codimension 3, there exists Σ such that Def_Σ is isomorphic to Def_X, the functor of deformations of X.

What carries the argument

The deformation functor Def_Σ, defined via Čech zero-cochains on simplicial complexes associated to the fan Σ, which serves as a combinatorial model for locally trivial deformations of the toric variety X_Σ.

If this is right

  • A new criterion for when smooth complete toric varieties have unobstructed deformations.
  • Formulas for higher-order obstruction maps that generalize the cup product formula.
  • Explicit computation of deformation spaces for a number of toric varieties.
  • A complete classification of which toric threefolds from iterated P¹-bundles have unobstructed deformation space.

Where Pith is reading between the lines

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

  • The Čech cochain construction could be tested on examples that drop the Q-factoriality assumption to see where the isomorphism fails.
  • Similar combinatorial cochain methods might apply directly to deformation problems for other varieties whose geometry is controlled by fans or polyhedral data.
  • The explicit obstruction formulas open the possibility of algorithmic checks for unobstructedness on large classes of fans.
  • One could ask whether Def_Σ can be modified to capture global rather than only locally trivial deformations.

Load-bearing premise

The hypotheses of completeness, smoothness in codimension 2, and Q-factoriality in codimension 3 suffice to guarantee that the combinatorial Def_Σ captures the geometric deformations of X.

What would settle it

A complete toric variety that is smooth in codimension 2 and Q-factorial in codimension 3 whose actual deformation space has dimension different from that computed by Def_Σ for every possible associated fan Σ.

Figures

Figures reproduced from arXiv: 2409.02824 by Nathan Ilten, Sharon Robins.

Figure 1
Figure 1. Figure 1: Representation of fan in Example 4.3.8 as an abstract simplicial complex with ρ7 as a vertex at ∞ (not to scale). Example 4.3.8. We consider the toric threefold XΣ whose fan Σ in R 3 may be described as follows. The generators of its rays are given by the columns of the following matrix:   ρ0 ρ1 ρ2 ρ3 ρ4 ρ5 ρ6 ρ7 ρ8 ρ9 ρ10 ρ11 ρ12 0 0 −1 −1 −1 0 1 0 0 0 1 1 2 0 1 1 0 −1 −1 0 0 1 −1 0 0 0 1 1 1 1 1 1 1 −1… view at source ↗
Figure 2
Figure 2. Figure 2: Intersections of Σ with, and projections of Vρ,u onto, h−, ui = −1 in Example 4.3.8 the hyperplane h−, ui = −1. The first four simplicial complexes have two connected components, hence have dim He 0 (Vρ,u, K) = 1, while the final simplical complex has a single cycle, hence dim He 1 (Vρ,u, K) = 1. We will see in Example 5.5.2 that the toric threefold XΣ is unobstructed. 4.4. Euler sequence. Let XΣ be a Q-fa… view at source ↗
Figure 3
Figure 3. Figure 3: A representation of the fan in Example 5.4.2 as an abstract simplicial complex with the ray ρ6 as a vertex at ∞ (not to scale). We will establish this in Lemma 6.4.1. It is then straightforward to verify that any element of Γ not in A must be of the form  ρ5,(∗, ∗, −1) or  ρ6,(∗, ∗, 1) or  ρ5,(∗, ∗, 0) or  ρ6,(∗, ∗, 0) . Given the above assumption on A, we claim that the fan Σ′ with maximal cones σ… view at source ↗
Figure 4
Figure 4. Figure 4: The projections onto the xy-coordinates of the degrees u where H1 (X, TX)u 6= 0 and H2 (X, TX)u 6= 0 for the case e = 1 with a ≤ −2 and b ≥ −a + 3. In this case, Type I and Type IV of Lemma 6.3.3 do not occur. By Theorem 5.5.1, to have obstructions, we must have Type II and Type III elements of Lemma 6.3.3. Hence, we have a ≤ −2 and combining this with (6.3.5) yields (i). Now assume that e ≥ 2. By Lemma 6.… view at source ↗
Figure 5
Figure 5. Figure 5: The projections onto the xy-coordinates of the degrees u where H1 (X, TX )u 6= 0 and H2 (X, TX)u 6= 0 for the case e ≥ 2, a ≤ −e, and b ≥ 1 + −a + 2 e . resulting in a triangular region, which degenerates to a single point if a = −2. The region for Type III is defined by the inequalities y ≤ −1, x ≥ 0, x ≤ y − a resulting in a triangular region. We always have the following relation among the degrees: (6.3… view at source ↗
Figure 6
Figure 6. Figure 6: The xy coordinates of degrees at which H1 (X, TX)u 6= 0 and H2 (X, TX)v 6= 0 In [PITH_FULL_IMAGE:figures/full_fig_p044_6.png] view at source ↗
read the original abstract

We study locally trivial deformations of toric varieties from a combinatorial point of view. For any fan $\Sigma$, we construct a deformation functor $\mathrm{Def}_\Sigma$ by considering \v{C}ech zero-cochains on certain simplicial complexes. We show that under appropriate hypotheses, $\mathrm{Def}_\Sigma$ is isomorphic to $\mathrm{Def}'_{X_\Sigma}$, the functor of locally trivial deformations for the toric variety $X_\Sigma$ associated to $\Sigma$. In particular, for any complete toric variety $X$ that is smooth in codimension $2$ and $\mathbb{Q}$-factorial in codimension $3$, there exists a fan $\Sigma$ such that $\mathrm{Def}_\Sigma$ is isomorphic to $\mathrm{Def}_X$, the functor of deformations of $X$. We apply these results to give a new criterion for a smooth complete toric variety to have unobstructed deformations, and to compute formulas for higher order obstructions, generalizing a formula of Ilten and Turo for the cup product. We use the functor $\mathrm{Def}_\Sigma$ to explicitly compute the deformation spaces for a number of toric varieties, and provide examples exhibiting previously unobserved phenomena. In particular, we classify exactly which toric threefolds arising as iterated $\mathbb{P}^1$-bundles have unobstructed deformation space.

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

0 major / 3 minor

Summary. The paper constructs a combinatorial deformation functor Def_Σ for any fan Σ via Čech zero-cochains on associated simplicial complexes. It proves that, under appropriate hypotheses, Def_Σ is isomorphic to the functor Def'_X_Σ of locally trivial deformations of the toric variety X_Σ. As a consequence, for any complete toric variety X smooth in codimension 2 and Q-factorial in codimension 3 there exists a fan Σ such that Def_Σ ≅ Def_X. The results are applied to obtain a criterion for unobstructed deformations of smooth complete toric varieties, explicit formulas for higher-order obstructions (generalizing Ilten-Turo), and explicit computations of deformation spaces, including a classification of which iterated P^1-bundle toric threefolds have unobstructed deformation space.

Significance. If the central isomorphism holds, the work supplies a purely combinatorial model for locally trivial deformations of toric varieties, enabling explicit calculations that were previously inaccessible and yielding new classification results. The generalization of the Ilten-Turo cup-product formula and the concrete classification for threefolds are concrete advances that can be checked against existing examples.

minor comments (3)
  1. [§2] §2: the precise statement of the 'appropriate hypotheses' guaranteeing Def_Σ ≅ Def'_X_Σ should be collected in a single numbered theorem rather than scattered across the construction and the application paragraphs.
  2. The Čech-cochain complex used to define Def_Σ is introduced without an explicit comparison to the standard Čech cohomology of the structure sheaf on the toric variety; a short diagram or sentence relating the two would clarify the construction.
  3. Table 1 (or the corresponding computation section): the listed dimensions of Def_Σ for the iterated P^1-bundle examples should include a column indicating which of the varieties satisfy the codimension-2/3 hypotheses, to make the classification claim immediately verifiable.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the manuscript, recognition of its significance, and recommendation of minor revision. No major comments were listed in the report.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper defines Def_Σ directly via Čech zero-cochains on simplicial complexes associated to the fan Σ, independent of any geometric deformation functor. It then proves an isomorphism Def_Σ ≅ Def'_X_Σ under the stated completeness, smoothness-in-codim-2, and Q-factoriality-in-codim-3 hypotheses; the existence of Σ for a given X such that Def_Σ ≅ Def_X follows from this construction plus the codimension conditions that reduce the full deformation functor to the locally trivial case. No equation or step equates a derived object to its own input by definition, no parameter is fitted and relabeled as a prediction, and the cited prior formula of Ilten-Turo is used only for an application (higher-order obstructions), not as load-bearing justification for the central isomorphism or existence result. The derivation chain is therefore self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The work relies on standard facts about toric varieties and fans; the new functor is defined combinatorially but its equivalence to geometric deformations depends on unstated background theorems in algebraic geometry.

axioms (1)
  • standard math Standard properties of fans, toric varieties, and Čech cohomology as developed in prior literature on toric geometry.
    The isomorphism statements presuppose the usual correspondence between fans and toric varieties and the definition of locally trivial deformations via sheaves.
invented entities (1)
  • Def_Σ functor no independent evidence
    purpose: Combinatorial model for locally trivial deformations via Čech zero-cochains on simplicial complexes of the fan.
    Newly introduced object whose equivalence to the geometric functor is the central result.

pith-pipeline@v0.9.0 · 5769 in / 1368 out tokens · 44183 ms · 2026-05-23T20:46:11.544105+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

54 extracted references · 54 canonical work pages · 1 internal anchor

  1. [1]

    Versality in toric geometry

    Klaus Altmann, Alexandru Constantinescu, and Matej Filip. Versality in toric geometry. J. Algebra , 609:1--43, 2022

    work page 2022

  2. [2]

    Cox rings , volume 144 of Cambridge Studies in Advanced Mathematics

    Ivan Arzhantsev, Ulrich Derenthal, J\"urgen Hausen, and Antonio Laface. Cox rings , volume 144 of Cambridge Studies in Advanced Mathematics . Cambridge University Press, Cambridge, 2015

    work page 2015

  3. [3]

    Computation of the vector space T^1 for affine toric varieties

    Klaus Altmann. Computation of the vector space T^1 for affine toric varieties. J. Pure Appl. Algebra , 95(3):239--259, 1994

    work page 1994

  4. [4]

    Minkowski sums and homogeneous deformations of toric varieties

    Klaus Altmann. Minkowski sums and homogeneous deformations of toric varieties. Tohoku Math. J. (2) , 47(2):151--184, 1995

    work page 1995

  5. [5]

    Infinitesimal deformations and obstructions for toric singularities

    Klaus Altmann. Infinitesimal deformations and obstructions for toric singularities. J. Pure Appl. Algebra , 119(3):211--235, 1997

    work page 1997

  6. [6]

    The versal deformation of an isolated toric G orenstein singularity

    Klaus Altmann. The versal deformation of an isolated toric G orenstein singularity. Invent. Math. , 128(3):443--479, 1997

    work page 1997

  7. [7]

    M. F. Atiyah and I. G. Macdonald. Introduction to commutative algebra . Addison-Wesley Series in Mathematics. Westview Press, Boulder, CO, economy edition, 2016. For the 1969 original see [ MR0242802]

    work page 2016

  8. [8]

    On deformations of singularities , volume 54

    Michael Artin. On deformations of singularities , volume 54. Tata Institute of Fundamental Research Bombay, 1976

    work page 1976

  9. [9]

    Victor V. Batyrev. On the classification of smooth projective toric varieties. Tohoku Math. J. (2) , 43(4):569--585, 1991

    work page 1991

  10. [10]

    V. V. Batyrev. On the classification of toric F ano 4 -folds. volume 94, pages 1021--1050. 1999. Algebraic geometry, 9

    work page 1999

  11. [11]

    Automorphisms and local rigidity of regular varieties

    Fr\' e d\' e ric Bien and Michel Brion. Automorphisms and local rigidity of regular varieties. Compositio Math. , 104(1):1--26, 1996

    work page 1996

  12. [12]

    Algebraic approximation and the decomposition theorem for K \" a hler C alabi- Y au varieties

    Benjamin Bakker, Henri Guenancia, and Christian Lehn. Algebraic approximation and the decomposition theorem for K \" a hler C alabi- Y au varieties. Invent. Math. , 228(3):1255--1308, 2022

    work page 2022

  13. [13]

    Mirror symmetry and F ano manifolds

    Tom Coates, Alessio Corti, Sergey Galkin, Vasily Golyshev, and Alexander Kasprzyk. Mirror symmetry and F ano manifolds. In European C ongress of M athematics , pages 285--300. Eur. Math. Soc., Z\"urich, 2013

    work page 2013

  14. [14]

    Hilbert schemes and toric degenerations for low degree F ano threefolds

    Jan Arthur Christophersen and Nathan Ilten. Hilbert schemes and toric degenerations for low degree F ano threefolds. J. Reine Angew. Math. , 717:77--100, 2016

    work page 2016

  15. [15]

    Jan Arthur Christophersen and Jan O. Kleppe. Comparison theorems for deformation functors via invariant theory. Collect. Math. , 70(1):1--32, 2019

    work page 2019

  16. [16]

    Cox, John B

    David A. Cox, John B. Little, and Henry K. Schenck. Toric varieties , volume 124 of Graduate Studies in Mathematics . American Mathematical Society, Providence, RI, 2011

    work page 2011

  17. [17]

    E. B. Dynkin. Calculation of the coefficients in the C ampbell- H ausdorff formula. Doklady Akad. Nauk SSSR (N.S.) , 57:323--326, 1947

    work page 1947

  18. [18]

    Combinatorial convexity and algebraic geometry , volume 168 of Graduate Texts in Mathematics

    G\"unter Ewald. Combinatorial convexity and algebraic geometry , volume 168 of Graduate Texts in Mathematics . Springer-Verlag, New York, 1996

    work page 1996

  19. [19]

    The G erstenhaber product HH ^2(A) HH ^2(A) HH ^3(A) of affine toric varieties

    Matej Filip. The G erstenhaber product HH ^2(A) HH ^2(A) HH ^3(A) of affine toric varieties. Comm. Algebra , 49(3):1146--1162, 2021

    work page 2021

  20. [20]

    Obstruction calculus for functors of A rtin rings

    Barbara Fantechi and Marco Manetti. Obstruction calculus for functors of A rtin rings. I . J. Algebra , 202(2):541--576, 1998

    work page 1998

  21. [21]

    Cosimplicial DGLA s in deformation theory

    Domenico Fiorenza, Marco Manetti, and Elena Martinengo. Cosimplicial DGLA s in deformation theory. Comm. Algebra , 40(6):2243--2260, 2012

    work page 2012

  22. [22]

    Deformations of log C alabi- Y au pairs can be obstructed

    Simon Felten, Andrea Petracci, and Sharon Robins. Deformations of log C alabi- Y au pairs can be obstructed. Math. Res. Lett. , 30(5):1357--1374, 2023

    work page 2023

  23. [23]

    Topologie alg\'ebrique et th\'eorie des faisceaux

    Roger Godement. Topologie alg\'ebrique et th\'eorie des faisceaux . Actualit'es Sci. Ind. No. 1252. Publ. Math. Univ. Strasbourg. No. 13. Hermann, Paris, 1958

    work page 1958

  24. [24]

    A S ingular introduction to commutative algebra

    Gert-Martin Greuel and Gerhard Pfister. A S ingular introduction to commutative algebra . Springer, Berlin, extended edition, 2008. With contributions by Olaf Bachmann, Christoph Lossen and Hans Sch\" o nemann, With 1 CD-ROM (Windows, Macintosh and UNIX)

    work page 2008

  25. [25]

    Grayson and Michael E

    Daniel R. Grayson and Michael E. Stillman. Macaulay2, a software system for research in algebraic geometry. Available at http://www2.macaulay2.com

    work page

  26. [26]

    Lie groups, L ie algebras, and representations , volume 222 of Graduate Texts in Mathematics

    Brian Hall. Lie groups, L ie algebras, and representations , volume 222 of Graduate Texts in Mathematics . Springer, Cham, second edition, 2015. An elementary introduction

    work page 2015

  27. [27]

    Local cohomology , volume No

    Robin Hartshorne. Local cohomology , volume No. 41 of Lecture Notes in Mathematics . Springer-Verlag, Berlin-New York, 1967. A seminar given by A. Grothendieck, Harvard University, Fall, 1961

    work page 1967

  28. [28]

    Algebraic geometry

    Robin Hartshorne. Algebraic geometry . Springer-Verlag, New York-Heidelberg, 1977. Graduate Texts in Mathematics, No. 52

    work page 1977

  29. [29]

    Deformation theory , volume 257 of Graduate Texts in Mathematics

    Robin Hartshorne. Deformation theory , volume 257 of Graduate Texts in Mathematics . Springer, New York, 2010

    work page 2010

  30. [30]

    A relatively short self-contained proof of the B aker- C ampbell- H ausdorff theorem

    Harald Hofst\" a tter. A relatively short self-contained proof of the B aker- C ampbell- H ausdorff theorem. Expo. Math. , 39(1):143--148, 2021

    work page 2021

  31. [31]

    Deformations and obstructions of pairs (X,D)

    Donatella Iacono. Deformations and obstructions of pairs (X,D) . Int. Math. Res. Not. IMRN , (19):9660--9695, 2015

    work page 2015

  32. [32]

    Deformations of smooth toric surfaces

    Nathan Owen Ilten. Deformations of smooth toric surfaces. Manuscripta Math. , 134(1-2):123--137, 2011

    work page 2011

  33. [33]

    Locally trivial deformations of toric varieties

    Nathan Ilten and Sharon Robins. Locally trivial deformations of toric varieties. arXiv ancillary files, 2024

    work page 2024

  34. [34]

    Deformations of smooth complete toric varieties: obstructions and the cup product

    Nathan Ilten and Charles Turo. Deformations of smooth complete toric varieties: obstructions and the cup product. Algebra Number Theory , 14(4):907--925, 2020

    work page 2020

  35. [35]

    Deformations of rational T -varieties

    Nathan Owen Ilten and Robert Vollmert. Deformations of rational T -varieties. J. Algebraic Geom. , 21(3):531--562, 2012

    work page 2012

  36. [36]

    Generalized E uler sequence and toric varieties

    Krzysztof Jaczewski. Generalized E uler sequence and toric varieties. In Classification of algebraic varieties ( L ' A quila, 1992) , volume 162 of Contemp. Math. , pages 227--247. Amer. Math. Soc., Providence, RI, 1994

    work page 1992

  37. [37]

    A classification of toric varieties with few generators

    Peter Kleinschmidt. A classification of toric varieties with few generators. Aequationes Math. , 35(2-3):254--266, 1988

    work page 1988

  38. [38]

    Deformation theory via differential graded L ie algebras

    Marco Manetti. Deformation theory via differential graded L ie algebras. In Algebraic G eometry S eminars, 1998--1999 ( I talian) ( P isa) , pages 21--48. Scuola Norm. Sup., Pisa, 1999

    work page 1998

  39. [39]

    Lie methods in deformation theory

    Marco Manetti. Lie methods in deformation theory . Springer Monographs in Mathematics. Springer, Singapore, [2022] 2022

    work page 2022

  40. [40]

    Deformations of Toric Varieties via Minkowski Sum Decompositions of Polyhedral Complexes

    Anvar Mavlyutov. Deformations of toric varieties via minkowski sum decompositions of polyhedral complexes. arXiv:0902.0967 [math.AG]

    work page internal anchor Pith review Pith/arXiv arXiv

  41. [41]

    Mavlyutov

    Anvar R. Mavlyutov. Deformations of C alabi- Y au hypersurfaces arising from deformations of toric varieties. Invent. Math. , 157(3):621--633, 2004

    work page 2004

  42. [42]

    Homogeneous deformations of toric pairs

    Andrea Petracci. Homogeneous deformations of toric pairs. Manuscripta Math. , 166(1-2):37--72, 2021

    work page 2021

  43. [43]

    On deformation spaces of toric singularities and on singularities of K -moduli of F ano varieties

    Andrea Petracci. On deformation spaces of toric singularities and on singularities of K -moduli of F ano varieties. Trans. Amer. Math. Soc. , 375(8):5617--5643, 2022

    work page 2022

  44. [44]

    Algebraic hyperbolicity for surfaces in smooth projective toric threefolds with P icard rank 2 and 3

    Sharon Robins. Algebraic hyperbolicity for surfaces in smooth projective toric threefolds with P icard rank 2 and 3. Beitr. Algebra Geom. , 64(1):1--27, 2023

    work page 2023

  45. [45]

    Standard stable H orikawa surfaces

    Julie Rana and Sönke Rollenske. Standard stable H orikawa surfaces. arXiv:2211.12059

    work page arXiv

  46. [46]

    Deformations of extremal toric manifolds

    Yann Rollin and Carl Tipler. Deformations of extremal toric manifolds. J. Geom. Anal. , 24(4):1929--1958, 2014

    work page 1929

  47. [47]

    Fibration and classification of smooth projective toric varieties of low P icard number

    Michele Rossi and Lea Terracini. Fibration and classification of smooth projective toric varieties of low P icard number. Internat. J. Math. , 31(6):2050043, 30, 2020

    work page 2020

  48. [48]

    Functors of A rtin rings

    Michael Schlessinger. Functors of A rtin rings. Trans. Amer. Math. Soc. , 130:208--222, 1968

    work page 1968

  49. [49]

    On rigid singularities

    Michael Schlessinger. On rigid singularities. Rice Univ. Stud. , 59(1):147--162, 1973

    work page 1973

  50. [50]

    Deformations of algebraic schemes , volume 334 of Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]

    Edoardo Sernesi. Deformations of algebraic schemes , volume 334 of Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences] . Springer-Verlag, Berlin, 2006

    work page 2006

  51. [51]

    Computing versal deformations

    Jan Stevens. Computing versal deformations. Experiment. Math. , 4(2):129--144, 1995

    work page 1995

  52. [52]

    Smoothness of the universal deformation space of compact C alabi- Y au manifolds and its P etersson- W eil metric

    Gang Tian. Smoothness of the universal deformation space of compact C alabi- Y au manifolds and its P etersson- W eil metric. In Mathematical aspects of string theory ( S an D iego, C alif., 1986) , volume 1 of Adv. Ser. Math. Phys. , pages 629--646. World Sci. Publishing, Singapore, 1987

    work page 1986

  53. [53]

    Andrey N. Todorov. The W eil- P etersson geometry of the moduli space of SU (n 3) ( C alabi- Y au) manifolds. I . Comm. Math. Phys. , 126(2):325--346, 1989

    work page 1989

  54. [54]

    Murphy's law in algebraic geometry: badly-behaved deformation spaces

    Ravi Vakil. Murphy's law in algebraic geometry: badly-behaved deformation spaces. Invent. Math. , 164(3):569--590, 2006

    work page 2006