Related papers: The structure of $\lim^1$-groups

A Cayley object for a group G is a structure on which G acts regularly as a group of automorphisms. The main theorem asserts that a necessary and sufficient condition for the free abelian group G of rank m to have the generic n-tuple of…

If O is a reduced operad in symmetric spectra, an O-algebra I can be viewed as analogous to the augmentation ideal of an augmented algebra. Implicit in the literature on Topological Andre-Quillen homology is that such an I admits a…

The Ehresmann-Schein-Nambooripad theorem gives a structure theorem for inverse monoids: they are inductive groupoids. A particularly nice case due to Jarek is that commutative inverse monoids become semilattices of abelian groups. It has…

We show that the quantum family of all maps from a finite space to a finite dimensional compact quantum semigroup has a canonical quantum semigroup structure.

The purpose of this paper is to prove that we can construct all finite dimensional irreducible nilpotent modules of type 1 inductively by using Schnizer homomorphisms for quantum algebra at roots of unity of type A, B, C, D or G.

We prove structure theorems for the moduli stack of elliptic curves equipped with $G$-structures, where $G$ is a finite 2-generated metabelian group. In particular, we show that if $G$ has exponent $e$, then there is a subgroup $H\le…

We obtain a kind of structure theorem for the automorphism group ${\rm Aut}{\cal A}$ of a unital C$^{*}$-algebra ${\cal A}$. According to it, ${\rm Aut}{\cal A}$ can be regarded as a subgroup of the semi-direct product of direct product…

Let $J(X)$ denote the James construction on a space $X$ and $J_n(X)$ be the $n$-th stage of the James filtration of $J(X)$. It is known that $[J(X),\Omega Y]\cong \lim\limits_{\leftarrow} [J_n(X),\Omega Y]$ for any space $Y$. When…

We show that the topology of uniform convergence on bounded sets is compatible with the group law of the automorphism group of a large class of spaces that are endowed with both a uniform structure and a bornology, thus yielding numerous…

We prove a local analog of the Deligne-Riemann-Roch isomorphism in the case of line bundles and relative dimension $1$. This local analog consists in computation of the class of $12$th power of the determinant central extension of a group…

We introduce a uniform structure on any Hilbert $C^*$-module $\mathcal N$ and prove the following theorem: suppose, $F:{\mathcal M}\to {\mathcal N}$ is a bounded adjointable morphism of Hilbert $C^*$-modules over $\mathcal A$ and $\mathcal…

The classical Cayley map, X --> (I_n-X)/(I_n+X), is a birational isomorphism between the special orthogonal group SO_n and its Lie algebra so_n, which is SO_n-equivariant with respect to the conjugating and adjoint actions respectively. We…

We study the bimodule structure of the quantum function algebra at roots of 1 and prove that it admits an increasing filtration with factors isomorphic to the tensor products of the dual of Weyl modules $V_\lambda^* \otimes V_{- \omega_0…

We define a quotient of the category of finitely generated modules over the cyclotomic Khovanov-Lauda-Rouquier algebra for type An and show it has a module category structure over a direct sum of certain cyclotomic Khovanov-Lauda-Rouquier…

Let $p$ be a prime, $n \geq 1$, $K(n)$ the $n$th Morava $K$-theory spectrum, $\mathbb{G}_n$ the extended Morava stabilizer group, and $K(A)$ the algebraic $K$-theory spectrum of a commutative $S$-algebra $A$. For a type $n+1$ complex $V_n$,…

An important example of a model category is the category of unbounded chain complexes of R-modules, which has as its homotopy category the derived category of the ring R. This example shows that traditional homological algebra is…

We determine the structure of completely inverse AG**-groupoids modulo semilattices of abelian groups and their involutive, idempotent-fixed automorphisms.

We prove: Let $G$ be a finite abelian group acting faithfully on a complex smooth project variety $X$ of general type with numerically effective canonical divisor, of dimension $n$. Then $$|G| \le C(n)K_X^n ,$$ where $C(n)$ depends only on…

Given a morphism of (small) groupoids with injective object map, we provide sufficient and necessary conditions under which the induction and co-induction functors between the categories of linear representations are naturally isomorphic. A…

In earlier work (*) we studied an extension of the canonical symplectic structure in the cotangent bundle of an affine space ${\cal Q}={\bf R}^N$, by additional terms implying the Poisson non-commutativity of both configuration and momentum…