# On the non commutative Iwasawa main conjecture for abelian varieties over function fields

## TL;DR

This paper proves the Iwasawa main conjecture for semi-stable abelian varieties over certain function fields in characteristic p, using p-adic cohomology and trace formulas under specific assumptions.

## Contribution

It establishes the conjecture for a new class of abelian varieties over function fields, extending previous results with novel cohomological methods.

## Key findings

- Proves the Iwasawa main conjecture under specified conditions.
- Utilizes p-adic cohomology and trace formulas for the proof.
- Assumes the classical μ=0 hypothesis.

## Abstract

We establish the Iwasawa main conjecture for semi-stable abelian varieties over a function field of characteristic $p$ under certain restrictive assumptions. Namely we consider $p$-torsion free $p$-adic Lie extensions of the base field which contain the constant $\mathbb Z_p$-extension and are everywhere unramified. Under the classical $\mu=0$ hypothesis we give a proof which mainly relies on the interpretation of the Selmer complex in terms of $p$-adic cohomology [TV] together with the trace formulas of [EL1].