SearcharxivSearch

arXiv subjects

Ryo Komiya

Publications and source records attributed to Ryo Komiya.

2 recordsLinked to original sources

On the higher algebraic $K$-groups of arithmetically equivalent number fields

In this paper, based on the structure of higher algebraic $K$-groups of the rings of integers of number fields, we introduce new equivalence relations between number fields called $K$-equivalence and almost $K$-equivalence, and investigate their relationships with arithmetical equivalence and local integral equivalence. Building upon the classical properties of arithmetically equivalent number fields studied by R. Perlis and on the pioneering work by Komatsu, we apply the Rost-Voevodsky theorem (the Quillen-Lichtenbaum conjecture) for odd primes $p$, thereby analyzing algebraic $K$-groups within the framework of continuous \'etale cohomology from a more modern perspective. As our main results, by utilizing permutation representations of global Galois groups and the data of local decomposition groups, we refine Komatsu's previous results in the range $p \neq 2$ and describe the conditions for number fields to be (almost) $K$-equivalent. Through these developments, we clarify how the arithmetic information reflected in higher $K$-groups resonates with the special values of zeta functions and Galois representations.

math.NT

A Tate algebra version of the Jacobian Conjecture

This paper investigates a Tate algebra version of the Jacobian conjecture, referred to as the Tate-Jacobian conjecture, for commutative rings $R$ equipped with an $I$-adic topology. We show that if the $I$-adic topology on $R$ is Hausdorff and $R/I$ is a subring of a $\mathbb{Q}$-algebra, then the Tate-Jacobian conjecture is equivalent to the Jacobian conjecture. Conversely, if $R/I$ has positive characteristic, the Tate-Jacobian conjecture fails. Furthermore, we establish that the Jacobian conjecture for $\mathbb{C}$ is equivalent to the following statement: for all but finitely many primes $p$, the inverse of a polynomial map over $\mathbb{C}_p$ whose Jacobian determinant is an element of $\mathbb{C}_p^\times$ lies in the Tate algebra over $\mathbb{C}_p$.

math.AG