Related papers: The Ax-Kochen Theorem: an application of model the…

We give an algebraic geometric proof of the Theorem of Ax and Kochen on p-adic diophantine equations in many variables. Unlike Ax-Kochen's proof, ours does not use any notions from mathematical logic and is based on weak toroidalization of…

These are the notes of a course for the summer school Model Theory in Bilbao hosted by the Basque Center for Applied Mathematics (BCAM) and the Universidad del Pa\'is Vasco/Euskal Herriko Unibertsitatea in September 2023. The goal of this…

The paper describes the algebraic structure of the graded algebra of differentially homogeneous polynomials of fixed finite order. We show that it is a finitely generated algebra, and we exhibit a minimal set of generators. Along the way,…

This is my habilitation thesis. As the tradition wants, I tried to give an introduction of my field of research. I post it on the ArXiv with the hope it can be useful to young researchers looking for a short and friendly text on…

We show in section 1 that the Ax-Kochen isomorphism theorem requires the continuum hypothesis. Most of the applications of this theorem are insensitive to set theoretic considerations. (A probable exception is the work of Moloney.) In…

Proofs of the fundamental theorem of algebra can be divided up into three groups according to the techniques involved: proofs that rely on real or complex analysis, algebraic proofs, and topological proofs. Algebraic proofs make use of the…

A complete p-adic Khintchine type theorem for approximation by p-adic algebraic numbers is established.

The article is devoted to the investigation of transformation groups of polynomials over Cayley-Dickson algebras and their manifolds of zeros. The problems about expressibility of zeros with the help of roots and decomposibility of…

We prove a conjecture of Colliot-Th\'el\`ene that implies the Ax-Kochen Theorem on p-adic forms. We obtain it as an easy consequence of a diophantine excision theorem whose proof forms the body of the present paper.

The Alexander-Hirschowitz theorem says that a general collection of $k$ double points in ${\bf P}^n$ imposes independent conditions on homogeneous polynomials of degree $d$ with a well known list of exceptions. Alexander and Hirschowitz…

We utilize Cauchy's argument principle in combination with the Jacobian of a holomorphic function in several complex variables and the first moment of a ratio of two correlated complex normal random variables to prove explicit formulas for…

Inspired by the Ax--Kochen isomorphism theorem, we develop a notion of categorical ultraproducts to capture the generic behavior of an infinite collection of mathematical objects. We employ this theory to give an asymptotic solution to the…

Let $K$ be a field of characteristic zero and suppose that $f:\mathbb{N}\to K$ satisfies a recurrence of the form $$f(n)\ =\ \sum_{i=1}^d P_i(n) f(n-i),$$ for $n$ sufficiently large, where $P_1(z),...,P_d(z)$ are polynomials in $K[z]$.…

A celebrated theorem of Shoda states that over any field K (of characteristic 0), every matrix with trace 0 can be expressed as a commutator AB-BA, or, equivalently, that the set of values of the polynomial f(x,y)=xy-yx on the nxn-matrix…

Given a prime $p$ and a positive integer $k$, let $\mathrm{M}_{n}(\mathbb{Z}/p^{k}\mathbb{Z})$ be the ring of $n \times n$ matrices over $\mathbb{Z}/p^{k}\mathbb{Z}$. We consider the number of solutions $X \in…

We give a functional representation theorem for a class of real p-Banach algebras. This theorem is used to show that every p-homogeneous seminorm with square property on a real associative algebra is submultiplicative.

Assume M is a 3-dimensional real manifold without boundary, A is an abelian Lie algebra of analytic vector fields on M, and X is an element of A. The following result is proved: If K is a locally maximal compact set of zeroes of X and the…

The main goal of this article is to provide a proof of the Pederson-Roy-Szpirglas theorem about counting common real zeros of real polynomial equations by using basic results from Linear algebra and Commutative algebra. The main tools are…

In this paper we study the group $A_0(X)$ of zero dimensional cycles of degree 0 modulo rational equivalence on a projective homogeneous algebraic variety $X$. To do this we translate rational equivalence of 0-cycles on a projective variety…

We give a constructive elementary proof for the fact that any K-automorphism of the full nxn matrix algebra over a field K is conjugation by some invertible nxn matrix A over K.