Hypergeometric Motives

• Hypergeometric motives are mathematical objects defined via rational hypergeometric data, whose periods satisfy generalized hypergeometric equations.
• They are constructed from explicit geometric realizations—such as Euler curves, K3 surfaces, and Calabi–Yau varieties—and allow combinatorial computation of Hodge structures and L-functions.
• Recent advances reveal deep modular connections and p-adic properties that link hypergeometric motives to finite-field hypergeometric sums and supercongruence phenomena.

Searching arXiv for recent and foundational papers on hypergeometric motives, including surveys and recent developments on rank 2 cases, Euler integral realizations, modularity, and supercongruences. Hypergeometric motives are pure or mixed motivic objects whose realizations are governed by hypergeometric data: classical hypergeometric differential equations and period integrals on the complex side, rigid local systems and $\ell$-adic Galois representations on the arithmetic side, and finite-field or $p$-adic hypergeometric functions at primes of good reduction. In the standard framework, one starts from rational exponent data $(\alpha,\beta)$, or equivalently a family parameter $\fa(T)$ built from cyclotomic polynomials, and obtains a family of motives over $\mathbb{P}^1\setminus\{0,1,\infty\}$ whose periods satisfy generalized hypergeometric equations and whose Frobenius traces are expressed by finite hypergeometric sums (Roberts et al., 2021). This class of motives is unusually explicit: one can often construct source varieties, compute Hodge numbers combinatorially, identify $\ell$-adic realizations, and write down local and global $L$-factors in closed form (Roberts et al., 2021). More recent work has further clarified geometric realizations from Euler integrals (Kelly et al., 2024), rank-$2$ structure theory (Madriaga et al., 18 Mar 2026), and concrete modularity phenomena for ${}_2F_1(1)$ and ${}_3F_2(1)$ families (Rosen, 12 Feb 2025, Rosen, 2024).

1. Hypergeometric data, local systems, and motivic realizations

The classical starting point is a generalized hypergeometric series

$p$0

or, in Katz-style notation, a hypergeometric datum $p$1 with rational parameters. The associated differential equation on $p$2 is Fuchsian and rigid, with local monodromy determined by the exponent sets at $p$3, $p$4, and $p$5. For suitable rational data, these local systems are irreducible and rigid, and admit motivic incarnations through Betti, de Rham, and $p$6-adic realizations (Roberts et al., 2021, Madriaga et al., 18 Mar 2026).

A central organizational device is the family parameter

$p$7

with $p$8 in the survey framework of Roberts and Rodriguez Villegas. This parameter determines the hypergeometric local system and, under suitable hypotheses, a pure motive $p$9 over $(\alpha,\beta)$0 or an appropriate cyclotomic field, specialized at $(\alpha,\beta)$1 (Roberts et al., 2021).

In a more geometric form, one can realize hypergeometric motives as pieces of cohomology of explicitly defined families. The survey framework uses canonical varieties $(\alpha,\beta)$2 attached to gamma vectors $(\alpha,\beta)$3, often with toric models, and defines the hypergeometric motive as a primitive cohomological image with a Tate twist chosen so that the Hodge numbers occupy the expected bidegrees (Roberts et al., 2021). Kelly and Voight revisit this from Euler’s integral representation and construct families

$(\alpha,\beta)$4

whose periods are hypergeometric functions and whose zeta functions factor into hypergeometric $(\alpha,\beta)$5-series and toric factors (Kelly et al., 2024).

In rank $(\alpha,\beta)$6, a particularly explicit model is the Euler curve

$(\alpha,\beta)$7

whose $(\alpha,\beta)$8-isotypical part of $(\alpha,\beta)$9, combined with Jacobi motives and Tate twists, yields the hypergeometric motive $\fa(T)$0. This framework verifies most expected properties of rank-$\fa(T)$1 hypergeometric motives, including realizations, inertia, and Frobenius trace formulas (Madriaga et al., 18 Mar 2026).

2. Source varieties and geometric constructions

Hypergeometric motives are frequently realized inside the cohomology of concrete algebraic varieties, often with extra symmetry. Several distinct geometric models occur in the literature.

The canonical varieties $\fa(T)$2 of the survey literature arise from gamma vectors $\fa(T)$3 satisfying $\fa(T)$4. They can be written in projective form through the equations

$\fa(T)$5

with $\fa(T)$6, and admit toric descriptions as hypersurfaces in a torus $\fa(T)$7 (Roberts et al., 2021). These constructions unify many examples, including Legendre-type families, Dwork-type hypersurfaces, and mirror-symmetric Calabi–Yau situations.

