Coxeter cochain complexes

We define the Coxeter cochain complex of a Coxeter group (G, S) with coefficients in a ?[G]-module A. This is closely related to the complex of simplicial cochains on the abstract simplicial complex I(S) of the commuting subsets of S. We give some representative computations of Coxeter cohomology and explain the connection between the Coxeter cohomology for groups of type A, the (singular) homology of certain configuration spaces, and the (Tor) homology of certain local Artin rings.     

Covering homology

We introduce the notion of covering homology of a commutative S-algebra with respect to certain families of coverings of topological spaces. The construction of covering homology is extracted from Bökstedt, Hsiang and Madsen's topological cyclic homology. In fact covering homology with respect to the family of orientation preserving isogenies of the circle is equal to topological cyclic homology. Our basic tool for the analysis of covering homology is a cofibration sequence involving homotopy orbits and a restriction map similar to the restriction map used in Bökstedt, Hsiang and Madsen's construction of topological cyclic homology.Covering homology with respect to families of isogenies of a torus is constructed from iterated topological Hochschild homology. It receives a trace map from iterated algebraic K-theory and there is a hope that the rich structure, and the calculability of covering homology will make it useful in the exploration of J. Rognes' “red shift conjecture”.     

Cubical sperner lemmas as applications of generalized complementary pivoting

Two cubical versions of Sperner's lemma, due to Kuhn and Fan, are proved constructively without resorting to a simplicial decomposition of the cube, presenting examples of generalized complementary pivoting discussed by Todd (Math. Programming6 (1974)). The first version is essentially equivalent to Sperner's lemma in that it implies Brouwer's fixed point theorem, thereby answering a question raised by Kuhn (IBM J. Res. Develop.4 (1960)). The second has the property that although the structure is that of generalized complementarity, there is a uniquely defined path or algorithm associated with it. The basic structure used is a cubical decomposition of the cube, a special case of a cubical pseudomanifold, presented by Fan (Arch. Math.11 (1960)). Given the existence of a constructive algorithm for Sperner's lemma (see Cohen, J. Combinatorial Theory2 (1967)) and its generalization by Fan J. Combinatorial Theory2 (1967)) allied to the large amount of recent progress in complementary pivot theory, resulting in particular from the works of Lemke (Manage. Sci.11 (1965)) and Scarf (“The Computation of Economic Equilibria”) the computational attractions of a simplicial decomposition have become apparent. However, a cubical decomposition leads to certain advantages when a search for more than one “completely labeled” region is required, and no simplicial construction for the Fan lemma is known.     

Subword complexes and edge subdivisions

For a finite Coxeter group, a subword complex is a simplicial complex associated with a pair (Q, π), where Q is a word in the alphabet of simple reflections and π is a group element. We discuss the transformations of such a complex that are induced by braid moves of the word Q. We show that under certain conditions, such a transformation is a composition of edge subdivisions and inverse edge subdivisions. In this case, we describe how the H- and γ-polynomials change under the transformation. This case includes all braid moves for groups with simply laced Coxeter diagrams.     

Homotopy type of circle graph complexes motivated by extreme Khovanov homology

It was proven by González-Meneses, Manchón and Silvero that the extreme Khovanov homology of a link diagram is isomorphic to the reduced (co)homology of the independence simplicial complex obtained from a bipartite circle graph constructed from the diagram. In this paper, we conjecture that this simplicial complex is always homotopy equivalent to a wedge of spheres. In particular, its homotopy type, if not contractible, would be a link invariant (up to suspension), and it would imply that the extreme Khovanov homology of any link diagram does not contain torsion. We prove the conjecture in many special cases and find it convincing to generalize it to every circle graph (intersection graph of chords in a circle). In particular, we prove it for the families of cactus, outerplanar, permutation and non-nested graphs. Conversely, we also give a method for constructing a permutation graph whose independence simplicial complex is homotopy equivalent to any given finite wedge of spheres. We also present some combinatorial results on the homotopy type of finite simplicial complexes and a theorem shedding light on previous results by Csorba, Nagel and Reiner, Jonsson and Barmak. We study the implications of our results to knot theory; more precisely, we compute the real-extreme Khovanov homology of torus links T(3, q) and obtain examples of H-thick knots whose extreme Khovanov homology groups are separated either by one or two gaps as long as desired.     

Constructive solution of a bilinear control problem

