Pith. sign in

REVIEW 2 major objections 5 minor 1 cited by

Smoothing toroidal crossing spaces

T0 review · 2 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read A toroidal crossing space with a simple log section and a transverse anticanonical divisor is smoothable to an orbifold with terminal singularities.

desk verdict A substantial and likely-correct paper that settles Danilov's conjecture and gives a general smoothing criterion; the main risk is a load-bearing analytic lemma whose proof is deferred to the reader. read the letter →

arxiv 1908.11235 v2 pith:6AWPW6CB submitted 2019-08-29 math.AG math.SG

Simon Felten , Matej Filip , Helge Ruddat This is my paper · ORCID
classification math.AGmath.SG MSC 14D1514J3214M2514F4014B07
keywords toroidalcrossingspaceslogstructuresHodge–deRhamdegenerationsmoothingnormalCalabi-YauvarietiesMaurer-CartanequationBatalin-Vilkoviskyoperator
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper proves that a proper toroidal crossing space can be smoothed to an orbifold with terminal singularities, provided it carries a simple section of the sheaf of log smooth structures on a dense open set and an anticanonical section whose zero divisor meets all strata transversely. The proof works by turning the log structure into an infinitesimal deformation of the singular locus, then solving a Maurer–Cartan equation in the Gerstenhaber algebra of log polyvector fields to build the formal smoothing, and finally passing to an analytic smoothing. Along the way the paper establishes the degeneration of the Hodge–de Rham spectral sequence for proper log toroidal families, settling a long-standing conjecture for toroidal pairs that the analogous spectral sequence degenerates at $E_1$. If the central theorem is correct, it produces smoothings in many situations where earlier d-semistability or local-rigidity assumptions fail, and it opens a route to constructing new Calabi–Yau and Fano varieties and Frobenius manifold structures on moduli spaces.

What carries the argument

The central objects are the sheaf $LS_X$ of log smooth structures on a toroidal crossing space, whose sections map to the sheaf $T^1_X$ of first-order deformations, and the elementary log toroidal local models $(Q\subset P,F)$: an injection of sharp toric monoids with $P$ a free $Q$-set and a distinguished set of facets, describing $X$ \'etale locally near the log singular locus. On these models the paper computes the sheaves $W^p_{X/S}=j_*\Omega^p_{U/S}$ of Zariski–Steenbrink–Danilov differentials explicitly, proves base change for them in sufficiently large characteristic, constructs the Cartier isomorphism, and obtains a Frobenius decomposition of $F_*W^{\bullet}_{X_0/S_0}$. The degeneration theorem then follows by the spreading-out-to-finite-characteristic method. For the smoothing itself, the machinery is the Maurer–Cartan equation in the Gerstenhaber algebra of log polyvector fields, with the Batalin–Vilkovisky operator $\Delta$ transporting the de Rham differential via a chosen volume form; Theorem 1.10 makes the relevant cohomology free, and the deformation-obstruction theorem for log toroidal families controls the lifting steps.

What would settle it

Find a proper log toroidal family over $\mathrm{Spec}(Q\to k)$ with $Q$ a sharp toric monoid for which the spectral sequence $E^{p,q}_1=R^qf_*W^p_{X/S}$ does not degenerate at $E_1$, or a proper toroidal pair $(X,D)$ with $\sum_{p+q=n}\dim H^q(X,\tilde\Omega^p_X(\log D)) > \dim H^n(X,\tilde\Omega^{\bullet}_X(\log D))$; either would contradict the paper's central degeneration theorem.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.7: a proper toroidal crossing space $X$ with a simple section $s$ of $LS_X$ on a dense open set, together with an anticanonical section whose zero divisor $E$ meets all strata of $X$ and $Z$ transversely, is smoothable to an orbifold with terminal singularities. The engine is the degeneration theorem for the Hodge–de Rham spectral sequence of a proper log toroidal family $f:X\to S$ with $S=\mathrm{Spec}(Q\to k)$, where $Q$ is a sharp toric monoid: the spectral sequence $E^{p,q}_1=R^qf_*W^p_{X/S}$ converges to $R^{p+q}f_*W^{\bullet}_{X/S}$ and degenerates at $E_1$. This degeneration implies the conjecture for proper toroidal pairs stated as Theorem 1.4, and in the relative one-parameter case over $S_m=\mathrm{Spec}(\mathbb{N}\to\mathbb{C}[t]/(t^{m+1}))$ it yields Theorem 1.10: the higher direct images are free, commute with base change, and the spectral sequence degenerates. For normal crossing spaces, the general theorem specializes to the cleaner statement that $X$ is smoothable whenever $T^1_X$ is generated by global sections and $X_{\mathrm{sing}}$ is projective.

