Related papers: A Proof of Gromov's Algebraic Lemma

A separating algebra is, roughly speaking, a subalgebra of the ring of invariants whose elements distinguish between any two orbits that can be distinguished using invariants. In this paper, we introduce a geometric notion of separating…

The paper is devoted to graded algebras having a single homogeneous relation. Using Gerasimov's theorem, a criterion to be N-Koszul is given, providing new examples. An alternative proof of Gerasimov's theorem for N=2 is given. Some related…

In this note we give an answer to a question about mixed volumes asked by Gromov in his paper "Convex Sets and Kahler Manifolds". For reader's convenience we remind definitions and some of the properties of mixed volumes and mixed…

We prove a geometric criterion for the bounded multiplicity property of "small" infinite-dimensional representations of real reductive Lie groupsin both induction and restrictions. Applying the criterion to symmetric pairs, we give a full…

Gromov hyperbolicity of a metric space measures the distance of the space from a perfect tree-like structure. The measure has a "worst-case" aspect to it, in the sense that it detects a region in the space which sees the maximum deviation…

We prove analogs of the Bezout and the Bernstein-Kushnirenko-Khovanskii theorems for systems of algebraic differential conditions over differentially closed fields. Namely, given a system of algebraic conditions on the first $l$ derivatives…

Derived equivalences between finite dimensional algebras do, in general, not pass to centraliser (or other) subalgebras, nor do they preserve homological invariants of the algebras, such as global or dominant dimension. We show that,…

In this note we show that unsatisfiable systems of linear equations with a constant number of variables per equation over prime finite fields have polynomial-size constant-degree semi-algebraic proofs of unsatisfiability. These are proofs…

We consider the functions that bound the dimensions of finite-dimensional associative or Lie algebras in terms of the dimensions of their commutative subalgebras. It is proved that these functions have quadratic growth. As a result, we also…

By limiting the range of the predicate variables in a second-order language one may obtain restricted versions of second-order logic such as weak second-order logic or definable subset logic. In this note we provide an infinitary strongly…

We confirm a conjecture of Guth concerning the maximal number of $\delta$-tubes, with $\delta$-separated directions, contained in the $\delta$-neighborhood of a real algebraic variety. Modulo a factor of $\delta^{-\varepsilon}$, we also…

We define and characterise completely dg-separable dg-extensions $\varphi:(A,d_A)\rightarrow (B,d_B)$. We completely characterise the case of graded commutative dg-division algebras in characteristic different from $2$. We prove that for a…

We obtain upper and lower bounds for the relative Gromov width of Lagrangian cobordisms between Legendrian submanifolds. Upper bounds arise from the existence of $J$-holomorphic disks with boundary on the Lagrangian cobordism that pass…

The embedding theorem arises in several problems from analysis and geometry. The purpose of this paper is to provide a deeper understanding of analysis and geometry with a particular focus on embedding theorems on spaces of homogeneous type…

For an abelian category $\mathcal{A}$, we establish the relation between its derived and extension dimensions. Then for an artin algebra $\Lambda$, we give the upper bounds of the extension dimension of $\Lambda$ in terms of the radical…

The incompressibility method is a counting argument in the framework of algorithmic complexity that permits discovering properties that are satisfied by most objects of a class. This paper gives a preliminary insight into Kolmogorov's…

We investigate degree bounds for fields of rational invariants of representations of finite groups. We prove many cases of a bound for $\mathbb{Z}/p\mathbb{Z}$ conjectured by Blum-Smith, Garcia, Hidalgo, and Rodriguez. For arbitrary groups,…

Many statistical models are algebraic in that they are defined by polynomial constraints or by parameterizations that are polynomial or rational maps. This opens the door for tools from computational algebraic geometry. These tools can be…

We prove that the list replicability number of $d$-dimensional $\gamma$-margin half-spaces satisfies \[ \frac{d}{2}+1 \le \mathrm{LR}(H^d_\gamma) \le d, \] which grows with dimension. This resolves several open problems: $\bullet$ Every…

For central simple finitely generated algebras of finite Gelfand-Kirillov dimension and for their division algebras upper bounds are obtained for the transcendence degree of their commutative subalgebras and subfields respectively. In the…