What problem does this paper attempt to address?

The main problem that this paper attempts to solve is to study the growth of Sylow \(p\)-subgroups of even K - groups in \(p\)-adic Lie extensions of the global function field \(F\). Specifically: 1. **Background settings**: - Let \(p\) be a fixed prime number. - Let \(F\) be a global function field whose characteristic is not equal to \(p\). - Consider the \(p\)-adic Lie extension \(F_{\infty}\) of \(F\), and assume that this extension contains the cyclotomic \(\mathbb{Z}_{p}\)-extension \(F_{\text{cyc}}\) of \(F\). 2. **Main problems**: - Study the growth of even K - groups \(K_{2i - 2}(\mathcal{O}_{L,S})[p^{\infty}]\) as the finite extension \(L\) varies in the \(p\)-adic Lie extension \(F_{\infty}\). - Establish the duality relationship between the direct limit and the inverse limit. 3. **Specific objectives**: - Study the growth properties of these K - groups by means of cohomological methods, especially Iwasawa cohomology theory. - Prove the structure theorems of Iwasawa cohomology groups of even K - groups (for example, whether they are torsion modules or pseudo - zero modules). - Explore the applications of these results in algebraic K - theory, especially the K - group growth formulas in the context of non - commutative \(p\)-adic Lie extensions in the function field context. 4. **Key results**: - Theorem A: It is proved that the second Iwasawa cohomology group \(H^{2}_{\text{Iw},S}(F_{\infty}/F,\mathbb{Z}_{p}(i))\) is a \(\mathbb{Z}_{p}[[G]]\)-torsion module, and when \(F_{\infty}\) contains \(F_{\text{cyc}}\), it is a \(\mathbb{Z}_{p}[[H]]\)-finitely generated module. - Theorem B: Given that the first Iwasawa cohomology group is zero, the \(G\)-Euler characteristic of the second Iwasawa cohomology group is given. - Theorem C: The growth formula of even K - groups is established, with particular attention to \(p\)-adic Lie extensions with dimension greater than or equal to 2. - Theorem D: The duality relationship between the direct limit and the inverse limit is established, similar to the class group results in classical Iwasawa theory. In summary, this paper aims to deeply explore the growth behavior of even K - groups in \(p\)-adic Lie extensions of global function fields and their related cohomological properties, and provides specific mathematical tools and theorems to support these studies.

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

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

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

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

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

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

On the Eisenstein Cohomology of Arithmetic Groups

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

On the structure of the Bloch--Kato Selmer groups of modular forms over anticyclotomic $\mathbf{Z}_p$-towers

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

On the Pseudonullity of Fine Selmer groups over function fields

Hopf-Galois module structure of degree p extensions of p-adic fields

$p$-group Galois covers of curves in characteristic $p$ II

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

The finitude of tamely ramified pro-$p$ extensions of number fields with cyclic $p$-class groups

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

$p$-adic $L$-functions for $P$-ordinary Hida families on unitary groups

Structure of fine Selmer groups over $\mathbb{Z}_p$-extensions

On Linear-Groups over Finite-Fields

On $p$-adic $L$-functions for symplectic representations of GL(N) over number fields

The non-$p$-part of the fine Selmer group in a $\mathbf{Z}_p$-extension