Tarski monoids: Matui's spatial realization theorem

We introduce a class of inverse monoids, called Tarski monoids, that can be regarded as non-commutative generalizations of the unique countable, atomless Boolean algebra. These inverse monoids are related to a class of etale topological groupoids under a non-commutative generalization of classical Stone duality and, significantly, they arise naturally in the theory of dynamical systems as developed by Matui. We are thereby able to reinterpret a theorem of Matui on a class of \'etale groupoids as an equivalent theorem about a class of Tarski monoids: two simple Tarski monoids are isomorphic if and only if their groups of units are isomorphic. The inverse monoids in question may also be viewed as countably infinite generalizations of finite symmetric inverse monoids. Their groups of units therefore generalize the finite symmetric groups and include amongst their number the classical Thompson groups.Comment: arXiv admin note: text overlap with arXiv:1407.147

Restriction semigroups and λ -Zappa-Szép products

The aim of this paper is to study λ-semidirect and λ-Zappa-Szép products of restriction semigroups. The former concept was introduced for inverse semigroups by Billhardt, and has been extended to some classes of left restriction semigroups. The latter was introduced, again in the inverse case, by Gilbert and Wazzan. We unify these concepts by considering what we name the scaffold of a Zappa-Szép product S⋈ T where S and T are restriction. Under certain conditions this scaffold becomes a category. If one action is trivial, or if S is a semilattice and T a monoid, the scaffold may be ordered so that it becomes an inductive category. A standard technique, developed by Lawson and based on the Ehresmann-Schein-Nambooripad result for inverse semigroups, allows us to define a product on our category. We thus obtain restriction semigroups that are λ-semidirect products and λ-Zappa-Szép products, extending the work of Billhardt and of Gilbert and Wazzan. Finally, we explicate the internal structure of λ-semidirect products

The tight groupoid of an inverse semigroup

In this work we present algebraic conditions on an inverse semigroup S (with zero) which imply that its associated tight groupoid G_tight(S) is: Hausdorff, essentially principal, minimal and contracting, respectively. In some cases these conditions are in fact necessary and sufficient.The first-named author was partially supported by CNPq. The second-named author was partially supported by PAI III grants FQM-298 and P11-FQM-7156 of the Junta de Andalucía and by the DGI- MICINN and European Regional Development Fund, jointly, through Project MTM2011-28992-C02-02

Ordered groupoids and the holomorph of an inverse semigroup

We present a construction for the holomorph of an inverse semigroup, derived from the cartesian closed structure of the category of ordered groupoids. We compare the holomorph with the monoid of mappings that preserve the ternary heap operation on an inverse semigroup: for groups these two constructions coincide. We present detailed calculations for semilattices of groups and for the polycyclic monoids.Comment: 16 page

Ranks of ideals in inverse semigroups of difunctional binary relations

The set Dn of all difunctional relations on an n element set is an inverse semigroup under a variation of the usual composition operation. We solve an open problem of Kudryavtseva and Maltcev (Publ Math Debrecen 78(2):253–282, 2011), which asks: What is the rank (smallest size of a generating set) of Dn? Specifically, we show that the rank of Dn is B(n)+n, where B(n) is the nth Bell number. We also give the rank of an arbitrary ideal of Dn. Although Dn bears many similarities with families such as the full transformation semigroups and symmetric inverse semigroups (all contain the symmetric group and have a chain of J-classes), we note that the fast growth of rank(Dn) as a function of n is a property not shared with these other families

Lack of correlation of stem cell markers in breast cancer stem cells

BACKGROUND: Various markers are used to identify the unique sub-population of breast cancer cells with stem cell properties. Whether these markers are expressed in all breast cancers, identify the same population of cells, or equate to therapeutic response is controversial. METHODS: We investigated the expression of multiple cancer stem cell markers in human breast cancer samples and cell lines in vitro and in vivo, comparing across and within samples and relating expression with growth and therapeutic response to doxorubicin, docetaxol and radiotherapy. RESULTS: CD24, CD44, ALDH and SOX2 expression, the ability to form mammospheres and side-population cells are variably present in human cancers and cell lines. Each marker identifies a unique rather than common population of cancer cells. In vivo, cells expressing these markers are not specifically localized to the presumptive stem cell niche at the tumour/stroma interface. Repeated therapy does not consistently enrich cells expressing these markers, although ER-negative cells accumulate. CONCLUSIONS: Commonly employed methods identify different cancer cell sub-populations with no consistent therapeutic implications, rather than a single population of cells. The relationships of breast cancer stem cells to clinical parameters will require identification of specific markers or panels for the individual cancer

