Related papers: Whitney Regularity of the Image of the Chevalley m…

Let W be a finite reflection group acting orthogonally on R^n, P be the Chevalley polynomial mapping determined by an integrity basis of the algebra of W-invariant polynomials, and h be the highest degree of the coordinate polynomials in…

We present a full geometric characterization of the $1$-dimensional (semialgebraic) images $S$ of either $n$-dimensional closed balls $\overline{\mathcal B}_n\subset{\mathbb R}^n$ or $n$-dimensional spheres ${\mathbb S}^n\subset{\mathbb…

Chevalley's theorem and it's converse, the Sheppard-Todd theorem, assert that finite reflection groups are distinguished by the fact that the ring of invariant polynomials is freely generated. We show that in the Euclidean case, a weaker…

Let V, W be real algebraic varieties (that is, up to isomorphism, real algebraic sets), and let X be a subset of V. A map f from X into W is said to be regular if it can be extended to a regular map defined on some Zariski locally closed…

Let M_d(k) denote the space of dxd-matrices with coefficients in an algebraically closed field k. Let X be an orbit closure in the product [M_d(k)]^t equipped with the action of the general linear group GL_d(k) by simultaneous conjugation.…

In this paper we prove that every automorphism of a Chevalley group (or its elementary subgroup) with root system of rank >1 over a commutative ring (with 1/2 for the systems A_2, F_4, B_l, C_l; with 1/2 and 1/3 for the system G_2) is…

We prove that a theorem of Pawlucki, showing that Whitney regularity for a subanalytic set with a smooth singular locus of codimension one implies the set is a finite union of differentiable manifolds with boundary, applies to definable…

A regular map is a surface together with an embedded graph, having properties similar to those of the surface and graph of a platonic solid. We analyze regular maps with reflection symmetry and a graph of density strictly exceeding 1/2, and…

A map from a manifold to a Euclidean space is said to be k-regular if the image of any distinct k points are linearly independent. In this paper, we give some lower bounds of the dimension of the ambient Euclidean space for complex…

The goal of this paper is to establish a general rigidity statement for abstract representations of elementary subgroups of Chevalley groups of rank at least 2 over a class of commutative rings that includes the localizations of 1-generated…

In the Engel group with its Carnot group structure we study subsets of locally finite subRiemannian perimeter and possessing constant subRiemannian normal. We prove the rectifiability of such sets: more precisely we show that, in some…

The Whitney-Graustein theorem states that regular closed curves in the 2-plane are classified, up to regular homotopy, by their rotation number. Here we give a simple proof based on contact geometry.

We show that the diameter of the image of the skinning map on the deformation space of an acylindrical reflection group is bounded by a constant depending only on the topological complexity of the components of its boundary, answering a…

Let $G$ denote a finite abelian group with identity 1 and let $S$ denote an inverse-closed subset of $G \setminus {1}$, which generates $G$ and for which there exists $s \in S$, such that $\la S \setminus \{s,s^{-1}\} \ra \ne G$. In this…

Let $k$ be the algebraic closure of a finite field, $G$ a Chevalley group over $k$, $U$ the maximal unipotent subgroup of $G$. To each orthogonal subset $D$ of the root system of the group $G$ and each set $\xi$ of $|D|$ non-zero scalars…

Fix an integer $n \geq 1$, and consider the set of all connected finite simple graphs on $n$ vertices. For each $G$ in this set, let $I(G)$ denote the edge ideal of $G$ in the polynomial ring $R = K[x_1,\ldots,x_n]$. We initiate a study of…

We show a Whitney Approximation Theorem for a continuous map from a manifold to a smooth CW complex. This enables us to show that a topological CW complex is homotopy equivalent to a smooth CW complex in a category of topological spaces. It…

Let $X$ be a compact real algebraic set of dimension $n$. We prove that every Euclidean continuous map from $X$ into the unit $n$-sphere can be approximated by regulous map. This strengthens and generalizes previously known results.

For a finite group acting on a polynomial ring, the Chevalley-Shephard-Todd Theorem proves that the fixed subring is isomorphic to a polynomial ring if and only if the group is generated by pseudo-reflections. In recent years, progress was…

In the paper we prove that every automorphism of a Chevalley group of type $F_4$ over a commutative local ring with~1/2 is standard, i. e., it is a composition of ring and inner automorphisms.