Yijun Yuan

collaborators

6 papers

math.NT2026

$p$ -adic Hahn series with sparse support

Shanwen Wang, Yijun Yuan

Let $p$ be a prime number. We introduce a sparseness condition on the supports of $p$ -adic Hahn series, and prove that this condition implies transcendence over $\breve{\mathbf Q}_…

math.NT2026

Hyper-algebraic invariants of $p$ -adic algebraic numbers

Shanwen Wang, Yijun Yuan

Let $p \geq 3$ be a prime. The hyper-algebraic elements in the $p$ -adic Mal'cev-Neumann field $L_{p}$ form an algebraically closed subfield $L_{p}^{ha}$ …

math.NT2026

Formalization of non-Archimedean functional analysis 1: spherically complete spaces

Yijun Yuan

In this article, we present a formalization of spherically complete spaces, a fundamental notion in non-Archimedean functional analysis, using the Lean theorem prover (v4.31.0), bu…

math.NT2025

Descent of $(I ¨ , I ¨ )$ -modules in characteristic $p$

Yijun Yuan

In this article, we study the descent of $(I ¨ , I ¨ )$ -modules over perfectoid period rings in characteristic $p$ via Berger and Rozensztajn's theory of super-HÃ¶lder vectors. This is…

math.NT2025

On the $p$ -adic transcendence of $\sum_{k = 1}^{\infty} p^{- 1/ p^{k}}$

Shanwen Wang, Yijun Yuan

Let $p$ be a prime number. In this article, we prove that the $p$ -adic Hahn series $\sum_{k = 1}^{\infty} p^{- 1/ p^{k}}$ , which is the mixed-characteristic analogue of Abhyankar's solutio…

math.NT2025

Multivariable period rings of $p$ -adic false Tate curve extension

Yijun Yuan

Let $p \geq 3$ be a prime number and $K$ be a finite extension of $Q_{p}$ with uniformizer $I ¨ _{K}$ . In this article, we introduce two multivariable period rings $\mathbf{A}_{\…

p-adic Hahn series with sparse support

Hyper-algebraic invariants of p-adic algebraic numbers

Formalization of non-Archimedean functional analysis 1: spherically complete spaces

Descent of (I¨,I¨)-modules in characteristic p

On the p-adic transcendence of ∑k=1∞​p−1/pk

Multivariable period rings of p-adic false Tate curve extension

$p$ -adic Hahn series with sparse support

Hyper-algebraic invariants of $p$ -adic algebraic numbers

Descent of $(I ¨ , I ¨ )$ -modules in characteristic $p$

On the $p$ -adic transcendence of $\sum_{k = 1}^{\infty} p^{- 1/ p^{k}}$

Multivariable period rings of $p$ -adic false Tate curve extension