Related papers: Algebraic models of Poincare embeddings

We present a sheaf-theoretic construction of shape space -- the space of all shapes. We do this by describing a homotopy sheaf on the poset category of constructible sets, where each set is mapped to its Persistent Homology Transform (PHT).…

We show that many noetherian Hopf algebras A have a rigid dualising complex R with R isomorphic to ^{\nu}A^1 [d]. Here, d is the injective dimension of the algebra and \nu is a certain k-algebra automorphism of A, unique up to an inner…

We use braided groups to introduce a theory of $*$-structures on general inhomogeneous quantum groups, which we formulate as {\em quasi-$*$} Hopf algebras. This allows the construction of the tensor product of unitary representations up to…

We study the spaces of embeddings $S^m\hookrightarrow R^n$ and those of long embeddings $R^m\hookrightarrow R^n$, i.e. embeddings of a fixed behavior outside a compact set. More precisely we look at the homotopy fiber of the inclusion of…

We prove that every commutative differential graded algebra whose cohomology is a simply-connected Poincare duality algebra is quasi-isomorphic to one whose underlying algebra is simply-connected and satisfies Poincare duality in the same…

We derive necessary and sufficient conditions for an ambiskew polynomial ring to have a Hopf algebra structure of a certain type. This construction generalizes many known Hopf algebras, for example U(sl2), U_q(sl2) and the enveloping…

We demonstrate advantages of non-standard grading for computing cohomology of restricted Hamiltonian and Poisson algebras. These algebras contain the inner grading element in the properly defined symmetric grading compatible with the…

Given Poincare spaces M and X, we study the possibility of compressing embeddings of M x I in X x I down to embeddings of M in X. This results in a new approach to embedding in the metastable range both in the smooth and Poincare duality…

We give a geometric method for determining the cohomology groups and the product structure of a polyhedral product, under suitable freeness conditions or with coefficients taken in a field. This is done by considering first a special class…

We determine what appears to be the bare-bones categorical framework for Poincar\'e-Birkhoff-Witt type theorems about universal enveloping algebras of various algebraic structures. Our language is that of endofunctors; we establish that a…

Bialgebras and Hopf (bi)modules are typical algebraic structures with several interacting operations. Their structural and homological study is therefore quite involved. We develop the machinery of braided systems, tailored for handling…

In this paper we give a combinatorial view on the adjunction theory of toric varieties. Inspired by classical adjunction theory of polarized algebraic varieties we define two convex-geometric notions: the Q-codegree and the nef value of a…

For a compact space X we consider extending endomorphisms of the algebra C(X) to be endomorphisms of Arens-Hoffman and Cole extensions of C(X). Given a non-linear, monic polynomial p in C(X)[t], with C(X)[t]/pC(X)[t] semi-simple, we show…

For a complete and cocomplete category $\mathcal{C}$ with a well-behaved class of `projectives' $\bar{\mathcal{P}}$, we construct a model structure on the category $s\mathcal{C}$ of simplicial objects in $\mathcal{C}$ where the weak…

Let \pi : X -> S be a finite type morphism of noetherian schemes. A smooth formal embedding of X (over S) is a bijective closed immersion X -> \frak{X}, where \frak{X} is a noetherian formal scheme, formally smooth over S. An example of…

A well-known and old result of Hazewinkel and Koszul states that the cohomology of a finite-dimensional Lie algebra is isomorphic, up to a suitable shift, to its twisted homology, a Lie-theoretical version of Poincare duality. This paper…

A simple convex polytope $P$ is \emph{cohomologically rigid} if its combinatorial structure is determined by the cohomology ring of a quasitoric manifold over $P$. Not every $P$ has this property, but some important polytopes such as…

In arXiv:1905.07734 we presented a construction that is an analogue of Pontryagin's for proper maps in stable dimensions. This gives a bijection between the cobordism set of framed embedded compact submanifolds in $W\times\mathbb{R}^n$ for…

In this paper we define the coarse (co)homology of the complement of a subspace in a metric space, generalizing the coarse (co)homology of Roe. We give a model space which encodes coarse geometric structure of the complement. We also…

Algebra extensions A < B where A is a left B-module such that the B-action extends the multiplication in A are ubiquitous. We encounter examples of such extensions in the study of group actions, group gradings or more general Hopf actions…