
We show that the Galois cohomology groups of $p$adic representations of a
direct power of $\operatorname{Gal}(\overline{\mathbb{Q}_p}/\mathbb{Q}_p)$ can
be computed via the generalization of Herr's complex to multivariable
$(\varphi,\Gamma)$modules. Using Tate duality and a pairing for multivariable
$(\varphi,\Gamma)$modules we extend this to analogues of the Iwasawa
cohomology. We show that all $p$adic representations of a direct power of
$\operatorname{Gal}(\overline{\mathbb{Q}_p}/\mathbb{Q}_p)$ are overconvergent
and, moreover, passing to overconvergent multivariable
$(\varphi,\Gamma)$modules is an equivalence of categories. Finally, we prove
that the overconvergent Herr complex also computes the Galois cohomology
groups.

A detailed presentation of Beilinson's approach to padic Hodge theory.

We show that the category of continuous representations of the $d$th direct
power of the absolute Galois group of $\mathbb{Q}_p$ on finite dimensional
$\mathbb{F}_p$vector spaces (resp. finitely generated $\mathbb{Z}_p$modules,
resp. finite dimensional $\mathbb{Q}_p$vector spaces) is equivalent to the
category of \'etale $(\varphi,\Gamma)$modules over a $d$variable
Laurentseries ring over $\mathbb{F}_p$ (resp. over $\mathbb{Z}_p$, resp. over
$\mathbb{Q}_p$).

Let $G$ be a $\mathbb{Q}_p$split reductive group with connected centre and
Borel subgroup $B=TN$. We construct a right exact functor $D^\vee_\Delta$ from
the category of smooth modulo $p^n$ representations of $B$ to the category of
projective limits of finitely generated \'etale $(\varphi,\Gamma)$modules over
a multivariable (indexed by the set of simple roots) commutative Laurentseries
ring. These correspond to representations of a direct power of
$\mathrm{Gal}(\overline{\mathbb{Q}_p}/\mathbb{Q}_p)$ via an equivalence of
categories. Parabolic induction from a subgroup $P=L_PN_P$ corresponds to a
basechange from a Laurentseries ring in those variables with corresponding
simple roots contained in the Levi component $L_P$. $D^\vee_\Delta$ is exact
and yields finitely generated objects on the category $SP_A$ of finite length
representations with subquotients of principal series as JordanH\"older
factors. Lifting the functor $D^\vee_\Delta$ to all (noncommuting) variables
indexed by the positive roots allows us to construct a $G$equivariant sheaf
$\mathfrak{Y}_{\pi,\Delta}$ on $G/B$ and a $G$equivariant continuous map from
the Pontryagin dual $\pi^\vee$ of a smooth representation $\pi$ of $G$ to the
global sections $\mathfrak{Y}_{\pi,\Delta}(G/B)$. We deduce that
$D^\vee_\Delta$ is fully faithful on the full subcategory of $SP_A$ with
JordanH\"older factors isomorphic to irreducible principal series.

Let $o$ be the ring of integers in a finite extension $K/\mathbb{Q}_p$ and
$G=\mathbf{G}(\mathbb{Q}_p)$ be the $\mathbb{Q}_p$points of a
$\mathbb{Q}_p$split reductive group $\mathbf{G}$ defined over $\mathbb{Z}_p$
with connected centre and split Borel $\mathbf{B}=\mathbf{TN}$. We show that
Breuil's pseudocompact $(\varphi,\Gamma)$module $D^\vee_{\xi}(\pi)$ attached
to a smooth $o$torsion representation $\pi$ of $B=\mathbf{B}(\mathbb{Q}_p)$ is
isomorphic to the pseudocompact completion of the basechange
$\mathcal{O_E}\otimes_{\Lambda(N_0),\ell}\widetilde{D_{SV}}(\pi)$ to Fontaine's
ring (via a Whittaker functional $\ell\colon N_0=\mathbf{N}(\mathbb{Z}_p)\to
\mathbb{Z}_p$) of the \'etale hull $\widetilde{D_{SV}}(\pi)$ of $D_{SV}(\pi)$
defined by Schneider and Vigneras. Moreover, we construct a $G$equivariant map
from the Pontryagin dual $\pi^\vee$ to the global sections $\mathfrak{Y}(G/B)$
of the $G$equivariant sheaf $\mathfrak{Y}$ on $G/B$ attached to a
noncommutative multivariable version $D^\vee_{\xi,\ell,\infty}(\pi)$ of
Breuil's $D^\vee_{\xi}(\pi)$ whenever $\pi$ comes as the restriction to $B$ of
a smooth, admissible representation of $G$ of finite length.

