Ray Class Character Theta Series

• Ray Class Character Theta Series are constructions that blend theta function theory with ray class arithmetic through CM special values, modular transformations, and character twists.
• They incorporate diverse methods including Siegel theta constant evaluations, lattice-index Jacobi forms with additive twists, and rational-characteristic theta derivatives for arithmetic applications.
• The framework illustrates how modular functions can generate explicit subfields of ray class fields and encode automorphy character data across distinct analytic regimes.

Searching arXiv for the cited papers and closely related work on theta constants, Jacobi theta series with character, and rational-characteristic theta derivatives. “Ray class character theta series” designates, in the strictest usage, theta series built from ray class or Hecke characters; in adjacent literature, the phrase also points to constructions in which theta objects encode ray class arithmetic through CM special values, automorphy characters, or congruence-restricted coefficient systems. The arXiv literature relevant to this theme separates into three neighboring regimes: theta constants as Siegel modular functions whose singular values describe subfields of ray class fields (Koo et al., 2012), Jacobi theta series of lattice index with explicit automorphy characters and finite additive twists (Zhu, 2022), and theta derivatives with rational characteristics that become linear combinations of weight-$1$ theta series attached to imaginary quadratic fields (Zemel, 2016). Across these regimes, the common structure is the passage

$$\text{theta object} \longrightarrow \text{modular transformation law} \longrightarrow \text{arithmetic special value or character twist}.$$

1. Terminological scope and conceptual boundaries

In the classical Hecke-theoretic sense, a ray class character theta series would involve a multiplicative character on ideals, ideles, or ray class groups, and a theta summation that reflects that multiplicative arithmetic input. None of the three cited works develops that theory directly. “On some theta constants and class fields” studies theta constants as Siegel modular functions and uses CM special values together with Shimura reciprocity to describe a subfield of a ray class field, but it is not about theta series attached directly to ray class characters (Koo et al., 2012). “Taylor expansions of Jacobi forms and linear relations among theta series” studies theta series with characters in the sense of automorphy data for Jacobi forms of lattice index, not ray class characters in the Hecke-theoretic sense (Zhu, 2022). “Evaluating Theta Derivatives with Rational Characteristics” is highly relevant arithmetically, but it does not explicitly construct ray class character theta series either; instead, it evaluates theta derivatives in terms of weight-$1$ theta series associated to $\mathbb Q(i)$, $\mathbb Q(\sqrt{-2})$, and $\mathbb Q(\sqrt{-3})$ (Zemel, 2016).

This delimitation matters because several distinct kinds of “character” occur in the subject. One is the Artin action of ray class elements on CM values. Another is the automorphy character or multiplier system of a Jacobi form. A third is the Dirichlet- or Hecke-character content of representation numbers and divisor sums. The papers considered here occupy these three positions, respectively. A plausible implication is that the phrase “ray class character theta series” is best treated as an interface term rather than a single standardized construction.

2. Theta objects, characteristics, and twisting mechanisms

The first regime is the genus-$g$ theta function on Siegel upper half-space. For $u\in \mathbb C^g$, $Z\in \mathfrak H_g$, and $r,s\in \mathbb R^g$,

$$\text{theta object} \longrightarrow \text{modular transformation law} \longrightarrow \text{arithmetic special value or character twist}.$$0

with symmetry

$$\text{theta object} \longrightarrow \text{modular transformation law} \longrightarrow \text{arithmetic special value or character twist}.$$1

The associated theta constant is

$$\text{theta object} \longrightarrow \text{modular transformation law} \longrightarrow \text{arithmetic special value or character twist}.$$2

In (Koo et al., 2012), these objects are used as Siegel modular functions of level $$\text{theta object} \longrightarrow \text{modular transformation law} \longrightarrow \text{arithmetic special value or character twist}.$$3, and then powers and products are arranged to descend to lower even level.

The second regime is the lattice-index Jacobi theta series. For a lattice $$\text{theta object} \longrightarrow \text{modular transformation law} \longrightarrow \text{arithmetic special value or character twist}.$$4 with quadratic form $$\text{theta object} \longrightarrow \text{modular transformation law} \longrightarrow \text{arithmetic special value or character twist}.$$5, the basic family is