Euler-integral constructions provide another route. In the Kelly–Voight setting, the affine cover $\fa(T)$8 is partially compactified to a $\fa(T)$9-equivariant family $\mathbb{P}^1\setminus\{0,1,\infty\}$0, and the zeta function of a fiber decomposes according to divisors $\mathbb{P}^1\setminus\{0,1,\infty\}$1: nondegenerate pieces contribute genuine hypergeometric motives, while isotypically degenerate pieces contribute zeta functions of tori twisted by Hecke Grössencharacters (Kelly et al., 2024). This construction is notable because it isolates hypergeometric pieces directly from Euler-type period integrals.

Low-dimensional explicit realizations are especially important. Naskręcki studies the motive

$\mathbb{P}^1\setminus\{0,1,\infty\}$2

as the transcendental part of $\mathbb{P}^1\setminus\{0,1,\infty\}$3 of a K3 surface

$\mathbb{P}^1\setminus\{0,1,\infty\}$4

with an elliptic fibration and a Shioda–Inose structure relating the K3 surface to a Kummer surface of a product of elliptic curves (Naskrecki, 2017). The motive is weight $\mathbb{P}^1\setminus\{0,1,\infty\}$5, rank $\mathbb{P}^1\setminus\{0,1,\infty\}$6, and its Frobenius trace is a finite-field hypergeometric sum (Naskrecki, 2017).

At higher weight, rigid Calabi–Yau threefolds provide a major source. The fourteen rigid hypergeometric Calabi–Yau threefolds studied by Long, Tu, Yui, and Zudilin realize rank-$\mathbb{P}^1\setminus\{0,1,\infty\}$7 hypergeometric data in $\mathbb{P}^1\setminus\{0,1,\infty\}$8, and modularity identifies the resulting two-dimensional rigid piece with a weight $\mathbb{P}^1\setminus\{0,1,\infty\}$9 Hecke eigenform (Long et al., 2017). Symmetric K3 quartic pencils furnish another explicit family: point counts, Picard–Fuchs equations, and zeta-factor decompositions all line up with hypergeometric motives, giving a complete decomposition of the primitive $\ell$0 motive into hypergeometric pieces (Doran et al., 2018).

3. Hodge structures and Hodge-theoretic classification

A defining feature of hypergeometric motives is the computability of their Hodge structures. In the Roberts–Rodriguez Villegas framework, the Hodge numbers of $\ell$1 depend only on the interlacing pattern of the exponent sets $\ell$2. They can be computed by the zigzag procedure: one sorts the $\ell$3- and $\ell$4-parameters on $\ell$5, draws the red-blue path, and reads off the multiplicities on horizontal levels to obtain the Hodge vector $\ell$6 (Roberts et al., 2021). This makes the Hodge-theoretic profile of a hypergeometric motive a combinatorial invariant of the datum.

Several extreme cases are structurally important. Completely intertwined parameters yield weight $\ell$7 motives with finite monodromy. Completely separated parameters produce Hodge vector $\ell$8, the “most spread-out” case, including maximal unipotent monodromy families central to mirror symmetry (Roberts et al., 2021). Specialization at $\ell$9 can lower central Hodge numbers and produce special hypergeometric motives with interior zeros in their Hodge vectors, a phenomenon highlighted in the survey (Roberts et al., 2021).

In the setup of hypergeometric supercongruences, Hodge numbers play a more refined arithmetic role. For the family

$L$0

with

$L$1

the generic rank is $L$2, weight $L$3, and Hodge numbers are

$L$4

for $L$5 (Roberts et al., 2018). At special points such as $L$6, the motive may split, and a distinguished summand $L$7 can have sparse Hodge numbers. The depth of the resulting supercongruence is conjecturally controlled by the smallest $L$8 such that $L$9 (Roberts et al., 2018). In the Calabi–Yau threefold cases, the splitting

$2$0

with

$2$1

for $2$2 explains depth-$2$3 congruences (Roberts et al., 2018).

Rank-$2$4 hypergeometric motives admit a finer local classification. In the 2026 rank-$2$5 paper, the Hodge numbers are again extracted by a zigzag procedure, now for parameter pairs $2$6, and all possible Hodge polynomials are listed case-by-case. This gives a complete rank-$2$7 Hodge-theoretic classification in terms of parameter positions (Madriaga et al., 18 Mar 2026).

