Real Clifford Algebras as Tensor Products over Centers

Denote by ${\mathcal{C}\ell_{p,q}}$ the Clifford algebra on the real vector space ${\mathbb{R}^{p,q}}$ . This paper gives a unified tensor product expression of ${\mathcal{C}\ell_{p,q}}$ by using the center of ${\mathcal{C}\ell_{p,q}}$ . The main result states that for nonnegative integers p, q, ${\mathcal{C}\ell_{p,q} \simeq \otimes^{\kappa-\delta}\mathcal{C}_{1,1} \otimes Cen(\mathcal{C}\ell_{p,q}) \otimes^{\delta} \mathcal{C}\ell_{0,2},}$ where ${p + q \equiv \varepsilon}$ mod 2, ${\kappa = ((p + q) - \varepsilon)/2, p - |q - \varepsilon| \equiv i}$ mod 8 and ${\delta = \lfloor i / 4 \rfloor}$ .     

Interface foliation for an inhomogeneous Allen–Cahn equation in Riemannian manifolds

Let ${(\mathcal{M}, \tilde{g})}$ be an N-dimensional smooth compact Riemannian manifold. We consider the problem ${\varepsilon^2 \triangle_{\tilde{g}} \tilde{u} + V(\tilde{z})\tilde{u}(1-\tilde{u}^2)=0\; {\rm in}\; \mathcal{M}}$ , where ${\varepsilon > 0}$ is a small parameter and V is a positive, smooth function in ${\mathcal{M}}$ . Let ${\kappa \subset \mathcal{M}}$ be an (N ? 1)-dimensional smooth submanifold that divides ${\mathcal{M}}$ into two disjoint components ${\mathcal{M}_{\pm}}$ . We assume κ is stationary and non-degenerate relative to the weighted area functional ${\int_{\kappa}V^{\frac{1}{2}}}$ . For each integer m ≥ 2, we prove the existence of a sequence ${\varepsilon = \varepsilon_\ell \rightarrow 0}$ , and two opposite directional solutions with m-transition layers near κ, whose mutual distance is ${{\rm O}(\varepsilon | \log \varepsilon | )}$ . Moreover, the interaction between neighboring layers is governed by a type of Jacobi–Toda system.     

Computable representations for convex hulls of low-dimensional quadratic forms

Let ${\mathcal{C}}$ be the convex hull of points ${{\{{1 \choose x}{1 \choose x}^T \,|\, x\in \mathcal{F}\subset \Re^n\}}}$ . Representing or approximating ${\mathcal{C}}$ is a fundamental problem for global optimization algorithms based on convex relaxations of products of variables. We show that if n ≤ 4 and ${\mathcal{F}}$ is a simplex, then ${\mathcal{C}}$ has a computable representation in terms of matrices X that are doubly nonnegative (positive semidefinite and componentwise nonnegative). We also prove that if n = 2 and ${\mathcal{F}}$ is a box, then ${\mathcal{C}}$ has a representation that combines semidefiniteness with constraints on product terms obtained from the reformulation-linearization technique (RLT). The simplex result generalizes known representations for the convex hull of ${{\{(x_1, x_2, x_1x_2)\,|\, x\in\mathcal{F}\}}}$ when ${\mathcal{F}\subset\Re^2}$ is a triangle, while the result for box constraints generalizes the well-known fact that in this case the RLT constraints generate the convex hull of ${{\{(x_1, x_2, x_1x_2)\,|\, x\in\mathcal{F}\}}}$ . When n = 3 and ${\mathcal{F}}$ is a box, we show that a representation for ${\mathcal{C}}$ can be obtained by utilizing the simplex result for n = 4 in conjunction with a triangulation of the 3-cube.     

The universal Glivenko–Cantelli property

Let ${\mathcal{F}}$ be a separable uniformly bounded family of measurable functions on a standard measurable space ${(X, \mathcal{X})}$ , and let ${N_{[]}(\mathcal{F}, \varepsilon, \mu)}$ be the smallest number of ${\varepsilon}$ -brackets in L ¹(μ) needed to cover ${\mathcal{F}}$ . The following are equivalent:

1. ${\mathcal{F}}$ is a universal Glivenko–Cantelli class.
2. ${N_{[]}(\mathcal{F},\varepsilon,\mu) < \infty}$ for every ${\varepsilon > 0}$ and every probability measure μ.
3. ${\mathcal{F}}$ is totally bounded in L ¹(μ) for every probability measure μ.
4. ${\mathcal{F}}$ does not contain a Boolean σ-independent sequence.

