Motivic Variant of Geometric Extensions

• Motivic variants are refined forms of geometric extensions that incorporate motivic cycles, regulator maps, and mixed Hodge structures to analyze extension classes in algebraic geometry.
• They generalize classical extension phenomena by linking explicit cycle-theoretic data with homotopy-invariant iterated integrals and fundamental group filtrations, enabling precise regulator computations.
• This approach offers new insights into Jacobian structures, universal motivic comparisons, and the stability of geometric local systems under extension, driving advances in mixed motive theory.

A motivic variant of geometric extensions refers to constructions, interpretations, and computations of extension classes or functors in the setting of motives, as opposed to pure geometric categories such as Hodge structures, sheaves, or algebraic cycles. These motivic versions often elucidate the relationship between explicit cycle-theoretic data, regulator maps, group-theoretic filtrations, and the structure of mixed motive categories. They generalize geometric extension phenomena, typically arising in classical settings (cohomology, perverse sheaves, mixed Hodge modules), into the world of motives, enabling finer analysis of extension classes, regulator values, and realization functors.

1. Mixed Hodge Structures on Fundamental Groups and Extension Classes

For a smooth, projective complex curve $(C, x)$, Chen and Hain established a canonical mixed Hodge structure (MHS) on the filtered quotients $J_x^a/J_x^b$ of the group ring augmentation ideal $J_x \subset \mathbb{Q}[\pi_1(C, x)]$, yielding

$$\mathrm{Gr}^W_{-n}(\mathbb{Q}[\pi_1(C, x)]) \cong H_1(C, \mathbb{Q})^{\otimes n}$$

with the Hodge filtration expressed via homotopy-invariant iterated integrals. Specifically,

$$F^p \operatorname{Hom}(J_x^a/J_x^b, \mathbb{C}) = \{ \text{length} \le b-1 \text{ iterated integrals of total Hodge type} \ge p \}.$$

These structure the extension phenomena in the abelian category of mixed Hodge structures (MHS), where any short exact sequence $0 \to A \to H \to B \to 0$ is classified by an element of $\mathrm{Ext}^1_{\mathrm{MHS}}(B, A)$. Notably, Deligne–Beilinson realization gives natural isomorphisms

$$H^{i+1}_D(X, \mathbb{Z}(n)) \cong \mathrm{Ext}^1_{\mathrm{MHS}}(\mathbb{Z}(-n), H^i(X, \mathbb{Z})).$$

In motivic terms, these extension groups parameterize geometric or motivic cycles' regulators and are tightly linked to the fundamental group's structure (Sarkar et al., 2022).

2. Motivic Cycles, Regulators, and Geometric Extensions for Jacobians

Beilinson and Bloch constructed explicit motivic cycles on Jacobians $J(C)$ using data from rational functions $f$ with prescribed divisors and normalization at fixed points. For $f$ with $\mathrm{div}(f) = N(Q - R)$ and $f(P) = 1$, one defines the cycle

$$Z_{Q, R, P} = (C - Q, f) + (R - C, f) \in H_M^{2g - 1}(J, \mathbb{Z}(g))$$

subject to a vanishing-sum-of-divisors constraint. The real regulator map $r_D$ identifies

$$r_D(Z): H_M^{2g - 1}(J, \mathbb{Q}(g)) \to H_D^{2g - 1}(J, \mathbb{R}(g)),$$

and, under Deligne’s isomorphism,

$$H_D^{2g - 1}(J, \mathbb{R}(g)) \cong \mathrm{Ext}^1_{\mathrm{MHS}}(\mathbb{R}(-g), H^{2g - 2}(J, \mathbb{R}(g))).$$

Explicit formulas (involving log functions and integrals over divisors) provide concrete representatives. In the Jacobian case, this yields regulator classes $$\mathrm{reg}(Z_{Q, R, P}) \in \mathrm{Ext}^1_{\mathrm{MHS}}(\mathbb{Q}(-g), \wedge^2 H^1(C, \mathbb{Q}))$$ (Sarkar et al., 2022).

3. Fundamental Group Filtration and Iterated Integral Expression

