Related papers: Green points in the reals
After recalling the definition of Zilber fields, and the main conjecture behind them, we prove that Zilber fields of cardinality up to the continuum have involutions, i.e., automorphisms of order two analogous to complex conjugation on…
We prove a boundedness-theorem for families of abelian varieties with real multiplication. More generally, we study curves in Hilbert modular varieties from the point of view of the Green Griffiths-Lang conjecture claiming that entire…
An important result in real algebraic geometry is the projection theorem: every projection of a semialgebraic set is again semialgebraic. This theorem and some of its conclusions lie at the basis of many other results, for example the…
We state some generalizations of a theorem due to G. Darboux, which originally states that a polynomial vector field in the complex plane exhibits a rational first integral and has all its orbits algebraic provided that it exhibits…
Using a variant of Schreier's Theorem, and the theory of Green's relations, we show how to reduce the computation of an arbitrary subsemigroup of a finite regular semigroup to that of certain associated subgroups. Examples of semigroups to…
Factor systems are a tool for working on the extension problem of algebraic structures such as groups, Lie algebras, and associative algebras. Their applications are numerous and well-known in these common settings. We construct…
The notion of `Pseudo Algebraically Closed (PAC) extensions' is a generalization of the classical notion of PAC fields. It was originally motivated by Hilbert's tenth problem, and recently had new applications. In this work we develop a…
We show that completeness at higher levels of the theory of the reals is a robust notion (under changing the signature and bounding the domain of the quantifiers). This mends recognized gaps in the hierarchy, and leads to stronger…
We show that the additive higher Chow groups of regular schemes over a field induce a Zariski sheaf of pro-differential graded algebras, whose Milnor range is isomorphic to the Zariski sheaf of big de Rham-Witt complexes. This provides an…
Let $K= \mathbb{Q}(\sqrt{d})$ be a real quadratic field with $d$ having three distinct prime factors. We show that the $2$-class group of each layer in the $\mathbb{Z}_2$-extension of $K$ is $\mathbb{Z}/2\mathbb{Z}$ under certain elementary…
It is shown that the complex field equipped with the "approximate exponential map", defined up to ambiguity from a small group, is quasiminimal: every automorphism-invariant subset of the field is countable or co-countable. If the ambiguity…
We show that any complex (respectively real) representation of finite group naturally generates a open-closed (respectively Klein) topological field theory over complex numbers. We relate the 1-point correlator for the projective plane in…
We present generalization of the Bloom variety theorem of ordered algebras in fuzzy setting. We introduce algebras with fuzzy orders which consist of sets of functions which are compatible with particular binary fuzzy relations called fuzzy…
In this work we propose a formal system for fuzzy algebraic reasoning. The sequent calculus we define is based on two kinds of propositions, capturing equality and existence of terms as members of a fuzzy set. We provide a sound semantics…
We introduce two-sorted theories in the style of [CN10] for the complexity classes \oplusL and DET, whose complete problems include determinants over Z2 and Z, respectively. We then describe interpretations of Soltys' linear algebra theory…
We prove a generalization of the Shapiro-Shapiro conjecture on Wronskians of polynomials, allowing the Wronskian to have complex conjugate roots. We decompose the real Schubert cell according to the number of real roots of the Wronski map,…
In this paper, we complete the proof of the conjecture of Gross and Zagier concerning algebraicity of higher Green functions at a single CM point on the product of modular curves. The new ingredient is an analogue of the incoherent…
The theory of free relativistic fields is shown to arise in a unified manner from higher-order, configuration-space, irreducible representations of the Poincar\'e group. A de Sitter subalgebra, in the massive case, and a Poincar\'e…
The matrix Fej\'er-Riesz theorem characterizes positive semidefinite matrix polynomials on the real line $\mathbb{R}$. We extend a characterization to arbitrary closed semialgebraic sets $K\subseteq \mathbb{R}$ by the use of matrix…
Based on a canonical approach and functional-integration techniques, a series expansion of Green's function of a scalar field, in the presence of a medium, is obtained. A series expansion for Lifshitz-energy, in finite-temperature, in terms…