It follows that universal Glivenko–Cantelli classes are uniformity classes for general sequences of almost surely convergent random measures.     

Quantitative Stratification and the Regularity of Mean Curvature Flow

Let ${\mathcal{M}}$ be a Brakke flow of n-dimensional surfaces in ${\mathbb{R}^N}$ . The singular set ${\mathcal{S} \subset \mathcal{M}}$ has a stratification ${\mathcal{S}^0 \subset \mathcal{S}^1 \subset \cdots \mathcal{S}}$ , where ${X \in \mathcal{S}^j}$ if no tangent flow at X has more than j symmetries. Here, we define quantitative singular strata ${\mathcal{S}^j_{\eta, r}}$ satisfying ${\cup_{\eta>0} \cap_{0<r} \mathcal{S}^j_{\eta, r} = \mathcal{S}^j}$ . Sharpening the known parabolic Hausdorff dimension bound ${{\rm dim} \mathcal{S}^j \leq j}$ , we prove the effective Minkowski estimates that the volume of r-tubular neighborhoods of ${\mathcal{S}^j_{\eta, r}}$ satisfies ${{\rm Vol} (T_r(\mathcal{S}^j_{\eta, r}) \cap B_1) \leq Cr^{N + 2 - j-\varepsilon}}$ . Our primary application of this is to higher regularity of Brakke flows starting at k-convex smooth compact embedded hypersurfaces. To this end, we prove that for the flow of k-convex hypersurfaces, any backwards selfsimilar limit flow with at least k symmetries is in fact a static multiplicity one plane. Then, denoting by ${\mathcal{B}_r \subset \mathcal{M}}$ the set of points with regularity scale less than r, we prove that ${{\rm Vol}(T_r(\mathcal{B}_r)) \leq C r^{n+4-k-\varepsilon}}$ . This gives L ^p -estimates for the second fundamental form for any p < n + 1 ? k. In fact, the estimates are much stronger and give L ^p -estimates for the reciprocal of the regularity scale. These estimates are sharp. The key technique that we develop and apply is a parabolic version of the quantitative stratification method introduced in Cheeger and Naber (Invent. Math., (2)191 2013), 321–339) and Cheeger and Naber (Comm. Pure. Appl. Math, arXiv:1107.3097v1, 2013).     

Forbidden configurations and Steiner designs

Let ${\mathcal{F}}$ be a (0, 1) matrix. A (0, 1) matrix ${\mathcal{M}}$ is said to have ${\mathcal{F}}$ as a configuration if there is a submatrix of ${\mathcal{M}}$ which is a row and column permutation of ${\mathcal{F}}$ . We say that a matrix ${\mathcal{M}}$ is simple if it has no repeated columns. For a given ${v \in \mathbb{N}}$ , we shall denote by forb ${(v, \mathcal{F})}$ the maximum number of columns in a simple (0, 1) matrix with v rows for which ${\mathcal{F}}$ does not occur as a configuration. We say that a matrix ${\mathcal{M}}$ is maximal for ${\mathcal{F}}$ if ${\mathcal{M}}$ has forb ${(v, \mathcal{F})}$ columns. In this paper we show that for certain natural choices of ${\mathcal{F}}$ , forb ${(v, \mathcal{F})\leq\frac{\binom{v}{t}}{t+1}}$ . In particular this gives an extremal characterization for Steiner t-designs as maximal (0, 1) matrices in terms of certain forbidden configurations.     

Characterization of (generalized) Lie derivations on {\mathcal{J}}-subspace lattice algebras by local action

Let ${\mathcal{L}}$ be a ${\mathcal{J}}$ -subspace lattice on a Banach space X over the real or complex field ${\mathbb{F}}$ with dim X ≥ 2 and Alg ${\mathcal{L}}$ be the associated ${\mathcal{J}}$ -subspace lattice algebra. For any scalar ${\xi \in \mathbb{F}}$ , there is a characterization of any linear map L : Alg ${\mathcal{L} \rightarrow {\rm Alg} {\mathcal{L}}}$ satisfying ${L([A,B]_\xi) = [L(A),B]_\xi + [A,L(B)]_\xi}$ for any ${A, B \in{\rm Alg} {\mathcal{L}}}$ with AB = 0 (rep. ${[A,B]_ \xi = AB - \xi BA = 0}$ ) given. Based on these results, a complete characterization of (generalized) ξ-Lie derivations for all possible ξ on Alg ${\mathcal{L}}$ is obtained.     