$$\text{theta object} \longrightarrow \text{modular transformation law} \longrightarrow \text{arithmetic special value or character twist}.$$6

A more directly twisted family is

$$\text{theta object} \longrightarrow \text{modular transformation law} \longrightarrow \text{arithmetic special value or character twist}.$$7

with

$$\text{theta object} \longrightarrow \text{modular transformation law} \longrightarrow \text{arithmetic special value or character twist}.$$8

The factor $$\text{theta object} \longrightarrow \text{modular transformation law} \longrightarrow \text{arithmetic special value or character twist}.$$9 is an additive finite-order character on $1$0, not a Hecke or ray class character. The paper proves

$1$1

where $1$2 is an explicit linear character on the relevant Jacobi group (Zhu, 2022).

The third regime is the one-variable theta function with rational characteristics,

$1$3

together with its theta constant at $1$4 and its derivative

$1$5

In (Zemel, 2016), logarithmic derivatives of such functions are rewritten as explicit weight-$1$6 theta series.

Taken together, these definitions show that “character” may enter theta theory through characteristics, additive lattice twists, automorphy factors, or class field actions. This suggests that the modern literature near ray class theta phenomena is structurally heterogeneous.

3. Theta constants, CM points, and ray class fields

The most direct ray class field content in this corpus appears in “On some theta constants and class fields” (Koo et al., 2012). The paper first proves a sufficient condition for a product of theta constants to be a Siegel modular function of a given even level. If

$1$7

and the exponents satisfy the congruence conditions

$1$8

$1$9

and

$\mathbb Q(i)$0

then $\mathbb Q(i)$1. This modularity criterion is the higher-dimensional mechanism that makes later reciprocity computations possible.

The arithmetic specialization is to the quartic CM field

$\mathbb Q(i)$2

with $\mathbb Q(i)$3 and $\mathbb Q(i)$4. For an odd prime $\mathbb Q(i)$5, the paper writes $\mathbb Q(i)$6 and $\mathbb Q(i)$7 for the ray class fields modulo $\mathbb Q(i)$8 and $\mathbb Q(i)$9. Using the CM type $\mathbb Q(\sqrt{-2})$0, $\mathbb Q(\sqrt{-2})$1, an explicit basis of $\mathbb Q(\sqrt{-2})$2, and the associated CM point $\mathbb Q(\sqrt{-2})$3, it considers the special theta value

$\mathbb Q(\sqrt{-2})$4

Lemma 7.1 shows that

$\mathbb Q(\sqrt{-2})$5

This is a concrete ray class field statement: the singular value lies in the higher ray class field, while its $\mathbb Q(\sqrt{-2})$6-th power descends to the lower one.

The paper is careful about the extent of the generation result. It does not prove that $\mathbb Q(\sqrt{-2})$7 generates the whole ray class field $\mathbb Q(\sqrt{-2})$8. Instead, it defines a subgroup $\mathbb Q(\sqrt{-2})$9 by comparing the Artin actions of

$\mathbb Q(\sqrt{-3})$0

lets $\mathbb Q(\sqrt{-3})$1 be the fixed field of $\mathbb Q(\sqrt{-3})$2, and proves

$\mathbb Q(\sqrt{-3})$3

Thus the resulting theta invariant gives a proper subfield description rather than a full ray class field generation theorem.

Shimura reciprocity is the bridge. In the form used here, if $\mathbb Q(\sqrt{-3})$4 is finite at the CM point $\mathbb Q(\sqrt{-3})$5 and $\mathbb Q(\sqrt{-3})$6 is prime to the modulus, then

$\mathbb Q(\sqrt{-3})$7

Since $\mathbb Q(\sqrt{-3})$8 for $\mathbb Q(\sqrt{-3})$9, this becomes an internal reciprocity law in $g$0. The paper computes explicit matrices $g$1 and $g$2 modulo $g$3, and uses the action of $g$4 on powers of theta constants to convert Artin symbols into explicit transformations of characteristics. Theorem 7.4 then extracts a concrete obstruction criterion: if the Artin symbol attached to $g$5 fixes $g$6, then

$g$7

where $g$8 are explicit quadratic expressions in the coefficients of $g$9.

