Related papers: A note on k[z]-automorphisms in two variables
Let k be a regular F_p-algebra, let A = k[x,y]/(xy) be the coordinate ring of the coordinate axes in the affine k-plane, and let I = (x,y) be the ideal that defines the intersection point. We evaluate the relative K-groups K_q(A,I) in terms…
An irreducible module for the parafermion vertex operator algebra $K(\mathfrak{sl}_2,k)$ is said to be of $\sigma$-type if an automorphism of the fusion algebra of $K(\mathfrak{sl}_2,k)$ of order $k$ is trivial on it. For any integer $k \ge…
Let $G\subset GL_n(k)$ be a finite subgroup and $k[x_1,\dots, x_n]^G\subset k[x_1,\dots, x_n]$ its ring of invariants. We show that, in many cases, the automorphism group of $k[x_1,\dots, x_n]^G$ is $k^\times$. Version 2: Incorporates parts…
We develop techniques for computing the AK invariant of a domain with arbitrary characteristic. We use these techniques to describe for any field $K$ the automorphism group of $K[X,Y,Z]/(X^n Y - Z^2 - h(X)Z)$, where $h(0) \ne 0$ and $n \geq…
For each number field k, the Bombieri-Lang conjecture for k-rational points on surfaces of general type implies the existence of a polynomial f(x,y) in k[x,y] inducing an injection k x k --> k.
In this paper we identify QD(A,B), the quasidiagonal classes in KK_1(A,B), in terms of K_*(A) and K_*(B), and we use these results in various applications. Here is our central result. Theorem: Suppose that A is in the category of separable…
The pentagram map is a discrete integrable system on the moduli space of planar polygons. The corresponding first integrals are so-called monodromy invariants $E_1, O_1, E_2, O_2,\dots$ By analyzing the combinatorics of these invariants,…
For a field $k$ of characteristic $0$, we present an algorithm for deciding if a morphism $\phi:k[X_1,...,X_m]\to k[X_1,...,X_m]$ has an inverse. The algorithm also shows how to find the inverse when it exists.
Y. Miyashita gave characterizations of a separable polynomial and a Hirata separable polynomial in skew polynomial rings. In the previous paper, the author and S. Ikehata gave direct and elementary proofs of Miyashita's theorems in skew…
A generalization of Arnold's strange duality to invertible polynomials in three variables by the first author and A.Takahashi includes the following relation. For some invertible polynomials $f$ the Saito dual of the reduced monodromy zeta…
We prove a new Elekes-Szab\'o type estimate on the size of the intersection of a Cartesian product $A\times B\times C$ with an algebraic surface $\{f=0\}$ over the reals. In particular, if $A,B,C$ are sets of $N$ real numbers and $f$ is a…
In this paper, we prove the equidistribution of periodic points of a regular polynomial automorphism f : A^n -> A^n defined over a number field K: let f be a regular polynomial automorphism defined over a number field K and let v be a prime…
Let $f$ be a homogeneous polynomial with rational coefficients in $d$ variables. We prove several results concerning uniform simultaneous approximation to points on the graph of $f$, as well as on the hypersurface $\{f(x_1,\dots,x_d) =…
Let $G_{g,b}$ be the set of all uni/trivalent graphs representing the combinatorial structures of pant decompositions of the oriented surface of genus $g$ with $b$ boundary components. We describe the set $A_{g,b}$ of all automorphisms of…
Let A^2 be the affine plane over a field K of characteristic 0. Birational morphisms of A^2 are mappings A^2 \to A^2 given by polynomial mappings \phi of the polynomial algebra K[x,y] such that for the quotient fields, one has K(\phi(x),…
A function $f\colon\mathbb R\to\mathbb R$ is called \emph{$k$-monotone} if it is $(k-2)$-times differentiable and its $(k-2)$nd derivative is convex. A point set $P\subset\mathbb R^2$ is \emph{$k$-monotone interpolable} if it lies on a…
Recently, Shestakov-Umirbaev solved Nagata's conjecture on an automorphism of a polynomial ring. To solve the conjecture, they defined notions called reductions of types I--IV for automorphisms of a polynomial ring. An automorphism…
We explore two questions about pseudo-polynomials, which are functions $f:\mathbb N \to \mathbb Z$ such that $k$ divides $f(n+k) - f(n)$ for all $n,k$. First, for certain arbitrarily sparse sets $R$, we construct pseudo-polynomials $f$ with…
If, for a subset S of Z^k, we compare the conditions of being parametrizable (a) by a single k-tuple of polynomials with integer coefficients, (b) by a single k-tuple of integer-valued polynomials and, (c) by finitely many k-tuples of…
The problem of deciding, given a complex variety X, a point x in X, and a subvariety Z of X, whether there is an automorphism of X mapping x into Z is proved undecidable. Along the way, we prove the undecidability of a version of Hilbert's…