Donsker-type theorems for nonparametric maximum likelihood estimators

Let ${\mathcal{P}}$ be a nonparametric probability model consisting of smooth probability densities and let ${\hat{p}_{n}}$ be the corresponding maximum likelihood estimator based on n independent observations each distributed according to the law ${\mathbb{P}}$ . With $\hat{\mathbb{P}}_{n}$ denoting the measure induced by the density ${\hat{p}_{n}}$ , define the stochastic process ${\hat{\nu}}_{n}: f\longmapsto \sqrt{n} \int fd({\hat{\mathbb{P}}}_{n} -\mathbb{P})$ where f ranges over some function class ${\mathcal{F}}$ . We give a general condition for Donsker classes ${\mathcal{F}}$ implying that the stochastic process $\hat{\nu}_{n}$ is asymptotically equivalent to the empirical process in the space ${\ell ^{\infty }(\mathcal{F})}$ of bounded functions on ${ \mathcal{F}}$ . This implies in particular that $\hat{\nu}_{n}$ converges in law in ${\ell ^{\infty }(\mathcal{F})}$ to a mean zero Gaussian process. We verify the general condition for a large family of Donsker classes ${\mathcal{ F}}$ . We give a number of applications: convergence of the probability measure ${\hat{\mathbb{P}}_{n}}$ to ${\mathbb{P}}$ at rate ${\sqrt{n}}$ in certain metrics metrizing the topology of weak(-star) convergence; a unified treatment of convergence rates of the MLE in a continuous scale of Sobolev-norms; ${\sqrt{n}}$ -efficient estimation of nonlinear functionals defined on ${\mathcal{P}}$ ; limit theorems at rate ${\sqrt{n}}$ for the maximum likelihood estimator of the convolution product ${\mathbb{P\ast P}}$ .     

Existence, automatic continuity and invariant submodules of generalized derivations on modules

Let ${\mathcal{A}}$ be a ${\mathbb{C}}$ -algebra, δ be a derivation on ${\mathcal{A}}$ and ${\mathcal{M}}$ be a left ${\mathcal{A}}$ -module. A linear map ${\tau : \mathcal{M} \rightarrow \mathcal{M}}$ is called a generalized derivation relative to δ if ${\tau(am)=a\tau(m)+\delta(a)m\,(a \in \mathcal{A}, m \in \mathcal{M})}$ . In this article first we study the existence of generalized derivations. In particular we show that free modules and projective modules always have nontrivial generalized derivations relative to nonzero derivations of ${\mathcal{A}}$ . Then we investigate the invariance of prime submodules under generalized derivations. Specifically we show that every minimal prime submodule of ${\mathcal{M}}$ is invariant under every generalized derivation. Moreover we obtain analogs of Posner’s theorem for generalized derivations. In the case that ${\mathcal{A}}$ is a Banach algebra and ${\mathcal{M}}$ is a Banach left ${\mathcal{A}}$ -module, we study the existence of continuous generalized derivations and automatic continuity of generalized derivations.     

Atomic intersection of σ-fields and some of its consequences

Let ${(\Omega, \mathcal{F}, P)}$ be a probability space. For each ${\mathcal{G}\subset\mathcal{F}}$ , define ${\overline{\mathcal{G}}}$ as the σ-field generated by ${\mathcal{G}}$ and those sets ${F\in \mathcal{F}}$ satisfying ${P(F)\in\{0,1\}}$ . Conditions for P to be atomic on ${\cap_{i=1}^k\overline{\mathcal{A}_i}}$ , with ${\mathcal{A }_1,\ldots,\mathcal{A}_k\subset\mathcal{F}}$ sub-σ-fields, are given. Conditions for P to be 0-1-valued on ${\cap_{i=1}^k \overline{\mathcal{A}_i}}$ are given as well. These conditions are useful in various fields, including Gibbs sampling, iterated conditional expectations and the intersection property.     

Scaling relationship between the copositive cone and Parrilo’s first level approximation