For the theme of ray class character theta series, the importance of this paper is not the construction of a Hecke-theoretic theta series, but the explicit chain

$u\in \mathbb C^g$0

4. Jacobi theta series with automorphy characters

“Taylor expansions of Jacobi forms and linear relations among theta series” develops a different notion of character: not a ray class character, but a finite-image representation or scalar character of the Jacobi group (Zhu, 2022). The general formalism permits scalar-valued or vector-valued forms, integral or half-integral weight, any level, and “any character” in the sense of a representation

$u\in \mathbb C^g$1

with finite-index kernel. Under this formalism, Jacobi forms satisfy

$u\in \mathbb C^g$2

In the scalar-valued case, this is a linear character $u\in \mathbb C^g$3 of finite-index kernel; in the vector-valued case, it includes Weil representations and their duals.

The key twisted theta family

$u\in \mathbb C^g$4

is the paper’s most direct analogue of a theta series with character. The twist $u\in \mathbb C^g$5 is additive in the lattice variable, and the resulting object transforms with an explicit automorphy character $u\in \mathbb C^g$6. This is structurally close to nebentypus or multiplier data, but it is not a multiplicative Dirichlet or ray class character.

The main theorem of the paper is an embedding theorem obtained from modified Taylor coefficients. If

$u\in \mathbb C^g$7

then operators $u\in \mathbb C^g$8 produce modular forms

$u\in \mathbb C^g$9

Under a nonvanishing determinant condition involving derivatives of the basic theta series $Z\in \mathfrak H_g$0, the map

$Z\in \mathfrak H_g$1

is a $Z\in \mathfrak H_g$2-linear embedding. This converts questions about theta-series identities into finite-dimensional linear algebra on modular-form coefficients.

The paper applies this method to powers of $Z\in \mathfrak H_g$3, obtaining exact identities such as

$Z\in \mathfrak H_g$4

$Z\in \mathfrak H_g$5

and

$Z\in \mathfrak H_g$6

For the present topic, the methodological significance is clear: character-bearing theta families can be organized inside a common Jacobi-form space, then separated and compared by explicit Taylor operators. A plausible implication is that any future theory of genuine ray-class-twisted theta series in a Jacobi or Fourier–Jacobi setting would seek an analogous finite embedding.

5. Rational characteristics and weight-$Z\in \mathfrak H_g$7 arithmetic theta series

“Evaluating Theta Derivatives with Rational Characteristics” studies a third route from theta functions to arithmetic series (Zemel, 2016). Its central tool is the Jacobi triple product

$Z\in \mathfrak H_g$8

from which logarithmic derivatives at $Z\in \mathfrak H_g$9 are expanded into divisor sums. The paper evaluates $r,s\in \mathbb R^g$0 different theta derivatives by this method.

The arithmetic output is expressed through weight-$r,s\in \mathbb R^g$1 theta series attached to class-number-$r,s\in \mathbb R^g$2 imaginary quadratic fields. For $r,s\in \mathbb R^g$3, let $r,s\in \mathbb R^g$4 be the ring of integers of the corresponding field, and define

$r,s\in \mathbb R^g$5

Proposition 1.3 gives

$r,s\in \mathbb R^g$6

$r,s\in \mathbb R^g$7

and

$r,s\in \mathbb R^g$8

Their coefficients satisfy

$r,s\in \mathbb R^g$9

These are explicit divisor-sum formulas with quadratic Dirichlet characters.

The cleanest denominator-$$\text{theta object} \longrightarrow \text{modular transformation law} \longrightarrow \text{arithmetic special value or character twist}.$$00 formulas show how rational-characteristic theta derivatives become arithmetic theta series attached to $$\text{theta object} \longrightarrow \text{modular transformation law} \longrightarrow \text{arithmetic special value or character twist}.$$01. Examples include

$$\text{theta object} \longrightarrow \text{modular transformation law} \longrightarrow \text{arithmetic special value or character twist}.$$02

$$\text{theta object} \longrightarrow \text{modular transformation law} \longrightarrow \text{arithmetic special value or character twist}.$$03

and

$$\text{theta object} \longrightarrow \text{modular transformation law} \longrightarrow \text{arithmetic special value or character twist}.$$04

The binary quadratic form identity