It is well known that, for any finitely generated torsion module M over the
Iwasawa algebra Z_p [[{\Gamma} ]], where {\Gamma} is isomorphic to Z_p, there
exists a continuous padic character {\rho} of {\Gamma} such that, for every
open subgroup U of {\Gamma}, the group of Ucoinvariants M({\rho})_U is finite;
here M( {\rho}) denotes the twist of M by {\rho}. This twisting lemma was
already applied to study various arithmetic properties of Selmer groups and
Galois cohomologies over a cyclotomic tower by Greenberg and PerrinRiou. We
prove a non commutative generalization of this twisting lemma replacing torsion
modules over Z_p [[ {\Gamma} ]] by certain torsion modules over Z_p [[G]] with
more general padic Lie group G.

Let $E$ be an elliptic curvedefined over a number field $K$without
complex multiplication and with good ordinary reduction at all the primes above
a rational prime $p \geq 5$. We construct a pairing on the dual
$p^\infty$Selmer group of $E$ over any strongly admissible $p$adic Lie
extension $K_\infty/K$ under the assumption that it is a torsion module over
the Iwasawa algebra of the Galois group $G=\operatorname{Gal}(K_\infty/K)$.
Under some mild additional hypotheses this gives an algebraic functional
equation of the conjectured $p$adic Lfunction. As an application we construct
completely faithful Selmer groups in case the $p$adic Lie extension is
obtained by adjoining the $p$power division points of another nonCM elliptic
curve $A$.

We construct noncommutative multidimensional versions of overconvergent power
series rings and Robba rings. We show that the category of \'etale
$(\varphi,\Gamma)$modules over certain completions of these rings are
equivalent to the category of \'etale $(\varphi,\Gamma)$modules over the
corresponding classical overconvergent, resp. Robba rings (hence also to the
category of $p$adic Galois representations of $\mathbb{Q}_p$). Moreover, in
the case of Robba rings, the assumption of \'etaleness is not necessary, so
there exists a notion of trianguline objects in this sense.

Let $K/\mathbb Q_{p}$ be a finite extension with ring of integers $o$, let
$G$ be a connected reductive split $\mathbb Q_{p}$group of Borel subgroup
$P=TN$ and let $\alpha$ be a simple root of $T$ in $N$. We associate to a
finitely generated module $D$ over the Fontaine ring over $o $ endowed with a
semilinear \'etale action of the monoid $T_{+} $ (acting on the Fontaine ring
via $\alpha$), a $G(\mathbb Q_{p})$equivariant sheaf of $o$modules on the
compact space $G(\mathbb Q_{p})/P(\mathbb Q_{p})$. Our construction generalizes
the representation $D\boxtimes \mathbb P^{1} $ of $ GL(2,\mathbb Q_{p})$
associated by Colmez to a $(\varphi,\Gamma)$module $D$ endowed with a
character of $\mathbb Q_{p}^{*}$.

We prove that any projective coadmissible module over the locally analytic
distribution algebra of a compact $p$adic Lie group is finitely generated. In
particular, the category of coadmissible modules does not have enough
projectives. In the Appendix a "generalized Robba ring" for uniform pro$p$
groups is constructed which naturally contains the locally analytic
distribution algebra as a subring. The construction uses the theory of
generalized microlocalization of quasiabelian normed algebras that is also
developed there. We equip this generalized Robba ring with a selfdual locally
convex topology extending the topology on the distribution algebra. This is
used to show some results on coadmissible modules.

We prove the exactness of the reduction map from \'etale
$(\phi,\Gamma)$modules over completed localized group rings of compact open
subgroups of unipotent $p$adic algebraic groups to usual \'etale
$(\phi,\Gamma)$modules over Fontaine's ring. This reduction map is a component
of a functor from smooth $p$power torsion representations of $p$adic
reductive groups (or more generally of Borel subgroups of these) to
$(\phi,\Gamma)$modules. Therefore this gives evidence for this functorwhich
is intended as some kind of $p$adic Langlands correspondence for reductive
groupsto be exact. We also show that the corresponding higher
$\Tor$functors vanish. Moreover, we give the example of the Steinberg
representation as an illustration and show that it is acyclic for this functor
to $(\phi,\Gamma)$modules whenever our reductive group is
$\GL_{d+1}(\mathbb{Q}_p)$ for some $d\geq 1$.