4. $2$8-adic realizations, finite-field hypergeometric sums, and Frobenius traces

The arithmetic realization of a hypergeometric motive is an $2$9-adic Galois representation whose Frobenius traces are governed by hypergeometric sums over finite fields. This is one of the most rigid and computable parts of the theory.

In the survey framework, for good primes ${}_2F_1(1)$0 and powers ${}_2F_1(1)$1, Katz expresses Frobenius traces in terms of Jacobi sums or Greene-type finite hypergeometric functions. Frobenius polynomials

${}_2F_1(1)$2

are then computed from these traces, and their coefficients satisfy Newton-over-Hodge bounds derived from the Hodge vector (Roberts et al., 2021).

In the rank-${}_2F_1(1)$3 K3 example, Naskręcki proves that

${}_2F_1(1)$4

where the right-hand side is the relevant finite-field hypergeometric sum (Naskrecki, 2017). The transcendental representation is identified with ${}_2F_1(1)$5 for an explicit elliptic curve ${}_2F_1(1)$6, explaining the rank ${}_2F_1(1)$7 and weight ${}_2F_1(1)$8 from a motivic viewpoint (Naskrecki, 2017).

For rigid Calabi–Yau threefolds, Long–Tu–Yui–Zudilin show that the finite hypergeometric sum ${}_2F_1(1)$9 attached to the datum ${}_3F_2(1)$0 satisfies

${}_3F_2(1)$1

where ${}_3F_2(1)$2 is the ${}_3F_2(1)$3-th Fourier coefficient of the weight-${}_3F_2(1)$4 modular form attached to the Calabi–Yau motive (Long et al., 2017). Thus finite-field hypergeometric sums recover the Frobenius traces of the relevant motivic piece up to the Tate correction term.

In the rank-${}_3F_2(1)$5 theory, one has an explicit equality

${}_3F_2(1)$6

for good primes ${}_3F_2(1)$7, with ${}_3F_2(1)$8 the finite hypergeometric sum of the datum (Madriaga et al., 18 Mar 2026). This is a full verification, in rank ${}_3F_2(1)$9, of the expected compatibility between hypergeometric local systems and their motivic $p$00-adic realizations.

Hoffman and Tu enlarge the geometric scope. They define hypergeometric motives as motivic sheaves whose de Rham realizations give classical hypergeometric differential equations and whose $p$01-adic realizations produce hypergeometric character sums over finite fields. Their construction uses cycloelliptic curves and the motive

$p$02

which behaves as the $p$03-isotypical piece of the relative Jacobian (Hoffman et al., 2020). One consequence is a unified explanation of transformation formulas for finite-field hypergeometric sums in terms of motivic correspondences (Hoffman et al., 2020).

5. Modularity and explicit links to modular forms

A major theme of current work is the modularity of hypergeometric motives, especially in low rank and in special families.

For rigid Calabi–Yau threefolds, modularity identifies the two-dimensional $p$04-piece with the Deligne representation of a weight-$p$05 modular form, and the hypergeometric motive becomes a concrete source of weight-$p$06 modular $p$07-functions (Long et al., 2017). Symmetric K3 quartic pencils exhibit a similar pattern: their zeta functions factor into products of global $p$08-functions attached to hypergeometric motives, and the common rank-$p$09 factor is automorphic (Doran et al., 2018).

A different modularity picture emerges for $p$10 and $p$11 values. In 2025, “Modular Forms and Certain $p$12 Hypergeometric Series” studies hypergeometric curves

$p$13

with $p$14, and identifies the new part of the Jacobian $p$15 as a Jacobi motive with complex multiplication (Rosen, 12 Feb 2025). The associated weight-$p$16 CM Hecke eigenform $p$17 satisfies

$p$18

and its Fourier coefficients are expressed via Jacobi sums attached to the same motive (Rosen, 12 Feb 2025). This gives a fully explicit de Rham/étale/modular dictionary.

Rosen’s 2024 paper treats a family of weight-$p$19 hypergeometric motives attached to data

$p$20

realized on hypergeometric surfaces $p$21. The associated normalized period

$p$22

equals the special value $p$23 of a weight-$p$24 modular form $p$25, and the Hecke eigenforms in the corresponding Galois family are obtained as linear combinations of these $p$26-functions (Rosen, 2024). The paper further proves relations among $p$27-values via Kummer transformations and obtains bounds on the transcendence degree of the associated periods (Rosen, 2024).

