We show that certain canonical realizations of the complexes Hom(G,H) and Hom+(G,H) of (partial) graph homomorphisms studied by Babson and Kozlov are in fact instances of the polyhedral Cayley trick. For G a complete graph, we then characterize when a canonical projection of these complexes is itself again a complex, and exhibit several well-known objects that arise as cells or subcomplexes of ...

For any closed oriented surface Σg of genus g ≥ 3, we prove the existence of foliated Σg-bundles over surfaces such that the signatures of the total spaces are non-zero. We can arrange that the total holonomy of the horizontal foliations preserve a prescribed symplectic form ω on the fiber. We relate the cohomology class represented by the transverse symplectic form to a crossed homomorphism F̃l...

...

Let Gn,k denote the Kneser graph whose vertices are the n-element subsets of a (2n + k)-element set and whose edges are the disjoint pairs. In this paper we prove that for any non-negative integer s there is no graph homomorphism from G4,2 to G4s+1,2s+1. This confirms a conjecture of Stahl in a special case.

We consider four different models of process interactions that unify and generalise models introduced and studied by Angluin et al. [AAD04] and models introduced and studied by Mazurkiewicz [Maz04a,Maz04b]. We encode these models by labelled (hyper)graphs and relabelling rules on this labelled (hyper)graphs called negotiations. Then for these models, we give complete characterisations of labell...

‎let $m$ be a non-zero finitely generated module over a commutative noetherian local ring $(r,mathfrak{m})$ with $dim_r(m)=t$‎. ‎let $i$ be an ideal of $r$ with $grade(i,m)=c$‎. ‎in this article we will investigate several natural homomorphisms of local cohomology modules‎. ‎the main purpose of this article is to investigate when the natural homomorphisms $gamma‎: ‎tor^{r}_c(k,h^c_i(m))to kotim...

in this paper, we show that every surjective $n$-homomorphism ($n$-anti-homomorphism) from a banach algebra $a$ into a semisimple banach algebra $b$ is continuous.