Mixed Hodge numbers and factorial ratios

Fernando Rodriguez Villegas

arxiv: 1907.02722 · v1 · pith:BDG4HMR6new · submitted 2019-07-05 · 🧮 math.NT

Mixed Hodge numbers and factorial ratios

Fernando Rodriguez Villegas This is my paper

Pith reviewed 2026-05-25 02:16 UTC · model grok-4.3

classification 🧮 math.NT

keywords factorial ratiosmixed Hodge numbersintegralityhypergeometric motivesnumber theoryarithmetic geometry

0 comments

The pith

Mixed Hodge numbers of certain varieties yield three criteria establishing integrality of factorial ratios for all n.

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

The paper presents three geometric criteria based on mixed Hodge numbers to prove that certain factorial ratios are integers for every positive integer n. An example is the ratio (30n)! n! / ((6n)! (10n)! (15n)!), whose integrality is not obvious from the formula itself. These criteria arise in the context of hypergeometric motives. A reader would care because the approach offers a geometric route to integrality results that might otherwise require case-by-case combinatorial checks. If the criteria hold, they systematize proofs for a class of ratios appearing in arithmetic geometry.

Core claim

The central claim is that mixed Hodge numbers attached to suitable varieties or motives supply three concrete geometric criteria sufficient to verify the integrality of factorial ratios such as (30n)! n! / ((6n)! (10n)! (15n)!) for all positive integers n, where the integrality holds in a non-immediate fashion.

What carries the argument

Mixed Hodge numbers of varieties or motives, which encode the data used to formulate the three integrality criteria.

If this is right

The given example ratio and others of similar form are integers for all n by virtue of satisfying the Hodge criteria.
The same criteria apply to additional factorial ratios that arise in the study of hypergeometric motives.
Integrality follows from geometric data rather than direct manipulation of the factorial expressions.

Where Pith is reading between the lines

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

The method may extend to factorial ratios outside the hypergeometric setting if analogous varieties can be identified.
These criteria could link integrality questions to computations in arithmetic geometry that were not previously connected.
Further work might test whether the criteria remain effective when the ratios are generalized to include additional parameters.

Load-bearing premise

The mixed Hodge numbers of the relevant varieties or motives translate directly into criteria that confirm integrality of the factorial ratios.

What would settle it

An explicit n for which a ratio satisfies the three mixed Hodge number conditions yet fails to be an integer would disprove the claimed criteria.

read the original abstract

This note is an extended version of the slides for my talk with the same title at the {\it Arithmetic, geometry, and modular forms: a conference in honour of Bill Duke} in June 2019 at the ETH in Z"urich. The results presented concern three geometric criteria for the integrality of factorial ratios, numbers such as (30n)!n!/(6n)!(10n)!(15n)!, which are integral in a non-immediate way for all n. This work is an offshoot of an ongoing project on hypergeometric motives joint with D. Roberts and M. Watkins.

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.

Desk Editor's Note private letter to a colleague

Short conference note announces three geometric criteria for integrality of factorial ratios via mixed Hodge numbers but supplies none of the actual objects, numbers, or derivations.

read the letter

The main point here is that this is a brief note from a 2019 talk claiming three geometric criteria that link mixed Hodge numbers to integrality of ratios like (30n)! n! / ((6n)! (10n)! (15n)!) for all n. It positions the work as an offshoot of the hypergeometric motives project with Roberts and Watkins. That is the extent of the new content: the announcement that such criteria exist and can be checked geometrically rather than by direct verification of the ratios.

Referee Report

1 major / 0 minor

Summary. The manuscript is a short note (extended slides from a 2019 conference talk) announcing three geometric criteria, based on mixed Hodge numbers of unspecified varieties or motives, for the integrality of certain factorial ratios such as (30n)! n! / ((6n)! (10n)! (15n)!) for all positive integers n. It is described as an offshoot of an ongoing joint project on hypergeometric motives with D. Roberts and M. Watkins.

Significance. If the three criteria were rigorously derived and verified without external conjectures, the work would provide a geometric explanation for non-obvious integrality of multinomial-type ratios, potentially strengthening connections between mixed Hodge theory, periods, and hypergeometric motives in arithmetic geometry. However, the manuscript contains no such derivations, objects, or Hodge data, so no positive assessment of significance is possible from the provided text.

major comments (1)

The note announces the existence of 'three geometric criteria' linking mixed Hodge numbers to integrality but does not name the geometric objects (varieties or motives), state any specific Hodge numbers or periods, or derive the implication from Hodge data to integrality. This is load-bearing for the central claim, as the text refers only to an 'ongoing project' without presenting the criteria, examples, or proofs. (No sections or equations are present in the manuscript.)

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for reviewing our short note. The manuscript is an extended version of conference slides announcing results from an ongoing project; we address the concern about the level of detail below.

read point-by-point responses

Referee: The note announces the existence of 'three geometric criteria' linking mixed Hodge numbers to integrality but does not name the geometric objects (varieties or motives), state any specific Hodge numbers or periods, or derive the implication from Hodge data to integrality. This is load-bearing for the central claim, as the text refers only to an 'ongoing project' without presenting the criteria, examples, or proofs. (No sections or equations are present in the manuscript.)

Authors: The manuscript is explicitly presented as an extended version of slides from a 2019 conference talk and functions as an announcement of three geometric criteria developed within an ongoing joint project on hypergeometric motives. In this format, the note states the existence of the criteria and their application to integrality of the indicated factorial ratios but does not include the underlying varieties, explicit Hodge numbers, or derivations, which remain part of the collaborative work. The central claim of the note is therefore the announcement itself rather than a self-contained proof. revision: no

Circularity Check

0 steps flagged

No derivation chain or load-bearing steps present; short announcement of criteria from ongoing external project.

full rationale

The provided manuscript text consists solely of an abstract announcing the existence of three geometric criteria linking mixed Hodge numbers to integrality of certain factorial ratios, plus a note that the work is an offshoot of an ongoing joint project with Roberts and Watkins. No equations, explicit maps from Hodge data to integrality, named varieties/motives, or derivations appear. No self-citations, fitted parameters, ansatzes, or uniqueness theorems are invoked within the text. Therefore no step reduces to its inputs by construction, and the circularity score is 0.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available; no free parameters, axioms, or invented entities can be identified from the provided text.

pith-pipeline@v0.9.0 · 5615 in / 1026 out tokens · 35912 ms · 2026-05-25T02:16:26.818130+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Criterion A: cn ∈ Z for all n iff s > r and codeg(Δ) ≥ r (Ehrhart codegree of polytope from gamma list γ)
IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Criterion B: vanishing of h^{κ,0}(Z_t)=⋯=h^{κ-r+1,r-1}(Z_t)=0 via δ#(Δ,T) giving weight-κ mixed Hodge numbers
IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Criterion C: H(γ|t) is Tate twist of pure effective motive of weight s-r-1

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.