Related papers: Baire category theory and Hilbert's Tenth Problem …

Given a complex, separable Hilbert space $\mathcal{H}$, we characterize those operators for which $\| P T (I-P) \| = \| (I-P) T P \|$ for all orthogonal projections $P$ on $\mathcal{H}$. When $\mathcal{H}$ is finite-dimensional, we also…

Hilbert's ternary quartic theorem states that every nonnegative degree 4 homogeneous polynomial in three variables can be written as a sum of three squares of homogeneous quadratic polynomials. We give a linear-algebraic approach to…

We prove that the pattern matching problem is undecidable in polymorphic lambda-calculi (as Girard's system F) and calculi supporting inductive types (as G{\"o}del's system T) by reducing Hilbert's tenth problem to it. More generally…

Let $H$ be a nonabelian finite simple group. Huppert's conjecture asserts that if $G$ is a finite group with the same set of complex character degrees as $H$, then $G\cong H\times A$ for some abelian group $A$. Over the past two decades,…

We present a universal construction of Diophantine equations with bounded complexity in Isabelle/HOL. This is a formalization of our own work in number theory. Hilbert's Tenth Problem was answered negatively by Yuri Matiyasevich, who showed…

We use homotopy theory to define certain rational coefficients characteristic numbers with integral values, depending on a given prime number q and positive integer t. We prove the first nontrivial degree formula and use it to show that…

The Ehrhart polynomial and Ehrhart series count lattice points in integer dilations of a lattice polytope. We introduce and study a $q$-deformation of the Ehrhart series, based on the notions of harmonic spaces and Macaulay's inverse…

We construct a category of fibrant objects $\mathbb{C}\langle P\rangle$ in the sense of K. Brown from any indexed frame (a kind of indexed poset generalizing triposes) $P$, and show that its homotopy category is the Barr-exact category…

Let $\mathcal{R}$ be a finite valuation ring of order $q^r$. In this paper we generalize and improve several well-known results, which were studied over finite fields $\mathbb{F}_q$ and finite cyclic rings $\mathbb{Z}/p^r\mathbb{Z}$, in the…

We investigate Lie bialgebra structures on simple Lie algebras of non-split type $A$. It turns out that there are several classes of such Lie bialgebra structures, and it is possible to classify some of them. The classification is obtained…

We associate with the ring $R$ of algebraic integers in a number field a C*-algebra $\cT[R]$. It is an extension of the ring C*-algebra $\cA[R]$ studied previously by the first named author in collaboration with X.Li. In contrast to…

In this article we mainly consider the positively Z-graded polynomial ring R=F[X,Y] over an arbitrary field F and Hilbert series of finitely generated graded R-modules. The central result is an arithmetic criterion for such a series to be…

We present a method for computing $\mathbb{A}^1$-homotopy invariants of singularity categories of rings admitting suitable gradings. Using this we describe any such invariant, e.g. homotopy K-theory, for the stable categories of…

A recent paper by the first and third authors together with Sabourin raised the question of what the possible Hilbert functions are for fat point subschemes of the form $2p_1+...+2p_r$, for all possible choices of $r$ distinct points in the…

We study the complexity of the classification problem for countable models of set theory (ZFC). We prove that the classification of arbitrary countable models of ZFC is Borel complete, meaning that it is as complex as it can conceivably be.…

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…

We use Borcherds products and their restrictions to Hirzebruch-Zagier curves to determine generators and relations for the graded rings of Hilbert modular forms for the fields $\mathbb{Q}(\sqrt{29})$ and $\mathbb{Q}(\sqrt{37})$. These seem…

In this paper we develop an axiomatic setup for algorithmic homological algebra of Abelian categories. This is done by exhibiting all existential quantifiers entering the definition of an Abelian category, which for the sake of…

The enumeration degrees of sets of natural numbers can be identified with the degrees of difficulty of enumerating neighborhood bases of points in a universal second-countable $T_0$-space (e.g. the $\omega$-power of the Sierpi\'nski space).…

Given an ideal of forms in an algebra (polynomial ring, tensor algebra, exterior algebra, Lie algebra, bigraded polynomial ring), we consider the Hilbert series of the factor ring. We concentrate on the minimal Hilbert series, which is…