Load-bearing premise

The argument requires the family to be covered by explicit monomial local models of log toroidal type over a base whose log structure is a single sharp toric monoid, or by the one-parameter ring $\mathbb{C}[t]/(t^{m+1})$; for more general coherent log bases the key degeneration theorem is only conjectured, so the smoothing proof does not apply there.

Editorial extensions

If this is right

  • Normal crossing spaces with effective anti-canonical class and $T^1_X$ generated by global sections are smoothable whenever $X_{\mathrm{sing}}$ is projective, and without projectivity a reduced section with transverse zero locus suffices.
  • The degeneration theorem settles the conjecture for proper toroidal pairs: the Hodge–de Rham spectral sequence for $\tilde\Omega^{\bullet}_X(\log D)$ degenerates at $E_1$.
  • For one-parameter log toroidal families over $S_m=\mathrm{Spec}(\mathbb{N}\to\mathbb{C}[t]/(t^{m+1}))$, the Hodge bundles $R^qf_*W^p_{X/S}$ are free and commute with base change, so Hodge bundles extend trivially over toroidal boundary divisors in moduli.
  • The smoothing theorem applies where earlier criteria fail, for example to unions of $d$ hyperplanes in $\mathbb{P}^n$ with $d\le n+1$ and to double, triple, or higher intersections of Fano components along divisors, yielding new Calabi–Yau and Fano manifolds.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If the degeneration theorem extends to arbitrary coherent log bases as the paper conjectures, the same smoothing conclusion should hold for families whose base log structure is not a single sharp monoid, and toroidal-pair degeneration would cover more general boundary divisors.
  • The base-change failure in low characteristic (illustrated in the paper for a specific monoid in characteristic two) suggests that modular or characteristic-$p$ interpretations of these smoothings may require excluding finitely many primes; this is a concrete condition to verify in applications.
  • The Maurer–Cartan and Batalin–Vilkovisky construction ties the smoothing directly to a chosen anticanonical volume form, so the resulting orbifold smoothing should carry a natural log Calabi–Yau structure; testing this on the hyperplane-union example might yield an explicit Frobenius manifold structure near the boundary of the moduli space.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 5 minor

Summary. The paper proves a smoothing theorem for proper toroidal crossing spaces under a 'simple section' hypothesis on the sheaf LS_X and an anticanonical section transverse to all relevant strata (Theorem 1.7), and derives the normal crossing case (Theorem 1.1). The proof equips X with a log toroidal family structure, studies the reflexive log de Rham complex W^•_{X/S}, proves Hodge–de Rham degeneration for such families (Theorem 1.9) and its relative one-parameter version (Theorem 1.10), and then uses Maurer–Cartan/Batalin–Vilkovisky methods to construct a formal smoothing, which is upgraded to an analytic smoothing via Grauert–Douady/Artin approximation. Along the way the paper settles Danilov's conjecture for proper toroidal pairs (Theorem 1.4). The local arguments are carried out in elementary log toroidal models, with explicit computations in Sections 7 and 12.

Significance. If correct, this is a substantial advance: it replaces the local rigidity assumption in Gross–Siebert smoothing with a much milder condition involving a simple section and generation of T^1_X, and it gives a general smoothing criterion for toroidal crossing spaces. The proof strategy, combining a Deligne–Illusie degeneration argument with BV/Maurer–Cartan deformation theory, is novel and likely to be influential. The paper is also notable for its explicit local toric computations (Propositions 7.2, 7.3, Corollaries 7.11, 7.12, Lemma 12.1) and for clearly stating the scope of Theorem 1.9, including the conjecture for arbitrary coherent bases. The main weakness is that one key analytic lemma, Lemma 7.14, is stated and then left to the reader; since Lemma 12.1 and hence Theorem 1.10 depend on it, this is a load-bearing gap that must be closed before the main smoothing claim is fully supported.