We investigate the relation between the cone ${\mathcal{C}^{n}}$ of n × n copositive matrices and the approximating cone ${\mathcal{K}_{n}^{1}}$ introduced by Parrilo. While these cones are known to be equal for n ≤ 4, we show that for n ≥ 5 they are not equal. This result is based on the fact that ${\mathcal{K}_{n}^{1}}$ is not invariant under diagonal scaling. We show that for any copositive matrix which is not the sum of a nonnegative and a positive semidefinite matrix we can find a scaling which is not in ${\mathcal{K}_{n}^{1}}$ . In fact, we show that if all scaled versions of a matrix are contained in ${\mathcal{K}_{n}^{r}}$ for some fixed r, then the matrix must be in ${\mathcal{K}_{n}^{0}}$ . For the 5 × 5 case, we show the more surprising result that we can scale any copositive matrix X into ${\mathcal{K}_{5}^{1}}$ and in fact that any scaling D such that ${(DXD)_{ii} \in \{0,1\}}$ for all i yields ${DXD \in \mathcal{K}_{5}^{1}}$ . From this we are able to use the cone ${\mathcal{K}_{5}^{1}}$ to check if any order 5 matrix is copositive. Another consequence of this is a complete characterisation of ${\mathcal{C}^{5}}$ in terms of ${\mathcal{K}_{5}^{1}}$ . We end the paper by formulating several conjectures.     

Harmonic mappings and conformal minimal immersions of Riemann surfaces into {\mathbb {R}^{\rm N}}

We prove that for any open Riemann surface ${\mathcal{N}}$ , natural number N ≥ 3, non-constant harmonic map ${h:\mathcal{N} \to \mathbb{R}}$ ^N?2 and holomorphic 2-form ${\mathfrak{H}}$ on ${\mathcal{N}}$ , there exists a weakly complete harmonic map ${X=(X_j)_{j=1,\ldots,{\sc N}}:\mathcal{N} \to \mathbb{R}^{\sc N}}$ with Hopf differential ${\mathfrak{H}}$ and ${(X_j)_{j=3,\ldots,{\sc N}}=h.}$ In particular, there exists a complete conformal minimal immersion ${Y=(Y_j)_{j=1,\ldots,{\sc N}}:\mathcal{N} \to \mathbb{R}^{\sc N}}$ such that ${(Y_j)_{j=3,\ldots,{\sc N}}=h}$ . As some consequences of these results (1) there exist complete full non-decomposable minimal surfaces with arbitrary conformal structure and whose generalized Gauss map is non-degenerate and fails to intersect N hyperplanes of ${\mathbb{CP}^{{\sc N}-1}}$ in general position. (2) There exist complete non-proper embedded minimal surfaces in ${\mathbb{R}^{\sc N},}$ ${\forall\,{\sc N} >3 .}$      

On additive decompositions of the set of primitive roots modulo p

It is conjectured that the set ${\mathcal {G}}$ of the primitive roots modulo p has no decomposition (modulo p) of the form ${\mathcal {G}= \mathcal {A} +\mathcal {B}}$ with ${|\mathcal {A}|\ge 2}$ , ${|\mathcal {B} |\ge 2}$ . This conjecture seems to be beyond reach but it is shown that if such a decomposition of ${\mathcal {G}}$ exists at all, then ${|\mathcal {A} |}$ , ${|\mathcal {B} |}$ must be around p ^1/2, and then this result is applied to show that ${\mathcal {G}}$ has no decomposition of the form ${\mathcal {G} =\mathcal {A} + \mathcal {B} + \mathcal {C}}$ with ${|\mathcal {A} |\ge 2}$ , ${|\mathcal {B} |\ge 2}$ , ${|\mathcal {C} |\ge 2}$ .     

Existence of semiclassical states for a quasilinear Schrödinger equation with critical exponent in {\mathbb{R}^N}

We consider the following perturbed version of quasilinear Schrödinger equation $$\begin{array}{lll}-\varepsilon^2\Delta u +V(x)u-\varepsilon^2\Delta (u^2)u=h(x,u)u+K(x)|u|^{22^*-2}u\end{array}$$ in ${\mathbb{R}^N}$ , where N ≥ 3, 22* = 4N/(N ? 2), V(x) is a nonnegative potential, and K(x) is a bounded positive function. Using minimax methods, we show that this equation has at least one positive solution provided that ${\varepsilon \leq \mathcal{E}}$ ; for any ${m\in\mathbb{N}}$ , it has m pairs of solutions if ${\varepsilon \leq \mathcal{E}_m}$ , where ${\mathcal{E}}$ and ${\mathcal{E}_m}$ are sufficiently small positive numbers. Moreover, these solutions ${u_\varepsilon \to 0}$ in ${H^1(\mathbb{R}^N)}$ as ${\varepsilon \to 0}$ .     