The “Explicit Hypergeometric-Modularity Method II” pushes this in a more representation-theoretic direction. For well-poised length-$p$28 data $p$29, the associated rank-$p$30 hypergeometric representation restricted to $p$31 is identified with

$p$32

where $p$33 is a weight-$p$34 CM form and $p$35 is a weight-$p$36 form. Hence the hypergeometric motive is automorphic, with $p$37-function equal to the corresponding Rankin–Selberg convolution (Allen et al., 2024).

Transformation theory also has a motivic modularity aspect. Pacetti studies arithmetic analogues of classical $p$38 transformation formulas and proves isomorphisms between hypergeometric motives up to twists by explicit characters such as $p$39, $p$40, and Jacobi motives (Pacetti, 4 Feb 2025). These transformations are then applied to construct Frey-type motives for Diophantine equations.

6. Supercongruences, unit roots, and $p$41-adic hypergeometric phenomena

The $p$42-adic aspect of hypergeometric motives is especially visible in supercongruence theory. The key objects are truncated hypergeometric series

$p$43

and Dwork quotients

$p$44

Dwork proved a basic congruence modulo $p$45, and in special families these quotients converge to a unit root of the local $p$46-factor with unexpectedly high depth (Roberts et al., 2018).

The extended abstract “Hypergeometric supercongruences” formulates two principles. The first is accelerated $p$47-adic convergence: the truncated series approximate the unit root much faster than generic theory predicts. The second is the Hodge gap principle: the depth of the supercongruence is governed by the length of the initial vanishing segment in the Hodge numbers of a distinguished submotive $p$48 (Roberts et al., 2018). Conjecturally, if $p$49 is the smallest positive integer such that $p$50, then

$p$51

where $p$52 is the unit root of $p$53 (Roberts et al., 2018).

This picture is made concrete in the fourteen rigid hypergeometric Calabi–Yau threefolds. Long–Tu–Yui–Zudilin prove Rodriguez-Villegas’ conjectured supercongruences

$p$54

where $p$55 is the modular form attached to the rigid Calabi–Yau motive (Long et al., 2017). One proof uses Dwork’s unit-root theory, while another uses hypergeometric motives and finite hypergeometric sums (Long et al., 2017).

The companion note “P-adic hypergeometrics” studies a different but related phenomenon: classical hypergeometric series viewed as $p$56-adic functions of a terminating parameter. By replacing a negative integer parameter $p$57 by a $p$58-adic variable $p$59, one obtains Mahler expansions

$p$60

whose coefficients encode multiple polylogarithms and $p$61-adic $p$62-values (Villegas, 2018). Although motives are not formalized in that paper, the discussion explicitly presents these functions as $p$63-adic period-like objects of hypergeometric type (Villegas, 2018).

7. Transformation theory and symmetry

Transformation formulas for hypergeometric functions have arithmetic and motivic counterparts. This is one of the clearest ways in which the “motive behind the function” becomes visible.

Pacetti develops an arithmetic analogue of classical $p$64 transformations by working directly with the associated hypergeometric motives

$p$65

The central principle is that if two hypergeometric differential equations are related by a pullback $p$66 at the level of local monodromy, then the corresponding $p$67-adic representations differ at most by a character twist, and one specialization determines the twist (Pacetti, 4 Feb 2025). This yields motive-level analogues of Kummer’s 24 transformations, encoded by explicit twists $p$68, $p$69, and Jacobi motives (Pacetti, 4 Feb 2025).

Hoffman and Tu take a more geometric perspective. Their hypergeometric motives are realized as cohomology of cycloelliptic curves or more general families, with de Rham realizations producing classical hypergeometric differential equations and $p$70-adic realizations producing character sums. In this framework, transformation formulas become geometric correspondences between motives, explaining recent transformation identities for hypergeometric character sums (Hoffman et al., 2020).

A broader, more speculative direction appears in Brown’s work on Lauricella functions and motivic coactions. There the coefficients in parameter expansions of Lauricella hypergeometric functions are promoted to motivic multiple polylogarithms, while the full functions are interpreted as matrix coefficients in a Tannakian category of twisted cohomology. The paper distinguishes a “local” motivic Galois action on the Taylor coefficients and a “global” action on the whole hypergeometric object, and proves their compatibility (Brown et al., 2019). This goes beyond the classical theory of motives but is explicitly proposed as a meaningful extension of the hypergeometric motive idea (Brown et al., 2019).

8. Transcendence and period relations

Hypergeometric motives also provide a setting for transcendence questions. Since their periods are hypergeometric values, relations among motives translate into algebraic relations among special values.

