What problem does this paper attempt to address?

The problem that this paper attempts to solve is: **In the cohomology of arithmetic manifolds of multiplicative groups over number fields, whether the first - degree part of the action of the derived Hecke algebra is non - zero in the modulo \(p\) case**. Specifically, the author studied the behavior of the derived Hecke action in the modulo \(p\) case and proved that under mild conditions, the action of the first - degree part is non - zero. The following is the specific description of the problem: 1. **Background and Motivation**: - The paper considers the multiplicative group \(G_m/F\) over the number field \(F\) and studies the cohomology of the associated arithmetic manifold \(Y(N)\). - The author focuses on the behavior of the derived Hecke algebra \(T^\bullet_{\mathbb{F}_p}\) in the modulo \(p\) case, especially whether its first - degree part \(T^1\) is non - zero. 2. **Main Problem**: - The specific problem can be formulated as: When the coefficient is taken as the finite field \(\mathbb{F}_p\), whether the first - degree part \(T^1\) of the derived Hecke algebra \(T^\bullet_{\mathbb{F}_p}\) is non - zero in the modulo \(p\) case? - More precisely, does there exist some Hecke eigen - system that appears simultaneously in \(H^0(Y(N), \mathbb{F}_p)\) and \(H^1(Y(N), \mathbb{F}_p)\)? 3. **Main Results**: - **Theorem A**: If \(p\) does not divide the order of \(O_F^\times/E(N)\), then the map \(\Psi\) is an isomorphism of \(T^0\)-modules. - **Theorem B**: If \(p\) does not divide the order of \(O_F^\times/E(N)\), then any Hecke eigen - system that appears in \(H^1(Y(N), \mathbb{F}_p)\) will also appear in \(H^0(Y(N), \mathbb{F}_p)\), and vice versa. 4. **Methods and Tools**: - The main tools include the Grunwald - Wang theorem and the specific description of the derived Hecke algebra. - Through these tools, the author proved the non - zero - ness of the first - degree derived Hecke action in the modulo \(p\) case. In summary, the main purpose of this paper is to explore the non - zero - ness of the derived Hecke algebra in the modulo \(p\) case and gives a positive answer through specific mathematical tools and theorems.

Non-vanishing mod $p$ of derived Hecke algebra of the multiplicative group over number field

A note on the cohomology of $p$-adic analytic group actions

Nonvanishing of $L$-function of some Hecke characters on cyclotomic fields

Towards the $p$-adic Hodge theory for non-commutative algebraic varieties

Hecke Actions on Loops and Periods of Iterated Shimura Integrals

Mod-$2$ Hecke algebras of level $3$ and $5$

$K_1$-invariants in the mod $p$ cohomology of $U(3)$ arithmetic manifolds

On some mod $p$ representations of quaternion algebra over $\mathbb{Q}_p$

Vanishing ranges for the mod $p$ cohomology of alternating subgroups of Coxeter groups

Non-vanishing modulo p of Hecke L-values over imaginary quadratic fields

Mod $p$ and torsion homology growth in nonpositive curvature

Mixed Hodge structures and Siegel operators

Partial Hasse Invariants on Splitting Models of Hilbert Modular Varieties

$p$-adic hyperbolicity for moduli spaces of abelian motives

Non‐vanishing Theorems for Central L‐values of Some Elliptic Curves with Complex Multiplication

Mod $\ell$ multiplicities in certain $U(4)$ Shimura varieties

Mod-p Poincaré Duality in p-adic Analytic Geometry

Mod $p$ points on Shimura varieties of parahoric level (with an appendix by Rong Zhou)

Non-vanishing of central values of quadratic Hecke $L$-functions of prime moduli in the Gaussian field

The mod p cohomology of the Morava stabilizer group at large primes

The Tamagawa number conjecture and Kolyvagin's conjecture for motives of modular forms