Related papers: Hilbert's Nullstellensatz over quaternions

We produce generalizations of Iwasawa's `Riemann-Hurwitz' formula for number fields. These generalizations apply to cyclic extensions of number fields of degree p^n for any positive integer n. We first deduce some congruences and…

We consider the decision problem of whether a particular Gromov--Witten invariant on a partial flag variety is zero. We prove that for the $3$-pointed, genus zero invariants, this problem is in the complexity class ${\sf AM}$ assuming the…

Quaternions, introduced by Hamilton in 1843 as a generalization of complex numbers, have found, in more recent years, a wealth of applications in a number of different areas which motivated the design of efficient methods for numerically…

An approximation result for the bilinear Hilbert transform is proved and used for the inversion of the bilinear Hilbert transform. Also, p-Lebesgue points $(p\geq 1)$ are analyzed.

In this paper we prove a Nullstellensatz for supersymmetric polynomials. This gives a bijection between radical ideals and superalgebraic sets. These are algebraic sets which are invariant under the Weyl groupoid of Sergeev and Veselov,…

We discuss, using the Hilbert basis method, how to efficiently construct a complete basis for D-flat directions in supersymmetric Abelian and non-Abelian gauge theories. We extend the method to discrete (R and non-R) symmetries. This…

We study multivariate polynomials over `structured' grids. We begin by proposing an interpretation as to what it means for a finite subset of a field to be structured; we do so by means of a numerical parameter, the nullity. We then extend…

Schinzel's Hypothesis H is a general conjecture in number theory on prime values of polynomials that generalizes, e.g., the twin prime conjecture and Dirichlet's theorem on primes in arithmetic progression. We prove an arithmetic analog of…

In this work, we extend Howard's construction of compatible families of Heegner points to the setting of towers of Gross curves and Shimura curves over totally real fields. Following the strategy of Longo and Vigni, our approach…

In this paper, we extend the results obtained by Cortes-Ferrero-Juriaans (2009) for the quaternion over the ring Colombeau's simplified generalized numbers, denoted by $\overline{\mathbb{H}}_s$, to the quaternion over the ring of…

We define and analyze various generalizations of the punctual Hilbert scheme of the plane, associated to complex or real Lie algebras. Out of these, we construct new geometric structures on surfaces whose moduli spaces share multiple…

We extend a conjecture of Kimberley-Robertson on the abelianizations of certain square complex groups.

The aim of this paper is to present an explicit reduction algorithm for Hilbert modular groups over arbitrary totally real number fields. An implementation of the algorithm is available to download from [19]. The exposition is…

We introduce the notion of fully Hilbertian fields, a strictly stronger notion than that of Hilbertian fields. We show that this class of fields exhibits the same good behavior as Hilbertian fields, but for fields of uncountable…

We use generalised Bialynicki-Birula decomposition, apolarity and obstruction theories to prove non-reducedness of the Hilbert scheme of $13$ points on $\mathbb{A}^6$. Our argument doesn't involve computer calculations and gives an example…

We establish an exactly tight relation between reversible pebblings of graphs and Nullstellensatz refutations of pebbling formulas, showing that a graph $G$ can be reversibly pebbled in time $t$ and space $s$ if and only if there is a…

We present a new technique for computing Hilbert series of N=1 supersymmetric QCD in four dimensions with unitary and special unitary gauge groups. We show that the Hilbert series of this theory can be written in terms of determinants of…

Integral operators of Abel type of order a > 0 arise naturally in a large spectrum of physical processes. Their inversion requires care since the resulting inverse problem is ill-posed. The purpose of this work is to devise and analyse a…

Radical membership testing, and the special case of Hilbert's Nullstellensatz (HN), is a fundamental computational algebra problem. It is NP-hard; and has a famous PSPACE algorithm due to effective Nullstellensatz bounds. We identify a…

This paper considers a higher-dimensional generalization of the notion of Ramanujan graphs, defined by Lubotzky, Phillips, and Sarnak. Specifically the Ramanujan property is studied for cubical complexes which are uniformized by an ordered…