Rosen’s 2024 paper studies periods of hypergeometric surfaces $p$71 whose $p$72-values are identified with special $p$73-values of weight-$p$74 modular forms. For non-CM Galois families with $p$75, the paper proves that the field generated by the holomorphic periods has transcendence degree at most $p$76, drawing an analogy with Wüstholz’s theorem for abelian surfaces with quaternionic multiplication (Rosen, 2024). The result is grounded in explicit three-term identities, Kummer transformations, and the modular realization of the motives (Rosen, 2024).

Golyshev’s work on $p$77-derivatives of Calabi–Yau motives uses hypergeometric differential operators of the form $p$78 to construct biextension variations of mixed Hodge structure associated to rank-$p$79, weight-$p$80 hypergeometric Calabi–Yau motives. The minors of the resulting biextension period matrices are given by closed hypergeometric expressions, and these are numerically compared to $p$81 for motives of analytic rank $p$82 (Golyshev, 2023). This suggests that not only pure periods but also regulator-type quantities attached to hypergeometric motives may admit explicit hypergeometric formulas (Golyshev, 2023).

9. Rank-$p$83 structure theory and current developments

The paper “On rank $p$84 hypergeometric motives” marks a significant consolidation of the theory in the lowest nontrivial rank. It proves most properties expected of hypergeometric motives in rank $p$85, including purity, field of definition, coefficient field containment, inertia descriptions, and exact Frobenius-trace formulas (Madriaga et al., 18 Mar 2026).

The geometric model is the Euler curve

$p$86

and the motive

$p$87

is defined from the $p$88-isotypical piece of $p$89, tensored with a Jacobi motive and twisted appropriately (Madriaga et al., 18 Mar 2026). The paper proves that the $p$90-adic realization restricts to the hypergeometric geometric representation arising from the differential equation, and that for good primes

$p$91

(Madriaga et al., 18 Mar 2026). It also analyzes congruences between hypergeometric motives under parameter shifts, giving a motivic explanation of level raising and lowering phenomena (Madriaga et al., 18 Mar 2026).

This work suggests that rank $p$92 can serve as a complete laboratory for the conjectural general theory: the Euler-curve model is explicit, the Hodge theory is tractable, and the motives can often be compared to elliptic curves, CM abelian surfaces, or Hilbert modular forms (Madriaga et al., 18 Mar 2026).

10. Overall picture

Across these developments, a coherent picture emerges. A hypergeometric motive is determined by rational hypergeometric data, often encoded as exponent sets $p$93, a family parameter $p$94, or a gamma vector $p$95. From that datum one obtains:

1. A differential equation on $p$96, often rigid and Fuchsian, whose solutions are hypergeometric periods (Roberts et al., 2021).
2. A geometric realization as a piece of the cohomology of an explicit family: toric hypersurfaces $p$97, Euler-type cyclic covers $p$98, Euler curves, K3 surfaces, hypergeometric surfaces, or Calabi–Yau threefolds (Kelly et al., 2024, Naskrecki, 2017, Madriaga et al., 18 Mar 2026, Long et al., 2017).
3. A Hodge structure computable from the combinatorics of the parameters, often by a zigzag procedure, and in arithmetic applications refined by splittings or Hodge gaps (Roberts et al., 2021, Roberts et al., 2018).
4. An $p$99-adic realization whose Frobenius traces are finite hypergeometric sums, leading to explicit local and global $(\alpha,\beta)$00-functions (Naskrecki, 2017, Long et al., 2017, Hoffman et al., 2020).
5. Often a modular or automorphic realization, especially in low-rank or special families, where the motive is identified with one or more modular forms or their tensor products (Rosen, 12 Feb 2025, Rosen, 2024, Allen et al., 2024).
6. A $(\alpha,\beta)$01-adic aspect involving unit roots, supercongruences, and $(\alpha,\beta)$02-adic period interpolation (Roberts et al., 2018, Villegas, 2018).

The subject is therefore not a single construction but a tightly interconnected framework in which complex periods, Hodge structures, finite-field character sums, Galois representations, modular forms, and $(\alpha,\beta)$03-adic phenomena are different realizations of the same underlying hypergeometric data. Recent work has made this framework increasingly explicit and structurally robust, especially through Euler-integral constructions (Kelly et al., 2024), modularity results (Rosen, 12 Feb 2025, Allen et al., 2024), and the near-complete rank-$(\alpha,\beta)$04 theory (Madriaga et al., 18 Mar 2026).