A general simple relative trace formula and a relative Weyl law
In this paper, we prove a general simple relative trace formula. As an application, we prove a relative analogue of the Weyl law.
Discover
Research tools
Network
Opportunities
Account
Source author record
Heekyoung Hahn appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
In this paper, we prove a general simple relative trace formula. As an application, we prove a relative analogue of the Weyl law.
In this article we derive a simple twisted relative trace formula.
Let $E/\mathbb{Q}$ be a totally real number field that is Galois over $\mathbb{Q}$, and let $π$ be a cuspidal, nondihedral automorphic representation of $\mathrm{GL}_2(\mathbb{A}_E)$ that is in the lowest weight discrete series at every real place of $E$. The representation $π$ cuts out a "motive" $M_\mathrm{et}(π^{\infty})$ from the $\ell$-adic middle degree intersection cohomology of an appropriate Hilbert modular variety. If $\ell$ is sufficiently large in a sense that depends on $π$ we compute the dimension of the space of Tate classes in $M_\mathrm{et}(π^{\infty})$. Moreover if the space of Tate classes on this motive over all finite abelian extensions $k/E$ is at most of rank one as a Hecke module, we prove that the space of Tate classes in $M_\mathrm{et}(π^{\infty})$ is spanned by algebraic cycles.
One of the main goals in this paper is to establish convolution sums of functions for the divisor sums $\widetildeσ_s(n)=\sum_{d|n}(-1)^{d-1}d^s$ and $\widehatσ_s(n)=\sum_{d|n}(-1)^{\frac{n}{d}-1}d^s$, for certain $s$, which were first defined by Glaisher. We first introduce three functions $\mathcal{P}(q)$, $\mathcal{E}(q)$, and $\mathcal{Q}(q)$ related to $\widetildeσ(n)$, $\widehatσ(n)$, and $\widetildeσ_3(n)$, respectively, and then we evaluate them in terms of two parameters $x$ and $z$ in Ramanujan's theory of elliptic functions. Using these formulas, we derive some identities from which we can deduce convolution sum identities. We discuss some formulae for determining $r_s(n)$ and $δ_s(n)$, $s=4,$ $8$, in terms of $\widetildeσ(n)$, $\widehatσ(n)$, and $\widetildeσ_3(n)$, where $r_s(n)$ denotes the number of representations of $n$ as a sum of $s$ squares and $δ_s(n)$ denotes the number of representations of $n$ as a sum of $s$ triangular numbers. Finally, we find some partition congruences by using the notion of colored partitions.
In this paper, we define the normalized Eisenstein series $\mathcal{P}$, $e$, and $\mathcal{Q}$ associated with $Γ_0(2),$ and derive three differential equations satisfied by them from some trigonometric identities. By using these three formulas, we define a differential equation depending on the weights of modular forms on $Γ_0(2)$ and then construct its modular solutions by using orthogonal polynomials and Gaussian hypergeometric series. We also construct a certain class of infinite series connected with the triangular numbers. Finally, we derive a combinatorial identity from a formula involving the triangular numbers.
Motivated by the Langlands' beyond endoscopy proposal for establishing functoriality, we study the representation $\otimes^3$ in a setting related to the Langlands $L$-functions $L(s,π,\,\otimes^3),$ where $π$ is a cuspidal automorphic representation of $G$ where $G$ is either $\mathrm{SO}(2n+1)$, $\mathrm{Sp}(2n)$ and $\mathrm{SO}(2n)$. In particular, under what conditions on partitions $λ$, we examine whether or not $\otimes^3$ detects the subgroups $\mathbb{S}_{[λ]}(G)$ for $G$ with type $B_n$ and $D_{2n}$ or $\mathbb{S}_{\langleλ\rangle}(G)$ for $G$ with type $C_n$. Here $\mathbb{S}_{[λ]}$ and $\mathbb{S}_{\langleλ\rangle}$ are the usual Schur functors associated to the partition $λ$.
Langlands' beyond endoscopy proposal for establishing functoriality motivates interesting and concrete problems in the representation theory of algebraic groups. We study these problems in a setting related to the Langlands $L$-functions $L(s,π,\,\otimes^3),$ where $π$ is a cuspidal automorphic representation of $\mathrm{GL}_n(\mathbb{A}_F)$ where $F$ is a global field.
Let E be a non-CM elliptic curve defined over Q. For each prime p of good reduction, E reduces to a curve E_p over the finite field F_p. For a given squarefree polynomial f(x,y), we examine the sequences f_p(E) := f(a_p(E), p), whose values are associated with the reduction of E over F_p. We are particularly interested in two sequences: f_p(E) =p + 1 - a_p(E) and f_p(E) = a_p(E)^2 - 4p. We present two results towards the goal of determining how often the values in a given sequence are squarefree. First, for any fixed curve E, we give an upper bound for the number of primes p up to X for which f_p(E) is squarefree. Moreover, we show that the conjectural asymptotic for the prime counting function π_{E,f}^{SF}(X) := #{p \leq X: f_p(E) is squarefree} is consistent with the asymptotic for the average over curves E in a suitable box.