Related papers: Polar Coordinates in Carnot groups II

We provide an explicit construction of quasi-invariant measures on polarized coadjoint orbits of a Lie group G. The use of specific (trivial) central extensions of G by the multiplicative group ${R}^+$ allows us to restore the strict…

Let $M$ be a subset of $\mathbb{R}^n$. If $M$ is not porous, in particular if it has positive $n$-dimensional Lebesgue measure, we prove that the Lipschitz spaces $\mathrm{Lip}_0(M)$ and $\mathrm{Lip}_0(\mathbb{R}^n)$ are linearly…

A planar set $P$ is said to be cover-decomposable if there is a constant $k=k(P)$ such that every $k$-fold covering of the plane with translates of $P$ can be decomposed into two coverings. It is known that open convex polygons are…

We consider the existence problem of lifting a smooth contact map between Carnot groups to a smooth contact map between central extensions of the original groups. Our main result is a necessary and sufficient criterion formulated using the…

Let lambda be aleph_0 or a strong limit of cofinality aleph_0. Suppose that (G_m,p_{m,n}:m =< n<omega) and (H_m,p^t_{m,n}: m=< n < omega) are projective systems of groups of cardinality less than lambda and suppose that for every n<omega…

We study polar actions with horizontal sections on the total space of certain principal bundles $G/K\to G/H$ with base a symmetric space of compact type. We classify such actions up to orbit equivalence in many cases. In particular, we…

We give sufficient geometric conditions, not involving capacities, for a compact null set to be removable for the Sobolev functions on weighted $\mathbb R^n$, defined as the closure of smooth functions in the weighted Sobolev norm. Our…

We give a complete characterization of Hamiltonian actions of compact Lie groups on exact symplectic manifolds with proper momentum maps. We deduce that every Hamiltonian action of a compact Lie group on a contractible symplectic manifold…

We prove that the strong polarized relation for the continuum holds for $\aleph_0$ and for every supercompact cardinal. We use iteration of Mathias forcing.

A well-known result says that the Euclidean unit ball is the unique fixed point of the polarity operator. This result implies that if, in $\mathbb{R}^n$, the unit ball of some norm is equal to the unit ball of the dual norm, then the norm…

We prove an analogue of the de Rham theorem for polar homology; that the polar homology $HP_q(X)$ of a smooth projective variety $X$ is isomorphic to its $H^{n,n-q}$ Dolbeault cohomology group. This analogue can be regarded as a geometric…

A mixed polynomial $f(\boldsymbol{z}, \bar{\boldsymbol{z}})$ is called a mixed weighted homogeneous polynomial (Definition 5) if it is both radially and polar weighted homogeneous. Let $f$ be a mixed weighted homogeneous polynomial with…

Suppose given a commutative quadrangle in a Verdier triangulated category such that there exists an induced isomorphism on the horizontally taken cones. Suppose that the endomorphism ring of the initial or the terminal corner object of this…

This paper gives an alternate, elementary proof of a result of Magnani: maps between Carnot groups that preserve horizontal curves and are continuously differential in horizontal directions in the Euclidean sense are continuously Pansu…

We show that the functor of $p$-typical co-Witt vectors on commutative algebras over a perfect field $k$ of characteristic $p$ is defined on, and in fact only depends on, a weaker structure than that of a $k$-algebra. We call this structure…

We prove that an isometric action of a compact Lie group on a compact symmetric space is variationally complete if and only if it is hyperpolar.

We introduce the notion of a contractible subshift. This is a strengthening of the notion of strong irreducibility, where we require that the gluings are given by a block map. We show that a subshift is a retract of a full shift if and only…

Let $S$ be a certain affine algebraic surface over $\mathbb{Q}$ such that it admits a regular map to $\mathbb{A}^2/\mathbb{Q}$. We show that any non-trivial torsion line bundle in the relative Picard group $Pic^0\left(S/\mathbb{A}^2\right)$…

We prove that every element of the polar cone to the closed convex cone of monotone transport maps can be represented as the divergence of a measure field taking values in the positive definite matrices.

Suppose A is an open subset of a Carnot group G, where G has a discrete analogue, and H is another Carnot group. We show that a Lipschitz function from A to H whose image has positive Hausdorff measure in the appropriate dimension is…