On Extending {\mathcal{A}}-Modules Through the Coefficients

In classical linear algebra, extending the ring of scalars of a free module gives rise to a new free module containing an isomorphic copy of the former and satisfying a certain universal property. Also, given two free modules on the same ring of scalars and a morphism between them, enlarging the ring of scalars results in obtaining a new morphism having the nice property that it coincides with the initial map on the isomorphic copy of the initial free module in the new one. We investigate these problems in the category of free ${\mathcal{A}}$ -modules, where ${\mathcal{A}}$ is an ${\mathbb{R}}$ -algebra sheaf. Complexification of free ${\mathcal{A}}$ -modules, which is defined to be the process of obtaining new free ${\mathcal{A}}$ -modules by enlarging the ${\mathbb{R}}$ -algebra sheaf ${\mathcal{A}}$ to a ${\mathbb{C}}$ -algebra sheaf, denoted ${\mathcal{A}_\mathbb{C}}$ , is an important particular case (see Proposition 2.1, Proposition 3.1). Attention, on the one hand, is drawn on the sub- ${_{\mathbb{R}}\mathcal{A}}$ -sheaf of almost complex structures on the sheaf ${{_\mathbb{R}}\mathcal{A}^{2n}}$ , the underlying ${\mathbb{R}}$ -algebra sheaf of a ${\mathbb{C}}$ -algebra sheaf ${\mathcal{A}}$ , and on the other hand, on the complexification of the functor ${\mathcal{H}om_\mathcal {A}}$ , with ${\mathcal{A}}$ an ${\mathbb{R}}$ -algebra sheaf.     

Categories of partial algebras for critical points between varieties of algebras

We denote by Con_c A the ${(\vee, 0)}$ -semilattice of all finitely generated congruences of an algebra A. A lifting of a ${(\vee, 0)}$ -semilattice S is an algebra A such that ${S \cong {\rm Con}_{\rm c} A}$ . The assignment Conc can be extended to a functor. The notion of lifting is generalized to diagrams of ${(\vee, 0)}$ -semilattices. A gamp is a partial algebra endowed with a partial subalgebra together with a semilattice-valued distance; gamps form a category that lends itself to a universal algebraic-type study. The raison d’être of gamps is that any algebra can be approximated by its finite subgamps, even in case it is not locally finite. Let ${\mathcal{V}}$ and ${\mathcal{W}}$ be varieties of algebras (on finite, possibly distinct, similarity types). Let P be a finite lattice. We assume the existence of a combinatorial object, called an ${\aleph_0}$ -lifter of P, of infinite cardinality ${\lambda}$ . Let ${\vec{A}}$ be a P-indexed diagram of finite algebras in ${\mathcal{V}}$ . If ${{\rm Con}_{\rm c} \circ \vec{A}}$ has no partial lifting in the category of gamps of ${\mathcal{W}}$ , then there is an algebra ${A \in \mathcal{V}}$ of cardinality ${\lambda}$ such that Con_c A is not isomorphic to Con_c B for any ${B \in \mathcal{W}}$ . This makes it possible to generalize several known results. In particular, we prove the following theorem, without assuming that ${\mathcal{W}}$ is locally finite. Let ${\mathcal{V}}$ be locally finite and let ${\mathcal{W}}$ be congruence-proper (i.e., congruence lattices of infinite members of ${\mathcal{W}}$ are infinite). The following equivalence holds. Every countable ${(\vee, 0)}$ -semilattice with a lifting in ${\mathcal{V}}$ has a lifting in ${\mathcal{W}}$ if and only if every ${\omega}$ -indexed diagram of finite ${(\vee, 0)}$ -semilattices with a lifting in ${\mathcal{V}}$ has a lifting in ${\mathcal{W}}$ . Gamps are also applied to the study of congruence-preserving extensions. Let ${\mathcal{V}}$ be a non-semidistributive variety of lattices and let n ≥ 2 be an integer. There is a bounded lattice ${A \in \mathcal{V}}$ of cardinality ${\aleph_1}$ with no congruence n-permutable, congruence-preserving extension. The lattice A is constructed as a condensate of a square-indexed diagram of lattices.     