We present an optimization method of a quantum control problem giving rise to a sequence of controls increasing monotonically the values of a cost functional. We first claim some results about the regularity of this cost functional. Those enable to extend an inequality due to ?ojasiewicz to the infinite dimensional case. Lastly, a sequence of inequalities proving the Cauchy character of the monotonic sequence is obtained, and we can also estimate the rate of convergence. The detailed proof will be given in [L. Baudouin, J. Salomon, Constructive solution of a bilinear quantum control problem, 2005, in preparation. [3]]. To cite this article: L. Baudouin, J. Salomon, C. R. Acad. Sci. Paris, Ser. I 342 (2006).     

On Aubry sets and Mather’s action functional

We study Lagrangian systems on a closed manifoldM. We link the differentiability of Mather’sβ-function with the topological complexity of the complement of the Aubry set. As a consequence, whenM is a closed, orientable surface, the differentiability of theβ-function at a given homology class is forced by the irrationality of the homology class. This allows us to prove the two-dimensional case of a conjecture by Mañé.     

Iteration of holomorphic maps in Hilbert spaces

Previous work (Gong-ning Chen, J. Math. Anal. Appl.98 (1984), 305–313) on iteration of holomorphic maps of Cⁿ is continued. The purpose of this note is to extend results given in the above mentioned reference to the case of complex Hilbert spaces. Other comments are appended.     

Chain homotopies for object topological representations

This paper presents a set of tools to compute topological information of simplicial complexes, tools that are applicable to extract topological information from digital pictures. A simplicial complex is encoded in a (non-unique) algebraic-topological format called AM-model. An AM-model for a given object K is determined by a concrete chain homotopy and it provides, in particular, integer (co)homology generators of K and representative (co)cycles of these generators. An algorithm for computing an AM-model and the cohomological invariant HB1 (derived from the rank of the cohomology ring) with integer coefficients for a finite simplicial complex in any dimension is designed here, extending the work done in [R. González-Díaz, P. Real, On the cohomology of 3D digital images, Discrete Appl. Math. 147 (2005) 245-263] in which the ground ring was a field. The concept of generators which are “nicely” representative is also presented. Moreover, we extend the definition of AM-models to 3D binary digital images and we design algorithms to update the AM-model information after voxel set operations (union, intersection, difference and inverse).     

Stabilization of the Witt group

In this Note, using an idea due to Thomason, we define a “homology theory” on the category of rings which satisfies excision, exactness, homotopy (in the algebraic sense) and periodicity of order 4. For regular noetherian rings, we find Balmer's higher Witt groups. For more general rings, this homology is isomorphic to the KT-theory of Hornbostel, inspired by the work of Williams. For real or complex $C^1$-algebras, we recover – up to 2 torsion – topological K-theory. To cite this article: M. Karoubi, C. R. Acad. Sci. Paris, Ser. I 342 (2006).     

CoHochschild homology of chain coalgebras

Generalizing the work of Doi and of Idrissi, we define a coHochschild homology theory for chain coalgebras over any commutative ring and prove its naturality with respect to morphisms of chain coalgebras up to strong homotopy. As a consequence we obtain that if the comultiplication of a chain coalgebra C is itself a morphism of chain coalgebras up to strong homotopy, then the coHochschild complex admits a natural comultiplicative structure. In particular, if K is a reduced simplicial set and C_∗K is its normalized chain complex, then is naturally a homotopy-coassociative chain coalgebra. We provide a simple, explicit formula for the comultiplication on when K is a simplicial suspension.The coHochschild complex construction is topologically relevant. Given two simplicial maps g,h:K→L, where K and L are reduced, the homology of the coHochschild complex of C_∗L with coefficients in C_∗K is isomorphic to the homology of the homotopy coincidence space of the geometric realizations of g and h, and this isomorphism respects comultiplicative structure. In particular, there is an isomorphism, respecting comultiplicative structure, from the homology of to H_∗L|K|, the homology of the free loops on the geometric realization of K.     

Five-torsion in the homology of the matching complex on 14 vertices

