Gross–Prasad Labels for Multiplicity-One Pairs
Status Partially solved · unsolvedmath.comLLM status Open unverified
Top Open Problems Not reported cataloguedPartially solvedOpenStatement
Definitions and mathematical statement
The supplied record concerns two orthogonal-group $L$-packets, denoted here by $\Pi_\phi$ and $\Pi_{\phi'}$, with Langlands parameters $\phi$ and $\phi'$. In the parametrizations referred to by the source, $\pi(\phi,\chi)$ denotes the representation labeled by a component-group character $\chi$, and similarly for $\phi'$. The symbols $\epsilon_{\phi,\phi'}$ and $\epsilon'_{\phi,\phi'}$ denote the Gross--Prasad characters that the source describes as defined by epsilon factors. Their formulas and normalization conventions are not supplied.Write $m(\pi,\pi')$ schematically for the Gross--Prasad multiplicity intended in the source. The extracted conjecture asserts that, under the intended Langlands parametrizations, the unique pair of multiplicity one is \[ \left(\pi(\phi,\epsilon_{\phi,\phi'}),\, \pi(\phi',\epsilon'_{\phi,\phi'})\right). \] Equivalently, if $\mathcal P_{\phi,\phi'}$ denotes the intended collection of admissible pairs from the two packets, the assertion has the schematic form \[ \left\{(\pi,\pi')\in\mathcal P_{\phi,\phi'}: m(\pi,\pi')=1\right\} = \left\{\left(\pi(\phi,\epsilon_{\phi,\phi'}),\, \pi(\phi',\epsilon'_{\phi,\phi'})\right)\right\}. \] Here $\mathcal P_{\phi,\phi'}$ and $m$ are placeholders for missing source context, not independently specified mathematical objects. In particular, this display does not additionally assert that every other multiplicity is zero.
The supplied extraction does not specify the base field, the precise orthogonal groups and their relation, the allowed parameters, the treatment of inner forms, the admissible-pair collection, the multiplicity space, or the normalizations of the parametrizations and epsilon factors. Consequently, it does not determine a fully quantified conjecture without further source context. The assertion above preserves the extracted target conditionally on those unresolved choices.
Short English statement
The extracted Gross--Prasad conjecture identifies the unique multiplicity-one pair in two orthogonal-group $L$-packets by the characters prescribed by epsilon factors. Essential hypotheses and normalization conventions are missing, so this is a schematic statement requiring human mathematical review. The supplied partially solved label is dated curation, not an independently verified conclusion.Sources
- Supplied local UnsolvedMath registry record, permanent ID $30001735$, exact source problem code
catalogue entry, title "Gross--Prasad Labels for Multiplicity-One Pairs," in the Oberwolfach Reports Open Problems collection. No individual proposer is identified in the supplied record. - Automorphic Forms: New Directions (2011), Oberwolfach Reports, pp. 719--779, DOI
10.4171/owr/2011/14. Supplied source report and literature reference labeled "original OWR report": https://doi.org/10.4171/owr/2011/14. The supplied background describes Oberwolfach Reports as documenting mathematical workshops and their open-problem discussions. - Supplied literature reference labeled "Gan--Gross--Prasad": https://doi.org/10.24033/ast.912. No more detailed bibliographic information is supplied for this reference.
- Supplied literature reference labeled "tempered special-orthogonal case": https://arxiv.org/abs/2009.13947. No more detailed bibliographic information is supplied for this reference.
- Literature assessment dated exactly
2026-08-21: the supplied status is "partially solved." The supplied assessment states that the component-group parametrization and epsilon labeling are established in substantial classical-group cases, while the report's broad Langlands-compatibility assertion is not a single fully settled theorem in the extracted scope. This is supplied dated curation derived from the OWR material, not independently verified here; time-sensitive status and cited claims require independent verification. - The supplied registry labels the statement
corrected_verifiedand reports that its mathematical content was checked against the official Oberwolfach report, with notation, context, and question form normalized without changing the source-level claim. This verification report is supplied provenance and has not been independently checked here.
Statement licence: CC-BY-SA-4.0 · Source file
Contributions 0
No attempts yet. Significant partial results and substantial reductions are welcome. Contribute an attempt.