相关论文: Hilbert's Tenth Problem for function fields of var…

The resolvent degree $\textrm{rd}_{\mathbb{C}}(n)$ is the smallest integer $d$ such that a root of the general polynomial $$f(x) = x^n + a_1 x^{n-1} + \ldots + a_n$$ can be expressed as a composition of algebraic functions in at most $d$…

In this article, I give an iterative closed form formula for the Hilbert-Kunz function for any binomial hypersurface in general, over any feild of arbitrary positive characteristic. I prove that the Hilbert-Kunz multiplicity associated to…

Suppose that $K$ is a characteristic zero field with infinite transcendence degree over its prime subfield. We show that if there is a gt-henselian topology on $K$ then there are $2^{2^{|K|}}$ pairwise incomparable gt-henselian topologies…

Rice's theorem states that no non-trivial semantic property of programs is decidable. Classical proofs proceed by reduction from the halting problem, invoking the law of excluded middle (LEM) twice: once through diagonalization, and once…

Several properly countable unions of algebraic sets in $\mathbb{C}^n$ are definable in $\mathbb{C}(t)$ including the set CM of $j$-invariants of complex elliptic curves with complex multiplication. It has been suggested that one could prove…

In this note, we prove the existence of infinitely many zeros of certain generalized Hurwitz zeta functions in the domain of absolute convergence. This is a generalization of a classical problem of Davenport, Heilbronn and Cassels about the…

Let A and B be separable nuclear continuous C(X)-algebras over a finite dimensional compact metrizable space X. It is shown that an element $\sigma$ of the parametrized Kasparov group KK_X(A,B) is invertible if and only if all its fiberwise…

The aim of this article is to study (additively) indecomposable algebraic integers $\mathcal O_K$ of biquadratic number fields $K$ and universal totally positive quadratic forms with coefficients in $\mathcal O_K$. There are given…

It is developed the theory of the Dirichlet problem for harmonic functions. On this basis, for the nondegenerate Beltrami equations in the quasidisks and, in particular, in the smooth domains, it is proved the existence of regular solutions…

We prove that the function field of an algebraic variety of dimension greater than 1 over an algebraically closed field of characteristic zero is determined by its first and second Milnor K-groups.

Translational tiling problems are among the most fundamental and representative undecidable problems in all fields of mathematics. Greenfeld and Tao obtained two remarkable results on the undecidability of translational tiling in recent…

In this paper, given two polynomials $f$ and $g$ of one variable and a $0$-cycle $C$ of $f$, we consider the deformation $f+\epsilon g$. We define two functions: the displacement function $\Delta(t,\epsilon)$ and its first order…

A `trinomial hyper surface' is defined in \S 1 below. In this article, I provide a supportive reasoning towards the fact that there can be examples of trinomial hyper surfaces (at least over fields of characteristic 2) for which the…

Let $K$ be a number field and $K_{ur}$ be the maximal extension of $K$ that is unramified at all places. In a previous article, the first author found three real quadratic fields $K$ such that $Gal(K_{ur}/K)$ is finite and nonabelian simple…

We consider the problem of separability: decide whether a Hermitian operator on a finite dimensional Hilbert tensor product is separable or entangled. We show that the tensor convolution defined for certain mappings on an almost arbitrary…

In this article, I provide a solution to a rank computation problem related to the computation of the Hilbert-Kunz function for any disjoint-term trinomial hypersurface, over any field of characteristic 2. This rank computation problem was…

We generalize the notion of harmonic conjugate functions and Hilbert transforms to higher dimensional euclidean spaces, in the setting of differential forms and the Hodge-Dirac system. These conjugate functions are in general far from being…

For each Turing machine T, we construct an algebra A'(T) such that the variety generated by A'(T) has definable principal subcongruences if and only if T halts, thus proving that the property of having definable principal subcongruences is…

We consider two basic problems of algebraic topology, the extension problem and the computation of higher homotopy groups, from the point of view of computability and computational complexity. The extension problem is the following: Given…

In the infinite-dimensional separable complex Hilbert space we construct new abstract examples of unbounded maximal accretive and maximal sectorial operators $B$ for which ${\rm dom\,}B^{\frac{1}{2}}\ne{\rm dom\,}B^{*{\frac{1}{2}}}$. New…