The Walker Abel-Jacobi map descends

For a complex projective manifold, Walker has defined a regular homomorphism lifting Griffiths' Abel-Jacobi map on algebraically trivial cycle classes to a complex abelian variety, which admits a finite homomorphism to the Griffiths intermediate Jacobian. Recently Suzuki gave an alternate, Hodge-theoretic, construction of this Walker Abel-Jacobi map. We provide a third construction based on a general lifting property for surjective regular homomorphisms, and prove that the Walker Abel-Jacobi map descends canonically to any field of definition of the complex projective manifold. In addition, we determine the image of the l-adic Bloch map restricted to algebraically trivial cycle classes in terms of the coniveau filtration.

(X) ֒→ J 2p−1 (X) which is algebraic, i.e., an abelian variety, and called the algebraic intermediate Jacobian. The resulting (surjective) Abel-Jacobi map defines a regular homomorphism, meaning that for all pointed smooth connected complex varieties (T, t 0 ) and all families of codimension-p cycles Z ∈ CH p (T × X) the map T(C) → J 2p−1 a (X), t → ψ p (Z t − Z t 0 ) is induced by a complex morphism T → J (X) can also be described Hodge-theoretically. For Λ a commutative ring, consider the coniveau filtration N • : The first-and second-named authors were partially supported by grants 637075 and 581058, respectively, from the Simons Foundation.
On the other hand, the Walker intermediate Jacobian is the complex torus defined as J 2p−1 W (X) := J N p−1 H 2p−1 (X, Z(p)) .
The inclusion of lattices N p−1 H 2p−1 (X, Z(p)) ⊆ H 2p−1 (X, Z(p)) ∩ N p−1 H 2p−1 (X, C) induces an isogeny of complex tori which in fact is an isogeny of complex abelian varieties, since the pull-back of an ample line bundle on J 2p−1 a (X) along the finite map α is ample.
Walker has shown that the Abel-Jacobi map on algebraically trivial cycle classes lifts to the Walker intermediate Jacobian : Theorem A (Walker, [Wal07]). Let X be a complex projective manifold. There exists a regular homomorphism ψ p W lifting the Abel-Jacobi map ψ p along the isogeny α : J 2p−1 W (X) → J 2p−1 a (X), i.e., making the following diagram commute : The regular homomorphism ψ p W : A p (X) −→ J 2p−1 W (X) will be called the Walker Abel-Jacobi map. It was first constructed by Walker [Wal07] using Lawson homology ; recently, Suzuki [Suz20a] gave a Hodge-theoretic construction relying solely on Bloch-Ogus theory [BO74]. That ψ p W is regular is [Wal07,Lem. 7.3] or [Suz20a,Cor. 2.6]. In addition, it is shown in [Suz20a,Lem. 2.4] that ψ p W is compatible with the action of correspondences. In the case where p = 1, 2, dim X, the usual Abel-Jacobi map ψ p is universal among regular homomorphisms (see [Mur85,Thm. C]), and so the Walker Abel-Jacobi map coincides with the usual Abel-Jacobi map (i.e., the isogeny α is an isomorphism), while in general it differs (see Ottem-Suzuki [OS20,Cor. 4.2]) and hence provides a finer invariant for algebraically trivial cycles.
The first aim of this paper is to provide a new proof of Walker's Theorem A ; see §2.3. Our proof is based on the general lifting Theorem 1.5 for regular homomorphisms (see also Proposition 1.3), which we hope could prove useful in other situations, especially in positive characteristic.
As our main new result, we show that if X is defined over a field K ⊆ C, then the Walker intermediate Jacobian descends to K in such a way that the diagram of Theorem A can be made Aut(C/K)-equivariant : Theorem B (Distinguished model). Let X be a smooth projective variety variety over a field K ⊆ C. Then the isogeny α : J  [ACMV19a,Thm. 9.1]). We provide two proofs of Theorem B. The first one is presented in §2.5 ; it is based on [ACMV20, Thm. A], on the universality of the Walker Abel-Jacobi map among lifts of the Abel-Jacobi map along isogenies (Theorem 2.3) and on the general descent statement of our lifting Theorem 1.5. The second one is presented in §3.3 and builds directly upon [ACMV20]. We note also here that, as in [ACMV20, Thm. A] and [ACMV19b, Prop. 3.1], which concern the case of the algebraic intermediate Jacobian, the K-structure in Theorem B for the Walker intermediate Jacobian and Walker Abel-Jacobi map is stable under field extensions K ⊆ L ⊆ C (Remark 3.4), and independent of the embedding of K into C (Remark 3.5). As a consequence, the kernel of the Walker Abel-Jacobi map is independent of the choice of embedding of K into C ; the analogous statement for the Abel-Jacobi map on algebraically trivial cycle classes is [ACMV19b,Rem. 3.4].
From our second approach to proving Theorem B we obtain two applications.
First, we obtain the following proposition, which provides further arithmetic significance to the Walker Abel-Jacobi map, by showing that the torsion-free quotient of N p−1 H 2p−1 et (X C , Z ℓ (p)) can be modeled by an abelian variety independently of ℓ : Corollary C (Modeling coniveau integrally). Let X be a smooth projective variety over a field K ⊆ C. Then for all integers p, the model J has the property that for all primes ℓ we have canonical isomorphisms of Aut(C/K)-representations This result is established in §4.1. It was established with Q ℓ -coefficients in [ACMV20, Thm. A] with the model of the algebraic intermediate Jacobian over K in place of that of the Walker intermediate Jacobian. We direct the reader to [ACMV21] for more details, and in particular, the connection to a question of Mazur [Maz14].
Second, for any smooth projective variety X over an algebraically closed field and for any prime ℓ invertible in X, Bloch [Blo79] has defined a map λ p : ) τ is then obtained by taking Tate modules and making the identification T ℓ H ié t (X, Q ℓ /Z ℓ (j)) = H ié t (X, Z ℓ (j)) τ ; we refer to [Suw88, (2.6.5)], and to [ACMV21, §A.3.3], for more details. Here, the Tate module associated to an ℓ-primary torsion abelian group M is the group T ℓ M := lim ← − M[ℓ n ]. Thanks to our approach to lifting regular homomorphisms along isogenies, together with the existence of the Walker Abel-Jacobi map, we determine the image of T ℓ λ p restricted to algebraically trivial cycle classes : Corollary D. Let X be a smooth projective variety over a field K of characteristic zero. Then This extends [Suw88, Prop. 5.2] (see also [ACMV21,Prop. 2.1]), where the images of the usual Bloch map λ p and of T ℓ λ p ⊗ Q ℓ , both restricted to algebraically trivial cycle classes, were determined.
1. LIFTING REGULAR HOMOMORPHISMS ALONG ISOGENIES 1.1. An elementary fact. We start with the following elementary fact, which will be used recurringly throughout this note. Fact 1.1. Let f : D → G and α : G ′ → G be homomorphisms of abelian groups. Assume D is divisible and that ker α is finite. Then there exists at most one homomorphism f ′ : D → G ′ such that α • f ′ = f , i.e., such that the following diagram commutes : As a first consequence, note that since for a smooth complex projective variety X one has that A p (X) is a divisible group (e.g., [BO74,Lem. 7.10]), there is at most one homomorphism ψ p W : , there is at most one lifting of the Abel-Jacobi map to the Walker intermediate Jacobian. (1) There exists a lift f ′ : B → A ′ of f ; i.e., there is a commutative diagram (2) There exists a lift of f restricted to torsion schemes ; i.e., for each natural number N there is a commutative diagram of finite group schemes (1.1) If α is separable (equivalently,étale), and Ω/K is any field extension with Ω algebraically closed, then (1) and (2) are also equivalent to each of the following conditions :

