Logarithmic Hilbert schemes of curves as weighted blow-ups and their integral Chow rings
Pith reviewed 2026-05-20 01:19 UTC · model grok-4.3
The pith
The logarithmic Hilbert scheme of points on a smooth pointed curve is an iterated weighted blow-up of the symmetric product of the curve.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The logarithmic Hilbert scheme of points on a smooth pointed curve is an iterated weighted blow-up of the symmetric product of the underlying curve, with the blow-up centers, weights, and their modular interpretations given explicitly.
What carries the argument
Iterated weighted blow-up along centers in the symmetric product that correspond to loci of points with specified coincidence orders, equipped with weights that reflect the transverse intersection conditions.
If this is right
- The integral Chow rings of the logarithmic Hilbert schemes are expressed directly in terms of the Chow rings of the corresponding symmetric products.
- The logarithmic Hilbert scheme of toric projective line is recovered as a toric stack.
- Intersection numbers and other cycle classes on these spaces become computable from data on the symmetric products.
Where Pith is reading between the lines
- The same weighted blow-up description may extend to logarithmic Hilbert schemes on higher-genus curves or with marked points in different configurations.
- Modular interpretations of the centers could be used to compare logarithmic and ordinary Hilbert schemes in degeneration families.
Load-bearing premise
The integral Chow ring formula for weighted blow-ups together with the weighted analogue of Castelnuovo's criterion apply directly to the centers and weights that appear in the logarithmic Hilbert scheme construction.
What would settle it
An explicit computation of the integral Chow ring for the logarithmic Hilbert scheme of two points on an elliptic curve that fails to match the ring obtained by applying the weighted blow-up formula to the symmetric square.
read the original abstract
The logarithmic Hilbert scheme of a logarithmic curve parametrizes subschemes on the expanded degenerations of the curve that are transverse to the boundary. We prove that the logarithmic Hilbert scheme of points on a smooth pointed curve is an iterated weighted blow-up of the symmetric product of the underlying curve. In doing so, we explicitly identify the blow-up centers, weights, and give them modular interpretations. As applications, we calculate their integral Chow rings in terms of those of the symmetric products. Key ingredients in our work include two recent results: the integral Chow ring formula of weighted blow-ups and a weighted analogue of Castelnuovo's criterion for blow-downs. We recover the folklore result the logarithmic Hilbert scheme of toric $\mathbb{P}^1$ is a toric stack, and the Appendix by Dhruv Ranganathan outlines a complementary approach using Chow quotients.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves that the logarithmic Hilbert scheme of points on a smooth pointed curve is an iterated weighted blow-up of the symmetric product of the underlying curve. It explicitly identifies the blow-up centers and weights, gives them modular interpretations, and uses this identification to compute the integral Chow rings of these schemes in terms of those of the symmetric products. The proof invokes two recent external results: the integral Chow ring formula for weighted blow-ups and a weighted analogue of Castelnuovo's criterion for blow-downs. The paper recovers the folklore result that the logarithmic Hilbert scheme of toric P^1 is a toric stack and includes an appendix by Dhruv Ranganathan outlining a complementary approach via Chow quotients.
Significance. If the central identification holds, the result supplies an explicit geometric construction for logarithmic Hilbert schemes of points, enabling direct computation of their integral Chow rings from known data on symmetric products. The modular interpretations of the centers and weights add conceptual value by linking the blow-up data to the geometry of expanded degenerations and transversality conditions. This bridges logarithmic geometry with techniques from weighted blow-ups and could inform further work on moduli spaces of curves and subschemes in logarithmic settings.
major comments (2)
- [Sections describing the blow-up centers and the invocation of the weighted Castelnuovo criterion] The application of the weighted Castelnuovo criterion (one of the two key external results) to the identified centers requires explicit verification that these centers are regularly embedded in the symmetric product and that their normal bundles satisfy the precise weight conditions for the blow-down to be an isomorphism outside the center. The modular interpretation via subschemes transverse to the boundary on expanded curves does not automatically guarantee these regularity hypotheses without additional local computations or checks in the degeneration.
- [Main theorem and construction of the iterated weighted blow-ups] The proof that the logarithmic Hilbert scheme is recovered exactly by the iterated weighted blow-ups depends on confirming that the chosen centers and weights match the modular data of the logarithmic Hilbert scheme without post-hoc adjustments; this verification step, including absence of extra regularity conditions in the expanded degeneration, is load-bearing for the central claim.
minor comments (2)
- [Introduction and key ingredients paragraph] Clarify the precise statements of the hypotheses from the two cited recent results when they are applied, to make the verification steps fully transparent.
- [Preliminaries] Ensure that notation for logarithmic structures, expanded degenerations, and transversality is consistent and defined before first use in the main body.
Simulated Author's Rebuttal
We thank the referee for their careful reading of the manuscript and for identifying points where additional explicit verification would strengthen the argument. We agree that the regularity hypotheses for the weighted Castelnuovo criterion and the precise matching of centers and weights to the modular data are load-bearing. In the revised version we have added local computations and a dedicated subsection clarifying these verifications. The main results and constructions remain unchanged.
read point-by-point responses
-
Referee: [Sections describing the blow-up centers and the invocation of the weighted Castelnuovo criterion] The application of the weighted Castelnuovo criterion (one of the two key external results) to the identified centers requires explicit verification that these centers are regularly embedded in the symmetric product and that their normal bundles satisfy the precise weight conditions for the blow-down to be an isomorphism outside the center. The modular interpretation via subschemes transverse to the boundary on expanded curves does not automatically guarantee these regularity hypotheses without additional local computations or checks in the degeneration.
Authors: We thank the referee for this observation. The modular interpretation via transverse subschemes on expanded degenerations supplies the geometric origin of the centers and weights, but we agree that it does not by itself constitute a complete local verification of regular embedding and normal-bundle weights. In the revised manuscript we have inserted explicit local computations (now in an expanded Section 3.2) that confirm the centers are regularly embedded in the symmetric product and that the normal bundles carry the precise weights required by the weighted Castelnuovo criterion. These calculations are performed in étale charts adapted to the expanded degeneration and show that the blow-down is an isomorphism away from the center, thereby justifying the direct application of the external result. revision: yes
-
Referee: [Main theorem and construction of the iterated weighted blow-ups] The proof that the logarithmic Hilbert scheme is recovered exactly by the iterated weighted blow-ups depends on confirming that the chosen centers and weights match the modular data of the logarithmic Hilbert scheme without post-hoc adjustments; this verification step, including absence of extra regularity conditions in the expanded degeneration, is load-bearing for the central claim.
Authors: We agree that the exact recovery of the logarithmic Hilbert scheme by the iterated weighted blow-ups is the central claim and requires a transparent verification that the centers and weights are determined directly by the modular data. The construction proceeds by identifying each successive center with the locus of subschemes that fail transversality to the boundary divisor at a given multiplicity; this identification is canonical and introduces no post-hoc adjustments. To make the absence of extra regularity conditions explicit, we have added a new subsection (Section 4.1) that records the correspondence between the blow-up data and the transversality conditions on expanded curves, confirming that the only regularity hypotheses used are those already present in the definition of the logarithmic Hilbert scheme. This subsection also verifies that the iteration terminates precisely when all points are transverse, recovering the scheme without further conditions. revision: yes
Circularity Check
No circularity: central identification derived from scheme theory plus external theorems
full rationale
The paper proves the logarithmic Hilbert scheme of points equals an iterated weighted blow-up of the symmetric product by explicitly constructing centers, weights, and modular interpretations from the definition of logarithmic subschemes transverse to the boundary on expanded degenerations. It then invokes two cited external results (integral Chow ring formula for weighted blow-ups and weighted Castelnuovo criterion) whose statements are independent of the present modular identification. No equation or step reduces by construction to a fitted parameter, self-citation chain, or renamed input; the derivation remains self-contained against standard scheme-theoretic benchmarks.
Axiom & Free-Parameter Ledger
axioms (3)
- standard math Standard axioms of schemes, blow-ups, and Chow rings in algebraic geometry
- domain assumption The integral Chow ring formula for weighted blow-ups holds in the stated generality
- domain assumption The weighted analogue of Castelnuovo's criterion applies to the identified centers
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Theorem A: map Hilb_n(C|D) → Sym^n(C) factors through sequence of ℓ·n weighted blow-ups... centers Z_i and weights (1,...,i)
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Theorem D: Chow ring presentation CH^*(Hilb_n(C|D)≤i) = CH^*(Sym^n(C))[ϵ_j] / (Q-polynomials, ker(s^*)·ϵ_j)
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
Algebra Number Theory , FJOURNAL =
Arena, Veronica and Obinna, Stephen , year =. The integral. Algebra. doi:10.2140/ant.2025.19.1231 , number =
-
[2]
On weighted blow-ups and their intersection theory , author=. 2024 , note=
work page 2024
-
[3]
Weighted blow-up formula with rational coefficients , author =. 2026 , note =
work page 2026
-
[4]
A criterion for smooth weighted blow-downs
A criterion for smooth weighted blow-downs , author=. 2023 , month = oct, eid =. 2310.15076 , archivePrefix=
work page internal anchor Pith review Pith/arXiv arXiv 2023
-
[5]
Li, Jun and Wu, Baosen , year =. Good degeneration of. Communications in Analysis and Geometry , publisher =. doi:10.4310/cag.2015.v23.n4.a5 , number =
-
[6]
Maulik, Davesh and Ranganathan, Dhruv , year=. Logarithmic. doi:10.1017/fmp.2024.1 , journal=
- [7]
-
[8]
Kennedy-Hunt, Patrick , year =. Logarithmic. doi:10.1090/tran/9026 , journal =
- [9]
- [10]
-
[11]
Functorial embedded resolution via weighted blowings up , volume =
Abramovich, Dan and Temkin, Michael and Wlodarczyk, Jaroslaw , year =. Functorial embedded resolution via weighted blowings up , volume =. Algebra
-
[12]
Duke Mathematical Journal , number =
Tom Graber and Ravi Vakil , title =. Duke Mathematical Journal , number =. 2005 , doi =
work page 2005
-
[13]
Quasisymmetric functions and the
Oesinghaus, Jakob , year =. Quasisymmetric functions and the. Research in the Mathematical Sciences , publisher =. doi:10.1007/s40687-018-0168-7 , number =
-
[14]
Moduli spaces of weighted pointed stable curves , journal =. 2003 , issn =. doi:https://doi.org/10.1016/S0001-8708(02)00058-0 , url =
-
[15]
Journal of Differential Geometry , number =
Jun Li , title =. Journal of Differential Geometry , number =. 2001 , doi =
work page 2001
-
[16]
Compositio Mathematica , author=
Compactifications of reductive groups as moduli stacks of bundles , volume=. Compositio Mathematica , author=. 2016 , pages=. doi:10.1112/S0010437X15007484 , number=
-
[17]
Cavalieri, Renzo and Chan, Melody and Ulirsch, Martin and Wise, Jonathan , title =. Forum Math. Sigma , issn =. 2020 , language =. doi:10.1017/fms.2020.16 , keywords =
-
[18]
Duke Mathematical Journal , number =
Shun. Duke Mathematical Journal , number =. 1996 , doi =
work page 1996
-
[19]
Laumon, Gérard and Moret-Bailly, Laurent , year =. Champs alg. doi:10.1007/978-3-540-24899-6 , publisher =
-
[20]
Yin, Qizheng , year =. Cycles on curves and. doi:10.14231/ag-2016-009 , journal =
-
[21]
Jayant Shah , journal =. A
-
[22]
Samir Canning and Dragos Oprea and Rahul Pandharipande , pages =. The. Journal für die reine und angewandte Mathematik (Crelles Journal) , doi =
-
[23]
Ascher, Kenneth and DeVleming, Kristin and Liu, Yuchen , year =. Wall crossing for. Proceedings of the London Mathematical Society , publisher =. doi:10.1112/plms.12615 , number =
-
[24]
Compositio Mathematica , author=
(. Compositio Mathematica , author=. 2007 , pages=. doi:10.1112/S0010437X06002442 , number=
-
[25]
Parabolic sheaves on logarithmic schemes , journal =
Niels Borne and Angelo Vistoli , keywords =. Parabolic sheaves on logarithmic schemes , journal =. 2012 , issn =. doi:https://doi.org/10.1016/j.aim.2012.06.015 , url =
-
[26]
Kempf, G. and Knudsen, F. and Mumford, D. and Saint-Donat, B. , year =. Toroidal Embeddings I , ISBN =. doi:10.1007/bfb0070318 , journal =
-
[27]
Abramovich, D. and Karu, K. , year =. Weak semistable reduction in characteristic 0 , volume =. Inventiones mathematicae , publisher =. doi:10.1007/s002229900024 , number =
-
[28]
Universal stacky semistable reduction , volume =
Molcho, Sam , year =. Universal stacky semistable reduction , volume =. Israel Journal of Mathematics , publisher =. doi:10.1007/s11856-021-2118-0 , number =
-
[29]
Logarithmic resolution via multi-weighted blow-ups , volume =
Abramovich, Dan and Quek, Ming Hao , year =. Logarithmic resolution via multi-weighted blow-ups , volume =. doi:10.46298/epiga.2024.9793 , journal =
-
[30]
The Logarithmic Quot space: foundations and tropicalisation. arXiv e-prints , keywords =. doi:10.48550/arXiv.2308.14470 , archivePrefix =. 2308.14470 , primaryClass =
-
[31]
Quot schemes of curves and surfaces: virtual classes, integrals,
Oprea, Dragos and Pandharipande, Rahul , year =. Quot schemes of curves and surfaces: virtual classes, integrals,. Geometry. doi:10.2140/gt.2021.25.3425 , number =
-
[32]
Logarithmic enumerative geometry for curves and sheaves , volume =
Maulik, Davesh and Ranganathan, Dhruv , year =. Logarithmic enumerative geometry for curves and sheaves , volume =. Cambridge Journal of Mathematics , publisher =. doi:10.4310/cjm.250319031722 , number =
-
[33]
Mathematical Proceedings of the Cambridge Philosophical Society , author=
The. Mathematical Proceedings of the Cambridge Philosophical Society , author=. 1962 , pages=. doi:10.1017/S0305004100040573 , number=
-
[34]
Abramovich, Dan and Olsson, Martin and Vistoli, Angelo , year =. Twisted stable maps to tame. Journal of Algebraic Geometry , publisher =. doi:10.1090/s1056-3911-2010-00569-3 , number =
-
[35]
Journal of the Institute of Mathematics of Jussieu , author=
Algebraic cycles on the relative symmetric powers and on the relative. Journal of the Institute of Mathematics of Jussieu , author=. 2010 , pages=. doi:10.1017/S147474801000006X , number=
-
[36]
Bayer, A. and Manin, Yu. , year =. Moscow Mathematical Journal , publisher =. doi:10.17323/1609-4514-2009-9-1-3-32 , number =
-
[37]
Abramovich, Dan and Cadman, Charles and Fantechi, Barbara and Wise, Jonathan , year =. Expanded. Communications in Algebra , publisher =. doi:10.1080/00927872.2012.658589 , number =
-
[38]
Toroidal orbifolds, destackification, and
Abramovich, Dan and Temkin, Michael and Włodarczyk, Jarosław , year =. Toroidal orbifolds, destackification, and. Algebra. doi:10.2140/ant.2020.14.2001 , number =
- [39]
-
[40]
Shafi, Qaasim and Tschanz, Calla , title =. arXiv e-prints , keywords =
-
[41]
Cohomology and base change for algebraic stacks , volume =
Hall, Jack , year =. Cohomology and base change for algebraic stacks , volume =. Mathematische Zeitschrift , doi =
-
[42]
Logarithmic stable toric varieties and their moduli , ISSN =
Ascher, Kenneth and Molcho, Samouil , year =. Logarithmic stable toric varieties and their moduli , ISSN =. doi:10.14231/ag-2016-014 , journal =
-
[43]
The Annals of Mathematics , publisher =
Alexeev, Valery , year =. The Annals of Mathematics , publisher =. doi:10.2307/3062130 , number =
-
[44]
Kapranov, M. M. and Sturmfels, B. and Zelevinsky, A. V. , year =. Quotients of toric varieties , volume =. Mathematische Annalen , publisher =. doi:10.1007/bf01459264 , number =
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.