Related papers: Separable commutative algebras in equivariant homo…

The homotopy symmetric $C^*$-algebras are those separable $C^*$-algebras for which one can unsuspend in E-theory. We find a new simple condition that characterizes homotopy symmetric nuclear $C^*$-algebras and use it to show that the…

Let P be a principal bundle with semisimple compact simply connected structure group G over a compact simply connected four-manifold M. In this note we give explicit formulas for the rational homotopy groups and cohomology algebra of the…

Let $T$ be a compact torus. We prove that, up to equivariant rational equivalence, the category of $T$-simply connected, $T$-finite type $T$-spaces with finitely many isotropy types is completely described by certain finite systems of…

For $G$ a connected, reductive group over an algebraically closed field $k$ of large characteristic, we use the canonical Springer isomorphism between the nilpotent variety of $\mathfrak{g}:=\mathrm{Lie}(G)$ and the unipotent variety of $G$…

In this paper we state and prove ad hoc "Separation Theorems" of the so-called Smooth Commutative Algebra, the Commutative Algebra of \(\mathcal{C}^{\infty}-\)rings. These results are formally similar to the ones we find in (ordinary)…

We obtain explicit formulas for the rational homotopy groups of generalised symmetric spaces, i.e., the homogeneous spaces for which the isotropy subgroup appears as the fixed point group of some finite order automorphism of the group. In…

Greenlees has conjectured that the rational stable equivariant homotopy category of a compact Lie group always has an algebraic model. Based on this idea, we show that the category of rational local systems on a connected finite loop space…

Let X be a compact connected Riemann surface equipped with an anti-holomorphic involution \sigma. Let G be a connected complex reductive affine algebraic group, and let \sigma_G be a real form of G. We consider holomorphic principal…

Let $X=G/\Gamma$ be the quotient of a semisimple Lie group $G$ by its non-cocompact arithmetic lattice. Let $H$ be a reductive algebraic subgroup of $G$ acting on $X$. We give several equivalent algebraic conditions on $H$ for the existence…

In this note we first study regular $\mathbb{Z}$-graded local rings. We characterize commutative noetherian regular $\mathbb{Z}$-graded local rings in similar ways as in the usual local case. Then, we characterize graded isolated…

Let $\Gamma$ be a group acting on a scheme $X$ and on a Lie superalgebra $\mathfrak{g}$, both defined over an algebraically closed field of characteristic zero $\Bbbk$. The corresponding equivariant map superalgebra $M(\mathfrak{g},…

Let $X$ and $\mathfrak{a}$ be an affine scheme and (respectively) a finite-dimensional associative algebra over an algebraically-closed field $\Bbbk$, both equipped with actions by a linearly-reductive linear algebraic group $G$. We…

We study the notion of \emph{separable algebras} in the context of symmetric monoidal stable $\infty$-categories. In the first part of this paper, we compare this context to that of tensor-triangulated categories and show that separable…

This paper classifies the derivations of group algebras in terms of the generators and defining relations of the group. If $RG$ is a group ring, where $R$ is commutative and $S$ is a set of generators of $G$ then necessary and sufficient…

Let G be a general (not necessarily finite dimensional compact) Lie group, let g be its Lie algebra, let Cg be the cone on g in the category of differential graded Lie algebras, and consider the functor which assigns to a chain complex V…

Let $G$ be a compact $p$-adic analytic group with no element of order $p$ and $H$ be its maximal uniform normal subgroup. Let $K$ be a finite extention of $\mathbb{Q}_p$. We show that the Grothendieck group of the completion of the algebra…

Let $G$ be a simple algebraic group over an algebraically closed field $K$ of characteristic $p\geqslant 0$, let $H$ be a proper closed subgroup of $G$ and let $V$ be a nontrivial irreducible $KG$-module, which is $p$-restricted, tensor…

For a compact group G, we give a sufficient condition for embedding one G-equivariant vector bundle into another one and for a stable isomorphism between two such bundles to imply an isomorphism. Our criteria involve multiplicities of…

For a Banach algebra $A$ with a bounded approximate identity, we investigate the $A$-module homomorphisms of certain introverted subspaces of $A^*$, and show that all $A$-module homomorphisms of $A^*$ are normal if and only if $A$ is an…

If V is a representation of a linear algebraic group G, a set S of G-invariant regular functions on V is called separating if the following holds: If two elements v,v' from V can be separated by an invariant function, then there is an f…