Euler Classes of Combinatorial Manifolds

1980 ◽  
Vol 32 (4) ◽  
pp. 783-803
Author(s):  
Michael A. Penna

Every finite simplicial complex has a tangent bundle in the category of simplicial bundles (see [9]). The goal of this paper is to classify simplicial bundles, and, as an application of this result, to construct Euler classes for a large class of combinatorial manifolds. This construction is closely related to [3] and [4].

1969 ◽  
Vol 21 ◽  
pp. 842-864
Author(s):  
Micheal Dyer

In (5),I considered two-term conditions in π-exact couples, of which the exact couple of Federer (7) is an example. Let M(X, Y)be the space of all maps from X to Y with the compact-open topology. Our aim in this paper is to construct a π-exact couple , where Xis a finite-dimensional (in the sense of Lebesgue) metric space and , a certain (rather large) class of spaces. Specifically, is the class of all topological spaces Xwhich possess the following property (P).(P) Let Y be a (possibly infinite) simplicial complex. There exists x0 ∈ X and y0 ∊ Y such that [X, x0]≃ [Y, y0].In § 5 it will be seen that contains all CW complexes and all metric absolute neighbourhood retracts (ANR)s.


1999 ◽  
Vol 09 (01) ◽  
pp. 51-77 ◽  
Author(s):  
IGOR MINEYEV

We prove the analog of de Rham's theorem for ℓ∞-cohomology of the universal cover of a finite simplicial complex. A sufficient criterion is given for linearity of isoperimetric functions for filling cycles of any positive dimension over ℝ. This implies the linear higher dimensional isoperimetric inequalities for the fundamental groups of finite negatively curved complexes and of closed negatively curved manifolds. Also, these groups are ℝ-metabolic.


1964 ◽  
Vol 16 ◽  
pp. 517-531 ◽  
Author(s):  
Victor Klee

For a non-negative integer s and a finite simplicial complex K, let βS(K) denote the s-dimensional Betti number of K and let fs(K) denote the number of s-simplices of K. Our theorem, like Poincaré's, applies to combinatorial manifolds M, but it concerns the numbers fs(M) instead of the numbers βS(M). One of the formulae given below is used by the author in (5) to establish a sharp upper bound for the number of vertices of n-dimensional convex poly topes which have a given number i of (n — 1)-faces. This amounts to estimating the size of the computation problem which may be involved in solving a system of i linear inequalities in n variables, and was the original motivation for our study.


1978 ◽  
Vol 21 (2) ◽  
pp. 201-206 ◽  
Author(s):  
Michael A. Penna

The purpose of this note is to give an elementary geometric proof of the following result stated by Sullivan (see (4)).Theorem 1 (Sullivan). Let K be a finite simplicial complex with vertices v1, …, vN and corresponding barycentric coordinates b1, …, bN. Then the algebra of rational PL forms on K


2006 ◽  
Vol 93 (2) ◽  
pp. 515-544 ◽  
Author(s):  
PO HU

In this paper, I give a generalized analogue of the string topology results of Chas and Sullivan, and of Cohen and Jones. For a finite simplicial complex $X$ and $k \geq 1$, I construct a spectrum $Maps(S^k, X)^{S(X)}$, which is obtained by taking a generalization of the Spivak bundle on $X$ (which however is not a stable sphere bundle unless $X$ is a Poincaré space), pulling back to $Maps(S^k, X)$ and quotienting out the section at infinity. I show that the corresponding chain complex is naturally homotopy equivalent to an algebra over the $(k + 1)$-dimensional unframed little disk operad $\mathcal{C}_{k + 1}$. I also prove a conjecture of Kontsevich, which states that the Quillen cohomology of a based $\mathcal{C}_k$-algebra (in the category of chain complexes) is equivalent to a shift of its Hochschild cohomology, as well as prove that the operad $C_{\ast}\mathcal{C}_k$ is Koszul-dual to itself up to a shift in the derived category. This gives one a natural notion of (derived) Koszul dual $C_{\ast}\mathcal{C}_k$-algebras. I show that the cochain complex of $X$ and the chain complex of $\Omega^k X$ are Koszul dual to each other as $C_{\ast}\mathcal{C}_k$-algebras, and that the chain complex of $Maps(S^k, X)^{S(X)}$ is naturally equivalent to their (equivalent) Hochschild cohomology in the category of $C_{\ast}\mathcal{C}_k$-algebras.


2017 ◽  
Vol 60 (3) ◽  
pp. 470-477 ◽  
Author(s):  
Urtzi Buijs ◽  
Yves Félix ◽  
Aniceto Murillo ◽  
Daniel Tanré

AbstractIn a previous work, we associated a complete diòerential graded Lie algebra to any finite simplicial complex in a functorial way. Similarly, we also have a realization functor fromthe category of complete diòerential graded Lie algebras to the category of simplicial sets. We have already interpreted the homology of a Lie algebra in terms of homotopy groups of its realization. In this paper, we begin a dictionary between models and simplicial complexes by establishing a correspondence between the Deligne groupoid of the model and the connected components of the finite simplicial complex.


2020 ◽  
Vol 13 (4) ◽  
pp. 116-125
Author(s):  
Jose R. Oliveira

Based on the isomorphism between Lie algebroid cohomology and piecewise smooth cohomology of a transitive Lie algebroid, it is proved that the Rham cohomology of a locally trivial Lie groupoid G on a smooth manifold M is isomorphic to the piecewise Rham cohomology of G, in which G and M are manifolds without boundary and M is smoothly triangulated by a finite simplicial complex K such that, for each simplex ∆ of K, the inverse images of ∆ by the source and target mappings of G are transverses submanifolds in the ambient space G. As a consequence, it is shown that the piecewise de Rham cohomology of G does not depend on the triangulation of the base.


1980 ◽  
Vol 32 (6) ◽  
pp. 1306-1310
Author(s):  
M. Brown ◽  
A. G. Wasserman

What invariants of a finite simplicial complex K can be computed solely from the values v0(K), V1(K), …, vi(K), … where Vi(K) is the number of i-simplexes of K? The Euler chracteristic χ(K) = Σ i (– 1)ivi(K) is a subdivision invariant and a homotopy invariant while the dimension of K is a subdivision invariant and homeomorphism invariant. In [3], Wall has shown that the Euler chracteristic is the only linear function to the integers that is a subdivision invariant. In this paper we show that the only subdivision invariants (linear or not) of K are the Euler characteristic and the dimension. More precisely we prove the following theorem.


2005 ◽  
Vol 48 (1) ◽  
pp. 50-68 ◽  
Author(s):  
George A. Elliott ◽  
Guihua Gong ◽  
Liangqing Li

AbstractLet A be the inductive limit of a systemwith , where Xn,i is a finite simplicial complex, and Pn,i is a projection in M[n,i](C(Xn,i)). In this paper, we will prove that A can be written as another inductive limitwith , where Yn,i is a finite simplicial complex, and Qn, i is a projection inM{n,i}(C(Yn,i)), with the extra condition that all the maps ψn,n+1 are injective. (The result is trivial if one allows the spaces Yn,i to be arbitrary compact metrizable spaces.) This result is important for the classification of simple AH algebras. The special case that the spaces Xn,iare graphs is due to the third author.


Sign in / Sign up

Export Citation Format

Share Document