Related papers: Strong stratifications and uniform Yomdin-Gromov p…
Graph classes of bounded tree rank were introduced recently in the context of the model checking problem for first-order logic of graphs. These graph classes are a common generalization of graph classes of bounded degree and bounded…
We introduce the notion of a complex cell, a complexification of the cells/cylinders used in real tame geometry. For $\delta\in(0,1)$ and a complex cell $\mathcal{C}$ we define its holomorphic extension…
An effective exact method is proposed for computing generalized eigenspaces of a matrix of integers or rational numbers. Keys of our approach are the use of minimal annihilating polynomials and the concept of the Jourdan-Krylov basis. A new…
This paper discusses the extension of the Prototype Verification System (PVS) sub-theory for rings, part of the PVS algebra theory, with theorems related to the division algorithm for Euclidean rings and Unique Factorization Domains that…
We consider a new stratification of the space of configurations of $n$ marked points on the complex plane. Recall that this space can be differently interpreted as the space $^{\rm D}{\rm Pol}_{n}$ of degree $n>1$ complex, monic polynomials…
This paper is concerned with algebraic geometry over complete discretely valued fields $K$ of equicharacteristic zero. Several results are given including: the canonical projection $K^{n} \times K\mathbb{P}^{m} \longrightarrow K^{n}$ and…
In the 1970s Alain Connes identified the appropriate notion of amenabilty for von Neumann algebras, and used it to obtain a deep internal finite dimensional approximation structure for these algebras. This structure is exactly what is…
We define a notion of a symplectic structure on stratified spaces, and demonstrate that given a symplectic structure on a stratified space $X$ with integral cohomology class, $X$ can be symplectically embedded in some complex projective…
Column selection is an essential tool for structure-preserving low-rank approximation, with wide-ranging applications across many fields, such as data science, machine learning, and theoretical chemistry. In this work, we develop unified…
We present a simplified and unified analysis of the Johnson-Lindenstrauss (JL) lemma, a cornerstone of dimensionality reduction for managing high-dimensional data. Our approach simplifies understanding and unifies various constructions…
Let $M$ be strongly minimal and constructed by a `Hrushovski construction'. If the Hrushovski algebraization function $\mu$ is in a certain class ${\mathcal T}$ ($\mu$ triples) we show that for independent $I$ with $|I| >1$, ${\rm…
We introduce a theory for encoding and manipulating algebraic data on categories via $\textit{concentration structures}$, which are equivalence relations on morphisms that satisfy certain axioms. For any category with a concentration…
In 2019, Abramovich--Temkin--Wlodarczyk and McQuillan used weighted blow-ups to obtain very fast and functorial algorithms for resolution of singularities in characteristic zero. Recently, Abramovich--Quek--Schober simplified the…
There are many structures (algebras, categories, etc) with natural gradings such that the degree 0 components are not semisimple. Particular examples include tensor algebras with non-semisimple degree 0 parts, extension algebras of standard…
Asking which sets are fixed-parameter tractable for a given parameterization constitutes much of the current research in parameterized complexity theory. This approach faces some of the core difficulties in complexity theory. By focussing…
This paper surveys results related to well-known works of B. Plotkin and V. Remeslennikov on the edge of algebra, logic and geometry. We start from a brief review of the paper and motivations. The first sections deal with model theory. In…
The goal of this paper is to offer a new construction of the de Rham-Witt complex of smooth varieties over perfect fields of characteristic $p>0$. We introduce a category of cochain complexes equipped with an endomorphism $F$ of underlying…
For an algebraically closed base field of characteristic p>0, a new algorithm to construct some non-zero GL(n-1)-high weight vectors of irreducible rational GL(n)-modules is suggested. It is based on successively applying Kleshchev's…
For any smooth complex projective variety X and smooth very ample hypersurface Y in X, we develop the technique of genus zero relative Gromov-Witten invariants of Y in X in algebro-geometric terms. We prove an equality of cycles in the Chow…
We provide a new construction of Huber's universal compactification in the case of the structure morphism of a quasi-compact, separated rigid analytic space over a non-archimedean field. We make use of Raynaud's theory of formal models and…