On special L -values attached to metaplectic modular forms

In this paper we establish some algebraic properties of special L -values attached to Siegel modular forms of half-integral weight, often called metaplectic modular forms. These results are motivated by some “exercises” left by Shimura to the reader in his marvellous book “Arithmeticity in the Theory of Automorphic Forms”.


Introduction
This paper is the continuation of our earlier work [1], concerning special L-values attached to Siegel modular forms. In the previous work we considered Siegel modular forms of integral weight, and in this paper we consider the half-integral weight situation. As we mentioned in our previous paper, the origin of these two works is the work of Shimura on the algebraicity of these special L-values (both in integral and half-integral situation). Indeed, Shimura, in his admirable book "Arithmeticity in the Theory of Automorphic Forms" [10], establishes various algebraicity results of these special L-values. These results are established over an algebraic closure of Q (see for example Theorem 6.1 below), and Shimura leaves it as an "exercise" to the reader to establish more accurate results (i.e. exact field of definition and a Galois reciprocity law, see [10, p. 239, Remark 28.13]). We believe that it is important to have these results documented in the literature and this is exactly the goal of this and our previous work. Our main results are Theorems 6.2 and 6.4 below, which rely in turn to the definition of some particular automoprhic periods (see Theorem 5.2). The structure of this paper is very similar to the previous one [1], and for this reason we have shortened quite a lot of proofs which are similar to the previous work. However there are a few technical points that need to be settled differently than in the previous paper. We finally mention that similar questions can be considered for Hermitian modular forms, and we refer to our paper [2] for more on this.
Notation Our main reference is the book of Shimura [10], and hence we have adopted most of the notation used there. There is only a few notational differences, perhaps the one worth emphasizing, is that we use the L notation for our functions (L-functions) where in [10] the zeta notation, Z , is used.

