REVIEW
Euler Characteristics of Crepant Resolutions of Weierstrass Models
Algebraic Geometry · Submitted 1 Mar 2017 · 74 references
Pith's verdict: The pushforward theorem is a real and clean generalization, but the abstract's claim to prove BGUW is contradicted by the paper's own E8 caveat, and the crepancy of the longer blowup sequences is imported rather than checked.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
A single pushforward identity, built on Jacobi's partial fractions, computes Euler characteristics of crepant resolutions of Weierstrass models without ever resolving the fibers case by case.
The reading
What carries the argument
Two identities do all the work. The first is Jacobi's partial-fraction formula for complete homogeneous symmetric polynomials, $h_r(x_1,6.1em dots,x_d) = 6.1em sum_{6.1em ell} x_6.1em ell^{r+d-1} 6.1em7prod_{m6.1em e6.1em ell} 1/(x_6.1em ell - x_m)$, proved in Appendix A by residues. Combined with Aluffi's compact formula for the Chern class of a blowup along a transversal complete intersection, it gives the monomial pushforward $f_*E^n = 6.1em sum_6.1em ell Z_6.1em ell^n M_6.1em ell$, which linearity extends to arbitrary analytic $Q$. The second is the projective-bundle pushforward $6.1em pi_*6.1em Q(H) = -2Q(H)H^2|_{H=-2L} + 3Q(H)H^2|_{H=-3L} + Q(0)6L^2$ for $X_0 = 6.1em9{P}[6.1em8{O}_B 6.1em9 6.1em8{L}^{6.1em9 2} 6.1em9 6.1em8{L}^{6.1em9 3}] 6.1em B$, which carries the class from the ambient Weierstrass bundle down to the base. Chained together, they reduce the Euler characteristic of a resolved model to a residue-like evaluation at three points.
Extended reading notes
Core claim
The central claim is Theorem 1.8: if $Z 6.1em X$ is a complete intersection of $d$ nonsingular hypersurfaces $Z_1, 6.1em dots, Z_d$ meeting transversally, and $f: 6.1em X 6.1em X$ is the blowup with exceptional divisor $E$, then for any formal power series $6.1em Q(t) = 6.1em a f^*Q_a t^a$ with coefficients pulled back from $X$, the pushforward is $f_*6.1em Q(E) = 6.1em sum_{6.1em ell=1}^{d} Q(Z_6.1em ell) M_6.1em ell$ with $M_6.1em ell = 6.1em7prod_{m6.1em e6.1em ell} Z_m/(Z_m - Z_6.1em ell)$. Applied to the blowup sequences resolving the Tate models, this produces, for each model, a rational generating function $6.1em chi(Y) = 6.1em int_B Q(L,S) c(B)$ whose coefficient of $t^d$ is the Euler characteristic of the resolution over a $d$-dimensional base. From those generating functions the paper reads off Euler characteristics for elliptic threefolds and fourfolds, Hodge numbers for Calabi-Yau threefolds via Shioda-Tate-Wazir and $6.1em chi = 2(h^{1,1} - h^{2,1})$, and values for Calabi-Yau fourfolds that it reports as confirming the Blumenhagen-Grimm-Jurke-Weigand conjecture for $SU(2)$ through $SU(5)$, $E_6$, $E_7$ and $E_8$ (the introduction notes the $E_8$ case is a limiting one where the match is stated separately).
Load-bearing premise
The tables assume that each listed sequence of blowups really is a crepant resolution of the corresponding singular Weierstrass model, and the paper says so itself in Remark 6.2, noting that Theorem 6.1 does not address crepancy and that conditions on the Weierstrass coefficients, and sometimes on the dimension of the base, are usually required.
Editorial extensions
If this is right
- Every Tate model whose resolution is one of the listed blowup sequences gets a closed-form Euler characteristic generating function, so a model builder can read the answer off a table instead of running the resolution.
- Because the generating function depends only on the sequence of blowups, distinct models with different Kodaira fibers and different gauge groups share an Euler characteristic whenever they share a resolution sequence; the paper exhibits these coincidences in its tables.
- For Calabi-Yau threefolds, the Hodge numbers follow from the Euler characteristic together with the rank of the gauge group, giving $h^{1,1} = h^{1,1}(B) + f + 1$ and $h^{2,1} = h^{1,1}(Y) - 6.1em frac{1}{2}6.1em chi(Y)$.
- For Calabi-Yau fourfolds the computed Euler characteristics reproduce the values conjectured from F-theory/heterotic duality, which the paper presents as a proof of that conjecture for the listed groups.
- The pushforward theorem is stated for arbitrary smooth complete-intersection centers, so it applies outside Weierstrass geometry to any blowup of that shape.
Reading between the lines
- If the formula is as general as stated, the same substitution trick should compute Chern-class pushforwards for any resolution built from transversal complete-intersection centers, including the $I_n$ and $I^*_n$ families the paper defers to a follow-up; the deferred cases are a natural test of whether the bookkeeping really scales.
- The observation that the answer tracks the blowup sequence rather than the fiber type suggests a coarser invariant of the resolution tree than the Kodaira classification, which would be worth stating as a standalone combinatorial statement about sequences of centers.
- The paper's own remark that the theorem does not certify crepancy means the tables are, strictly, computations conditional on a geometric hypothesis; a reader who wants the fourfold conjecture settled unconditionally would need that hypothesis checked model by model.
- Since the method never uses the Calabi-Yau condition, the generating functions could be compared against anomaly-polynomial computations for six-dimensional theories over non-Calabi-Yau bases as an independent cross-check.
Original abstract
Based on an identity of Jacobi, we prove a simple formula that computes the pushforward of analytic functions of the exceptional divisor of a blowup of a projective variety along a smooth complete intersection with normal crossing. We apply this pushforward formula to derive generating functions for Euler characteristics of crepant resolutions of singular Weierstrass models given by Tate's algorithm. Since these Euler characteristics depend only on the sequence of blowups and not on the Kodaira fiber itself, nor the associated group, several distinct Tate models have the same Euler characteristic. In the case of elliptic Calabi-Yau threefolds, we also compute the Hodge numbers. For elliptically fibered Calabi-Yau fourfolds, our results also prove a conjecture of Blumenhagen-Grimm-Jurke-Weigand based on F-theory/heterotic string duality.
The compiled record
The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
The abstract, sentence by sentence
Based on an identity of Jacobi, we prove a simple formula that computes the pushforward of analytic functions of the exceptional divisor of a blowup of a projective variety along a smooth complete intersection with normal crossing. We apply this pushforward formula to derive generating functions for Euler characteristics of crepant resolutions of singular Weierstrass models given by Tate's algorithm. Since these Euler characteristics depend only on the sequence of blowups and not on the Kodaira fiber itself, nor the associated group, several distinct Tate models have the same Euler characteristic. In the case of elliptic Calabi-Yau threefolds, we also compute the Hodge numbers. For elliptically fibered Calabi-Yau fourfolds, our results also prove a conjecture of Blumenhagen-Grimm-Jurke-Weigand based on F-theory/heterotic string duality.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | Based on an identity of Jacobi, we prove a simple formula that computes the pushforward of analytic functions of the exceptional divisor of a blowup of a projective variety along a smooth complete intersection with normal crossing. | contribution 0.72 | 0.94 | 0.32 | asserted 1.00 |
| s1 | We apply this pushforward formula to derive generating functions for Euler characteristics of crepant resolutions of singular Weierstrass models given by Tate's algorithm. | contribution 0.62 | 0.96 | 0.28 | asserted 1.00 |
| s2 | Since these Euler characteristics depend only on the sequence of blowups and not on the Kodaira fiber itself, nor the associated group, several distinct Tate models have the same Euler characteristic. | interpretation 0.63 | 0.76 | 0.17 | asserted 1.00 |
| s3 | In the case of elliptic Calabi-Yau threefolds, we also compute the Hodge numbers. | result 0.76 | 0.94 | 0.08 | asserted 1.00 |
| s4 | For elliptically fibered Calabi-Yau fourfolds, our results also prove a conjecture of Blumenhagen-Grimm-Jurke-Weigand based on F-theory/heterotic string duality. | result 0.93 | 0.91 | 0.24 | asserted 1.00 |
What was examined, and what was not
- arXiv listing abstract v4
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
Figures
Figures reproduced from arXiv:1703.00905 by the authors.
References
How the literature uses it
43 arXiv papers cite this in 155 sentences
Papers citing it · 78 sentences without a confident label
Contests it 1 paper
-
Since the base surface $B$ is rational, it follows from Noether's formula that $h^1,1(B)=10-K_B^2$, thus [equation] which shows an inaccuracy in [ref] , which lists $h^1, 1(W)$ as $14 - K_B^2$.
On a Lefschetz-type phenomenon for elliptic Calabi--Yaus · Explicit verification of LTP in the SO(5) case · contest 0.94
Builds on it 3 papers
-
Motivated by computing topological intersection numbers of crepant resolutions of singular Calabi-Yau spaces relevant for string theory (in particular, F-theory) compactifications to various dimensions, we proved in <ref> a generalization of the pushforward formulae of [ref] .
Intersection Theory on Weighted Blowups of F-theory Vacua · Discussion and Future Directions · 0.91
-
We continue the work started in [ref] by providing additional characteristic numbers of $G$-models.
Characteristic numbers of crepant resolutions of Weierstrass models · Introduction · 1.00
-
Observe that <ref> is a simple adaptation of the derivation in Theorem 1.11 of [ref] to the case where the line bundles $_a$ are all distinct.
Chiral matter multiplicities and resolution-independent structure in 4D F-theory models · Pushforward maps for resolutions of singular elliptic fibrations · 0.97
Uses its method or tool 19 papers
-
Using the main theorem of [ref] , we determine a generating function for the Euler characteristic of SO($4$) and Spin($4$)-models (see Theorem [ref] and Theorem [ref]).
Flopping and Slicing: SO(4) and Spin(4)-models · SO($4$) and Spin($4$)-models · 0.98
-
We have presented an efficient algorithm for computing topological intersection numbers of divisors $D̂_I$ in a resolved elliptic fibration $X^(n)$ defined over an arbitrary smooth projective base of complex dimension $n - 1$, where the explicit computation of intersection numbers is carried out by using the methods of [ref] to compute their pushforward to the Chow ring of the base and evaluating the intersection numbers in terms of specific intersection products of divisors of the base.
Generating functions for intersection products of divisors in resolved F-theory models · Discussion and future directions · 0.99
-
Then, following the methods of [ref] , we compute the pushforward of the Euler characteristic of $D$ to $B_3$ to recover the missing Hodge number.[In this work, we assume that moduli are at a generic point in the moduli space to ensure that the dimension of the intermediate Jacobian we compute captures all possible moduli dependence.]
On the intermediate Jacobian of M5-branes · Introduction · 1.00
Uses its data or values 5 papers
-
As computed in [ref] , in both cases we have [equation] The brane spectrum in the total space of $ρ:Z→B$ associated with the orientifold limit of $F_4$ fibrations constructed in [ref] consists of a single orientifold hyperplane supported on a smooth divisor $O$ given by $ζ=0$, a stack of 6 branes supported on $O$ (which may be viewed as brane-image-brane pairs), and a stack of two branes supported on a smooth divisor $D$ given by $η=0$.
Orientifold limits of singular $F$-theory vacua · The SO(6) and $F_4$ universal tadpole relations · 0.82
-
It follows that in the Calabi-Yau fourfold case, all Chern and Pontryagin numbers can be read from the computation of the Euler characteristic of $G$-models in [ref] as we have [ref] [equation] For $G$-models, the Euler characteristic of a Calabi-Yau fourfold is given in Table 10 of [ref] , which we reproduce here for completeness.
Characteristic numbers of crepant resolutions of Weierstrass models · The Calabi-Yau fourfold case · 0.90
-
With the gauge group E$_7$, we have $n_V^(6)=133$ and $h^2,1(Y)$ was computed in [ref] for any crepant resolution of a Weierstrass model of an E$_7$-model: [equation] For E$_7$, the normalization factor $λ$ is $12$.
D$_4$-flops of the E$_7$-model · Counting hypermultiplets in $6d$ using anomaly cancellation conditions · 0.98
Cites it as background 12 papers
-
Each $X$ we consider admits singularities over a smooth divisor $S⊂B$ which determines an associated gauge group $𝒢_X$ (to see how the singularities of $X$ determine $𝒢_X$, one may consult for example [ref] ).
Orientifold limits of singular $F$-theory vacua · The singular $F$-theory vacua under consideration · 0.88
-
A gauge group $𝒢_Y$ is then associated with $Y$ as follows (see [ref] for further details).
Stringy Hirzebruch classes of Weierstrass fibrations · Weierstrass fibrations in $F$-theory · 0.85
-
The key to all these developments is a new pushforward theorem that streamlines computations in the intersection ring of a blowup with a center that is a smooth complete intersection [ref] .
Characteristic numbers of elliptic fibrations with non-trivial Mordell-Weil groups · Introduction · 0.84
What it cites · 10 sentences without a confident label
Cites as background 2 papers
-
The study of crepant resolutions of Weierstrass models, their fibral structure, and their flop transitions is an area of common interest to algebraic geometers, number theorists, and string theorists [ref] .
M-theory on Elliptic Calabi-Yau Threefolds and 6d Anomalies · Introduction · 0.98
-
For additional examples of flops involving Weierstrass models, see [ref] .
The Geometry of G$_2$, Spin(7), and Spin(8)-models · Introduction · 0.83
Discussion
Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.