Abstract:In this paper, we study the exotic $K(h)$-local Picard groups $\kappa_h$ when $2p-1=h^2$ and the homological Chromatic Vanishing Conjecture when $p-1$ does not divide $h$. The main idea is to use the Gross-Hopkins duality to relate both questions to certain Greek letter element computations in chromatic homotopy theory. Classical results of Miller-Ravenel-Wilson then imply that an exotic element at height $3$ and prime $5$ is not detected by the type-$2$ complex $V(1)$. For the homological Vanishing Conjecture, we prove it holds modulo the invariant prime ideal $I_{h-1}$. We further show that this special case of the Vanishing Conjecture implies the exotic Picard group $\kappa_h$ is zero at height $3$ and prime $5$. Both results can be thought of as a first step towards proving the vanishing of $\kappa_3$ at prime $5$.
What problem does this paper attempt to address?
This paper attempts to solve two main problems:
1. **Study of the singular \( K(h) \)-local Picard group \( \kappa_h \)**: When \( 2p - 1=h^{2} \), study the singular \( K(h) \)-local Picard group \( \kappa_h \). In particular, the author focuses on the cases when \( h = 3 \) and \( p = 5 \), as well as when \( h = 5 \) and \( p = 13 \).
2. **Study of the Chromatic Vanishing Conjecture**: When \( p - 1 \) does not divide \( h \), study the Chromatic Vanishing Conjecture. Specifically, the author proves that when \( p - 1 \) does not divide \( h \), the Chromatic Vanishing Conjecture modulo the ideal \( I_{h - 1} \) holds.
### Main methods and results
- **Application of Gross - Hopkins duality**: The author uses Gross - Hopkins duality to connect the above two problems with the calculation of Greek - letter elements in chromatic homotopy theory. Through this method, the author can use the classic Miller - Ravenel - Wilson results to derive some important conclusions.
- **Main theorems**:
- **Theorem A**: When \( 2p - 1=h^{2} \) and there exists a type \( (h - 1) \) Smith - Toda complex \( V(h - 2) \), the singular element \( X\in\kappa_h \) cannot be detected by \( V(h - 2) \). In particular, when \( h = 3 \) and \( p = 5 \), \( V(1)=S^{0}/(5, v_{1}) \) cannot detect the singular elements in \( \text{Pic}_{K(3)} \).
- **Theorem B**: When \( p - 1 \) does not divide \( h \), the Chromatic Vanishing Conjecture modulo the ideal \( I_{h - 1} \) holds.
- **Theorem C**: If the Chromatic Vanishing Conjecture holds at height 3, then \( \kappa_3 = 0 \) (when \( p = 5 \)) and \( \kappa^{(1)}_3 = 0 \) (when \( p = 3 \)), where \( \kappa^{(1)}_3 \) is a subgroup of \( \kappa_3 \).
### Summary
This paper provides a new method to study the singular \( K(h) \)-local Picard group and the Chromatic Vanishing Conjecture by introducing Gross - Hopkins duality and the calculation of Greek - letter elements. These results not only provide new insights at specific heights and primes, but also lay the foundation for further research on these topics.