Note on Group Distance Magic Graphs G[C 4]

A group distance magic labeling or a ${\mathcal{G}}$ -distance magic labeling of a graph G =  (V, E) with ${|V | = n}$ is a bijection f from V to an Abelian group ${\mathcal{G}}$ of order n such that the weight ${w(x) = \sum_{y\in N_G(x)}f(y)}$ of every vertex ${x \in V}$ is equal to the same element ${\mu \in \mathcal{G}}$ , called the magic constant. In this paper we will show that if G is a graph of order n =  2 ^p (2k + 1) for some natural numbers p, k such that ${\deg(v)\equiv c \mod {2^{p+1}}}$ for some constant c for any ${v \in V(G)}$ , then there exists a ${\mathcal{G}}$ -distance magic labeling for any Abelian group ${\mathcal{G}}$ of order 4n for the composition G[C ₄]. Moreover we prove that if ${\mathcal{G}}$ is an arbitrary Abelian group of order 4n such that ${\mathcal{G} \cong \mathbb{Z}_2 \times\mathbb{Z}_2 \times \mathcal{A}}$ for some Abelian group ${\mathcal{A}}$ of order n, then there exists a ${\mathcal{G}}$ -distance magic labeling for any graph G[C ₄], where G is a graph of order n and n is an arbitrary natural number.     

Howe correspondence and Springer correspondence for real reductive dual pairs

We consider a real reductive dual pair (G′, G) of type I, with rank ${({\rm G}^{\prime}) \leq {\rm rank(G)}}$ . Given a nilpotent coadjoint orbit ${\mathcal{O}^{\prime} \subseteq \mathfrak{g}^{{\prime}{*}}}$ , let ${\mathcal{O}^{\prime}_\mathbb{C} \subseteq \mathfrak{g}^{{\prime}{*}}_\mathbb{C}}$ denote the complex orbit containing ${\mathcal{O}^{\prime}}$ . Under some condition on the partition λ′ parametrizing ${\mathcal{O}^{\prime}}$ , we prove that, if λ is the partition obtained from λ by adding a column on the very left, and ${\mathcal{O}}$ is the nilpotent coadjoint orbit parametrized by λ, then ${\mathcal{O}_\mathbb{C}= \tau (\tau^{\prime -1}(\mathcal{O}_\mathbb{C}^{\prime}))}$ , where ${\tau, \tau^{\prime}}$ are the moment maps. Moreover, if ${chc(\hat\mu_{\mathcal{O}^{\prime}}) \neq 0}$ , where chc is the infinitesimal version of the Cauchy-Harish-Chandra integral, then the Weyl group representation attached by Wallach to ${\mu_{\mathcal{O}^{\prime}}}$ with corresponds to ${\mathcal{O}_\mathbb{C}}$ via the Springer correspondence.     

On the pullback of an arithmetic theta function

In this paper, we describe a relationship between the simplest examples of arithmetic theta series. The first of these are the weight 1 theta series ${\widehat{\phi}_{\mathcal C}(\tau)}$ defined using arithmetic 0-cycles on the moduli space ${\mathcal C}$ of elliptic curves with CM by the ring of integers ${O_{\kappa}}$ of an imaginary quadratic field. The second such series ${\widehat{\phi}_{\mathcal M}(\tau)}$ has weight 3/2 and takes values in the arithmetic Chow group ${\widehat{{\rm CH}}^1(\mathcal{M})}$ of the arithmetic surface associated to an indefinite quaternion algebra ${B/\mathbb{Q}}$ . For an embedding ${O_\kappa \rightarrow O_B}$ , a maximal order in B, and a two sided O _B -ideal Λ, there is a morphism ${j_\Lambda:{\mathcal C} \rightarrow {\mathcal M}}$ and a pullback ${j_\Lambda^*: \widehat{{\rm CH}}^1(\mathcal{M}) \rightarrow \widehat{{\rm CH}}^1(\mathcal C)}$ . Our main result is an expression for the pullback ${j^*_\Lambda \widehat{\phi}_{\mathcal M}(\tau)}$ as a linear combination of products of ${\widehat{\phi}_{\mathcal C}(\tau)}$ ’s and classical weight ${\frac{1}{2}}$ theta series.