The transcendental part of the regulator map for \(K_1\) on a mirror family of \(K3\)-surfaces. (Q1847922)

Let \(X\) be a smooth projective variety over a field \(k\). Bloch's higher Chow groups \(\text{CH}^p(X,n)\) coincide with the motivic cohomology groups \(H^{2p-n}_{\mathcal M}(X,\mathbb{Z}(p)\) defined by Suslin and Voevodsky and are related to algebraic \(K\)-theory via the isomorphism: \[ K_i(X)^{(j)}\simeq H^{2j-i}\bigl(X,\mathbb{Z}(i) \bigr), \] where \(K_i (X)^{(j)}\) are the eigenspaces for the Adams operations on \(K\)-theory. \(\text{CH}^p(X,0)\) is just the classical group of codimension \(p\) cycles on \(X\) modulo rational equivalence. The group \(\text{CH}^p(X,1)\) is isomorphic to \(H^{p-1} (X,{\mathcal K}_p)\) where \({\mathcal K}_p\) is the sheaf associated to the \(K\)-group \(K_p\). \(\text{CH}^p(X,1)\) is therefore generated by higher cycles of the form \(Z= \sum_i Z_i\otimes f_i\), where the \(Z_i\) are irreducible subvarieties of codimension \(p-1\) and \(f_i\) are rational functions in \(k(Z_i)\) such that \(\sum_i \text{div}\,f_i=0\) as a cycle on \(X\). Now let \(\tau_p:\text{CH}^{p-1} (X)\otimes k^*\to \text{CH}^p(X,1)\): a natural question to ask is to find elements in \(\text{CH}^p(X,1)\) which are not in the image of \(\tau_p\) i.e., which are indecomposable. So one defines \[ \text{CH}^p_{\text{ind}}(X,1)=\text{CH}^p(X,1)/\text{CH}^p_{\text{dec}}(X,1), \] where \(\text{CH}^p_{\text{dec}} (X,1)=\text{Im}\,\tau_p\). In this paper the authors consider the group \(\text{CH}^2(X,1)\) for smooth projective surfaces over \(k=\mathbb{C}\) and look at the Chern class map into Deligne cohomology: \[ c_{2,1}: \text{CH}^2(X,1)\to H^3_{\mathcal D}\bigl(X,\mathbb{Z}(2) \bigr)=\frac {H^2(X,\mathbb{C})} {H^2(X,\mathbb{Z})+ F^2H^2(X,\mathbb{C})}. \] Then the decomposable cycles, i.e., the image of \(\tau=\tau_1\) are mapped to the subgroup \(\text{NS}(X)\otimes_\mathbb{Z} \mathbb{C}^*\). The Neron-Severi lattice \(\text{NS} (X) \subset H^2(X,\mathbb{Z})\) has an orthogonal complement \(T(X)\) which yields a well defined morphism: \[ \text{Coker}(\tau) \to\frac{T(X) \otimes \mathbb{C}^*}{F^2}. \] For a smooth family \(f:X\to B\) of complex algebraic surfaces over a quasi-projective complex variety \(B\) and an algebraic family of cycles \(Z_b\in \text{CH}^2(X_b,1)\) one may define the normal function \(\nu(b)=c_{2,1} (Z_b)\in\frac {T(X_b)\otimes \mathbb{C}^*} {F^2}\). In this paper the author consider the case of a mirror family of quartic \(K3\) surfaces and the transcendental part of the normal function corresponding to the Deligne class of a cycle \(Z_b\in \text{CH}^2(X_b,1)\). The resulting multivalued function does not satisfy the hypergeometric differential equation of the period, so that the cycle is indecomposable for most points in the family.