major comments (2)
  1. [§7.2, Lemma 7.14] Lemma 7.14 is load-bearing but its proof is reduced to 'We leave the technical details to the reader.' The lemma identifies the stalk at the origin of V^an = ~V ⊗_{C[E_K]} O_{Y^an} with the growth-condition completion of V[[E_K]]. This identification is used in Remark 7.15 to describe W^{m,an}_{Y/T} and W^{m,an}_Y, and Lemma 12.1 relies on that description to prove the acyclicity of K^•. Since Theorem 1.10, and through it Theorem 13.1 and the formal deformation step, depends on Lemma 12.1, the omitted details are not cosmetic: if the analytic tensor product is strictly larger than the growth-condition product, the formula for the stalk of W^• used throughout Lemma 12.1 is wrong and the acyclicity conclusion is unsupported. Please provide a complete proof, or a precise reference, for Lemma 7.14, including the module-structure and growth estimates needed to reduce to (7.6).
  2. [§12.1, proof of Theorem 1.10 and Lemma 12.1] The reduction of Theorem 1.10 to Lemma 12.1 is valid only if the local description supplied by Remark 7.15 and Lemma 7.14 is correct, and only if stalk-wise acyclicity at the origin in each ETD local model implies global acyclicity of K^•. The latter point is stated in one sentence ('Lemma 12.1 below shows that K^• is acyclic for all ETDs with one-dimensional base, so φ^• is a quasi-isomorphism'). Please spell out the sheaf-theoretic argument: one needs to know that the cohomology sheaves of K^• are coherent and supported on the singular locus, whose closure contains the origin in each affine toric local model, so that vanishing at the origin forces global vanishing. This is likely true, but it should be stated explicitly because the entire relative degeneration theorem rests on this step.
minor comments (5)
  1. [§5, Theorem 5.5] In the display η(LS_V) = (T^1_V)^×, the notation is confusing: the manuscript then refers to '(T^1_X)^×⊂T^1_X'. Please define the subsheaf of generating sections consistently and use the same subscript throughout.
  2. [§6, Definition 6.6] The sentence 'We infer the notion of strata to the normalization of X' is awkward; consider rephrasing as 'We carry the notion of strata over to the normalization of X.'
  3. [§7.2, equation (7.6) and Lemma 7.14] The letter h is used for a local homomorphism P→N in Lemma 7.13 and then reused in the growth conditions in (7.6) and Lemma 7.14. Please state explicitly that one fixes such an h once and for all, or explain why the growth condition is independent of the choice of h.
  4. [§12.1, end of proof of Theorem 1.10] The proof concludes 'so φ^• is a quasi-isomorphism and Theorem 1.10 follows by the discussion in §2.1.' Since the exact sequence defining K^• involves analytic sheaves, a brief comment on the passage from local acyclicity to a global quasi-isomorphism would improve readability; see the corresponding major comment.
  5. [Abstract and Introduction] The abstract mentions Frobenius manifold structures on moduli spaces as a potential application, but the body only sketches this connection. Consider softening the abstract to match the actual scope of the paper.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the smoothing theorem is derived from independently proved degeneration theorems and external results, with no fitted inputs or self-referential reductions.

full rationale

The paper's derivation is self-contained in the sense required here: no theorem is obtained by assuming a special case of itself, no fitted parameter is relabeled as a prediction, and no load-bearing premise is imported solely from the authors' prior work. The main smoothing result (Theorem 1.7) rests on the degeneration theorems 1.9 and 1.10, whose proofs are carried out through Deligne–Illusie spreading out, an explicit Cartier isomorphism, Frobenius decomposition, and a local acyclicity computation (Lemma 12.1) in elementary log toroidal models. The cited results from Gross–Siebert [21,22] and Chan–Leung–Ma [8] are external, with independent proofs, and are not equivalent to the target theorem. The authors' own prior work enters only as cited theorems in the formal-to-analytic step ([44,46]) and in the log-toroidal structure of c.i.t. Calabi–Yau spaces ([45]); these citations are external support, not restatements of the smoothing conclusion. The explicit conjecture that Theorem 1.9 should hold for arbitrary coherent bases is a limitation but not a circularity, and Lemma 7.14 leaves technical details to the reader, which is an evidentiary gap rather than a self-referential reduction. Accordingly no circular step can be exhibited.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The paper introduces no fitted parameters. It relies on a large body of log geometry: the Cartier isomorphism for log smooth morphisms (Kato), spreading out of schemes and log structures (EGA, Tsuji), and the deformation and Maurer-Cartan machinery of Gross-Siebert and Chan-Leung-Ma. These are standard or cited results, not ad hoc postulates. The central claim also depends on Theorem 6.13 imported from Gross-Siebert [22, Theorem 2.11], which controls infinitesimal deformations; the paper quotes it without proof. No invented entities are introduced.

