Related papers: A constructive approach to a conjecture by Voskres…

Provability logic concerns the study of modality $\Box$ as provability in formal systems such as Peano arithmetic. Natural, albeit quite surprising, topological interpretation of provability logic has been found in the 1970's by Harold…

We prove a version of Hrushovski's socle lemma for rigid groups in an arbitrary simple theory.

We consider the structure of the Goldman Lie algebra for the closed torus, and show that it is finitely generated over the rationals. We also consider other traditional Lie algebra structures and determine that the Goldman Lie algebra for…

We prove the conjecture of Grosse-Kunstleve et al. that coordination sequences of periodic structures in n-dimensional Euclidean space are rational. This has been recently proven by Nakamura et al.; however, our proof is a straightforward…

Twist tori are examples of exotic monotone lagrangian tori, presented in [1]. This tree of examples grew up over the first one --- the torus $\Theta \in \R^4$, constructured in [2] and [3]. On the other hand, in [4] and [5] we proposed a…

A well-known conjecture of Orlov asks whether the existence of a full exceptional collection implies rationality of the underlying variety. We prove this conjecture for arithmetic toric varieties over general fields. We also investigate a…

It was conjectured by H. Zassenhaus that a torsion unit of an integral group ring of a finite group is conjugate to a group element within the rational group algebra. The object of this note is the computational aspect of a method developed…

We prove Szpiro's conjecture for elliptic curves over the rationals having $j$-invariant with denominator of logarithmic size with respect to its numerator.

Circular proofs, introduced by Daniyar Shamkanov, are proofs in which assumptions are allowed that are not axioms but do appear at least twice along a branch. Shamkanov has shown that a formula belongs to the provability logic GL exactly if…

Let $T$ be a countable complete first-order theory with a definable, infinite, discrete linear order. We prove that $T$ has continuum-many countable models. The proof is purely first-order, but raises the question of Borel completeness of…

Nekrashevych associated to each self-similar group action an ample groupoid and a $\mathrm{C}^\ast$-algebra. We perform complete computations of the homology of the groupoid and the K-theory of the $\mathrm{C}^\ast$-algebra for a myriad of…

In this note, we give a short proof of the Torelli theorem for cubic fourfolds that relies on the global Torelli theorem for irreducible holomorphic symplectic varieties proved by Verbitsky.

We provide a type theoretic treatment of the paper "On Tarski's fixed point theorem" by Giovanni Curi. There are benefits to having a type theoretic formulation apart from routine implementation in a proof assistant. By taking advantage of…

We introduce Kurosh elements in division rings based on the idea of a conjecture of Kurosh. Using this, we generalize a result of Faith in [3] and of Herstein in [6].

We construct a functor from the category of elliptic curves to a category of noncommutative tori. Our proof is based on an isomorphism between the Sklyanin algebras and dense sub-algebras of the noncommutative tori.

We give a calculus for reasoning about the first-order fragment of classical logic that is adequate for giving the truth conditions of intuitionistic Kripke frames, and outline a proof-theoretic soundness and completeness proof, which we…

Vorst's conjecture relates the regularity of a ring with the $\mathbb{A}^1$-homotopy invariance of its $K$-theory. We show a variant of this conjecture in positive characteristic.

We show that the spectrum of Kontsevich's algebra of formal periods is a torsor under the motivic Galois group for mixed motives over the rational numbers. This assertion is stated without proof by Kontsevich and originally due to Nori. In…

In this article, we establish the Grothendieck-Serre conjecture over valuation rings: for a reductive group scheme $G$ over a valuation ring $V$ with fraction field $K$, a $G$-torsor over $V$ is trivial if it is trivial over $K$. This…

We study the conjecture due to V.\,V. Shokurov on characterization of toric varieties. We also consider one generalization of this conjecture. It is shown that none of the characterizations holds true in dimension $\ge 3$. Some weaker…