Euler systems are certain norm-compatible families of cohomology classes, which play a key role in studying the arithmetic of Galois representations. We briefly survey the known Euler systems, and recall a standard conjecture of Perrin-Riou predicting what kind of Euler system one should expect for a general Galois representation. Surprisingly, several recent constructions of Euler systems do not seem to fit the predictions of this conjecture, and we formulate a more general conjecture which explains these extra objects. The novel aspect of our conjecture is that it predicts that there should often be Euler systems of several different ranks associated to a given Galois representation, and we describe how we expect these objects to be related.

To each finitely presented module $$ over a commutative ring $$ one can associate an $$-ideal $$, which is called the (zeroth) Fitting ideal of $$ over $$. This is of interest because it is always contained in the $$-annihilator $$ of $$, but is often much easier to compute. This notion has recently been generalised to that of so-called ‘Fitting invariants’ over certain noncommutative rings; the present author considered the case in which $$ is an $$-order $$ in a finite dimensional separable algebra, where $$ is an integrally closed commutative noetherian complete local domain. This article is a survey of known results and open problems in this context. In particular, we investigate the behaviour of Fitting invariants under direct sums. In the appendix, we present a new approach to Fitting invariants via Morita equivalence.

In this paper we give an overview of some aspects of Iwasawa theory for modular forms. We start with the classical formulation in terms of $$-adic $$-functions in the ordinary case and the $$-formulation for supersingular elliptic curves. Then we discuss some recent progresses in the proof of the corresponding Iwasawa main conjectures formulated by Kato (Conjecture 4.1), which relates the index of his zeta element to the characteristic ideal of the strict Selmer groups.

Let $$ be a finite abelian extension of an imaginary quadratic number field $$. Let $$ denote a prime ideal of $$ lying over the rational prime $$. We assume that $$ splits completely in $$ and that $$ does not divide the class number of $$. If $$ is split in $$ the first named author has adapted a construction of Solomon to obtain elliptic $$-units in $$. In this paper we generalize this construction to the non-split case and obtain in this way a pair of elliptic $$-units depending on a choice of generators of a certain Iwasawa algebra (which here is of rank 2). In our main result we express the $$-adic valuations of these $$-units in terms of the $$-adic logarithm of an explicit elliptic unit. The crucial input for the proof of our main result is the computation of the constant term of a suitable Coleman power series, where we rely on recent work of T. Seiriki.

In this article we shall generalize the theory of Stark elements to arbitrary ‘weight’. This means that we define canonical generalized Stark elements that correspond to the leading terms at arbitrary integers of $$-series attached to the multiplicative group. We investigate their basic properties, and formulate both a conjecture on the precise integrality condition that these Stark elements satisfy and a conjecture that describes the Galois module structures of certain cohomology groups as a generalization of the refined Rubin-Stark conjecture we formulated in an earlier article ‘On zeta elements for $$’ in Doc. Math. 21 (2016). We then prove these conjectures in several interesting cases. The integrality condition studied here will then play an important role in a subsequent article of the first and third authors which formulates a precise conjectural congruence relation between the generalized Stark elements of differing weights that are defined here.

Our first goal in this article is to explain that a weak form of Perrin-Riou's conjecture on the non-triviality of Beilinson–Kato classes follows as an easy consequence of the Iwasawa main conjectures. We also explain that the refined form of this conjecture in the $$-supersingular case also follows from the classical Gross–Zagier formula and Kobayashi's $$-adic Gross–Zagier formula combined with this simple observation.

Our second goal is to set up a conceptual framework in the context of $$-adic Kolyvagin systems to treat analogues of Perrin-Riou's conjectures for motives of higher rank. We apply this general discussion in order to establish a link between Heegner points on a general class of CM abelian varieties and the (conjectural) Coleman–Rubin–Stark elements we introduce here. This can ben thought of as a higher dimensional version of Rubin's results on rational points on CM elliptic curves.

In this note, we revisit Hida's construction of $$-adic Rankin-Selberg $$-functions by incorporating Jacquet's approach to automorphic $$-functions on $$. This allows us to give a construction of primitive three variable $$-adic Rankin-Selberg $$-functions associated with a pair of two primitive Hida families in full generality and prove the functional equation of this $$-adic Rankin-Selberg $$-function.

In this note, we provide a new proof of the rank 1 Gross–Stark conjecture for a quadratic extension under the assumption that there is only one prime in the base field above a rational prime $$. The full Gross–Stark conjecture was proven by the authors in joint work with Ventullo, building on a prior result in the rank 1 setting by the first named author in joint work with Darmon and Pollack. The proof given in this note is much simpler as it does not use the theory of $$-adic Galois cohomology and Galois representations associated to $$-adic modular forms. Instead, the proof relies on a certain explicit construction using Theta series, congruences with Eisenstein series and the $$-expansion principle of Deligne–Ribet.

We introduce a natural way to define Selmer groups and $$-adic $$-functions for modular forms of weight 1. The corresponding Galois representation $$ of $$ is a 2-dimensional Artin representation with odd determinant. Thus, the dimension $$ of the (+1)-eigenspace for complex conjugation is 1. Choose a prime $$ such that the restriction of $$ to the local Galois group $$ has a 1-dimensional constituent $$ with multiplicity 1. If we fix the choice of such an $$, we can define a Selmer group and a $$-adic $$-function. On the algebraic side, we prove that the Selmer group over the cyclotomic $$-extension of $$ is a cotorsion module over the Iwasawa algebra $$. That result is valid for an Artin representation of arbitrary dimension $$ under the assumption that $$ and that such an $$ can be chosen. On the analytic side, the corresponding complex $$-function has no critical values and the definition of the $$-adic $$-function depends on deforming the Galois representation $$ by Hida theory.

