Cosheaf representations of relations and Dowker complexes

The Dowker complex is an abstract simplicial complex that is constructed from a binary relation in a straightforward way. Although there are two ways to perform this construction—vertices for the complex are either the rows or the columns of the matrix representing the relation—the two constructions are homotopy equivalent. This article shows that the construction of a Dowker complex from a relation is a non-faithful covariant functor. Furthermore, we show that this functor can be made faithful by enriching the construction into a cosheaf on the Dowker complex. The cosheaf can be summarized by an integer weight function on the Dowker complex that is a complete isomorphism invariant for the relation. The cosheaf representation of a relation actually embodies both Dowker complexes, and we construct a duality functor that exchanges the two complexes.

The Canonical Join Complex

A canonical join representation is a certain minimal "factorization" of an element in a finite lattice $L$ analogous to the prime factorization of an integer from number theory. The expression $\bigvee A =w$ is the canonical join representation of $w$ if $A$ is the unique lowest subset of $L$ satisfying $\bigvee A=w$ (where "lowest" is made precise by comparing order ideals under containment). Canonical join representations appear in many familiar guises, with connections to comparability graphs and noncrossing partitions. When each element in $L$ has a canonical join representation, we define the canonical join complex to be the abstract simplicial complex of subsets $A$ such that $\bigvee A$ is a canonical join representation. We characterize the class of finite lattices whose canonical join complex is flag, and show how the canonical join complex is related to the topology of $L$.

SYMMETRY GEOMETRY BY PAIRINGS

In this paper, we introduce asymmetry geometryfor all those mathematical structures which can be characterized by means of a generalization (which we call pairing) of a finite rectangular table. In more detail, let$\unicode[STIX]{x1D6FA}$be a given set. Apairing$\mathfrak{P}$on$\unicode[STIX]{x1D6FA}$is a triple$\mathfrak{P}:=(U,F,\unicode[STIX]{x1D6EC})$, where$U$and$\unicode[STIX]{x1D6EC}$are nonempty sets and$F:U\times \unicode[STIX]{x1D6FA}\rightarrow \unicode[STIX]{x1D6EC}$is a map having domain$U\times \unicode[STIX]{x1D6FA}$and codomain$\unicode[STIX]{x1D6EC}$. Through this notion, we introduce a local symmetry relation on$U$and a global symmetry relation on the power set${\mathcal{P}}(\unicode[STIX]{x1D6FA})$. Based on these two relations, we establish the basic properties of our symmetry geometry induced by$\mathfrak{P}$. The basic tool of our study is a closure operator$M_{\mathfrak{P}}$, by means of which (in the finite case) we can represent any closure operator. We relate the study of such a closure operator to several types of others set operators and set systems which refine the notion of an abstract simplicial complex.

Cup-products for the polyhedral product functor

Davis–Januszkiewicz introduced manifolds which are now known as moment-angle manifolds over a polytope [6]. Buchstaber–Panov introduced and extensively studied moment-angle complexes defined for any abstract simplicial complex K [4]. They completely described the rational cohomology ring structure in terms of the Tor-algebra of the Stanley-Reisner algebra [4].Subsequent developments were given in work of Denham–Suciu [7] and Franz [9] which were followed by [1, 2]. Namely, given a family of based CW-pairs X, A) = {(Xi, Ai)}mi=1 together with an abstract simplicial complex K with m vertices, there is a direct extension of the Buchstaber–Panov moment-angle complex. That extension denoted Z(K;(X,A)) is known as the polyhedral product functor, terminology due to Bill Browder, and agrees with the Buchstaber–Panov moment-angle complex in the special case (X,A) = (D2, S1) [1, 2]. A decomposition theorem was proven which splits the suspension of Z(K; (X, A)) into a bouquet of spaces determined by the full sub-complexes of K.This paper is a study of the cup-product structure for the cohomology ring of Z(K; (X, A)). The new result in the current paper is that the structure of the cohomology ring is given in terms of this geometric decomposition arising from the “stable” decomposition of Z(K; (X, A)) [1, 2]. The methods here give a determination of the cohomology ring structure for many new values of the polyhedral product functor as well as retrieve many known results.Explicit computations are made for families of suspension pairs and for the cases where Xi is the cone on Ai. These results complement and extend those of Davis–Januszkiewicz [6], Buchstaber–Panov [3, 4], Panov [13], Baskakov–Buchstaber–Panov, [3], Franz, [8, 9], as well as Hochster [12]. Furthermore, under the conditions stated below (essentially the strong form of the Künneth theorem), these theorems also apply to any cohomology theory.