Yijun Yuan

activity

20202026

most citedUniformizer of the False Tate Curve Extension of

Q_{p}

2 citations · 2 across the 9 of their papers we have counts for

collaborators

Showing math.NTShow all

9 papers · 1 filter

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

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 $(φ, τ)$ -modules in characteristic $p$

Yijun Yuan

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

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 $π_{K}$ . In this article, we introduce two multivariable period rings $\mathbf{A}_{\m…

math.NT2024

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.NT2023

Uniformizer of the False Tate Curve Extension of $Q_{p}$ (II)

Shanwen Wang, Yijun Yuan

In this article, we investigate the explicit formula for the uniformizers of the false-Tate curve extension of $Q_{p}$ . More precisely, we establish the formula for the fiel…

math.NT2021

Truncated expansion of $ζ_{p^{n}}$ in the $p$ -adic Mal'cev-Neumann field

Shanwen Wang, Yijun Yuan

Fix an odd prime $p$ . In this article, we provide a $mod p$ harmonic number identity, which appears naturally in the canonical expansion of a root $ζ_{p^{n}}$ of the $p^{n}$ -…

math.NT2020★ 2 cited

Uniformizer of the False Tate Curve Extension of $Q_{p}$

Shanwen Wang, Yijun Yuan

Let $p \geq 3$ be a prime number. In this article, we study the canonical expansion of the primitive $p^{n}$ -th root of unity $ζ_{p^{n}}$ in $p$ -adic Mal'cev-Neumann field $\mathbb{L}_p…

p-adic Hahn series with sparse support

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

Descent of (φ,τ)-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

Hyper-algebraic invariants of p-adic algebraic numbers

Uniformizer of the False Tate Curve Extension of Qp​ (II)

Truncated expansion of ζpn​ in the p-adic Mal'cev-Neumann field

Uniformizer of the False Tate Curve Extension of Qp​

$p$ -adic Hahn series with sparse support

Descent of $(φ, τ)$ -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

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

Uniformizer of the False Tate Curve Extension of $Q_{p}$ (II)

Truncated expansion of $ζ_{p^{n}}$ in the $p$ -adic Mal'cev-Neumann field

Uniformizer of the False Tate Curve Extension of $Q_{p}$