Related papers: Hilbert's Nullstellensatz over quaternions

A new technique for proving fixed point theorems for families of holomorphic transformations of operator balls is developed. One of these theorems is used to show that a bounded representation in a real or complex Hilbert space is…

We give an algebraic quantifier elimination algorithm for the first-order theory over any given finite field using Gr\"obner basis methods. The algorithm relies on the strong Nullstellensatz and properties of elimination ideals over finite…

For $n\geq 1$, we construct the Hilbert scheme of $n$ points on any crepant partial resolution of a Kleinian singularity as a Nakajima quiver variety for an explicit GIT stability parameter. This generalises and unifies existing quiver…

Positivstellensatz is a fundamental result in real algebraic geometry providing algebraic certificates for positivity of polynomials on semialgebraic sets. In this article Positivstellens\"atze for trace polynomials positive on…

The purpose of this paper is to generalize a very famous result on products of normal operators, due to I. Kaplansky. The context of generalization is that of bounded hyponormal and unbounded normal operators on complex separable Hilbert…

In this paper, we deal with nonlinear ill-posed problems involving monotone operators and consider Lavrentiev's regularization method. This approach, in contrast to Tikhonov's regularization method, does not make use of the adjoint of the…

In previous work, the first author developed an algorithm for the computation of Hilbert modular forms. In this paper, we extend this to all totally real number fields of even degree and nontrivial class group. Using the algorithm over…

Random sets are used to get a continuous partition of the cardinality of the union of many overlapping sets. The formalism uses M\"obius transforms and adapts Shapley's methodology in cooperative game theory, into the context of set theory.…

We show that the truncated simplex Hilbert transform enjoys some cancellation in the sense that its norm grows sublinearly in the number of scales retained in the truncation. This extends the recent result by Tao on cancellation for the…

We build on our previous paper \cite{constructive} by using the general method introduced there in conjunction with invariant theory. This yields quantifier elimination results for the classical quaternions, octonions, as well as other…

We extend the usual Hilbert property for varieties over fields to arithmetic schemes over integral domains by demanding the set of near-integral points (as defined by Vojta) to be non-thin. We then generalize results of…

We define and study the counterpart of the Wiener algebra in the quaternionic setting, both for the discrete and continuous case. We prove a Wiener-L\'evy type theorem and a factorization theorem. We give applications to Toeplitz and…

We present a new effective Nullstellensatz with bounds for the degrees which depend not only on the number of variables and on the degrees of the input polynomials but also on an additional parameter called the {\it geometric degree of the…

Results concerning recurrence and ergodicity are proved in an abstract Hilbert space setting based on the proof of Khintchine's recurrence theorem for sets, and on the Hilbert space characterization of ergodicity. These results are carried…

The Aubin--Nitsche trick is a common tool to show $L^2$-error estimates for discretizations of $H^1$-elliptic linear partial differential equations arising for example as Euler--Lagrange equations of a quadratic energy functional. The…

We extend to multilinear Hankel operators the fact that some truncations of bounded Hankel operators are bounded. We prove and use a continuity property of bilinear Hilbert transforms on products of Lipschitz spaces and Hardy spaces.

We present an operator algebraic approach to Wigner's unitary-antiunitary theorem using some classical results from ring theory. To show how effective this approach is, we prove a generalization of this celebrated theorem for Hilbert…

We prove that the Hilbert scheme of points on a normal quasi-projective surface with at worst rational double point singularities is irreducible.

We prove an abstract theorem of maximal hypoellipticy showing that in an abstract calculus under some natural assumptions, an operator is maximally hypoelliptic if and only if its principal symbol is left invertible. We then show that our…

In this article, we will show that the category of quaternion vector spaces, the category of (both one-sided and two sided) quaternion Hilbert spaces and the category of quaternion $B^*$-algebras are equivalent to the category of real…