Related papers: 1-rational singularities and quotients by reductiv…

We prove that there exist rational but not uniformly rational smooth algebraic varieties. The proof is based on computing a certain numerical obstruction developed in the case of compactifications of affine spaces. We show that for some…

Let $X$ be a nonsingular rational variety. We prove that $X\times \mathbb{C}^2$ is uniformly rational. It follows that nonsingular stably rational varieties are stably uniformly rational.

Let U be an open subset of a unirational variety (or more generally of a separably rationally connected variety). We prove that there is rational curve C in U such that the fundamental group of C surjects onto the fundamental group of U.…

We prove decidability of univariate real algebra extended with predicates for rational and integer powers, i.e., $(x^n \in \mathbb{Q})$ and $(x^n \in \mathbb{Z})$. Our decision procedure combines computation over real algebraic cells with…

Our main result is a combinatorial characterization of when a horospherical variety has (at worst) quotient singularities. Using this characterization, we show that every quasiprojective horospherical variety with quotient singularities is…

We show that if a flat group scheme acts properly, with finite stabilizers, on an algebraic space, then a quotient exists as a separated algebraic space. More generally we show any flat groupid for which the family of stabilizers is finite…

We show that for quasivarieties of p-algebras the properties of (i) having decidable first-order theory and (ii) having decidable first-order theory of the finite members, coincide. The only two quasivarieties with these properties are the…

We consider resolution of singularities for $1$-foliations on varieties of dimension at most three in positive characteristic. We prove that such singularities can be completely resolved if we allow tame regular Deligne--Mumford stacks as…

We compare a couple of notions of differential form on singular complex algebraic varieties, and relate them to the outermost associated graded spaces of the Hodge filtration of ordinary and intersection cohomology. In particular, we…

We prove that each residually finite Baumslag-Solitar group can be distinguished by its finite quotients from all other residually finite Baumslag-Solitar groups.

Let $G$ be a finite group, $X$ be a smooth complex projective variety with a faithful $G$-action, and $Y$ be a resolution of singularities of $X/G$. Larsen and Lunts asked whether $[X/G]-[Y]$ is divisible by $[\mathbb{A}^1]$ in the…

We formalize the quantum arithmetic, i.e. a relationship between number theory and operator algebras. Namely, it is proved that rational projective varieties are dual to the $C^*$-algebras with real multiplication. Our construction fits all…

Two cubic equations and three auxiliary equations for edges and face diagonals of a rational perfect cuboid have been recently derived. They constitute a background for two inverse problems. The coefficients of cubic equations and the right…

Let $X$ be an algebraic variety with Gorenstein singularities. We define the notion of a wonderful resolution of singularities of $X$ by analogy with the theory of wonderful compactifications of semi-simple linear algebraic groups. We prove…

Quadratic irrationals posses a periodic continued fraction expansion. Much less is known about cubic irrationals. We do not even know if the partial quotients are bounded, even though extensive computations suggest they might follow…

In this paper we prove that all irrational numbers from totally real cubic number fields are well approximable by rationals (i.e. the partial quotients in the continued fraction expansion of such a number are unbounded). This settles the…

We look at a class of transcendental real numbers xi which, together with their square, satisfy some extremal property of simultaneous approximation by rational numbers with the same denominator. We give a sufficient condition for such a…

We give conditions on a finite set of series of rational numbers to ensure that they are algebraically independent. Specialising our results to polynomials of lower degree, we also obtain new results on irrationality and $mathbb{Q}$-linear…

We determine couples of singular moduli which have rational products

We compare some algebras appeared in the recent attempts to prove resolution of singularities in positive characteristic. We also construct an algebra which encodes the same information and it is equivalent, up to integral closure, to the…