Related papers: Two-dimensional affine R-buildings defined by gene…

In this paper, we proved that a compression space of rank $2$ is equivalent to an irreducible representation over a Lie algebra.

We consider a class of foliations on the complex projective plane that are determined by a quadratic vector field in a fixed affine neighborhood. Such foliations, as a rule, have an invariant line at infinity. Two foliations with…

In this note we show that unbounded convex polygons with nonparallel unbounded edges are polynomial images of ${\mathbb R}^2$, whereas their interiors are polynomial images of ${\mathbb R}^3$

We extend the notion of illumination bodies to Riemannian spaces of constant curvature and to projective Finsler geometries. We prove that the derivative of their volume defines a notion of surface area for convex bodies in these settings,…

Local fields, and fields complete with respect to a discrete valuation, are essential objects in commutative algebra, with applications to number theory and algebraic geometry. We formalize in Lean the basic theory of discretely valued…

Equivalences under the affine group ${\rm Aff} (\mathbb{R}^3)$ of constant Hessian rank $1$ surfaces $S^2 \subset \mathbb{R}^3$, sometimes called parabolic, were, among other objects, studied by Doubrov, Komrakov, Rabinovich, Eastwood,…

The long-standing topological Tverberg conjecture claimed, for any continuous map from the boundary of an $N(q,d):=(q-1)(d+1)$-simplex to $d$-dimensional Euclidian space, the existence of $q$ pairwise disjoint subfaces whose images have…

We show that every (possibly unbounded) convex polygon $P$ in $R^2$ with $m$ edges can be represented by inequalities $p_1 \ge 0,...,p_n \ge 0,$ where the $p_i$'s are products of at most $k$ affine functions each vanishing on an edge of $P$…

Let $F$ be an algebraically closed field of characteristic different from $2$. We show that the images of multilinear $*$-polynomials on $UT_2$ are homogeneous vector spaces. An analogous result holds for $UT_3$ endowed with non-trivial…

We study projective completions of affine algebraic varieties which are given by filtrations, or equivalently, 'degree like functions' on their rings of regular functions. For a quasifinite polynomial map P (i.e. with all fibers finite) of…

We study affine group schemes over a discrete valuation ring $R$ using two techniques: Neron blowups and Tannakian categories. We employ the theory developed to define and study differential Galois groups of $\mathcal D$-modules on a scheme…

We study the realization of acyclic cluster algebras as coordinate rings of Coxeter double Bruhat cells in Kac-Moody groups. We prove that all cluster monomials with g-vector lying in the doubled Cambrian fan are restrictions of principal…

Let $\Gamma\in \mathrm{SL}_2(\mathbb{C})$ be a finite subgroup. We introduce a class of projective noncommutative surfaces $\mathbb{P}^2_I$, indexed by a set of irreducible $\Gamma$-representations. Extending the action of $\Gamma$ from…

We prove that the Khovanov-Lauda-Rouquier algebras $R_\al$ of type $A_\infty$ are (graded) affine cellular in the sense of Koenig and Xi. In fact, we establish a stronger property, namely that the affine cell ideals in $R_\al$ are generated…

We give a systematic approach to constructing non-reduced, locally Cohen-Macaulay schemes with reduced support a smooth projective variety. The hierarchy of such structures includes a lot of information about the underlying variety, its…

We describe several general methods for calculating weights of mixed tilting sheaves. We introduce a notion called "non-cancellation property" which implies a strong uniqueness of mixed tilting sheaves and enables one to calculate their…

In this work, merging ideas from compatible discretisations and polyhedral methods, we construct novel fully discrete polynomial de Rham sequences of arbitrary degree on polygons and polyhedra. The spaces and operators that appear in these…

In this paper we explore the possibility of endowing simple infinite-dimensional ${\mathfrak{sl}_2(\mathbb{C})}$-modules by the structure of the graded module. The gradings on finite-dimensional simple module over simple Lie algebras has…

Given a divisorial discrete valuation 'centered at infinity' on C[x,y], we show that its sign on C[x,y] (i.e. whether it is negative or non-positive on non-constant polynomials) is completely determined by the sign of its value on the 'last…

Let $\mathbf{K}$ be an algebraically closed field of arbitrary characteristic, complete with respect to a non-archimedean absolute value $|\,|$. We establish a Second Main Theorem type estimate for analytic map $f\colon…