Abstract:Let $F$ and $F'$ be two $l$-close nonarchimedean local fields, where $l$ is a positive integer, and let $\mathrm{T}$ and $\mathrm{T}'$ be two tori over $F$ and $F'$, respectively, such that their cocharacter lattices can be identified as modules over the ''at most $l$-ramified'' absolute Galois group $\Gamma_F/I_F^l \cong\Gamma_{F'}/I_{F'}^l$. In the spirit of the work of Kazhdan and Ganapathy, for every positive integer $m$ relative to which $l$ is large, we construct a congruent isomorphism $\mathrm{T}(F)/\mathrm{T}(F)_m\cong\mathrm{T}'(F')/\mathrm{T}'(F')_m$, where $\mathrm{T}(F)_m$ and $\mathrm{T}(F')_m$ are the minimal congruent filtration subgroups of $\mathrm{T}(F)$ and $\mathrm{T}(F')$, respectively, defined by J.-K.~Yu. We prove that this isomorphism is functorial and compatible with both the isomorphism constructed by Chai and Yu and the Kottwitz homomorphism for tori. We show that, when $l$ is even larger relative to $m$, it moreover respects the local Langlands correspondence for tori.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the isomorphism problem between two tori \(T\) and \(T'\) defined on two \(l\)-close non - Archimedean local fields \(F\) and \(F'\). Specifically, when the co - character lattices of \(T\) and \(T'\) can be identified as modules of the Galois group \(\Gamma_F/I^l_F\cong\Gamma_{F'}/I^l_{F'}\), the author attempts to construct a "uniform isomorphism" \(T(F)/T(F)_m\cong T'(F')/T'(F')_m\), where \(T(F)_m\) and \(T'(F')_m\) are the minimal uniform filtered subgroups defined by J. - K. Yu.
### Main research content
1. **Constructing uniform isomorphisms**:
- For any positive integer \(m\), if \(l\) is large enough relative to \(m\), there exists a unique "uniform" isomorphism \(T(F)/T(F)_m\rightarrow T'(F')/T'(F')_m\).
- These isomorphisms have appropriate functorial properties.
2. **Compatibility**:
- These isomorphisms are compatible with the isomorphisms constructed by Chai and Yu and the Kottwitz homomorphism.
- If \(l\) is larger relative to \(m\), these isomorphisms respect the local Langlands correspondence of tori.
### Specific results
- **Theorem 1.2.1**:
- Suppose \((F, T)\leftrightarrow_l(F', T')\), let \(h = h(F, T)\), and \(m\) be a positive integer such that \(0 < m+ 3h(F, T)\ll_T l\). Then there exists a unique isomorphism \(T(F)/T(F)_m\rightarrow T'(F')/T'(F')_m\).
- If \(m + 3h(F, T)+1\ll_T l\), then this isomorphism preserves the minimal uniform filter, that is, it maps the image of \(T(F)_r\) to the image of \(T'(F')_r\), where \(0\leq r\leq m\).
- **Functorial properties**:
- When \((F, T_i)\leftrightarrow_l(F', T'_i)\) and \(0 < m + 3h(F, T_i)\ll_{T_j}l\), given homomorphisms \(T_1\rightarrow T_2\) and \(T'_1\rightarrow T'_2\) induce the same homomorphism \(X^*(T_2)=X^*(T'_2)\rightarrow X^*(T'_1)=X^*(T_1)\), then the following diagram is commutative:
\[
\begin{array}{ccc}
T_1(F)/T_1(F)_m & \rightarrow & T_2(F)/T_2(F)_m \\
\downarrow & & \downarrow \\
T'_1(F')/T'_1(F')_m & \rightarrow & T'_2(F')/T'_2(F')_m
\end{array}
\]
- **Compatibility with Chai - Yu isomorphisms and Kottwitz homomorphism**:
- In the above setting, the following diagram is commutative:
\[
\begin{array}{ccc}
T(F)^b/T(F)_m & \rightarrow & T(F)/T(F)_m \\
\downarrow & & \downarrow \\
T'(F')^b/T'(F')_m & \rightarrow & T'(F')/T'(F')_m
\end{array}
\]