Related papers: Rational obstruction theory and rational homotopy …

We algorithmically compute integral Eilenberg-MacLane homology of all semigroups of order at most $8$ and present some particular semigroups with notable classifying spaces, refuting conjectures of Nico. Along the way, we give an…

Motivated by the theory of representability classes by submanifolds, we study the rational homotopy theory of Thom spaces of vector bundles. We first give a Thom isomorphism at the level of rational homotopy, extending work of…

Given a map $f: X\rightarrow Y$ of simply connected spaces of finite type such. The space of based loops at $f$ of the space of maps between $X$ and $Y$ is denoted by $\Omega_{f} Map(X,Y)$. For $n> 0$, we give a model categorical…

Suppose that G is a finite, unitary reflection group acting on a complex vector space V and X is the fixed point subspace of an element of G. Define N to be the setwise stabilizer of X in G, Z to be the pointwise stabilizer, and C=N/Z. Then…

Let $G$ be a connected Lie group acting locally simply transitively on a manifold $M$. By connecting curves in $M$ we mean the orbits of one-parameter subgroups of $G$. To block a pair of points $m_1,m_2\in M$ is to find a finite set…

1-flat irreducible G-structures, equivalently, irreducible G-structures admitting torsion-free affine connections, have been studied extensively in differential geometry, especially in connection with the theory of affine holonomy groups.…

Inspired by an analogous result of Arnautov about isomorphisms, we prove that all continuous surjective homomorphisms of topological groups f:G-->H can be obtained as restrictions of open continuous surjective homomorphisms f':G'-->H, where…

For a countable discrete space V, every nondegenerate separable C*-correspondence over c_0(V) is isomorphic to one coming from a directed graph with vertex set V. In this paper we demonstrate why the analogous characterizations fail to hold…

We study the homotopy theory of a certain type of diagram categories whose vertices are in variable categories with a functorial path, leading to a good calculation of the homotopy category in terms of cofibrant objects. The theory is…

The category of rational G-equivariant cohomology theories for a compact Lie group $G$ is the homotopy category of rational G-spectra and therefore tensor-triangulated. We show that its Balmer spectrum is the set of conjugacy classes of…

We show that the double cobar construction, $\Omega^2 C_*(X)$, of a simplicial set $X$ is a homotopy BV-algebra if $X$ is a double suspension, or if $X$ is 2-reduced and the coefficient ring contains the ring of rational numbers…

Given a map f: M \to M of closed topological manifolds we define torsion obstructions whose vanishing is a necessary condition for f being homotopy equivalent to a projection of a locally trivial fiber bundle. If N = S^1, these torsion…

Let $G$ be a finite group acting on a small category $I$. We study functors $X \colon I \to \mathscr{C}$ equipped with families of compatible natural transformations that give a kind of generalized $G$-action on $X$. Such objects are called…

Homotopy connectedness theorems for complex submanifolds of homogeneous spaces (sometimes referred to as theorems of Barth-Lefshetz type) have been established by a number of authors. Morse Theory on the space of paths lead to an elegant…

We give a variant of Naef's formula for the failure of invariance of the string topology coproduct under homotopy equivalences, using an obstruction class build from the higher homotopy data one can associate to a homotopy equivalence as…

We prove that every point-determining digraph $D$ contains a vertex $v$ such that $D-v$ is also point determining. We apply this result to show that for any $\{0,1\}$-matrix $M$, with $k$ diagonal zeros and $\ell$ diagonal ones, the size of…

There are two main approaches to the problem of realizing a $\Pi$-algebra (a graded group $\Lambda$ equipped with an action of the primary homotopy operations) as the homotopy groups of a space $X$. Both involve trying to realize an…

In this note we give an algorithm to determine the rational homotopy type of the free and pointed mapping spaces $ map(F(\mathbb R^m,k), S^n)$ and $ map^*(F(\mathbb R^m,k), S^n)$. An explicit description of these spaces is given for $k=3$.…

Given a bounded complex of finitely generated modules $M$ over a commutative noetherian local ring $R$, one assigns to it a variety, $\mathcal V_R(M)$, called the cohomological support variety of $M$ over $R$. The variety $\mathcal V_R(M)$…

Two graphs $G$ and $H$ are homomorphism indistinguishable over a class of graphs $\mathcal{F}$ if for all graphs $F \in \mathcal{F}$ the number of homomorphisms from $F$ to $G$ is equal to the number of homomorphisms from $F$ to $H$. Many…