Related papers: Around the Abhyankar--Sathaye conjecture

This article re-examines Lawvere's abstract, category-theoretic proof of the fixed-point theorem whose contrapositive is a `universal' diagonal argument. The main result is that the necessary axioms for both the fixed-point theorem and the…

We introduce the $\omega$-Vaught's conjecture, a strengthening of the infinitary Vaught's conjecture. We believe that if one were to prove the infinitary Vaught's conjecture in a structural way without using techniques from higher recursion…

Fujita's conjecture is known to be false in positive characteristic. We conjecture and give an approach to a new variant of Fujita's conjecture for the basepoint-freeness, very ampleness, and jet ampleness of linear systems of the form…

We prove a logical implication between two old conjectures stated by Bapat and Sunder about the permanent of positive semidefinite matrices. Although Drury has recently disproved both conjectures, this logical implication yields a…

We consider the gravitational correction to the running of gauge coupling. Weak gravity conjecture implies that the gauge theories break down when the gravitational correction becomes greater than the contribution from gauge theories. This…

We give a constructive counterpart of the theorem of Andrunakievi\v{c} and Rjabuhin, which states that every reduced ring is a subdirect product of domains. As an application, we extract a constructive proof of the fact that every ring $A$…

We disprove the sum-product conjecture for real numbers by constructing arbitrarily large $A\subset \mathbb{R}$ (whose elements are algebraic integers in a number field of degree $\asymp \log\lvert A\rvert$) such that \[\max(\lvert…

I propose a few increasingly stronger "superadditivity" conjectures regarding the behavior of Kodaira dimension under morphisms of smooth quasi-projective complex varieties.

Jacobian conjectures (that nonsingular implies a global inverse) for rational everywhere defined maps of real n-space to itself are considered, with no requirement for a constant Jacobian determinant or a rational inverse. The birational…

It is conjectured that the dual variety of every smooth nonlinear subvariety of dimension $> \frac{2N}{3}$ in projective $N$-space is a hypersurface, an expectation known as the duality defect conjecture. This would follow from the truth of…

We prove that all bounded subsets of $\mathbb{Q}_p^n$ containing a line segment of unit length in every direction have Hausdorff and Minkowski dimension $n$. This is the analogue of the classical Kakeya conjecture with $\mathbb{R}$ replaced…

We describe various strengthenings of the concept of topological transitivity. Especially when one departs from the family of invertible systems, a number of interesting properties arise. We present the architecture of implications among…

We present constructive versions of Krull's dimension theory for commutative rings and distributive lattices. The foundations of these constructive versions are due to Joyal, Espa\~nol and the authors. We show that the notion of Krull…

Let $E \subseteq \mathbb{R}^n$ be a union of line segments and $F \subseteq \mathbb{R}^n$ the set obtained from $E$ by extending each line segment in $E$ to a full line. Keleti's line segment extension conjecture posits that the Hausdorff…

We prove that the diameter of the commuting graph of the full ma- trix ring over the real numbers is at most five. This answers, in the affir- mative, a conjecture proposed by Akbari-Mohammadian-radjavi-Raja, for the special case of the…

The analysis of theory-confirmation generally takes the deductive form: show that a theory in conjunction with physical data and auxiliary hypotheses yield a prediction about phenomena; verify the prediction; provide a quantitative measure…

There are two main constructions in classical descent theory: the category of algebras and the descent category, which are known to be examples of weighted bilimits. We give a formal approach to descent theory, employing formal consequences…

We present a direct proof of the second conjecture made by M. Atiyah and P. Sutcliffe for the case of convex quadrilaterals. Unlike previous work on this conjecture, our proof does not require any computer aided computations. The new proof…

If S is a smooth compact surface in $\mathbb{R}^{3}$ with strictly positive second fundamental form, and $E_S$ is the corresponding extension operator, then we prove that for all $p > 3$, $\left\|E_S f\right\|_{L^p\left(\mathbb{R}^3\right)}…

We consider an extension of the modal logic of transitive closure K+ with some inifinitary derivations and present a sequent calculus for this extension, which allows non-well-founded proofs. For the given calculus, we obtain the…