Abstract:We apply the methods of Fukaya, Kato and Sharifi to refine Mazur's study of the Eisenstein ideal. Given prime numbers $N$ and $p\geq 5$ such that $p\mid \varphi(N)$, we study the quotient of the cohomology group of modular curve $X_{0}(N)$ by the square of the Eisenstein ideal. We study two invariants $b,c$ attached to this quotient and compute $c$. We propose a conjecture about the invariant $b$ which relates the structure of the ray class group of conductor $N$ to the modular symbols of $X_{0}(N)$. Assuming this conjecture, We compute the invariant $b$.
What problem does this paper attempt to address?
### What problems does this paper attempt to solve?
This paper aims to conduct in - depth research on Mazur's Eisenstein theory and refine the homology group structure of the Eisenstein ideal square quotient through the methods of Fukaya, Kato and Sharifi. Specifically, the paper focuses on the properties of the homology group of the modular curve \(X_0(N)\) under the Eisenstein ideal square quotient.
#### Main problems
1. **Research on the Eisenstein ideal square quotient**:
- Given prime numbers \(N\) and \(p\geq5\) such that \(p\mid\varphi(N)\), the paper studies the square quotient of the homology group of the modular curve \(X_0(N)\) with respect to the Eisenstein ideal.
- It studies two invariants \(b\) and \(c\) and calculates the value of \(c\).
2. **Conjecture of the invariant \(b\)**:
- A conjecture about the invariant \(b\) is proposed, which relates the structure of the ray class group to the modular symbols of \(X_0(N)\).
- Assuming this conjecture holds, the invariant \(b\) is calculated.
3. **Application of modular symbols**:
- A canonical winding homomorphism is constructed using modular symbols, thus providing an explicit representation of the class group \(\text{Gal}(F_{- 1}/K)\).
4. **Generalizing the work of Fukaya, Kato and Sharifi**:
- Similar to the work of Fukaya, Kato and Sharifi, a new conjecture is proposed, that is, the two maps \(b\) and \(\wp_N^G\) are inverse to each other.
#### Mathematical formulas
- The Eisenstein ideal \(I\) is generated by Hecke operators, specifically:
\[
I=(T_l - 1 - l,W_N + 1)\quad\text{for all prime numbers }l\neq N
\]
- The calculation result of the invariant \(\tilde{c}\) is:
\[
\tilde{c} = 1
\]
- For the invariant \(\tilde{b}\), assuming the conjecture holds, we have:
\[
\tilde{b}=1
\]
- The key homology sequences include:
\[
0\rightarrow H^1(X)/I^2H^1(X)\rightarrow H^1(X)/IH^1(X)\otimes I/I^2\rightarrow H^1(X)/IH^1(X)\rightarrow0
\]
Through these studies, the paper attempts to reveal the fine structure of the homology group of the modular curve \(X_0(N)\) under the Eisenstein ideal square quotient and explore its profound connections with other important objects in number theory (such as ray class groups).