$$\text{theta object} \longrightarrow \text{modular transformation law} \longrightarrow \text{arithmetic special value or character twist}.$$05

is especially important: it exhibits the norm form on $$\text{theta object} \longrightarrow \text{modular transformation law} \longrightarrow \text{arithmetic special value or character twist}.$$06 as an explicit theta series.

The paper states that these series are “roughly the Hecke theta series (with trivial character)” associated to $$\text{theta object} \longrightarrow \text{modular transformation law} \longrightarrow \text{arithmetic special value or character twist}.$$07, $$\text{theta object} \longrightarrow \text{modular transformation law} \longrightarrow \text{arithmetic special value or character twist}.$$08, and $$\text{theta object} \longrightarrow \text{modular transformation law} \longrightarrow \text{arithmetic special value or character twist}.$$09. Its refined formulas further split coefficients by parity, divisibility, and roots of unity, producing combinations of $$\text{theta object} \longrightarrow \text{modular transformation law} \longrightarrow \text{arithmetic special value or character twist}.$$10, $$\text{theta object} \longrightarrow \text{modular transformation law} \longrightarrow \text{arithmetic special value or character twist}.$$11, $$\text{theta object} \longrightarrow \text{modular transformation law} \longrightarrow \text{arithmetic special value or character twist}.$$12, $$\text{theta object} \longrightarrow \text{modular transformation law} \longrightarrow \text{arithmetic special value or character twist}.$$13, and $$\text{theta object} \longrightarrow \text{modular transformation law} \longrightarrow \text{arithmetic special value or character twist}.$$14. This is not yet a named ray class character theory, but it is the closest explicit prototype in the cited literature.

6. Relation to genuine ray class character theta series

The three papers together support a careful distinction between direct and indirect relevance. Directly, (Koo et al., 2012) gives theta-constant class invariants for ray class fields: CM values of Siegel modular functions lie in ray class fields, their Artin action is computed by Shimura reciprocity, and a subfield of $$\text{theta object} \longrightarrow \text{modular transformation law} \longrightarrow \text{arithmetic special value or character twist}.$$15 is described explicitly. Directly, (Zhu, 2022) gives a general framework for Jacobi theta series with automorphy character, where the twisting data are additive lattice characters and the analytic tool is a Taylor-expansion embedding into modular-form spaces. Directly, (Zemel, 2016) evaluates rational-characteristic theta derivatives in terms of weight-$$\text{theta object} \longrightarrow \text{modular transformation law} \longrightarrow \text{arithmetic special value or character twist}.$$16 theta series and divisor sums with Dirichlet-character content.

What these works do not provide is a unified theory of theta series attached to ray class characters in the classical Hecke-theoretic sense. The first paper is not constructing such theta series; the second paper’s “any character” refers to a finite-image representation of the Jacobi group, not a ray class character; and the third paper’s weight-$$\text{theta object} \longrightarrow \text{modular transformation law} \longrightarrow \text{arithmetic special value or character twist}.$$17 series are presented as Hecke theta series with trivial character, together with congruence-restricted refinements.

Several common misconceptions are therefore best avoided. One is to identify theta constants generating class fields with theta series twisted by ray class characters; the former appear in (Koo et al., 2012), but the latter are not constructed there. Another is to read the additive twist $$\text{theta object} \longrightarrow \text{modular transformation law} \longrightarrow \text{arithmetic special value or character twist}.$$18 in (Zhu, 2022) as a Hecke character; the paper explicitly places it in the Jacobi-form framework instead. A third is to treat the refined $$\text{theta object} \longrightarrow \text{modular transformation law} \longrightarrow \text{arithmetic special value or character twist}.$$19-combinations in (Zemel, 2016) as already identified ray class characters; the paper does not define a ray class group or conductor ideal for them.

At the same time, the combined evidence is mathematically suggestive. The ray class side appears through Shimura reciprocity and Artin symbols; the character side appears through Jacobi-group automorphy and lattice twists; the arithmetic theta-series side appears through divisor sums, congruence classes, and imaginary quadratic norm forms. This suggests that the phrase “ray class character theta series” is most accurately used for a zone of interaction among CM values, explicit reciprocity, and character-twisted theta expansions, rather than for a single construction already standardized by the cited papers.