In this note we propose an analog of the well-known Cohen-Lenstra heuristics for modules over the Iwasawa algebra $$. It turns out that only the analog of the real-quadratic situation leads to a convergent series and hence to potential predictions. We determine the sum of this series, which runs over all isomorphism classes of finite $$-modules, and we discuss the partial sum that arises by restricting to cyclic $$-modules. We demonstrate that this subsum is almost as large as the total sum. No attempt is made to test the heuristics numerically.

For a finite abelian $$-extension $$ of totally real fields and the cyclotomic $$-extension $$, we prove a strong version of an equivariant Iwasawa main conjecture by determining completely the Fitting ideal over $$ of the classical Iwasawa module $$, which is the Galois group of the maximal pro-$$ abelian $$-ramified extension of $$, where $$ contains all ramified primes in $$. To do this, we prove a conjecture which was proposed in a previous paper by the first and second author, concerning the minors of a relation matrix for the second syzygy module of the trivial module $$ over a suitable group ring.

We study the universal minimal ordinary Galois deformation $$ of an induced representation $$ from a real quadratic field $$ with values in $$. By Taylor–Wiles, the universal ring $$ is isomorphic to a local ring of a Hecke algebra. Combining an idea of Cho–Vatsal [CV03] with a modified Taylor–Wiles patching argument in [H17], under mild assumptions, we show that the Pontryagin dual of the adjoint Selmer group of $$ is canonically isomorphic to $$ for a non-zero divisor $$ which is a generator of the different $$ of $$ over the weight Iwasawa algebra $$ inside $$. Moreover, defining $$ for a fundamental unit $$ of the real quadratic field $$, we show that the adjoint Selmer group of $$ for the (minimal) universal character $$ deforming $$ is isomorphic to $$ as $$-modules.

The main conjectures in Iwasawa theory predict the relationship between the Iwasawa modules and the $$-adic $$-functions. Using a certain proved formulation of the main conjecture, Greither and Kurihara described explicitly the (initial) Fitting ideals of the Iwasawa modules for the cyclotomic $$-extensions of finite abelian extensions of totally real fields. In this paper, we generalize the algebraic theory behind their work by developing the theory of “shifts of Fitting invariants.” As applications to Iwasawa theory, we obtain a noncommutative version and a two-variable version of the work of Greither and Kurihara.

This is the Part II of our paper “Height functions for motives”. We consider more general period domains and the height functions on more general sets of motives. We also consider the corresponding Hodge theoretic variant of Nevanlinna theory.

We prove a one-sided divisibility relation for the anticyclotomic Iwasawa main conjecture for modular forms in terms of the $$-adic $$-function constructed by Bertolini-Darmon-Prasanna and Brakočević. The divisibility relation is known by Castella if $$ is ordinary and by Castella-Wan for the elliptic curve case. Here we prove the higher weight non-ordinary case with a treatment that works uniformly for both ordinary and non-ordinary cases. In the proof, we establish a theory of integral Perrin-Riou twist. It enables us not only to twist systems of generalized Heegner cycles (which are not norm-compatible) by any continuous $$-adic anticyclotomic characters but also to investigate the denominators of resulting systems explicitly.

In this paper, we derive a formula for the $$-adic syntomic regulators of Asai–Flach classes. These are cohomology classes forming an Euler system associated to a Hilbert modular form over a quadratic field, introduced in an earlier paper [LLZ16] by Antonio Lei and the first and third authors. The formula we develop here is expressed in terms of differential operators acting on overconvergent Hilbert modular forms; it is analogous to existing formulae for the regulators of Beilinson–Flach classes, but a novel feature is the appearance of a projection operator associated to a critical-slope Eisenstein series. We conclude the paper with numerical calculations giving strong evidence for the non-vanishing of these regulators in an explicit example.

For an odd prime number $$ and a number field $$ which is an elementary abelian $$-extension of the rationals, we prove the equivalence between the vanishing of all Iwasawa invariants of the cyclotomic $$-extension of $$ and an arithmetical condition described by the linking numbers of primes from a viewpoint of analogies between pro-$$ Galois groups and link groups. A criterion of Greenberg's conjecture for $$ of degree $$ is also described in terms of linking matrices.

Jannsen established several spectral sequences for (global and local) Iwasawa modules over (not necessarily commutative) Iwasawa algebras (mainly of $$-adic Lie groups) over $$, which are very useful for determining certain properties of such modules in arithmetic applications. Slight generalizations of said results are also obtained by Nekovář (for abelian groups and more general coefficient rings), by Venjakob (for products of not necessarily abelian groups, but with $$-coefficients), and by Lim-Sharifi. Unfortunately, some of Jannsen's spectral sequences for families of representations as coefficients for (local) Iwasawa cohomology are still missing. We explain and follow the philosophy that all these spectral sequences are consequences or analogues of local cohomology and duality à la Grothendieck (and Tate for duality groups).