Related papers: Moving frames and prolongations of real algebraic …

The paper offers general technical facts on the kinematics of a moving continuum involved in research on robotic following of flexible extended objects.

The superamalgamation property is a strong form of the amalgamation property which applies to ordered structures; it has found many applications in algebraic logic. We show that superamalgamation has some interest also from the pure…

A visible action on a complex manifold is a holomorphic action that admits a $J$-transversal totally real submanifold $S$. It is said to be strongly visible if there exists an orbit-preserving anti-holomorphic diffeomorphism $\sigma$ such…

We prove several positive results regarding representation of homotopy classes of spheres and algebraic groups by regular mappings. Most importantly we show that every mapping from a sphere to an orthogonal or a unitary group is homotopic…

We exhibit invariants of smooth projective algebraic varieties with integer values, whose nonvanishing modulo p prevents the existence of an action without fixed points of certain finite p-groups. The case of base fields of characteristic p…

We prove that the canonical action of every hyperbolic group on its Gromov boundary has the shadowing (aka pseudo-orbit tracing) property. In particular, this recovers the results of Mann et al. that such actions are topologically stable.

The conjecture that every modular lattice is integral is disproved.

We show that in the class of solvable Lie algebras there exist algebras which admit local derivations which are not ordinary derivation and also algebras for which every local derivation is a derivation. We found necessary and sufficient…

We prove the existence of a finite set of moves sufficient to relate any two representations of the same 3-manifold as a 4-fold simple branched covering of S^3. We also prove a stabilization result: after adding a fifth trivial sheet two…

It was earlier conjectured by the second and the third authors that any rational curve $g:{\mathbb C}P^1\to {\mathbb C}P^n$ such that the inverse images of all its flattening points lie on the real line ${\mathbb R}P^1\subset {\mathbb…

We prove a uniformization theorem in complex algebraic geometry.

In this paper, we present a study on the prolongations of representations of Lie algebras. We show that a tangent bundle of a given Lie algebra attains a Lie algebra structure. Then, we prove that this tangent bundle is algebraically…

We show that for smooth manifolds X and Y, any isomorphism between the special algebra of Colombeau generalized functions on X, resp. Y is given by composition with a unique Colombeau generalized function from Y to X. We also identify the…

We study properly discontinuous and cocompact actions of a discrete subgroup $\Gamma$ of an algebraic group $G$ on a contractible algebraic manifold $X$. We suppose that this action comes from an algebraic action of $G$ on $X$ such that a…

In terms of dilatations, it is proved a series of criteria for continuous and homeomorphic extension to the boundary of mappings with finite distortion between regular domains on the Riemann surfaces

In this paper we consider the question of smoothness of slowly varying functions satisfying the modern definition that, in the last two decades, gained prevalence in the applications concerning function spaces and interpolation. We show,…

In this paper we extend the research programme in algebraic proof theory from axiomatic extensions of the full Lambek calculus to logics algebraically captured by certain varieties of normal lattice expansions (normal LE-logics).…

Let $g\in L^2(\mathbb{R})$ be a strictly decreasing continuous function supported on $\mathbb{R}_+$ such that for all $t > 0$ we have $g(x+t)\le q(t)g(x)$ for some $q(t)<1$. We prove that the Gabor system…

A group G acts infinitely transitively on a set Y if for every positive integer m, its action is m-transitive on Y. Given a real affine algebraic variety Y of dimension greater than or equal to two, we show that, under a mild restriction,…

The commuting variety of matrices over a given field is a well-studied object in linear algebra and algebraic geometry. As a set, it consists of all pairs of square matrices with entries in that field that commute with one another. In this…