Related papers: Topological Birkhoff

Masuoka proved (2009) that a finite-dimensional irreducible Hopf algebra $H$ in positive characteristic is semisimple if and only if it is commutative semisimple if and only if the Hopf subalgebra generated by all primitives is semisimple.…

We show that Hopf invariants, defined by evaluation in Harrison cohomology of the commutative cochains of a space, calculate the logarithm map from a fundamental group to its Malcev Lie algebra. They thus present the zeroth Harrison…

K\"onig's lemma is a fundamental result about trees with countless applications in mathematics and computer science. In contrapositive form, it states that if a tree is finitely branching and well-founded (i.e. has no infinite paths), then…

A complete theory $T$ has the Schr\"oder-Bernstein property or simply the SB-property if any pair of elementarily bi-embeddable models are isomorphic. This property has been studied in the discrete first-order setting and can be seen as a…

The Constraint Satisfaction Problem (CSP) and its counting counterpart appears under different guises in many areas of mathematics, computer science, and elsewhere. Its structural and algorithmic properties have demonstrated to play a…

Let A be a Hopf algebra and H a coalgebra. We shall describe and classify up to an isomorphism all Hopf algebras E that factorize through A and H: that is E is a Hopf algebra such that A is a Hopf subalgebra of E, H is a subcoalgebra in E…

We present a simple approach to questions of topological orbit equivalence for actions of countable groups on topological and smooth manifolds. For example, for any action of a countable group $\Gamma$ on a topological manifold where the…

For an arbitrary group, the subgroups form a lattice with order determined by set inclusion. Not every lattice is isomorphic to the subgroup lattice for a group. However, Birkhoff and Frink proved that any compactly generated lattice is…

Let $A$ be a separable unital C*-algebra and let $\pi : A \ra \Lc(\Hf)$ be a faithful representation of $A$ on a separable Hilbert space $\Hf$ such that $\pi(A) \cap \Kc(\Hf) = \{0 \}$. We show that $\Oc_E$, the Cuntz-Pimsner algebra…

We prove that the BRST complex of a topological conformal field theory is a homotopy Gerstenhaber algebra, as conjectured by Lian and Zuckerman in 1992. We also suggest a refinement of the original conjecture for topological vertex operator…

For any arbitrary algebraic curve, we define an infinite sequence of invariants. We study their properties, in particular their variation under a variation of the curve, and their modular properties. We also study their limits when the…

The main result of this paper gives a topological property satisfied by any homeomorphism of the annulus $\mathbb{A}=\mathbb{S}^1 \times [-1,1]$ isotopic to the identity and with at most one fixed point. This generalizes the classical…

We illustrate the generative power of the lifting property (orthogonality of morphisms in a category) as means of defining natural elementary mathematical concepts by giving a number of examples in various categories, in particular showing…

Let G be a finite group with cyclic Sylow p-subgroup, and let k be a field of characteristic p. Then H^*(BG;k) and H_*(\Omega BG\phat;k) are A_{\infty} algebras whose structure we determine up to quasi-isomorphism.

We characterize the families of bialgebras or Hopf algebras over fields for which the product in the corresponding category is finite-dimensional, answering a question of M. Lorenz: if the ground field is infinite then bialgebra or Hopf…

Our main theorem is that the inclusion of a Birkhoff variety in the affine Grassmannian is a homotopy equivalence. We also construct analogues of tubular neighborhoods for Birkhoff and Schubert varieties. We include some observations on…

For all sufficiently large odd integers $n$, the following version of Higman's embedding theorem is proved in the variety ${\cal B}_n$ of all groups satisfying the identity $x^n=1$. A finitely generated group $G$ from ${\cal B}_n$ has a…

Let G be a finite group. The unit sphere in a finite-dimensional orthogonal G-representation motivates the definition of homotopy representations, due to tom Dieck. We introduce an algebraic analogue, and establish its basic properties…

An algebraic theory, sometimes called an equational theory, is a theory defined by finitary operations and equations, such as the theories of groups and of rings. It is well known that algebraic theories are equivalent to finitary monads on…

To every Gorenstein algebra $A$ of finite dimension greater than 1 over a field ${\Bbb F}$ of characteristic zero, and a projection $\pi$ on its maximal ideal ${\mathfrak m}$ with range equal to the annihilator $\hbox{Ann}({\mathfrak m})$…