{"paper":{"title":"Euler Characteristics of Crepant Resolutions of Weierstrass Models","arxiv_id":"1703.00905","primary_cat":"math.AG","submitted_at":"2017-03-01T19:00:00+00:00","version_compiled":"v4"},"notice":"Every quoted sentence is the authors' text from the arXiv listing abstract. Labels and probabilities are the outputs of classifier-1.13.0 on the question bank abstract-p1-20260923, exactly as returned. No sentence in this record was written by a language model.","schema":"pith.compiled-record/v0","status":"compiled","abstract":{"source":"arXiv listing abstract v4","sentences":[{"i":0,"p":0.72,"id":"s0","own":true,"role":"contribution","text":"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.","hedge":{"p":1.0,"label":"asserted"},"own_p":0.94,"main_claim_p":0.32,"quantitative":false,"quantitative_p":0.06,"role_probabilities":{"gap":0.0,"method":0.08,"result":0.2,"background":0.0,"limitation":0.0,"future_work":0.0,"contribution":0.72,"interpretation":0.0}},{"i":1,"p":0.62,"id":"s1","own":true,"role":"contribution","text":"We apply this pushforward formula to derive generating functions for Euler characteristics of crepant resolutions of singular Weierstrass models given by Tate's algorithm.","hedge":{"p":1.0,"label":"asserted"},"own_p":0.96,"main_claim_p":0.28,"quantitative":false,"quantitative_p":0.04,"role_probabilities":{"gap":0.0,"method":0.14,"result":0.24,"background":0.0,"limitation":0.0,"future_work":0.0,"contribution":0.62,"interpretation":0.0}},{"i":2,"p":0.63,"id":"s2","own":true,"role":"interpretation","text":"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.","hedge":{"p":1.0,"label":"asserted"},"own_p":0.76,"main_claim_p":0.17,"quantitative":false,"quantitative_p":0.26,"role_probabilities":{"gap":0.0,"method":0.0,"result":0.37,"background":0.0,"limitation":0.0,"future_work":0.0,"contribution":0.0,"interpretation":0.63}},{"i":3,"p":0.76,"id":"s3","own":true,"role":"result","text":"In the case of elliptic Calabi-Yau threefolds, we also compute the Hodge numbers.","hedge":{"p":1.0,"label":"asserted"},"own_p":0.94,"main_claim_p":0.08,"quantitative":false,"quantitative_p":0.04,"role_probabilities":{"gap":0.0,"method":0.0,"result":0.76,"background":0.0,"limitation":0.0,"future_work":0.0,"contribution":0.24,"interpretation":0.0}},{"i":4,"p":0.93,"id":"s4","own":true,"role":"result","text":"For elliptically fibered Calabi-Yau fourfolds, our results also prove a conjecture of Blumenhagen-Grimm-Jurke-Weigand based on F-theory/heterotic string duality.","hedge":{"p":1.0,"label":"asserted"},"own_p":0.91,"main_claim_p":0.24,"quantitative":false,"quantitative_p":0.04,"role_probabilities":{"gap":0.0,"method":0.0,"result":0.93,"background":0.0,"limitation":0.0,"future_work":0.0,"contribution":0.04,"interpretation":0.02}}]},"compiled":{"main_claim":{"p":0.56,"text":"We apply this pushforward formula to derive generating functions for Euler characteristics of crepant resolutions of singular Weierstrass models given by Tate's algorithm.","location":"abstract s1","hedge_strength":{"p":1.0,"label":"asserted"}},"provenance":{"route":{"via":"TypeSafe API","model":"classifier-1.13.0","endpoint":"https://api.typesafe.ai/v1/systemone","provider":"TypeSafe"},"packing":"one request per paper","requests":1,"input_tokens":4362,"cost_usd_reported":0.0},"compiled_at":"2026-09-23","bank_version":"abstract-p1-20260923","model_version":"classifier-1.13.0","abstract_states":{"claims_first":0.03,"states_limitation":0.32,"human_participants":0.01,"controlled_comparison":0.01,"randomized_assignment":0.01,"states_quantitative_result":0.18,"compares_with_prior_results":0.28,"mentions_code_or_data_availability":0.02},"evidential_basis":{"p":1.0,"value":"proof or derivation","probabilities":{"argument":0.0,"literature":0.0,"proof_or_derivation":1.0,"analysis_of_existing_data":0.0,"observation_or_experiment":0.0,"simulation_or_computation":0.0}},"contribution_type":{"p":1.0,"value":"theoretical result","probabilities":{"review":0.0,"method_or_tool":0.0,"empirical_study":0.0,"simulation_study":0.0,"theoretical_result":1.0,"dataset_or_benchmark":0.0,"position_or_commentary":0.0}},"contribution_statement":{"p":0.74,"text":"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.","location":"abstract s0"}},"coverage":{"tier":"abstract","levels_run":["P abstract"],"not_examined":["full text","figures and tables","references and citing sentences","relations to other papers"],"sources_read":["arXiv listing abstract v4"],"levels_not_run":["S sections","T body sentences","C citations","R cross-paper relations"],"sentences_examined":5,"sentences_in_abstract":5},"measured_accuracy":{"url":"https://pith.science/accuracy","measured_on":"2026-10-02","method":"two independent model families labelled a fresh random sample blind; the figure is how often the published label matches their consensus","sentence_role_agreement":0.92,"main_claim_agreement":0.908,"typed_citation_agreement":0.933,"typed_citation_agreement_95_interval":[0.917,0.945],"review_comments_accurate":0.758,"review_comments_accurate_95_interval":[0.684,0.82],"review_caught_admitted_error_found_or_related":0.448}}