there is a commutative diagram of torsion abelian groups
(4) For all prime numbers l there exists a group-theoretic lift (T l f ) ′ : T l B → T l A ′ of T l f , the map on Tate modules ; i.e., there is a commutative diagram (5) For all prime numbers l, we have im(T l f ) ⊆ im(T l α). Finally, if any of the lifts in (1)-(4) exist, they are unique. In particular, Proof. The uniqueness of the lift f ′ follows from Fact 1.1 ; and (1) clearly implies (2). Moreover, (2) implies (3), and (3) implies (2) over an algebraically closed field of characteristic zero. Conditions (3) and (4) are obviously equivalent; (4) and (5) are equivalent because each T l α is an inclusion.
To show (2) implies (1), suppose there exists a suitable lift of f on torsion schemes. By rigidity of homomorphisms of abelian varieties, we may assume that K is perfect. Using the uniqueness of f ′ and Galois descent, we may and do assume K is algebraically closed.
We start by reducing to the case where f is an isogeny. To this end, consider the diagram is the quotient of B by the largest sub-abelian variety contained in ker( f ).
Fix a prime l and consider l-primary torsion. Using the lift ( f [l ∞ ]) ′ , we have the diagram: The splitting of the map f conn [l ∞ ] is elementary, since whenever one has a short exact sequence of abelian varieties the induced maps on l-primary torsion give a split exact sequence (taking lprimary torsion is exact since the kernel is divisible, and then free modules are projective). (If l = char(K), an appeal to Dieudonné modules gives the same conclusion.) Thus, we now assume f and α are isogenies. Suppose briefly that char(K) = 0 ; then f and α areétale. The cover f factors through α if and only if the induced map onétale fundamental groups f * : By taking the inverse limit of the maps of finite groups ( f [N]) ′ (K), we see that the condition on fundamental groups is equivalent to (2). Now suppose instead that K is algebraically closed of positive characteristic. Then f , while possibly notétale, is at least a torsor over X under the finite commutative group scheme ker( f ). Consequently, it is classified by a quotient of Nori's fundamental group scheme π Nori 1 (A) [Nor76]. Moreover, for an abelian variety D/K, we have π Nori [Nor83]. Consequently, condition (2) is again equivalent to the hypothesis that the cover f factors through α.
Finally, suppose α isétale by hypothesis and that (3) holds. As noted above, it suffices to consider the case where K is algebraically closed of positive characteristic and f : B → A is an isogeny. Now, any isogeny g : D → C of abelian varieties over K admits a canonical fac- . Now fé t and α areétale isogenies and we may argue using fundamental groups as before, while recalling that (in all characteristics) π´e t The same argument, combined with the canonical isomorphism π´e t 1 (D, 0 D ) ≃ ∏ l T l D, shows that (4) implies (1), as well.
1.3. Lifting regular homomorphisms along isogenies. From Lemma 1.2 we get the following lifting criterion for regular homomorphisms : Proposition 1.3. Let K be a field, and Ω/K an algebraically closed extension. Let X/K be a smooth projective variety, let A/K be an abelian variety over K, let φ : A p (X Ω ) → A(Ω) be an Aut(Ω/K)equivariant regular homomorphism, and let α : A ′ → A be anétale isogeny of abelian varieties over K. Then the following are equivalent : (1) The Aut(Ω/K)-equivariant regular homomorphism φ lifts to A ′ , in the sense that there is a commutative diagram of Aut(Ω/K)-equivariant regular homomorphisms (2) The homomorphism φ lifts on torsion, in the sense that there is a commutative diagram of torsion abelian groups (3) For all prime numbers l there exists a group-theoretic lift (T l φ) ′ : T l A p (X Ω ) → T l A ′ of T l φ, the map on Tate modules ; i.e., there is a commutative diagram (4) For all prime numbers l, we have im(T l φ) ⊆ im(T l α). Finally, if any of the lifts in (1)-(3) exist, then they are unique and Aut(Ω/K)-equivariant. In particular, (φ ′ ) tors = (φ tors ) ′ and (T l φ) ′ = T l (φ ′ ).
Let (T, t 0 ) be a smooth pointed variety over Ω, and let Γ ∈ CH p (T × Ω X Ω ). Then we have a commutative diagram where the top row is the pointed Albanese, and the right vertical arrow f comes from the universal property of algebraic representatives, together with the facts that Albaneses are algebraic representatives, and that φ • Γ * can easily be confirmed to be a regular homomorphism. On Tate modules we obtain a diagram where the lift (T l φ) ′ is provided by assumption (3 It follows immediately that if φ lifts to an abstract homomorphism φ ′ : A p (X Ω ) → A ′ (Ω), then φ ′ is a regular homomorphism. Thus we have reduced the problem to showing that φ lifts as an abstract homomorphism to a homomorphism φ ′ : Over an algebraically closed field, algebraically trivial cycles are parameterized by smooth projective curves [Ful98, Ex. 10.3.2]. In other words, A p (X Ω ) is covered by the images of Γ * : A 0 (T) → A p (X Ω ), where T runs through pointed smooth projective curves over Ω and Γ over correspondences in CH p (T × Ω X Ω ). Now since A 0 (T) is divisible, it follows that Γ * (A 0 (T)) is divisible ; therefore, by the uniqueness of lifts (Fact 1.1) it is enough to show that f ′ • alb in (1.3) factors through Γ * (A 0 (T)) in the case where T is a smooth projective curve. In other words, taking T to be a smooth projective curve over Ω, and given any γ ∈ A 0 (T) such that Γ * (γ) = 0, we must show that ( f ′ • alb)(γ) = 0.
The first observation is that this is clear if Ω is the algebraic closure of a finite field. Indeed, in that case A 0 (T) is a torsion group, since the Albanese map A 0 (T) → Alb T (Ω) is an isomorphism and closed points of an abelian variety over a finite field are torsion. Thus γ is torsion. Decomposing torsion in A 0 (T) into a direct sum of l-power torsion, we can work one prime at a time. Now we make the following elementary observation : given any homomorphism of groups h : D → G where D is divisible, and any x ∈ D[l ∞ ], we have that h(x) = 0 if for some lift x l of x to T l D (which exists since D is divisible), we have that (T l h)(x l ) = 0. Consequently, taking Tate modules in (1.3) and using the lift (T l φ) ′ (1.2), we see that alb(γ) = 0.
We now deduce the general case from the case of finite fields, via a specialization argument. For this we use the terminology of regular homomorphisms from [ACMV19a], which is much better suited to the relative setting. Since all objects considered here are of finite type, the data X, T, Γ, A, A ′ , α and γ descend to a field L which is finitely generated over the prime field. A standard spreading argument produces a smooth ring R, finitely generated as a Z-algebra and with fraction field L, and smooth X, T , A, A ′ over S = Spec(R), as well as γ ∈ A 1 T /S (S), whose generic fibers are the corresponding original data. Let |S| cl be the set of points of S with finite residue fields ; then |S| cl is topologically dense in S.

From [ACMV19a], there exists a diagram
A 1 where Φ : A p X/S → A is a regular homomorphism, the Albanese homomorphism is the universal regular homomorphism for 0-cycles [ACMV19a, Lem. 7.5] and the remaining morphisms are extensions of those in (1.3). Set a ′ = ( f ′ S • alb)(γ) ∈ A ′ (S). Now suppose s ∈ |S| cl . Then pullback of (1.4) yields a diagram of objects over s = Spec(κ(s)), where specialization of cycles is provided by [Ful98,20.3.5]. We have seen that for each such s, a ′ s = 0 ∈ A ′ (s). Using the density of |S| cl , we see that a ′ = 0, and in particular its generic fiber ( f ′ • alb)(γ) is zero.
Remark 1.4 (Regular homomorphisms and mini-versal cycle classes). Given a surjective Aut(Ω/K)equivariant regular homomorphism φ : A p (X Ω ) → A(Ω), there is a cycle class Γ ∈ CH p (A × K X) (which we call a mini-versal cycle class) such that the associated map ψ Γ : A → A, induced on Ω-points by a → Γ a − Γ 0 → φ(Γ a − Γ 0 ), is given by multiplication by some non-zero integer r [ACMV19a, Lem. 4.7]. One can immediately see from the definition that given anyétale isogeny α : A ′ → A through which φ factors, one has (deg α) | (deg r · Id A ) = r 2 dim A . In particular, if there is a universal cycle class (i.e., r = 1), then φ does not factor through any non-trivial isogeny A ′ → A.
We obtain the following consequence of Proposition 1.3, establishing the existence of a universal lifting of a surjective regular homomorphism along isogenies. Together with Corollary 1.6, this extends [BF84, Thm. 0.1] to the case of arbitrary fields. Note also that the proof of [BF84, Thm. 0.1] is incorrect. (On the bottom of [BF84,p.362], it is assumed that the map u : B(k) → A q (X) is a homomorphism, so that the image of u is a subgroup of A q (X). There, X is a smooth projective variety over an algebraically closed field k, B is an abelian variety over k, and u : b → Z * ([u] − [0]) is the map induced by a cycle Z ∈ CH p (B × k X). However, this is not the case in general. Indeed, consider the special instance where X = B is an abelian variety of dimension > 1 over an uncountable algebraically closed field k and where Z = ∆ B is the diagonal cycle class. Then the [Mur00,p.309].) Theorem 1.5 (Universal lift of surjective regular homomorphisms alongétale isogenies). Let K be a field, and Ω/K an algebraically closed extension. Let X/K be a smooth projective variety, let A/K be an abelian variety over K, and let φ : A p (X Ω ) → A(Ω) be a surjective regular homomorphism. Then there exist anétale isogeny α : A → A Ω , characterized by the condition im(T l α) = im(T l φ) for all primes l, and a surjective regular homomorphismφ : Moreover, if φ is Aut(Ω/K)-equivariant, then A admits a unique model over K such thatφ is Aut(Ω/K)equivariant, and the isogeny α descends to K.
Proof. Using a mini-versal cycle class as in Remark 1.4, one sees that (∏ T l φ)(A p (X Ω )) has finite index in ∏ T l A ≃ π´e t 1 (A Ω , 0). Consequently, it determines anétale isogeny A → A Ω over Ω ; by Proposition 1.3(4), there is a surjective regular homomorphismφ : A p (X) → A(Ω) which lifts φ and which is initial among all regular lifts of φ alongétale isogenies A ′ → A Ω over Ω.
Suppose now that φ is Aut(Ω/K)-equivariant, and briefly assume K perfect. The unicity of the model over K follows from the elementary Fact 1.1. Its existence follows from the universality ofφ : for all σ ∈ Aut(Ω/K), one obtains an isomorphism g σ : A → A σ over Ω, where A σ is the pull-back of A along σ : Ω → Ω, making the following diagram commute

A(Ω)
Hereφ σ and α σ are obtained from the action of σ on A p (X Ω ) and on A Ω , and from the canonical σ-morphism A σ → A. To conclude, one checks as in the proof of [ACMV17,Thm. 4.4] that the isomorphisms g −1 σ for σ ∈ Aut(Ω/K) define a Galois-descent datum on the isogeny α : A → A Ω . If K is a non-perfect field, let K perf be the perfect closure of K inside Ω. From what we have seen, since Aut(Ω/K perf ) ⊆ Aut(Ω/K), A descends to K perf . Because in fact Aut(Ω/K perf ) = Aut(Ω/K), it suffices to show that α : A → A K perf descends to K. Now, by definition, the homomorphism α factors through the K perf /K-image A → im K perf /K ( A) K perf , which exists due to [Con06,Thm. 4.3]. Since α : A → A K perf isétale and K perf /K is primary, the canonical map A → im K perf /K ( A) K perf , which always has connected kernel [Con06, Thm. 4.5(3)], is an isomorphism, and A and α descend canonically to K.
We derive the following characterization of surjective regular homomorphisms that do not lift along non-trivial isogenies in terms of their kernels : Corollary 1.6. Let X be a smooth projective variety over an algebraically closed field Ω and let φ : A p (X) → A(Ω) be a surjective regular homomorphism. Then the following statements are equivalent : (1) ker φ is divisible.
(3) T l φ is surjective for all primes l.
(4) φ does not factor through any non-trivialétale isogeny α : Proof. The argument in the proof of Theorem 1.5 says that (3) and (4) are equivalent (recall from Proposition 1.3 that a group-theoretic lift of a regular homomorphism along an isogeny is a regular homomorphism). The elementary commutative algebra Lemma 1.7 below gives the equivalence of (1) and (3). Finally, since surjective regular homomorphisms are surjective on torsion (see [ACMV20,Rem. 3.3]), Lemma 1.7 below also gives that T l φ being surjective for all l is equivalent to ker(φ tors ) being l-divisible for all primes l, i.e., that (2) is equivalent to (3).
Lemma 1.7. Suppose that we have a short exact sequence of abelian groups with D an l-divisible group. Then the left exact sequence If in addition D tors → G tors is surjective, then this is also equivalent to H tors being l-divisible.
Proof. Since D is l-divisible, we have for all n > 0 exact sequences Using that A/l n A = 0 and lim ← − 1 n A[l n ] = 0 for any l-divisible abelian group A, we obtain by passing to the inverse limit a short exact sequence Conversely, if H is not l-divisible, let us assume that H/l n H = 0 for all n ≥ n 0 . In particular D[l n ] → G[l n ] is not surjective for every n ≥ n 0 . Now let g n 0 ∈ G[l n 0 ] be an element that is not in the image of the map D[l n 0 ] → G[l n 0 ]. Since G is l-divisible (being the image of the l-divisible group D), we can lift g n to an element (g n ) ∈ T l G. Clearly (g n ) is not the image of any element (d n ) ∈ T l D, since then d n 0 → g n 0 . Thus T l D → T l G is not surjective. This completes the proof of the converse.
Finally assume that D tors → G tors is surjective. Then we can simply replace the short exact sequence 0 → H → D → G → 0 with 0 → H tors → D tors → G tors → 0 and we have reduced to the previous case, since D divisible implies that D tors is divisible, and T l A = T l (A tors ) for any abelian group A.

THE WALKER ABEL-JACOBI MAP
The aim of this section is to provide a new construction of the Walker Abel-Jacobi map (Theorem A), based on our general lifting Proposition 1.3.
2.1. The Bloch map and the coniveau filtration. Recall that, for any smooth projective variety X over an algebraically closed field and for any prime ℓ invertible in X, Bloch [Blo79] has defined a map λ p : In case X is a smooth projective complex variety, we obtain by comparison isomorphism a map λ p : CH p (X)[ℓ ∞ ] → H 2p−1 (X an , Q ℓ /Z ℓ (p)). When restricted to homologically trivial cycles, the Bloch map factors as (see, e.g., [ACMV21, §A.5]) where the right-hand side arrow is the canonical inclusion coming from the universal coefficient theorem. The following lemma is due to Suzuki [Suz20b] : Lemma 2.1. Let X be a projective complex manifold. Then the restriction of the Bloch map λ p to algebraically trivial cycles factors uniquely as : 3.1. The Bloch map and the coniveau filtration, ℓ-adically. For lack of a suitable reference, we start with a comparison between the analytic and ℓ-adic coniveau filtrations : Lemma 3.1. Let X be a smooth projective variety over a field K ⊆ C. We have canonical identifications Moreover, the natural action of Aut(C/K)-action on H j et (X C , Z ℓ ) induces an action on N i H j et (X C , Z ℓ ). Proof. We have the following commutative diagram : Here the limits are taken over all closed subschemes Z of X C of codimension ≤ i. The top two rows are exact by definition of the coniveau filtration, while the third is also exact by flatness of the Z-module Z ℓ . The bottom vertical arrows are isomorphisms by flatness of Z ℓ and the fact that lim − → commutes with ⊗. The top two vertical arrows are the isomorphisms provided by Artin's comparison theorem. Thus we obtain the desired identification.
The action of Aut(C/K) on N i H j et (X C , Z ℓ ) comes from the fact that the coniveau filtration on X C can be obtained using subvarieties defined over K (as can be seen by spreading out and by using smooth base-change, followed by taking Galois-orbits).
which is the ℓ-adic analogue of the identification (2.2). In addition, by the comparison isomorphism in cohomology, Proposition 2.2 provides a commutative diagram : The following lemma will play a crucial role in the proof of Theorem B. It shows that, via the identification (3.2), the restriction of the Walker Abel-Jacobi map to ℓ-primary torsion coincides with the factorization of the Bloch map given in Lemma 3.2.
Lemma 3.3. Let X be a smooth projective variety over a field K ⊆ C. On algebraically trivial cycles of ℓ-primary torsion, the map λ p W coincides with the Walker Abel-Jacobi map ψ p W , i.e., the following diagram commutes : Proof. This follows directly from restricting the previous diagram to algebraically trivial cycles and from the fact that λ p W (resp. ψ p W [ℓ ∞ ]) are the unique lifts of λ p (resp. ψ p [ℓ ∞ ]). 3.3. Second proof of Theorem B. Let X be a smooth projective variety over a field K ⊆ C. Recall that we showed in [ACMV20, Thm. A] (see also [ACMV19a,Thm. 9.1]) that J 2p−1 a (X C ) admits a unique model over K such that the Abel-Jacobi map ψ p : A p (X C ) → J 2p−1 a (X C ) is Aut(C/K)equivariant. We are going to show that α descends uniquely to K with respect to the above Kstructure on J To that end, let C be a K-pointed, geometrically integral, smooth projective curve over K, together with a correspondence Γ ∈ CH p (C × K X) such that the induced homomorphism J(C C ) → J 2p−1 a (X C ) is surjective. The existence of such a C and Γ is provided by [ACMV20, Prop. 1.1]. We thus obtain a commutative diagram where the homomorphism γ, which is defined by the fact that the Jacobian of a curve together with the Abel map is a universal regular homomorphism, is also induced by the correspondence Γ * : H 1 (C an C , Z(1)) → H 2p−1 (X an C , Z(p)) (which factors through N p−1 H 2p−1 (X an C , Z(p)) ; see e.g., [ACMV21, Prop. 1.1]). We then show that, with respect to the K-structure on J(C C ) given by the Jacobian J(C) of C, the surjective homomorphism γ descends to K. (That α • γ descends to K was established in [ACMV20,§2].) For that purpose, by the elementary [ACMV20, Lem. 2.3], it suffices to show that, for all primes ℓ, the ℓ-primary torsion in P := ker γ : is stable under the action of Aut(C/K) on J(C) (C).
For this we take ℓ-primary torsion in the commutative diagram (3.3), then use the compatibility of the Bloch map with the Walker Abel-Jacobi map (Lemma 3.3) to obtain the commutative diagram The only things that needs explaining is the middle vertical map : here we are using the fact that the Bloch map is compatible with correspondences, and the fact mentioned above that the correspondence Γ * : H 1 et (C C , Z ℓ (1)) → H 2p−1 et (X C , Z ℓ (p)) factors through N p−1 H 2p−1 et (X C , Z ℓ (p)). (Although we do not strictly need it for the argument, we note that the left hand square is Aut(C/K)equivariant due to Lemma 3.1.) Therefore P[ℓ ∞ ] is identified with the kernel of which, since Γ is defined over K, is stable under the action of Aut(C/K). We have thus showed that γ descends to K. Combined with the fact [ACMV20, §2] that α • γ also descends to K with respect to the K-structure of J(C C ) given by J(C C ) = J(C) C , we readily obtain that α descends to K (e.g., by the elementary [ACMV20, Lem. 2.4]).

Further remarks.
Remark 3.4 (Base change of field). If X is a smooth projective variety over a field K ⊆ L ⊆ C, then there is a canonical identification J 2p−1 W,X L /L = (J 2p−1 W,X/K ) L . Remark 3.5 (Independence of embedding of K in C). Let X be a smooth complex projective variety. For a smooth projective complex variety Z and an automorphism σ ∈ Aut(C), we denote Z σ := Z ⊗ σ C the base-change of Z along σ. Arguing as in the proof of [ACMV19b, Prop. 3.1] shows the following extension of Theorem B : for all σ ∈ Aut(C) there is a canonical identification and a commutative diagram As a consequence, for a smooth projective variety X over a field K of characteristic 0, the kernel of the Walker Abel-Jacobi map associated to X and an embedding of K into C is independent of that embedding.

Modeling coniveau -on a question of Mazur.
In this paragraph, we show Corollary C stat-