Using the filtration of the group ring, one constructs extension sequences in MHS: $$E^3: \quad 0 \to H^1 \to J/J^3 \to (H^1)^{\otimes 2} \to 0$$ and higher analogues, with extension classes $m^3, m^4$ parametrizing motivic cycles. The space of homotopy-invariant iterated integrals of forms on $C$ encodes $\operatorname{Hom}(J^r/J^{r+1}, \mathbb{C})$ and provides new explicit expressions for the regulator, generalizing prior work by Colombo on hyperelliptic curves. The generalized Baer difference associated to distinct base points (e.g., $Q$ vs $R$) produces extension classes $e_{Q, R, P}^4$ in

$$\mathrm{Ext}^1_{\mathrm{MHS}}((H^1)^{\otimes 3}, H^1),$$

linked functorially to the motivic cycle's regulator (Sarkar et al., 2022).

4. Motivic Interpretation and Universal Comparison

The central theorem identifies the motivic regulator class of the Beilinson–Bloch cycle as coinciding, up to a universal explicit scalar $(2g + 1)N$, with the Carlson representative of the extension from the fundamental group’s graded filtration: $$\epsilon_{Q, R, P}^4 = (2g + 1)N \cdot \mathrm{reg}(Z_{Q, R, P}) \in \mathrm{Ext}^1_{\mathrm{MHS}}(\mathbb{Q}(-2), \wedge^2 H^1(C))$$ This result for arbitrary curves with suitable divisors generalizes Colombo's computation for hyperelliptic curves with torsion cycles, providing a motivic bridge between cohomological extension data and fundamental group constructions (Sarkar et al., 2022).

5. Extensions in Motivic Local Systems and Stability Phenomena

Motivic variants also manifest in the extension-stability of geometric local systems. In the motivic setting, the full subcategory of geometric-origin local systems in $Loc(X)$ is extension-stable: $$0 \to L' \to L \to L'' \to 0 \quad with \quad L', L'' \in Loc_{\mathrm{geom}}(X) \implies L \in Loc_{\mathrm{geom}}(X)$$ Under Tannakian duality, this corresponds to extension classes in representation categories of motivic Galois groups $\pi_1^{\mathrm{mot}}(X, x)$, with Malcev completeness ensuring that all extensions have motivic origin. This formalism validates the Nori-motivic strengthening of Hain’s theorem, as well as conjectures by Arapura and comparisons for unipotent de Rham fundamental groups, underpinning the motivic control over geometric extension phenomena (Jacobsen, 2022).

6. Further Directions, Higher Weights, and Realization Problems

Open avenues for study involve:

• $\ell$-adic and de Rham realizations: Investigating the behavior of motivic extension classes under Galois and de Rham realizations, and their compatibility with the described motivic geometry.
• Algebraic correspondences: Understanding the transformation of extension classes under algebraic correspondences $T_*$ and $T^*$ on the Jacobian.
• Higher-weight analogues: Generalizing to regulators of higher $K$-groups and higher Chow cycles, seeking their identification with extensions from deeper quotients $J/J^r$ for $r > 4$.
• Degenerations: Exploring the degeneration of extension classes in the setting of singular or nodal curves and the theory of limit mixed Hodge structures.
• Bloch–Beilinson filtration: Relating explicit extension classes to the structure of conjectural filtrations in motivic cohomology, with implications for deep conjectures in the theory (Sarkar et al., 2022).

7. Impact and Conceptual Integration

Motivic variants of geometric extensions integrate cycle-theoretic, group-filtration, and regulator perspectives in the study of Jacobians and cohomological invariants. The explicit identification of extension classes within MHS via motivic cycles demonstrates the deep connection between algebraic, topological, and arithmetic aspects of algebraic curves, opening further paths toward understanding the structure and realization of mixed motives and their associated extension problems. This paradigm extends to geometric local systems, motivic intersections, and more general motivic phenomena, reinforcing the foundational role played by motives in bridging geometric extension theory and arithmetic cohomology (Sarkar et al., 2022, Jacobsen, 2022).