Siegel modular forms
In this section we introduce the notion of a Siegel modular form of integral and half-integral weight both from a classical and adelic point of view. This section is very similar to the corresponding one in our previous paper [1]. We follow closely the book of Shimura [10, Chapter I].
For a positive integer n ∈ N we define the matrix η n := 0 −I n I n 0 and for any commutative ring A with an identity the group Sp n (A):={α ∈ G L 2n (A)| t αη n α = η n }. The group Sp n (R) acts on the Siegel upper half space H n :={z ∈ M n (C)| t z = z, I m(z) > 0}, where * α is an n × n matrix. Let now F be a totally real field of degree d, discriminant D F and we denote by O its ring of integers. We write ∞ for the set of archimedean places of F, f for the finite ones and we set G := Sp n (F). We write G A for the adelic group and we decompose G A = G f G ∞ where G ∞ := v∈∞ G v and G f := v∈f G v . For a fractional ideal b and an integral idealc of F we define the subgroup of G A , where we use the notation "≺" of Shimura, x ≺ I meaning that the v-component of x is a matrix with entries in the fractional ideal I . Strong approximation for G implies that We denote by M A the adelized metaplectic group, and write p : M A → G A for the canonical projection to G A . Further we write C θ for the theta group defined for example in [10, Appendix A2.3] and θ = G ∩ C θ . We note that For an element σ ∈ θ and z ∈ H we write h σ (z) for the 1/2-weight factor of automorphy as defined for example in [10,Theorem 6.8]. For a k ∈ 1 2 Z we define the factor of automorphy Given a Hecke character ψ of F of conductor dividing c we define a character on and a character, which we still denote by ψ, on q by ψ(γ ) := ψ(q −1 γ q). We now write Z d := v∈∞ Z and H := v∈∞ H n . Elements k ∈ 1 2 Z d will be called weights, if k ∈ Z d or k = (k v ) ∈ 1 2 Z d and k v ∈ Z + 1 2 for all v, in which case we say that k is a half-integral weight. For a function f : H → C and a weight k ∈ Z d (resp. k ∈ 1 2 Z d and half-integral), we define, for α ∈ G (resp. α ∈ θ ). Here we write z = (z v ) v∈∞ with z v ∈ H n and α ∈ G ∞ and define Let now be group of the form q , q ∈ G f as above and ψ a Hecke character. Moreover we fix a weight k ∈ 1 2 Z d , and in the half-integral case we will be also assuming that ⊆ θ . Then we define, Definition 2.1 A function f : H → C is called a Siegel modular form of weight k (or often called a metaplectic modular form if k is half-integral) for the congruence subgroup and Nebentypus ψ if The last condition is needed only if F = Q and n = 1, which is then the usual condition of elliptic modular forms being holomorphic at cusps. The above defined space we will denote it by M k ( , ψ).
For any γ ∈ G, we define p γ (z) = 1 if k ∈ Z d and p γ (z) to be any branch of the square root of j γ (z) u if k is half-integral, where we write u = (1, . . . , 1) ∈ Z d . Then we have a Fourier expansion of the form (see [10, pp. 33 and 73]) ). An f is called a cusp form if c(s, γ ; f ) = 0 for any γ ∈ G and s with det (s) = 0. The space of cusp forms we will be denoted by S k ( , ψ). For a subfield L of C we will be writing M k ( , ψ, L) (resp. S k ( , ψ, L) for the subspace of M k ( , ψ) (resp. S k ( , ψ)) whose Fourier expansion at infinity (i.e. γ = 1 above) has coefficients in L. Finally we note that for an element σ ∈ Gal(Q/Q) we may define (see [10, pp. 35 and 73] an action on M k ( , ψ, Q) by acting on the Fourier coefficients of the expansion at infinity.
We now turn to the adelic Siegel modular forms. We refer the reader to [9, Chapter II] and [10, pp. 166-167] for details. For a weight k ∈ 1 2 Z d , we set G A = G A , and p = 1 if k is integral and G A = M A , and p as above, if k is half-integral. Then Here i := (i I n , . . . , i I n ) ∈ H. We write M k (D, ψ) for this space. Strong approximation theorem for Sp n gives M k (D, ψ) ∼ = M k ( q , ψ) for any q ∈ G f , where in the half-integral case we assume that q ⊂ θ . We define the space of automorphic cusp form S k (D, ψ) to be the subspace of M k (D, ψ) that is in bijection with S k ( q , ψ) for any q ∈ G f in the above bijection. Using the above bijection we also define M k (D, ψ, L) for any subfield L of C and an action of Gal(Q/Q) on M k (D, ψ, Q).
Finally for q ∈ G L n (F) A and s ∈ S +A we set x q,s := q s t q −1 0 t q −1 and obtain an adelic q-expansion (see [10, pp. 167-168]), where for the definition of e A to [10, p. 127], and in the case of half-integral we view x q,s in M A using the canonical lift P A → M A of the adelic Siegel parabolic P A . Finally, in the half-integral weight situation, we set μ(τ, q; f) := |det (q)| 1/2 F c(τ, q; f).

A reciprocity law on Eisenstein series
In this section we recall a theorem proved in [1] concerning the action of the absolute Galois group on some Siegel type Eisenstein series. We start by fixing some notation. Let k ∈ 1 2 Z d be a weight and let b be a fractional ideal and c an integral ideal of F. Further we consider a Hecke character χ of F with infinity type ∞ |x ∞ | [k] and of conductor dividing c. Moreover in case that k is half-integral we assume that b and c are such that We write E A (x, s):=E A (x, s; χ, c), x ∈ G A , s ∈ C, and E * A (x, s) for the two adelic Eisenstein series of Siegel type defined as in [10, pp. 131-132]. Moreover we define, and write D(z, s; k, χ, c) for the corresponding to D A (x, s) classical Siegel modular form. For a number field W we follow the notation in [10] and write N r k (W ) for the space of W -rational nearly holomorphic forms of weight k (for the meaning of r we refer to [10]). The theorem below is due to Shimura [10, Theorem 17.9].
Exclude the cases (1) μ = (n + 2)/2, F = Q and χ 2 = 1, In [1, Theorem 3] we have proved the following reciprocity laws of the action of the Galois group Gal(Q/ ) on Eisenstein series, extending previous results of Feit [4]. Below g(·) is a Gauss sum (see [1] for the normalization), and C is a fixed primitive 8th root of unity.
Then with a β ∈ N as in Theorem 3.1 we have and for every σ ∈ Gal( Q ab / ) we have where ω(χ) is given as follows:

if m is m is odd and 1 otherwise and
where ν := n + 1 − μ and p := k−νu 2 . The character φ in (iii) and (iv) above is induced by the character on θ defined as h γ (z) 2 = φ(γ ) j γ (z) u (see also the few lines in the proof of [10,Theorem 10.7]). In particular we have that where (χ) is the finite extension of obtained by adjoining the values of the character χ.

The L-function attached to a metaplectic modular form and the Rankin-Selberg method
In this section we collect various results of Shimura on the L-functions associated to halfintegral weight Siegel modular forms and the Rankin-Selberg method. Everything in this section is from the works of Shimura [7,8,10]. For notation not introduced in this section we refer to [10]. From now on, until the end of the paper, k will always denote a half-integral weight. We fix a fractional ideal b and an integral ideal c. We write C = D[b −1 , bc], with the usual assumption on b and c. For an integral ideal a we write T (a) for the Hecke operator acting on half-integral Siegel modular forms as defined by Shimura in [10, p. 175] or [7].
We consider an 0 = f ∈ S k (C, ψ) with f|T (a) = λ(a)f with λ(a) ∈ C for all integral ideals a. For a Hecke character χ of F of conductor f χ Shimura shows (see for example [10, Chapter V]) that the function (defined for Re(s) >> 0), has an Euler product, which we denote by Z (s, f, where χ * denotes the corresponding to χ ideal class character. We will consider another L-function denoted by L(s, f, χ) and defined as where π p is a uniformizer of the prime ideal p.
For τ ∈ S + ∩ G L n (F) and r ∈ G L n (F) f we define the Dirichlet series, . By Theorem [10, Theorem 21.4] (and the notation there for b, μ(·), L τ , g v ), we have the Andrianov type identity, where for an integral ideal a we write We now write t ∈ Z d for the sign We moreover define the weight l := μ + (n/2)u, and write θ χ ∈ M l (C , χ −1 ρ τ ) for the theta series associated to the data (χ −1 , μ, τ, r ) in [10, Proposition A3.19], where ρ τ is the Hecke character of F corresponding to the extension F(c In particular using the Eq. 4.2 we obtain , and

Petersson inner products and periods
In this section we define some archimedean periods that we will use to normalize the special values of the function L(s, f, ψ). We start by proving a lemma with respect to the action of "good" Hecke operator T (a), relative to the group C = D[b −1 , bc]. Here "good" means that a is prime to c.
For the notation we refer to Shimura's paper. The point which is important here is that by Proposition 4.1 in (loc. cit.) we have that α (·) is a rational formal Dirichlet series (i.e. has coefficients in Q). In particular by the equation above we conclude that the c(τ, q; f|T (a)), which is obtained by equating the [a] coefficient in the formal Dirichlet series, is a Q(ψ) linear combination of the Fourier coefficients of f. Hence we conclude the lemma.
In the following we write <·, ·> for the adelic Petersson inner product (see for example [9] for the definition) and we denote by S k (Q) the space of weight k cusp forms with algebraic Fourier coefficients and of any congruence subgroup. Remark 5. 3 We make the following two remarks, (1) Our proof is using ideas from a result of Sturm [11,Theorem 3], and of Shimura [10, Theorem 28.5]. We have similar theorems in the integral weight situation [1]. The proof is very similar to integral weight situation considered in [1], and hence we will not reproduce all the long calculations again, but only what is needed to have a logical flow and we simply refer to our previous work for the details. Perhaps the differences that deserve special mention are (a) the fact that we need to establish the Galois invariance of the trace map for half-integral Siegel modular forms (see Lemma 5.4 below), and (b) the slightly larger extension L. Proof As in [1] we pick a half integer σ 0 so that 3n/2 + 1 < σ 0 < m 0 and m 0 − σ 0 / ∈ 2Z and define μ ∈ Z d by the conditions 0 ≤ μ v ≤ 1 and σ 0 −k v +μ v ∈ 2Z for all v ∈ ∞. Our choice of σ 0 implies in particular that there exists an v ∈ ∞ so that μ v = 0. We put t := μ − k. We now pick a quadratic character χ of F so that (ψχ) ∞ (x) = x t ∞ |x ∞ | −t and of conductor f such that c|f (see [1] for the existence of such an χ) and we define l := μ + (n/2)u and ν = σ 0 − (n/2). Then ν ≥ (n + 1)/2 and 0 ≤ k − l − νu ∈ 2Z d . We consider the theta series θ χ with respect to our choices of χ and μ, and by our choices we note that θ χ is a cusp form, since μ = 0 (see [10]). By Theorem 4.2 we have We write δ for the rational part of v∈∞ n ( σ 0 −n−1+kv +μv 2 ) vol (F) and define β ∈ N so that if n even and (n 2 − 1)/4 otherwise. Similar to [1] we define, We now claim that for every σ ∈ Gal(Q/ ) we have that For C(χ, ψ, τ, r ) this is easy to see, since σ 0 + 1 2 is an integer, and hence our claim follows by looking at the definition of g v in [10, p. 128]. However for B(χ, ψ, τ, r, f) we need to justify it since σ 0 ∈ Z + 1 2 . For this we rewrite We recall that μ(τ, y; f) = |det ( t y −1 )| − 1 2 F c(τ, y; f), and by [10, Lemma 23.14] we have that μ(τ, y; f) σ = μ(τ, y; f σ ), from which the claim follows.
The case of n even This case is similar to the case of n odd in the integral weight situation, which we considered in our previous work [1]. We do not reproduce the whole calculations but we refer the reader to that article. The only difference is that now we have to take the element σ to fix ( √ det (τ )). The same calculations (there we take = 1) show that we can define: The case of n odd This case is the same with the case of n even in the integral weight situation.
We set: where B(n) = i d if [n/2] is odd and 1 otherwise. Moreover where b(n) is defined as in Theorem 3.2. As in [1] it can be shown that the C span (of the projections) of g τ,r with (τ, r ) ∈ G is equal to V. Since V is a finite dimensional space, we need only finitely many g τ,r . We define L to be a minimal extension of such that L contains √ det (τ ) for a set of g τ,r spanning V. Since g τ,r ∈ S k (Q) we have that the Q-span is equal to V(Q). We can now establish the theorem for any g ∈ V(Q) since after writing g = j c j g τ j ,r j ,V ∈ V(Q), where g τ j ,r j ,V is the projection of g τ j ,r j to V, we have for all σ ∈ Gal(Q/L) that, We now take any g ∈ S k ( , ψ; Q). Since the good Hecke operators act semisimply, we have S k (C, ψ) = V ⊕ U , for some vector space U preserved by the action of the Hecke operators. We write g = g 1 + g 2 with g 1 ∈ V and g 2 ∈ U . Then we have that where the first and the last equality follows from the fact that <f, g> = 0 and <f σ , g σ > = 0 for g ∈ U . By Lemma 5.1 it is enough to prove this for g an eigenform for all the good Hecke operators with a system of eigenvalues different from that of f's. That is, there exists an ideal a with (a, c) = 1 so that T (a)f = λ f (a)f and T (a)g = λ g (a)g such that λ f (a) = λ g (a). By [10,Lemma 23.14] we have that T (a)f σ = λ f (a) σ (N (a) 1 2 ) σ N (a) 1 2 f σ , and similarly for g. But then we have 1 2 and hence we conclude that <f σ , g σ > = 0. Here we have used the facts that the good Hecke operators are self adjoint with respect to the Petersson inner product, and that their Hecke eigenvalues are totally real (for both facts see [10,Lemma 23.15]). Finally taking g equal to f we obtain that f is equal to <f, f> up to a non-zero element L.
In order to complete the proof we need to establish the result on the Galois equivariance of the trace operator. We will need the theta series θ(z):= a∈O n e ∞ ( t aza/2) ∈ M 1 2 u (Q). Note that this is the series θ F defined in [10, p. 39, equation 6.16] by taking in the equation there, using Shimura's notation, u = 0 and λ the characteristic function of O n ⊂ F n . Note in particular that since we are taking u = 0 we have that φ F = θ F . In particular Theorem 6.8 in (loc. cit) gives the properties of the series θ .
The following lemma is an extension of a result of Sturm in [11,Lemma 11] to the half-integral weight situation. The following proof is an extension of our previous proof [1, Lemma 8]. The key difference is the use of the theta series θ to go from the half-integral weight situation to the integral weight situation.

Lemma 5.4 For any f ∈
Proof In the proof of this lemma we will make use of Shimura's reciprocity law of the action of G A to the space of integral weight Siegel modular forms. We will use the notation as in [10,Theorem 10.2].
Since k / ∈ Z d , we have that θ f ∈ M k , with k = k + 1 2 ∈ Z d and of Nebentypus ψφ, where φ is as in Theorem 3.2. Moreover for any σ ∈ Gal(Q/Q) we have that (θ f ) σ = θ f σ since θ has Fourier expansion with coefficients in Q. We moreover observe that θ T r ,ψ ( f ) = T r ,ψφ (θ f ) sicne we have θ | 1 2 u γ = θ for all γ ∈ ⊆ θ . Thanks to the strong approximation for Sp n (F) we may work adelically. We write D and D for the corresponding to and adelic groups (i.e. = G ∩ D). We fix elements {g i } ⊂ D f so that D = D g i . For t ∈ Z × f corresponding to σ | Q ab we note that I n 0 0 t −1 I n g i I n 0 0 t I n ∈ Sp n (A) f , and hence by strong approximation we can find elements u i ∈ D with f |u i = f (i.e. ψ(u i ) = 1), φ(u i ) = 1, and w i ∈ Sp n (F) so that I n 0 0 t −1 I n g i I n 0 0 t I n = u i w i .
As in [1] we can show that since the g i 's form a set of representatives of the classes of D in D, the same holds for I n 0 0 t −1 I n g i I n 0 0 t I n , and hence also for w i since u i ∈ D . We now consider the elements (ı(t), σ ), (w i , id), (g i , id) ∈ G + × Gal(Q/Q). Then we have So we conclude that θ T r ,ψ σ ( f σ )) σ −1 = θ T r ,ψ f . But θ is a non-zero divisor (see [10, p. 74]. Hence we conclude the lemma.

Algebraicity results
In this section we present various results regarding special values of the function L(s, f, χ), with f ∈ S k (C, ψ), C = D[b −1 , bc], and an eigenform for all Hecke operators. We recall that we have also considered the function Z (s, f, χ). For a comparison between the two we refer to [1] where the similar situation of the integral weight case is discussed. For completeness we start by recalling the result of Shimura [10, Theorem 28.8] regarding algebraicity of special values. We take an 0 = f ∈ S k (C; Q), where We assume that f is an eigenform for all Hecke operators T (a) and we note that the T (q m )'s are trivial for primes q and m ∈ N such that q|c. Theorem 6.1 [10, Theorem 28.8] With notation as above define m 0 :=min{k v |v ∈ ∞} and assume m 0 > (3n/2) + 1. Let χ be a character of F such that We exclude the cases Then, We now take f ∈ S k (C, ψ; Q) with C of the form D[b −1 , bc] (i.e. the standard setting in this paper). We are interested in special values of L(s, f, χ) for a Hecke character χ of F of conductor f.
We exclude the cases n is odd and there is no (τ, r ) that satisfy our assumption such that ρ τ = 1 and χψ = 1, Let W be a number field so that f, f ρ ∈ S k (W ) and L ⊂ W , where is the Galois closure of F in Q, and L is as in Theorem 5.2.
If we write W:=W (χψ) for the extension of W obtained by adjoining the values of the character χψ then, where β = π n( v k v )+d(nσ 0 −n 2 )) , and m = d if [n/2] is odd and 0 otherwise, and ω(·) is defined by using the Theorem 3.2 as follows (1) for σ 0 > n and n odd, ω(·) is as in Theorem 3.2 (i), (2) for σ 0 > n and n even, ω(·) is as in Theorem 3.2 (iii) (a), (3) for σ 0 ≤ n and n odd, ω(·) is as in Theorem 3.2 (ii), (4) for σ 0 ≤ n and n even, ω(·) is as in Theorem 3.2 (iv). Proof The proof of this theorem is very similar to Theorem 11 in [1]. We will be applying 4.2 for a proper choice of (τ, r ). The Gamma factors that appear in Theorem 4.2 force us to take σ 0 > 2n − k v + μ v for all v ∈ ∞, which is the lower bound appearing in the theorem. With ν:=σ 0 − n 2 , β ∈ N so that π −β D( v 2 ) ∈ N k−l ( Q ab ), and γ as in Theorem 5.2 we obtain for some α ∈ Q × , As in [1], conditions (i) and (ii) are imposed so that the Eisenstein series D( ν 2 ) of weight k − μ − n 2 for ν = σ 0 − n 2 are nearly holomorphic (see Theorem 3.1), and (iii) is imposed so that c h (2σ 0 − n)/4) does not contribute a pole. Finally the various exclusion follows from various cases where the Eisenstein series D( ν 2 ) is not nearly holomorphic. We now note that θ χ ∈ M l (W) and π −β D(ν/2) ∈ N r k−l (W Q ab ) where r = (k−l−νu)/2 if ν > (n + 1)/2 and r = (k − l − (n + 1 − ν)u)/2 otherwise. Now we set P:=D where ω(·) is defined as in the statement of the theorem. Then by Theorem 3.2 we have that Indeed, since L is defined to be an extension of obtained by adjoining √ det(τ ) so that g τ,r (with the notation of Theorem 5.2), form a basis, we can pick our τ so that c(τ, r ) = 0 from the ones in the basis consisting by g τ,r . As it is shown in Shimura in [10, Theorem 20.9], after finding a pair (τ, q) so that c(τ, q) = 0 we can modify q to get the pair (τ, r ) with the desired properties. We set a:=det (τ ) s 0 u+ k+μ+ n 2 u 2 π −β P −1 . In case where μ = 0 we have that θ χ D(ν/2) ∈ R k , the space of cuspidal nearly holomorphic modular, and then we can use the operator p : R k → S k of [10, Proposition 15.6] to conclude that there exists q ∈ S k (W) so that <f, θ χ a D(ν/2)> = <f, q>. Then by Theorem 5.2 we have that < f,q> < f, f > ∈ W. In the other case, that is of k not being a parallel weight we can use [10,Lemma 15.8], to conclude that there exists a q ∈ M k (W ) as before. Moreover k not being parallel implies that M k = S k (see for example [9, Proposition 10.6 (3)]). Hence we can use Theorem 5.2 to conclude the proof.
We now obtain also some results towards reciprocity laws. Theorem 6.4 With notation and assumptions as above we have that A(σ 0 , f, χ) σ = A(σ 0 , f σ , χ σ ) for all σ ∈ Gal(Q/L ), where Proof The proof is similar to Theorem 12 in [1]. We first consider the case where μ = 0. Then we have that θ χ ∈ S l . We recall that for σ ∈ Gal(Q/ ) we write σ = ρσρ. Then θ σ χ = θ χ σ , as it follows from the explicit Fourier expansion of θ χ (see [1] for details). Moreover arguing as in the theorem above and using the reciprocity laws for Eisenstein series in Theorem 3.2 we have that ⎛ Since θ χ D(ν/2, ψ σ χ σ ρ τ ) ∈ R k , setting q:=p θ χ D(ν/2, ψ σ χ σ ρ τ ) ∈ S k , we have < f, θ χ D(ν/2, ψχρ τ )> = < f, q> and q σ = p θ σ χ D(ν/2, ψχρ τ ) σ for all σ ∈ Gal(Q/L ). In particular, by Theorem 5.2 we have that For the reciprocity we use Proposition 14.13 in [10] to conclude that the above equation is Galois equivariant. Indeed the result of Shimura gives that the space of nearly holomorphic Siegel modular forms has an rational basis and it is finite dimensional thanks to [10,Lemma 14.3]. So the map of Lemma 15.8 of [10] is equivariant over .
We conlcude this paper by making a few remarks. In [1] we were able, thanks to a result of Harris [5] on the rationality of Eisenstein series, to establish results without μ = 0 or nonparallel weight. Of course we had to assume that the critical value is in the range of absolute convergence, since only then one can employ the result of Harris. However in our situation the results of Harris in [5] cannot be applied since half-integral weight modular forms cannot be understood using Shimura varieties. In our forthcoming work [3] we address this questions and obtain results in this direction. We also mention a recent work of Mercuri [6], where he obtains results in the case of μ = 0 (in the notation of Theorem 6.2 above) when F = Q and n is odd.
We mention that there is yet another integral expression of the L-values of half-integral Siegel modular forms, namely the doubling method (see [10]). The two methods are not equivalent and we refer to the last section of [1], where the integral weight case is discussed, for a discussion of how the two methods compare.
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.