assumptions (5)
  • standard math Cartier isomorphism for saturated log smooth morphisms in positive characteristic (Kato [34, Theorem 4.12])
    Used in Theorem 10.1 to obtain the Cartier isomorphism on U/S, the starting point for the Frobenius decomposition in Section 11.
  • standard math Spreading out of schemes, morphisms, and log structures (EGA IV, [50, Lemma 4.11.1], [50, Sublemma 4.11.3])
    Used in Proposition 9.1 to spread a log toroidal family over k to one over a finite-type Z-subalgebra, enabling reduction to positive characteristic.
  • domain assumption Gross-Siebert's deformation theorem for log toroidal families from simple sections ([22, Theorem 2.11], quoted as Theorem 6.13)
    Controls automorphisms, isomorphisms, and obstructions to lifting log toroidal deformations via H^*(Y, Theta^1_{Y/S} tensor I). The paper states 'The proof works precisely as in loc.cit.' but does not reproduce it.
  • domain assumption Chan-Leung-Ma's Maurer-Cartan and Batalin-Vilkovisky framework for degenerate Calabi-Yau varieties ([8])
    The construction of the formal smoothing in Section 13 adapts [8, Theorems 3.34, 4.8, 5.5, 5.11]; the glueing of Gerstenhaber algebras and the surjectivity result in Theorem 13.1 rest on this framework.
  • standard math Existence of analytic approximations for formal proper flat morphisms (Ruddat-Siebert [46, Theorem B.1], Ruddat [44, Theorem 5.5])
    Used in Section 13.3 to pass from a formal smoothing over Spf(C[[t]]) to a genuine analytic deformation over a disk.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Smoothing toroidal crossing spaces." pith.science (2026). https://pith.science/paper/6AWPW6CB

@misc{pith2026190811235,
  author       = {Pith},
  title        = {Pith review of: Smoothing toroidal crossing spaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/6AWPW6CB}},
  note         = {Machine review of arXiv:1908.11235}
}
read the original abstract

We prove the existence of a smoothing for a toroidal crossing space under mild assumptions. By linking log structures with infinitesimal deformations, the result receives a very compact form for normal crossing spaces. The main approach is to study log structures that are incoherent on a subspace of codimension two and prove a Hodge-de Rham degeneration theorem for such log spaces which also settles a conjecture by Danilov. We show that the homotopy equivalence between Maurer-Cartan solutions and deformations combined with Batalin-Vilkovisky theory can be used to obtain smoothings. The construction of new Calabi-Yau and Fano manifolds as well as Frobenius manifold structures on moduli spaces are potential applications.

Figures

Figures reproduced from arXiv: 1908.11235 by the authors.

