U. K. Anandavardhanan,Basudev Pattanayak
Abstract:Let $G$ be a compact group with two given subgroups $H$ and $K$. Let $\pi$ be an irreducible representation of $G$ such that its space of $H$-invariant vectors as well as the space of $K$-invariant vectors are both one dimensional. Let $v_H$ (resp. $v_K$) denote an $H$-invariant (resp. $K$-invariant) vector of unit norm in a given $G$-invariant inner product $\langle ~,~ \rangle_\pi$ on $\pi$. We are interested in calculating the correlation coefficient \[c(\pi;H,K) = |\langle v_H,v_K \rangle_\pi|^2.\] In this paper, we compute the correlation coefficient of an irreducible representation of the multiplicative group of the $p$-adic quaternion algebra with respect to any two tori. In particular, if $\pi$ is such an irreducible representation of odd minimal conductor with non-trivial invariant vectors for two tori $H$ and $K$, then its root number $\varepsilon(\pi)$ is $\pm 1$ and $c(\pi; H, K)$ is non-vanishing precisely when $\varepsilon(\pi) = 1$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to calculate the correlation coefficient \(c(\pi; H, K)\) between two given subgroups (called \(H\) and \(K\), which are two tori) in a specific representation (i.e., the irreducible representation of the multiplicative group of the \(p\)-adic quaternion algebra). Specifically, the paper focuses on the calculation of the correlation coefficient for any two tori when the representation \(\pi\) has an odd minimal conductor or an even minimal conductor.
The core problems of the paper can be summarized as follows:
1. **Definition and Background**:
- Let \(G\) be a compact group with two given subgroups \(H\) and \(K\).
- \(\pi\) is an irreducible representation of \(G\), and both its \(H\)-invariant vector space and \(K\)-invariant vector space are one - dimensional.
- \(v_H\) (respectively \(v_K\)) represents the \(H\)-invariant (respectively \(K\)-invariant) vector of unit norm under the given \(G\)-invariant inner product \(\langle,\rangle_\pi\).
- The correlation coefficient is defined as:
\[
c(\pi; H, K)=|\langle v_H, v_K\rangle_\pi|^2
\]
2. **Main Research Content**:
- This paper calculates the correlation coefficient of the irreducible representation \(\pi\) of \(D^{\times}/F^{\times}\) (where \(D\) is the quaternion algebra over the \(p\)-adic field with odd characteristic) with respect to any two tori.
- In particular, if \(\pi\) is an irreducible representation with an odd minimal conductor and has non - trivial invariant vectors for two tori \(S\) and \(T\), then its root number \(\varepsilon(\pi)\) is \(\pm1\), and:
\[
c(\pi; S, T)\neq0\iff\varepsilon(\pi) = 1
\]
- When \(\varepsilon(\pi)=1\):
\[
c(\pi; S, T)=\frac{2}{\dim\pi}
\]
3. **Specific Results**:
- For the case of an odd minimal conductor, the paper gives a specific Theorem 1.1, which describes the relationship between the correlation coefficient and the root number.
- For the case of an even minimal conductor, the paper provides a similar result in Theorem 1.2, considering additional conditions, such as the intersection property of normalizers.
4. **Applications and Significance**:
- These results are of great significance in Tunnell's work and the broader study of branching laws and the Gan - Gross - Prasad conjecture.
- The paper also explores how the sign of the local root number determines the non - zero property of the correlation coefficient, which has important arithmetic significance in the Langlands program.
Through these studies, the paper reveals the profound connection between the local root number and the correlation coefficient, providing a basis for further understanding of higher - rank branching laws.