English
Related papers

Related papers: Hilbert's Tenth Problem for function fields of var…

200 papers

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$…

Algebraic Geometry · Mathematics 2024-06-25 Oakley Edens , Zinovy Reichstein

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…

Combinatorics · Mathematics 2012-08-14 Shyamashree Upadhyay

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…

Logic · Mathematics 2025-12-29 Erik Walsberg

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…

Logic in Computer Science · Computer Science 2026-04-21 Jonathan Brossard

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…

Logic · Mathematics 2025-08-26 Thomas Scanlon

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…

Number Theory · Mathematics 2014-08-01 Tapas Chatterjee , Sanoli Gun

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…

Operator Algebras · Mathematics 2007-05-23 Marius Dadarlat

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…

Number Theory · Mathematics 2018-02-23 Martin Čech , Dominik Lachman , Josef Svoboda , Magdaléna Tinková , Kristýna Zemková

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…

Complex Variables · Mathematics 2017-10-19 Artyem Yefimushkin , Vladimir Ryazanov

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.

Algebraic Geometry · Mathematics 2009-03-02 Fedor Bogomolov , Yuri Tschinkel

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…

Combinatorics · Mathematics 2025-08-04 Chao Yang , Zhujun Zhang

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…

Dynamical Systems · Mathematics 2023-12-07 J. L. Bravo , P. Mardesic , D. Novikov , J. Pontigo-Herrera

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…

Combinatorics · Mathematics 2012-12-03 Shyamashree Upadhyay

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…

Number Theory · Mathematics 2017-09-26 Kwang-Seob Kim , Joachim König

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…

Mathematical Physics · Physics 2011-06-08 Gabriel Pietrzkowski

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…

Combinatorics · Mathematics 2012-10-11 Shyamashree Upadhyay

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…

Analysis of PDEs · Mathematics 2009-05-01 Andreas Axelsson , Kit Ian Kou , Tao Qian

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…

Logic · Mathematics 2019-06-07 Matthew Moore

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…

Computational Geometry · Computer Science 2013-02-12 Martin Cadek , Marek Krcal , Jiri Matousek , Lukas Vokrinek , Uli Wagner

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…

Functional Analysis · Mathematics 2021-05-11 Yury Arlinskiĭ