What problem does this paper attempt to address?

### What problem does this paper attempt to solve? The main purpose of this paper is to study the arithmetic properties of rational elliptic curves over quintic fields and establish new instances of the equivariant BSD - conjecture. Specifically, the author attempts to prove that in the case of rank 0, the analytic rank in certain specific representations is equal to the algebraic rank by analyzing Hirzebruch - Zagier (HZ) cycles. #### Main problems and methods 1. **Background and motivation**: - The BSD - conjecture (Birch and Swinnerton - Dyer conjecture) is a well - known conjecture in number theory, which links the algebraic properties of elliptic curves to the analytic properties of their L - functions. - In totally real fields, there have been many research results on the BSD - conjecture, but these results usually depend on the existence of geometric modularity, which limits their scope of application. - This paper aims to extend these results to non - solvable quintic fields and explore how to use p -adic methods to solve new instances of the BSD - conjecture. 2. **Main tools and techniques**: - **HZ cycles**: The author constructs a special class of cycles, called Hirzebruch - Zagier cycles, which play a crucial role in the cohomology of Shimura varieties. - **p -adic L - functions**: By introducing motivic p -adic L - functions and automorphic p -adic L - functions, the author is able to link the properties of algebraic cycles to the analytic properties of L - functions. - **Explicit reciprocity law**: The author proves an explicit reciprocity law, which compares the motivic p -adic L - functions and the automorphic p -adic L - functions, thus building a bridge between the algebraic and analytic worlds. 3. **Assumptions and conditions**: - The paper assumes some technical conditions, such as a conjecture (Conjecture 1.5) about the étale cohomology of Hilbert modular surfaces, and some technical assumptions about eigenvalues and units. - These assumptions enable the author to prove new instances of the BSD - conjecture under specific conditions. 4. **Main results**: - **Theorem A**: Under a series of technical conditions, if the analytic rank in a certain specific representation is 0, then its algebraic rank is also 0. - **Corollary 1.2**: For some S5 - quintic extensions, if the BSD - conjecture holds, then the algebraic rank of the elliptic curve over these fields is the same as its algebraic rank over the field of rational numbers. Through these methods and results, the paper provides new ideas and tools for the verification of the BSD - conjecture over a wider range of number fields.

Hirzebruch-Zagier classes and rational elliptic curves over quintic fields

Hirzebruch-Zagier cycles in $p$-adic families and adjoint $L$-values

On a conjecture of Mazur predicting the growth of Mordell--Weil ranks in $\mathbb{Z}_p$-extensions

On the Birch-Swinnerton-Dyer conjecture for modular abelian surfaces

Zeta elements for elliptic curves and applications

Integers expressible as the sum of two rational cubes

Congruences of modular forms and modularity of Tate-Shafarevich classes

On the Selmer group and rank of a family of elliptic curves and curves of genus one violating the Hasse principle

G-invariant Hilbert schemes on Abelian surfaces and enumerative geometry of the orbifold Kummer surface

On The Birch and Swinnerton-Dyer Conjecture for CM Elliptic Curves over $\BQ$

Rankin--Eisenstein classes for modular forms

On the arithmetic of special values of $L$-functions for certain abelian varieties with a rational isogeny

Hodge cycles for cubic hypersurfaces

Rankin--Eisenstein classes and explicit reciprocity laws

Distinguished categories and the Zilber-Pink conjecture

On fine Mordell-Weil groups over $\mathbb{Z}_p$-extensions of an imaginary quadratic field

Exceptional zeros for Heegner points and $p$-converse to the theorem of Gross-Zagier and Kolyvagin

Slopes of modular forms and geometry of eigencurves

Rationality and arithmetic of the moduli of abelian varieties

On anticyclotomic variants of the $p$-adic Birch and Swinnerton-Dyer conjecture

Effective zero-cycles and the Bloch-Beilinson filtration