REVIEW 3 major objections 1 minor
1-motives and admissible variations of mixed Hodge structures
T0 review · 3 major / 1 minor · reviewed 2026-07-13 · grok-4.5
Pith's one-line read Every torsion-free graded-polarizable admissible variation of mixed Hodge structures of type (0,0), (-1,0), (0,-1), (-1,-1) over S arises up to isogeny from a 1-motive over S.
desk verdict Abstract-only: clean positive answer to André on geometric origin of these VMHS plus relative Deligne equivalence, load-bearing step is the toric–abelian gluing over general S. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The enriched Hodge realization of a 1-motive, together with a Hodge-theoretic interpretation of sections of semi-abelian varieties obtained by gluing André’s description of the abelian case to a new analysis of the toric part; this mechanism produces the geometric-origin statement and the relative Deligne equivalence.
What would settle it
Exhibit a torsion-free graded-polarizable admissible VMHS of the given type over some smooth finite-type S that is not isogenous to the enriched Hodge realization of any 1-motive over S, or show that the toric and abelian pieces fail to glue into a 1-motive on that base.
Extended reading notes
Core claim
Every torsion-free, graded-polarizable, admissible variation of mixed Hodge structures of type (0,0), (-1,0), (0,-1), (-1,-1) on the complex analytic space of a connected smooth finite-type C-scheme S arises, up to isogeny, from a 1-motive over S. Under suitable hypotheses on S and on the lattices and tori, the enriched Hodge realization is an equivalence between the category of 1-motives over S and the category of such variations; in general the equivalence holds only after isogeny. The global Mumford–Tate group of a 1-motive over S has neutral connected component equal to the Mumford–Tate group of its generic fibre.
Load-bearing premise
The argument stands or falls on the claim that André’s earlier description of the abelian case can be cleanly combined with the new analysis of the toric part over a general base S.
Editorial extensions
If this is right
- André’s question on the geometric origin of admissible VMHS of 1-motive type receives a positive answer up to isogeny.
- Under the stated hypotheses on S, lattices and tori, the enriched Hodge realization becomes an equivalence of categories, giving a relative form of Deligne’s classical equivalence over C.
- In general the equivalence holds only after isogeny, so the categories of 1-motives and of such VMHS coincide up to isogeny.
- The global Mumford–Tate group of a 1-motive over S is well-defined and its neutral connected component recovers the Mumford–Tate group of the generic fibre.
Reading between the lines
- The same gluing technique for abelian and toric data may extend to other relative realizations (for example étale or crystalline) once analogous descriptions of the abelian case are available.
- Failure of the equivalence without isogeny points to a precise obstruction living in the torsion of the lattices or tori; computing that obstruction would give a sharper classification.
- The identification of global and generic Mumford–Tate groups suggests that monodromy of the variation is controlled by the generic fibre, which could be tested on explicit families of semi-abelian varieties.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims that every torsion-free, graded-polarizable, admissible variation of mixed Hodge structures of type (0,0), (-1,0), (0,-1), (-1,-1) over the complex analytic space associated to a connected smooth finite-type C-scheme S arises, up to isogeny, from a 1-motive over S, answering a question of André on geometric origin. The route is a Hodge-theoretic interpretation of sections of semi-abelian varieties obtained by combining André’s description of the abelian case with a new analysis of the toric part. As a consequence, under suitable assumptions on S and on the lattices and tori, the enriched Hodge realization induces an equivalence of categories (a relative Deligne equivalence); in general the statement holds only up to isogeny. The paper also introduces the global Mumford–Tate group of a 1-motive over S and identifies its neutral connected component with the Mumford–Tate group of the generic fiber.
Significance. If the arguments hold, the paper supplies a positive answer to André’s geometric-origin question for admissible VMHS of 1-motive type and a relative analogue of Deligne’s equivalence over C. That would be a substantial contribution to the interface of 1-motives and variations of mixed Hodge structures, clarifying how algebraic 1-motives over bases relate to admissible VMHS of the indicated type. The global Mumford–Tate construction is a natural and useful addition. The abstract indicates reliance on André’s prior abelian-case work together with new toric analysis; if that combination is cleanly executed over general S, the result is of clear interest to the field.
major comments (3)
- Only the abstract is available for this review, so the load-bearing combination of André’s abelian-case description with the claimed new toric analysis cannot be checked. Both the geometric-origin statement (up to isogeny) and the relative Deligne equivalence rest on producing, over a general connected smooth finite-type C-scheme S, a 1-motive whose enriched Hodge realization recovers a given torsion-free graded-polarizable admissible VMHS of type (0,0), (-1,0), (0,-1), (-1,-1). That requires relative extension classes, algebraicity of sections of semi-abelian varieties, and uniform control of monodromy, graded-polarizability and admissibility. Without the full text it is impossible to verify that André’s input supplies the needed relative data or that the toric analysis glues cleanly over S; failure of that gluing would collapse both central claims.
- The abstract asserts a strict equivalence under “suitable assumptions on S and on the lattices and the tori underlying 1-motives,” and only an isogeny statement in general. The precise content of those assumptions, and whether they are natural or severely restrictive, cannot be assessed from the abstract alone; they are load-bearing for the non-isogeny equivalence and must be stated and justified in the body of the paper.
- The identification of the neutral connected component of the newly introduced global Mumford–Tate group of a 1-motive over S with the Mumford–Tate group of the generic fiber is stated without indication of the argument. Whether this is a formal consequence of the earlier constructions or requires separate work cannot be checked without the full text.
minor comments (1)
- The abstract is clear on the main claims and on the dependence on André’s abelian case plus a new toric analysis. Once the full manuscript is available, standard presentation checks (notation for the enriched realization, precise definition of the global Mumford–Tate group, and explicit statement of the “suitable assumptions”) will be needed.
Circularity Check
No circularity: abstract-only paper relies on external André abelian input plus new toric analysis, not self-definition or self-citation forcing.
full rationale
Only the abstract is available. It states that André associated the enriched Hodge realization to 1-motives, and that the present work proves the converse geometric-origin statement (every torsion-free graded-polarizable admissible VMHS of the given type arises up to isogeny from a 1-motive over S) by combining André’s description of the abelian case with a new analysis of the toric part, yielding a relative Deligne equivalence under suitable assumptions and a global Mumford–Tate identification. André is a different author; the dependence is ordinary prior literature, not a self-citation chain that forces the result by construction. There are no fitted parameters renamed as predictions, no uniqueness theorem imported from the same authors, no ansatz smuggled via self-citation, and no renaming of a known empirical pattern. The abstract presents a claimed new gluing/interpretation rather than a definitional tautology. With no full text, equations, or self-citations to inspect, no circular step can be exhibited by quote-and-reduction. Score 0 is the honest finding for this abstract-only review; any failure of the André–toric gluing is a correctness risk, not circularity.
Assumptions & free parameters
assumptions (4)
- domain assumption Deligne’s theory of 1-motives and their Hodge realization over C
- domain assumption André’s enriched Hodge realization and description of the abelian case for 1-motives over S
- domain assumption S is a connected scheme smooth and of finite type over C; VMHS are torsion-free, graded-polarizable, and admissible of type (0,0),(-1,0),(0,-1),(-1,-1)
- ad hoc to paper Suitable assumptions on lattices and tori underlying the 1-motives (for the strict, non-isogeny equivalence)
invented entities (1)
-
global Mumford–Tate group of a 1-motive over S
independent evidence
Cite this review
Pith. "Pith review of 1-motives and admissible variations of mixed Hodge structures." pith.science (2026). https://pith.science/paper/PTC37NXE
@misc{pith2026260316545,
author = {Pith},
title = {Pith review of: 1-motives and admissible variations of mixed Hodge structures},
year = {2026},
howpublished = {\url{https://pith.science/paper/PTC37NXE}},
note = {Machine review of arXiv:2603.16545}
}
read the original abstract
Let S be a connected scheme smooth and of finite type over the field of complex numbers. To every 1-motive over S, Andr\'e associated the enriched Hodge realization given by a torsion-free, graded-polarizable and admissible variation of mixed Hodge structures of type (0,0), (-1,0), (0,-1), (-1,-1) over the associated complex analytic space. In this paper, we prove that every admissible variation of mixed Hodge structures of the above type arises, up to isogeny, from a 1-motive over S, thereby providing a positive answer to a question of Andr\'e concerning the geometric origin of such variations. More precisely, we establish a Hodge-theoretic interpretation of sections of semi-abelian varieties by combining Andr\'e's description of the abelian case with a new analysis of the toric part. As a consequence, we prove a relative analogue of Deligne's equivalence over the field of complex numbers. Namely, under suitable assumptions on S and on the lattices and the tori underlying 1-motives, the enriched Hodge realization functor induces an equivalence between the category of 1-motives over S and the category of torsion-free, graded-polarizable and admissible variations of mixed Hodge structures of type (0,0), (-1,0), (0,-1), (-1,-1). In general, the corresponding statement holds only up to isogeny. Finally, we introduce the global Mumford--Tate group of a 1-motive over S and show that its neutral connected component identifies with the Mumford-Tate group of the generic fiber.
Reviewed July 13, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.