Related papers: Lifting quasianalytic mappings over invariants
Let $\rho : G \rightarrow \operatorname{O}(V)$ be a real finite dimensional orthogonal representation of a compact Lie group, let $\sigma = (\sigma_1,\ldots,\sigma_n) : V \to \mathbb R^n$, where $\sigma_1,\ldots,\sigma_n$ form a minimal…
We characterize those regular, holomorphic or formal maps into the orbit space $V/G$ of a complex representation of a finite group $G$ which admit a regular, holomorphic or formal lift to the representation space $V$. In particular, the…
We show that one can lift locally real analytic curves from the orbit space of a compact Lie group representation, and that one can lift smooth curves even globally, but under an assumption.
Let $V$ be a $G$-module where $G$ is a complex reductive group. Let $Z:=\quot VG$ denote the categorical quotient and let $\pi\colon V\to Z$ be the morphism dual to the inclusion $\O(V)^G\subset\O(V)$. Let $\phi\colon Z\to Z$ be an…
Let $\rho: G \to \operatorname{GL}(V)$ be a rational representation of a reductive linear algebraic group $G$ defined over $\mathbb C$ on a finite dimensional complex vector space $V$. We show that, for any generic smooth (resp. $C^M$)…
Any sufficiently often differentiable curve in the orbit space $V/G$ of a real finite-dimensional orthogonal representation $G \to O(V)$ of a finite group $G$ admits a differentiable lift into the representation space $V$ with locally…
Let $\mathfrak g_i$ be a simple complex Lie algebra, $1\leq i \leq d$, and let $G=G_1\times...\times G_d$ be the corresponding adjoint group. Consider the $G$-module $V=\oplus r_i\mathfrak g_i$ where $r_i\geq 1$ for all $i$. We say that $V$…
In recent work, the authors proved a general result on lifting $G$-irreducible odd Galois representations $\mathrm{Gal}(\overline{F}/F) \to G(\overline{\mathbb{F}}_{\ell})$, with $F$ a totally real number field and $G$ a reductive group, to…
Let $G$ be a group, $F$ a field, and $A$ a finite-dimensional central simple algebra over $F$ on which $G$ acts by $F$-algebra automorphisms. We study the ideals and subalgebras of $A$ which are preserved by the group action. Let $V$ be the…
Given a generic PL map or a generic smooth fold map $f:N^n\to M^m$, where $m\ge n$ and $2(m+k)\ge 3(n+1)$, we prove that $f$ lifts to a PL or smooth embedding $N\to M\times\mathbb R^k$ if and only if its double point locus $\{(x,y)\in…
The purpose of this paper is to study resolutions of locally analytic representations of a $p$-adic reductive group $G$. Given a locally analytic representation $V$ of $G$, we modify the Schneider-Stuhler complex (originally defined for…
Let $G$ be a locally compact, Hausdorff, second countable groupoid and $A$ be a separable, $C_0(G^{(0)})$-nuclear, $G$-$C^*$-algebra. We prove the existence of quasi-invariant, completely positive and contractive lifts for equivariant,…
Invariance and equivariance to geometrical transformations have proven to be very useful inductive biases when training (convolutional) neural network models, especially in the low-data regime. Much work has focused on the case where the…
Building upon work of Y. Shalom we give a homological-algebra flavored definition of an induction map in group homology associated to a topological coupling. As an application we obtain estimates of the (co)homological dimension of groups G…
Let $G$ be a Lie group, $H$ a closed subgroup and $M$ the homogeneous space $G/H$. Each representation $\Psi$ of $H$ determines a $G$-equivariant principal bundle ${\mathcal P}$ on $M$ endowed with a $G$-invariant connection. We consider…
If $\mathcal C$ is a class of complexes closed under taking full subcomplexes and covers and $\mathcal G$ is the class of groups admitting proper and cocompact actions on one-connected complexes in $\mathcal C$, then $\mathcal G$ is closed…
For a finite extension $K/\mathbb{Q}_p$ and a split reductive group $G$ over $\mathcal{O}_K$, let $\overline{\rho} \colon \mathrm{Gal}_K \to G(\overline{\mathbb{F}}_p)$ be a continuous quasi-semisimple mod $p$ $G$-valued representation of…
Let $V$ be a two-dimensional vector space over a field $\mathbb F$ of characteristic not $2$ or $3$. We show there is a canonical surjection $\nu$ from the set of suitably generic commutative algebra structures on $V$ modulo the action of…
Let X be a compact manifold with a smooth action of a compact connected Lie group G. Let $L\to X$ be a complex line bundle. Using the Cartan complex for equivariant cohomology, we give a new proof of a theorem of Hattori and Yoshida which…
Let $G$ be a connected semisimple noncompact real Lie group and let $\rho: G \longrightarrow \mathrm{SL}(V)$ be a representation on a finite dimensional vector space $V$ over $\mathbb R$, with $\rho(G)$ closed in $\mathrm{SL}(V)$.…