Related papers: Effective generalized Seifert-Van Kampen: how to c…

Some sufficient conditions on a simplicial space $X$ guaranteeing that $X_1\simeq \Omega|X|$ were given by Segal. We give a generalization of this result for multisimplicial spaces. This generalization is appropriate for the reduced bar…

Given a simplicial complex $X$, we construct a simplicial complex $\Omega X$ that may be regarded as a combinatorial version of the based loop space of a topological space. Our construction explicitly describes the simplices of $\Omega X$…

We suggest a new delooping machine, which is based on recognizing an n-fold loop space by a collection of operations acting on it, like the traditional delooping machines of Stasheff, May, Boardman-Vogt, Segal, and Bousfield. Unlike in the…

This paper is a continuation of our previous work in which we defined the notion of a polytope complex and its $K$-theory. In this paper we produce formulas for the delooping of a simplicial polytope complex and the cofiber of a morphism of…

The Seifert-van Kampen theorem computes the fundamental group of a space from the fundamental groups of its constituents. We develop a modular SVK framework within the setting of computational paths - an approach to equality where witnesses…

For a spectrum $X$ represented by a special $\Gamma$-space $Y$ via the Segal machine, we give an elementary formula computing the homology groups of $X$ in terms of $Y$. Both the result and the method of proof are essentially due to T.…

Given a very special $\Gamma$-space $X$, repeated application of Segal's delooping functor produces the constituent spaces of the associated connective $\Omega$-spectrum. In particular, by applying this construction to \textit{discrete}…

We prove that for any 1-reduced simplicial set X, Adams' cobar construction, \Omega CX, on the normalised chain complex of X is naturally a strong deformation retract of the normalised chains CGX on the Kan loop group GX, opening up the…

The first goal of the present paper it to present a simple and elementary proof of the standard Seifert-van Kampen theorem based on ideas of P. Olum. The key tool is the singular cohomology theory with non-abelian coefficients in dimensions…

A central problem of algebraic topology is to understand the homotopy groups $\pi_d(X)$ of a topological space $X$. For the computational version of the problem, it is well known that there is no algorithm to decide whether the fundamental…

As we known, the {\it Seifert-Van Kampen theorem} handles fundamental groups of those topological spaces $X=U\cup V$ for open subsets $U, V\subset X$ such that $U\cap V$ is arcwise connected. In this paper, this theorem is generalized to…

Using the generalized Schwinger-DeWitt technique, we calculate the divergent part of the one-loop effective action for gravity non-minimally coupled to a multiplet of scalar fields. All the calculations are consistently done in the Jordan…

We extend the notion of simplicial set with effective homology to diagrams of simplicial sets. Further, for a given finite diagram of simplicial sets $X \colon \mathcal{I} \to \mathsf{sSet}$ such that each simplicial set $X(i)$ has…

We study the questions of how to recognize when a simplicial set X is of the form X=map(Y,A) for a given space A, and how to recover Y from X, if so. A full answer is provided when A=K(R,n), for $R=\mathbb{F}_p$ or $\mathbb{Q}$, in terms of…

This paper is a sequel to math.AG/9803041. It consists of three parts. In the first part we give certain construction of vertex algebras which includes in particular the ones appearing in op. cit. In the second part we show how the…

In this paper, we study a polynomial decomposition model that arises in problems of system identification, signal processing and machine learning. We show that this decomposition is a special case of the X-rank decomposition --- a powerful…

Let $(X,\omega)$ be a symplectic rational 4 manifold. We study the space of tamed almost complex structures $\mathcal{J}_{\omega}$ using a fine decomposition via smooth rational curves and a relative version of the infinite-dimensional…

The non-local one-loop contribution to the gravitational effective action around de Sitter space is computed using the background field method with pure trace external gravitational fields and it is shown to vanish. The calculation is…

In this paper, we examine the structure of systems that are weighted homogeneous for several systems of weights, and how it impacts the computation of Gr\"obner bases. We present several linear algebra algorithms for computing Gr\"obner…

The main objectives of this paper are to give general proofs of the following two facts: A. For an operad $\oo$ in $\ab$, let $A$ be a simplicial $\oo$-algebra such that $A_m$ is the $\oo$-subalgebra generated by $(\sum_{i = 0}^{m}…