J.L. Andersen proved that there is 5-torsion in the bottom nonvanishing homology group of the simplicial complex of graphs of degree at most two on seven vertices. We use this result to demonstrate that there is 5-torsion also in the bottom nonvanishing homology group of the matching complex on 14 vertices. Combining our observation with results due to Bouc and to Shareshian and Wachs, we conclude that the case n=14 is exceptional; for all other n, the torsion subgroup of the bottom nonvanishing homology group has exponent three or is zero. The possibility remains that there is other torsion than 3-torsion in higher-degree homology groups of when n≥13 and n≠14. Research of J. Jonsson was supported by European Graduate Program “Combinatorics, Geometry, and Computation”, DFG-GRK 588/2.     

Homotopy simplicial faces and the homology of realizations of simplicial topological spaces

The notion of a differential module with homotopy simplicial faces is introduced, which is a homotopy analog of the notion of a differential module with simplicial faces. The homotopy invariance of the structure of a differential module with homotopy simplicial faces is proved. Relationships between the construction of a differential module with homotopy simplicial faces and the theories of A _∞-algebras and D _∞-differential modules are found. Applications of the method of homotopy simplicial faces to describing the homology of realizations of simplicial topological spaces are presented.     

A dual finite element complex on the barycentric refinement

A simplicial mesh on an oriented two-dimensional surface gives rise to a complex $X^{?}$ of finite element spaces centered on divergence conforming Raviart–Thomas vector fields and naturally isomorphic to the simplicial cochain complex. On the barycentric refinement of such a mesh, we construct finite element spaces forming a complex $Y^{?}$, centered around curl conforming vector fields, naturally isomorphic to the simplicial chain complex on the original mesh and such that $Y^{2?i}$ is in ${\mathrm{L}}^2$ duality with $X^i$. In terms of differential forms this provides a finite element analogue of Hodge duality. To cite this article: A. Buffa, S.H. Christiansen, C. R. Acad. Sci. Paris, Ser. I 340 (2005).     

A classification of the face numbers of Buchsbaum simplicial posets

The family of Buchsbaum simplicial posets generalizes the family of simplicial cell manifolds. The \(h'\) -vector of a simplicial complex or simplicial poset encodes the combinatorial and topological data of its face numbers and the reduced Betti numbers of its geometric realization. Novik and Swartz showed that the \(h'\) -vector of a Buchsbaum simplicial poset satisfies certain simple inequalities; in this paper we show that these necessary conditions are in fact sufficient to characterize the \(h'\) -vectors of Buchsbaum simplicial posets with prescribed Betti numbers.     

MV-closures of Wajsberg hoops and applications

In this paper we construct, given a Wajsberg hoop A, an MV-algebra MV(A) such that the underlying set A of A is a maximal filter of MV(A) and the quotient MV(A)/A is the two element chain. As an application we provide a topological duality for locally finite Wajsberg hoops based on a previously known duality for locally finite MV-algebras. We also give another duality for k-valued Wajsberg hoops based on a different representation of k-valued MV-algebras and show the relation to the first duality. We also apply this construction to give a topological representation for free k-valued Wajsberg hoops.     

Torsion in the matching complex and chessboard complex

Topological properties of the matching complex were first studied by Bouc in connection with Quillen complexes, and topological properties of the chessboard complex were first studied by Garst in connection with Tits coset complexes. Björner, Lovász, Vre?ica and ?ivaljevi? established bounds on the connectivity of these complexes and conjectured that these bounds are sharp. In this paper we show that the conjecture is true by establishing the nonvanishing of integral homology in the degrees given by these bounds. Moreover, we show that for sufficiently large n, the bottom nonvanishing homology of the matching complex Mn is an elementary 3-group, improving a result of Bouc, and that the bottom nonvanishing homology of the chessboard complex Mn,n is a 3-group of exponent at most 9. When , the bottom nonvanishing homology of Mn,n is shown to be Z₃. Our proofs rely on computer calculations, long exact sequences, representation theory, and tableau combinatorics.     

Iterated Homology of Simplicial Complexes

We develop an iterated homology theory for simplicial complexes. Thistheory is a variation on one due to Kalai. For a simplicial complex of dimension d – 1, and each r = 0, ...,d, we define rth iterated homology groups of . When r = 0, this corresponds to ordinary homology. If is a cone over , then when r = 1, we get the homology of . If a simplicial complex is (nonpure) shellable, then its iterated Betti numbers give the restriction numbers, h _k,j , of the shelling. Iterated Betti numbers are preserved by algebraic shifting, and may be interpreted combinatorially in terms of the algebraically shifted complex in several ways. In addition, the depth of a simplicial complex can be characterized in terms of its iterated Betti numbers.