Figure 3.1
Figure 3.1. Three examples of a saturated injection Q ⊂ P and the projection P¯, the outer two are log smooth, the middle one gives Example 2.11. analog of Lemma 2.3 holds if Xan, San are Cohen–Macaulay by [6, Theorem 3.6]. For S = Spec(Q → A) with A an Artinian ring and W •,an X/S := j an ∗ Ω • Uan/San , we have W m,an X/S ∼= (W m X/S) an since both are reflexive coherent OXan -modules that coincide on U an. If f is proper the… view at source ↗
Figure 9.1
Figure 9.1. The diagram constructed in the text. (gλ) ∗ logMXλ and (hλ) ∗ logMLi,λ on U˜ i,λ which we identify by [50, Sublemma 4.11.3]. By the same sublemma, the two morphisms (g ◦ f) ∗ logMSλ → MU˜ i,λ coming from fλ ◦ gλ respective rλ ◦ hλ coincide. Since {Vi → X} is a finite covering, we can find λ that admits the above construction for all Vi simultaneously. 10. The Cartier Isomorphism In this section, we define the Cartie… view at source ↗
Figure 11
Figure 11. , where [PITH_FULL_IMAGE:figures/full_fig_p033_11.png] view at source ↗
Figures from the paper (1 more)
Figure 11.1
Figure 11.1. Figure 11.1: The diagram. Definition 11.1. Let Y 0 → X0 be an ´etale open. Then a Frobenius lifting G : Y → Y 0 on Y 0 consists of a ring homomorphism G∗ : OY 0 → G∗OY yielding a morphism of schemes and a monoid homomorphism G∗ : MY 0|V 0 → G∗MY |V 0 defined on some V 0 ⊂ Y 0 sa…

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Smoothing Calabi-Yau toric hypersurfaces using the Gross-Siebert algorithm

    math.AG 2019-09 conditional novelty 6.0 of 10

    Constructing tropical manifolds from reflexive polytopes yields 14 conditional new Calabi-Yau threefold topological types with b2 = 1.

Reference graph

Works this paper leans on

55 extracted references · 55 canonical work pages · cited by 1 Pith paper

  1. [1]

    Lagrangian fibrations on blowups of toric varieties and mirror symmetry for hypersurfaces

    Mohammed Abouzaid, Denis Auroux, and Ludmil Katzarkov. Lagrangian fibrations on blowups of toric varieties and mirror symmetry for hypersurfaces. Publ. Math. Inst. Hautes ´Etudes Sci., 123:199–282, 2016

    work page 2016

  2. [2]

    Stacks project

    The Stacks Project Authors. Stacks project. http://stacks.math.columbia.edu/

    work page

  3. [3]

    Frobenius manifolds and formality of Lie algebras of polyvector fields

    Sergey Barannikov and Maxim Kontsevich. Frobenius manifolds and formality of Lie algebras of polyvector fields. Internat. Math. Res. Notices , 1998(4):201–215, 1998

    work page 1998

  4. [4]

    Tangent curves to degenerating hypersurfaces

    Lawrence J. Barrott and Navid Nabijou. Tangent curves to degenerating hypersurfaces. https://arxiv.org/abs/2007.05016, 2020

    work page Pith review arXiv 2007

  5. [5]

    Cartier isomorphism for toric varieties

    Manuel Blickle. Cartier isomorphism for toric varieties. Journal of Algebra , 237(1):342–357, 2001

    work page 2001

  6. [6]

    Editura Academiei, Bucharest; John Wiley & Sons, London-New York-Sydney, 1976

    Constantin B˘ anic˘ a and Octavian St˘ an˘ a¸ sil˘ a.Algebraic methods in the global theory of complex spaces. Editura Academiei, Bucharest; John Wiley & Sons, London-New York-Sydney, 1976. Translated from the Romanian

    work page 1976

  7. [7]

    SYZ mirror symmetry for toric Calabi-Yau manifolds

    Kwokwai Chan, Siu-Cheong Lau, and Naichung Conan Leung. SYZ mirror symmetry for toric Calabi-Yau manifolds. J. Differential Geom., 90(2):177–250, 2012

    work page 2012

  8. [8]

    Geometry of the Maurer-Cartan equation near degenerate Calabi-Yau varieties

    Kwokwai Chan, Naichung C. Leung, and Ziming N. Ma. Geometry of the Maurer-Cartan equation near degenerate Calabi-Yau varieties. https://arxiv.org/abs/1902.11174, 2019

    work page Pith review arXiv 1902