Contorted and ordinary body postures in the human brain

Social interaction and comprehension of non-verbal behaviour requires a representation of people’s bodies. Research into the neural underpinnings of body representation implicates several brain regions including extrastriate and fusiform body areas (EBA and FBA), superior temporal sulcus (STS), inferior frontal gyrus (IFG) and inferior parietal lobule (IPL). The different roles played by these regions in parsing familiar and unfamiliar body postures remain unclear. We examined the responses of this body observation network to static images of ordinary and contorted postures by using a repetition suppression design in functional neuroimaging. Participants were scanned whilst observing static images of a contortionist or a group of objects in either ordinary or unusual configurations, presented from different viewpoints. Greater activity emerged in EBA and FBA when participants viewed contorted compared to ordinary body postures. Repeated presentation of the same posture from different viewpoints lead to suppressed responses in the fusiform gyrus as well as three regions that are characteristically activated by observing moving bodies, namely STS, IFG and IPL. These four regions did not distinguish the image viewpoint or the plausibility of the posture. Together, these data define a broad cortical network for processing static body postures, including regions classically associated with action observation

Advanced optical imaging in living embryos

Developmental biology investigations have evolved from static studies of embryo anatomy and into dynamic studies of the genetic and cellular mechanisms responsible for shaping the embryo anatomy. With the advancement of fluorescent protein fusions, the ability to visualize and comprehend how thousands to millions of cells interact with one another to form tissues and organs in three dimensions (xyz) over time (t) is just beginning to be realized and exploited. In this review, we explore recent advances utilizing confocal and multi-photon time-lapse microscopy to capture gene expression, cell behavior, and embryo development. From choosing the appropriate fluorophore, to labeling strategy, to experimental set-up, and data pipeline handling, this review covers the various aspects related to acquiring and analyzing multi-dimensional data sets. These innovative techniques in multi-dimensional imaging and analysis can be applied across a number of fields in time and space including protein dynamics to cell biology to morphogenesis

D-semigroups and constellations

In a result generalising the Ehresmann–Schein–Nambooripad Theorem relating inverse semigroups to inductive groupoids, Lawson has shown that Ehresmann semigroups correspond to certain types of ordered (small) categories he calls Ehresmann categories. An important special case of this is the correspondence between two-sided restriction semigroups and what Lawson calls inductive categories. Gould and Hollings obtained a one-sided version of this last result, by establishing a similar correspondence between left restriction semigroups and certain ordered partial algebras they call inductive constellations (a general constellation is a one-sided generalisation of a category). We put this one-sided correspondence into a rather broader setting, at its most general involving left congruence D-semigroups (which need not satisfy any semiadequacy condition) and what we call co-restriction constellations, a finitely axiomatized class of partial algebras. There are ordered and unordered versions of our results. Two special cases have particular interest. One is that the class of left Ehresmann semigroups (the natural one-sided versions of Lawson’s Ehresmann semigroups) corresponds to the class of co-restriction constellations satisfying a suitable semiadequacy condition. The other is that the class of ordered left Ehresmann semigroups (which generalise left restriction semigroups and for which semigroups of binary relations equipped with domain operation and the inclusion order are important examples) corresponds to a class of ordered constellations defined by a straightforward weakening of the inductive constellation axioms

Binary and Millisecond Pulsars at the New Millennium

We review the properties and applications of binary and millisecond pulsars. Our knowledge of these exciting objects has greatly increased in recent years, mainly due to successful surveys which have brought the known pulsar population to over 1300. There are now 56 binary and millisecond pulsars in the Galactic disk and a further 47 in globular clusters. This review is concerned primarily with the results and spin-offs from these surveys which are of particular interest to the relativity community.Comment: 59 pages, 26 figures, 5 tables. Accepted for publication in Living Reviews in Relativity (http://www.livingreviews.org