Abstract:We begin with the higher-weight modular symbols introduced by Shokurov, which generalize Manin's weight-2 modular symbols. We then define higher-weight limiting modular symbols associated to vertical geodesics with one endpoint at an irrational real number, by means of a limiting procedure on Shokurov's modular symbols. These are analogous to the Manin-Marcolli limiting modular symbols for the weight-2 case, which are given by a similar limiting procedure on the Manin modular symbols. We show that the limit defining the higher-weight limiting modular symbol is equivalent everywhere to a limit given by approximating the irrational endpoint by its continued fraction expansion. This is done by means of shifting to a coding space, as in the approach of Kesseböhmer and Stratmann in the weight-2 case.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to define and study higher - weight limiting modular symbols. Specifically, the author aims to generalize Shokurov's higher - weight modular symbols to vertical geodesics with one endpoint being an irrational real number by introducing a new limiting process. This generalization is similar to Manin and Marcolli's study of limiting modular symbols in the weight - 2 case.
### Main problem decomposition
1. **Define higher - weight limiting modular symbols**:
- The author starts from the higher - weight modular symbols introduced by Shokurov, which generalize Manin's weight - 2 modular symbols.
- In order to define higher - weight limiting modular symbols, the author considers a limiting process that acts on vertical geodesics with one endpoint being an irrational real number.
2. **Equivalent limit expressions**:
- The author proves that this limit definition is equivalent everywhere to another limit expression given by approximating the irrational endpoint through continued fraction expansion.
- This result is achieved by transferring to the coding space, similar to the method of Kesseböhmer and Stratmann in the weight - 2 case.
3. **Connection with previous work**:
- The author's work is based on previous achievements regarding modular symbols, the Bost - Connes system, and the Connes - Marcolli GL2 system.
- In particular, the author hopes that these higher - weight limiting modular symbols can be paired with higher - weight cusp forms and expects to obtain the relationship between Hecke - eigen cusp form periods.
### Markdown representation of formulas
- **Definition of modular symbols**:
\[
\{α, β, N, M\}_G \in H^1(X_G, Π, (G \otimes \mathbb{Q})^w)
\]
where \(X_G\) is a modular curve, \(Π\) is the set of cusps, \(G\) is a homology invariant, and \((G \otimes \mathbb{Q})^w\) is a symmetric tensor power.
- **Definition of limiting modular symbols**:
\[
\tilde{l}_{G,N,M} : Σ_G \to H^1(X_G, Π, (R^1Φ_*\mathbb{Q})^w)
\]
\[
((x_k, e_k))_k \mapsto \lim_{t \to \infty} \frac{1}{t} \{i, e_1(x + i \exp(-t)), N, M\}_G
\]
- **Equivalence of limit expressions**:
\[
\tilde{l}_{G,N,M}(((x_k, e_k))_k) = \lim_{n \to \infty} \frac{1}{2 \log q_n(|x|)} \sum_{k = 1}^n \{e_k(i∞), e_k(0), \tilde{g}^{-1}_{k - 1}(x) \cdot (N, M)\}_G
\]
where \(x = -\text{sign}(x_1)[|x_1|, |x_2|,...]\) and \(\tilde{g}_{k - 1}(x) = e_1 g_{k - 1}(x) e^{-1}_k\).
### Summary
The main contribution of this paper lies in defining higher - weight limiting modular symbols and proving that these symbols can be equivalently represented through continued fraction expansion. This result provides a basis for further research on modular symbols and their relationship with cusp forms.