Show all 55 references
  1. [9]

    Kwokwai Chan and Ziming N. Ma. Smoothing pairs over degenerate calabi-yau varieties. https://arxiv.org/abs/1910.08256

    1910 arXiv

  2. [10]

    Local mirror symmetry: calculations and interpretations

    Ti-Ming Chiang, Albrecht Klemm, Shing-Tung Yau, and Eric Zaslow. Local mirror symmetry: calculations and interpretations. Adv. Theor. Math. Phys. , 3(3):495–565, 1999

    1999

  3. [11]

    Mirror symmetry and Fano manifolds

    Tom Coates, Alessio Corti, Sergey Galkin, Vasily Golyshev, and Alexander Kasprzyk. Mirror symmetry and Fano manifolds. In European Congress of Mathematics , pages 285–300. Eur. Math. Soc., Z¨ urich, 2013

    2013

  4. [12]

    Mirror Symmetry and smoothing Gorenstein toric affine 3-folds

    Alessio Corti, Matej Filip, and Andrea Petracci. Mirror Symmetry and smoothing Gorenstein toric affine 3-folds. https://arxiv.org/abs/2006.16885, 2020

    2006 arXiv

  5. [13]

    Vladimir I. Danilov. The geometry of toric varieties. Akademiya Nauk SSSR i Moskovskoe Matematicheskoe Obshchestvo. Uspekhi Matematicheskikh Nauk, 33(2(200)):85–134, 247, 1978

    1978

  6. [14]

    Th´ eoreme de lefschetz et criteres de d´ eg´ en´ erescence de suites spectrales

    Pierre Deligne. Th´ eoreme de lefschetz et criteres de d´ eg´ en´ erescence de suites spectrales. Publications Math´ ematiques de l’Institut des Hautes´Etudes Scientifiques, 35(1):107–126, 1968

    1968

  7. [15]

    Rel` evements modulo p2 et d´ ecomposition du complexe de de Rham

    Pierre Deligne and Luc Illusie. Rel` evements modulo p2 et d´ ecomposition du complexe de de Rham. Inventiones mathematicae, 89(2):247–270, 1987

    1987

  8. [16]

    Deformations of Semi-Smooth varieties

    Barbara Fantechi, Marco Franciosi, and Rita Pardini. Deformations of Semi-Smooth varieties. https://arxiv.org/abs/2010.02296, 2020

    2010 arXiv

  9. [17]

    Log smooth deformation theory via Gerstenhaber algebras

    Simon Felten. Log smooth deformation theory via Gerstenhaber algebras. manuscripta math- ematica, 2020. https://link.springer.com/article/10.1007/s00229-020-01255-6

    2020 doi

  10. [18]

    Cosimplicial DGLAs in deforma- tion theory

    Domenico Fiorenza, Marco Manetti, and Elena Martinengo. Cosimplicial DGLAs in deforma- tion theory. Comm. Algebra, 40(6):2243–2260, 2012

    2012

  11. [19]

    Global smoothings of varieties with normal crossings

    Robert Friedman. Global smoothings of varieties with normal crossings. Ann. of Math. , 118(1):75–114, 1983

    1983

  12. [20]

    Towards mirror symmetry for varieties of general type

    Mark Gross, Ludmil Katzarkov, and Helge Ruddat. Towards mirror symmetry for varieties of general type. Adv. Math., 308:208–275, 2017. SMOOTHING TOROIDAL CROSSING SPACES 45

    2017

  13. [21]

    Mirror symmetry via logarithmic degeneration data

    Mark Gross and Bernd Siebert. Mirror symmetry via logarithmic degeneration data. I. Journal of Differential Geometry, 72(2):169–338, 2006

    2006

  14. [22]

    Mirror symmetry via logarithmic degeneration data, II

    Mark Gross and Bernd Siebert. Mirror symmetry via logarithmic degeneration data, II. Journal of Algebraic Geometry , 19(4):679–780, 2010

    2010

  15. [23]

    From real affine geometry to complex geometry

    Mark Gross and Bernd Siebert. From real affine geometry to complex geometry. Ann. of Math., 174:1301–1428, 2011

    2011

  16. [24]

    ´El´ ements de g´ eom´ etrie alg´ ebrique

    Alexander Grothendieck. ´El´ ements de g´ eom´ etrie alg´ ebrique. I. Le langage des sch´ emas.Institut des Hautes ´Etudes Scientifiques. Publications Math´ ematiques, 4:228, 1960

    1960

  17. [25]

    Techniques de construction en g´ eom´ etrie analytique

    Alexander Grothendieck. Techniques de construction en g´ eom´ etrie analytique. iii. Produits fibr´ es d’espaces analytiques.S´ eminaire Henri Cartan, 13(1):1–11, 1960-1961

    1960

  18. [26]

    ´El´ ements de g´ eom´ etrie alg´ ebrique

    Alexander Grothendieck. ´El´ ements de g´ eom´ etrie alg´ ebrique. IV. ´ etude locale des sch´ emas et des morphismes de sch´ emas. II. Institut des Hautes ´Etudes Scientifiques. Publications Math´ ematiques, 24:231, 1965

    1965

  19. [27]

    ´El´ ements de g´ eom´ etrie alg´ ebrique

    Alexander Grothendieck. ´El´ ements de g´ eom´ etrie alg´ ebrique. IV. ´ etude locale des sch´ emas et des morphismes de sch´ emas. III. Institut des Hautes ´Etudes Scientifiques. Publications Math´ ematiques, 28:255, 1966

    1966

  20. [28]

    Examples of non-K¨ ahler Calabi-Yau 3-folds with arbitrarily large b2

    Kenji Hashimoto and Taro Sano. Examples of non-K¨ ahler Calabi-Yau 3-folds with arbitrarily large b2. https://arxiv.org/abs/1902.01027, 2019

    1902 arXiv

  21. [29]

    Kov´ acs

    Brendan Hassett and S´ andor J. Kov´ acs. Reflexive pull-backs and base extension.Journal of Algebraic Geometry, 13(2):233–247, 2004

    2004

  22. [30]

    An algebraic proof of Bogomolov-Tian-Todorov theo- rem

    Donatella Iacono and Marco Manetti. An algebraic proof of Bogomolov-Tian-Todorov theo- rem. In Deformation spaces, Aspects Math., E40, pages 113–133. Vieweg + Teubner, Wies- baden, 2010

    2010

  23. [31]

    Frobenius and Hodge degeneration

    Luc Illusie. Frobenius and Hodge degeneration. introduction to hodge theory. translated from the 1996 french original by james lewis and peters. smf/ams texts and monographs, 8. Amer. Math. Soc., Providence, RI , 2002

    1996

  24. [32]

    Log smooth deformation theory

    Fumiharu Kato. Log smooth deformation theory. Tohoku Mathematical Journal, Second Series, 48(3):317–354, 1996

    1996

  25. [33]

    Log smooth deformation and moduli of log smooth curves

    Fumiharu Kato. Log smooth deformation and moduli of log smooth curves. International Journal of Mathematics , 11(02):215–232, 2000

    2000

  26. [34]

    Logarithmic structures of Fontaine-Illusie

    Kazuya Kato. Logarithmic structures of Fontaine-Illusie. In Algebraic analysis, geometry, and number theory (Baltimore, MD, 1988), pages 191–224. Johns Hopkins Univ. Press, Baltimore, MD, 1989

    1988

  27. [35]

    Nicholas M. Katz. Nilpotent connections and the monodromy theorem: Applications of a result of Turrittin. Inst. Hautes ´Etudes Sci. Publ. Math. , 39:175–232, 1970

    1970

  28. [36]

    Hodge theoretic aspects of mirror symmetry

    Ludmil Katzarkov, Maxim Kontsevich, and Tony Pantev. Hodge theoretic aspects of mirror symmetry. In From Hodge theory to integrability and TQFT tt*-geometry , volume 78 of Proc. Sympos. Pure Math., pages 87–174. Amer. Math. Soc., Providence, RI, 2008

    2008

  29. [37]

    Logarithmic deformations of normal crossing varieties and smoothing of degenerate Calabi-Yau varieties

    Yujiro Kawamata and Yoshinori Namikawa. Logarithmic deformations of normal crossing varieties and smoothing of degenerate Calabi-Yau varieties. Invent. Math. , 118(3):395–409, 1994

    1994

  30. [38]

    d-semistable Calabi–Yau threefolds of type III

    Nam-Hoon Lee. d-semistable Calabi–Yau threefolds of type III. manuscripta mathematica, 161:257–281, December 2020

    2020

  31. [39]

    An example of non-K¨ ahler Calabi-Yau fourfold

    Nam-Hoon Lee. An example of non-K¨ ahler Calabi-Yau fourfold. https://arxiv.org/abs/ 2102.12656, 2021

    2021 arXiv

  32. [40]

    Applications of the Affine Structures on the Teichm¨ uller Spaces, volume 154 of Springer Proc

    Kefeng Liu, Yang Shen, and Xiaojing Chen. Applications of the Affine Structures on the Teichm¨ uller Spaces, volume 154 of Springer Proc. Math. Stat. Springer, [Tokyo], 2016. 46 SIMON FELTEN, MATEJ FILIP, HELGE RUDDAT

    2016

  33. [41]

    Relative rounding in toric and logarithmic geometry

    Chikara Nakayama and Arthur Ogus. Relative rounding in toric and logarithmic geometry. Geometry & Topology, 14(4):2189–2241, 2010

    2010

  34. [42]

    Lectures on logarithmic algebraic geometry , volume 178 of Cambridge Studies in Advanced Mathematics

    Arthur Ogus. Lectures on logarithmic algebraic geometry , volume 178 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 2018

    2018

  35. [43]

    Martin C. Olsson. Universal log structures on semi-stable varieties. Tohoku Math. J. (2) , 55(3):397–438, 2003

    2003

  36. [44]

    Local uniqueness of approximations and finite determinacy of log morphisms

    Helge Ruddat. Local uniqueness of approximations and finite determinacy of log morphisms. https://arxiv.org/abs/1812.02195

    arXiv

  37. [45]

    Log Hodge groups on a toric Calabi-Yau degeneration

    Helge Ruddat. Log Hodge groups on a toric Calabi-Yau degeneration. In Mirror Symme- try and Tropical Geometry , number 527 in Contemporary Mathematics, Amer. Math. Soc., Providence, RI, pages 113–164, 2010

    2010

  38. [46]

    Period integrals from wall structures via tropical cycles, canonical coordinates in mirror symmetry and analyticity of toric degenerations

    Helge Ruddat and Bernd Siebert. Period integrals from wall structures via tropical cycles, canonical coordinates in mirror symmetry and analyticity of toric degenerations. Publ. Math. Inst. Hautes ´Etudes Sci., 132:1–82, 2020

    2020

  39. [47]

    Toroidal crossings and logarithmic structures

    Stefan Schr¨ oer and Bernd Siebert. Toroidal crossings and logarithmic structures. Advances in Mathematics, 202(1):189–231, May 2006

    2006

  40. [48]

    Steenbrink

    Joseph H.M. Steenbrink. Mixed Hodge structure on the vanishing cohomology. In Real and complex singularities (Proc. Ninth Nordic Summer School/NAVF Sympos. Math., Oslo, 1976), pages 525–563, 1977

    1976

  41. [49]

    Steenbrink

    Joseph H.M. Steenbrink. Logarithmic embeddings of varieties with normal crossings and mixed Hodge structures. Math. Ann., 301(1):105–118, 1995

    1995

  42. [50]

    p-adic ´ etale cohomology and crystalline cohomology in the semi-stable reduction case

    Takeshi Tsuji. p-adic ´ etale cohomology and crystalline cohomology in the semi-stable reduction case. Invent. Math., 137(2):233–411, 1999

    1999

  43. [51]

    Poincar´ e duality for logarithmic crystalline cohomology

    Takeshi Tsuji. Poincar´ e duality for logarithmic crystalline cohomology. Compositio Math., 118(1):11–41, 1999

    1999

  44. [52]

    Saturated morphisms of logarithmic schemes

    Takeshi Tsuji. Saturated morphisms of logarithmic schemes. Tunis. J. Math. , 1(2):185–220, 2019

    2019

  45. [53]

    Smoothings of Fano varieties with normal crossing singularities

    Nikolaos Tziolas. Smoothings of Fano varieties with normal crossing singularities. Proc. Edinb. Math. Soc. (2) , 58(3):787–806, 2015

    2015

  46. [54]

    Global smoothings of degenerate K3 surfaces with triple points

    Naoto Yotsutani. Global smoothings of degenerate K3 surfaces with triple points. 2020. https://arxiv.org/abs/2004.03162

    2020 arXiv

  47. [55]

    Notes on diffeomorphism classes of the doubling Calabi-Yau threefolds

    Naoto Yotsutani. Notes on diffeomorphism classes of the doubling Calabi-Yau threefolds. https://arxiv.org/abs/2101.11841, 2021. JGU Mainz, Institut f ¨ur Mathematik, Staudingerweg 9, 55128 Mainz, Germany Email address : sfelten@uni-mainz.de Email address : ruddat@uni-mainz.de U...

    2021 arXiv

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.