What problem does this paper attempt to address?

The problem that this paper attempts to solve is to establish the duality between the direct limit and the inverse limit of even \(K\)-groups in non - commutative \(p\)-adic Lie extensions. Specifically, the author hopes to generalize the previous results in \(\mathbb{Z}_p^d\)-extensions to certain non - commutative \(p\)-adic Lie extensions. ### Main problems 1. **Duality between the direct limit and the inverse limit of even \(K\)-groups**: - In the previous paper, the author has already established a pseudo - isomorphic relationship between the direct limit and the inverse limit of even \(K\)-groups in \(\mathbb{Z}_p^d\)-extensions. - In this paper, the author aims to generalize this result to certain non - commutative \(p\)-adic Lie extensions. 2. **Proof of duality under specific conditions**: - The main theorem (Theorem 1.1) of the paper shows that under specific conditions (such as \(F_\infty\) is a totally real field or \(F_\infty = F(\mu_{p^\infty}, a_1^{p^{-\infty}}, \ldots, a_r^{p^{-\infty}})\)), there is an isomorphic relationship: \[ \left( \varinjlim_L K_{2i - 2}(O_{L,S})[p^\infty] \right)^\vee\cong \operatorname{Ext}^1_{\mathbb{Z}_p[[G]]} \left( \varprojlim_L K_{2i - 2}(O_{L,S})[p^\infty], \mathbb{Z}_p[[G]] \right) \] where \(G=\operatorname{Gal}(F_\infty/F)\) is a \(p\)-adic Lie group without \(p\)-torsion elements. ### Key steps 1. **Definitions and preliminaries**: - Introduce the concepts of Iwasawa algebras and modules and discuss their properties. - Review the relationship between Sylow \(p\)-subgroups and Galois cohomology groups. - Introduce Iwasawa cohomology groups and discuss their properties. 2. **Proof of the main theorem**: - Use Tate's descent spectral sequence and other technical tools to gradually verify the correctness of the main theorem under different conditions. - In particular, give detailed proofs in the cases of totally real fields and multi - false Tate extensions respectively. Through these steps, the author has successfully generalized the duality between the direct limit and the inverse limit of even \(K\)-groups to a wider range of non - commutative \(p\)-adic Lie extensions, providing a theoretical basis for further research in related fields.

Comparing direct limit and inverse limit of even $K$-groups in non-commutative $p$-adic Lie extensions

Comparing direct limit and inverse limit of even $K$-groups in multiple $\mathbb{Z}_p$-extensions

On even $K$-groups over $p$-adic Lie extensions of global function fields

$P$-Adic $L$-FUNCTIONS FOR UNITARY GROUPS

On the $p$-divisibility of even $K$-groups of the ring of integers of a cyclotomic field

On the structure of even $K$-groups of rings of algebraic integers

Comparing Dualities in the $K(n)$-local Category

The inverse limit topology and profinite descent on Picard groups in $K(n)$-local homotopy theory

On the $p$-adic limit of class numbers along a pro-$p$-extension

On the Iwasawa invariants of BDP Selmer groups and BDP P-adic L-fucntions

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

Local duality theorems for commutative algebraic groups

On the complete faithfulness of the $p$-free quotient modules of dual Selmer groups

Universal central extensions of direct limits of Lie superalgebras

De Rham Comparison and Poincaré Duality for Rigid Varieties

Simple $p$-adic Lie groups with abelian Lie algebras

Kähler differentials and $\mathbf{Z}_p$-extensions

Faltings’ main p -adic comparison theorems for non-smooth schemes

Sublinear Bilipschitz Equivalence and the Quasiisometric Classification of Solvable Lie Groups

Limits of vector lattices

A note on $p$-Kähler structures on compact quotients of Lie groups