Actions and partial actions of inductive constellations

Constellations were recently introduced by the authors as one-sided analogues of categories: a constellation is equipped with a partial multiplication for which ‘domains’ are defined but, in general, ‘ranges’ are not. Left restriction semigroups are the algebraic objects modelling semigroups of partial mappings, equipped with local identities in the domains of the mappings. Inductive constellations correspond to left restriction semigroups in a manner analogous to the correspondence between inverse semigroups and inductive groupoids.     

Generalising Conduché’s Theorem

In a previous paper (Kasangian and Labella, J Pure Appl Algebra, 2009) we proved a form of Conduché’s theorem for LSymcat-categories, where L was a meet-semilattice monoid. The original theorem was proved in Conduché (CR Acad Sci Paris 275:A891–A894, 1972) for ordinary categories. We showed also that the “lifting factorisation condition” used to prove the theorem is strictly related to the notion of state for processes whose semantics is modeled by LSymcat-categories. In this note we resume the content of Kasangian and Labella (J Pure Appl Algebra, 2009) in order to generalise the theorem to other situations, mainly arising from computer science. We will consider PSymcat-categories, where P is slightly more general than a meet-semilattice monoid, in which the lifting factorisation condition for a PSymcat-functor still implies the existence of a right adjoint to its corresponding inverse image functor.     

Ring semigroups whose subsemigroups form a chain

A multiplicative semigroup S is called a ring semigroup if an addition may be defined on S so that (S,+,⋅) is a ring. Such semigroups have been well-studied in the literature (see Bell in Words, Languages and Combinatorics, pp. 24–31, World Scientific, Singapore, 1994; Jones in Semigroup Forum 47(1):1–6, 1993; Jones and Ligh in Semigroup Forum 17(2):163–173, 1979). In this note, we use Mihăilescu’s Theorem (formerly Catalan’s Conjecture) to characterize the ring semigroups whose subsemigroups containing 0 form a chain with respect to set inclusion.     

Mayer’s transfer operator and representations of GL<Subscript>2</Subscript>

In this paper we relate Mayer’s transfer operator for the geodesic flow of the modular surface to the representation theory of the semigroup of invertible 2×2-matrices with non-negative entries. It turns out that similarly to the case of the Kac-Baker model (see Hilgert et al., Convex Cones, and Semigroups, Oxford University Press, London, 1989 and Hilgert and Mayer, Commun. Math. Phys. 232:19–58, 2002) from statistical mechanics which is related to Howe’s oscillator semigroup one has to introduce an additional multiplication operator to obtain a self-adjoint Hilbert space operator of trace class with the correct spectrum from the natural operators provided by the representation theory. In the present case the representations naturally live on weighted Bergman spaces, but can also be realized on weighted L ²-spaces. Using the representation theory of Ol’shanskiĭ semigroups the semigroup representations can be analytically extended to the simply connected covering of SL(2,ℝ) where they can be identified as holomorphic discrete series representations. To Karl Heinrich Hofmann on the occasion of his 75th birthday.     

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.     

The Blackwell and Dubins Theorem and Rényi’s Amount of Information Measure: Some Applications

This survey paper provides first for an overview of how quantum-like concepts could be used in macroscopic environments like economics. The paper then argues for the use of the concept of a quantum mechanical wave function as an ‘information wave function’. A rationale is provided on why such interpretation is reasonable. After having defined the ‘information wave function’, Ψ(q), we argue how | Ψ(q)| ² can be interpreted as a Radon-Nikodym derivative. We consider how we can connect, using the | Ψ(q)| ², the Blackwell and Dubins (Ann. Math. Stat. 33:882–886, 1961) Theorem with Rényi’s (Proceedings of the Fourth Berkeley Symposium on Mathematical Statistics and Probability, 1961) measure of quantity of information. We also define ‘ambiguity of information’ and ‘multi-sourced information’.     

Scalar Extension of Bicoalgebroids

After recalling the definition of a bicoalgebroid, we define comodules and modules over a bicoalgebroid. We construct the monoidal category of comodules, and define Yetter–Drinfel’d modules over a bicoalgebroid. It is proved that the Yetter–Drinfel’d category is monoidal and pre-braided just as in the case of bialgebroids, and is embedded into the one-sided center of the comodule category. We proceed to define braided cocommutative coalgebras (BCC) over a bicoalgebroid, and dualize the scalar extension construction of Brzeziński and Militaru (J Algebra 251:279–294, 2002) and Bálint and Szlachányi (J Algebra 296:520–560, 2006), originally applied to bialgebras and bialgebroids, to bicoalgebroids. A few classical examples of this construction are given. Identifying the comodule category over a bicoalgebroid with the category of coalgebras of the associated comonad, we obtain a comonadic (weakened) version of Schauenburg’s theorem. Finally, we take a look at the scalar extension and braided cocommutative coalgebras from a (co-)monadic point of view.      

Lord Kelvin’s method of images in semigroup theory

We show that Lord Kelvin’s method of images is a way to prove generation theorems for semigroups of operators. To this end we exhibit three examples: a more direct semigroup-theoretic treatment of abstract delay differential equations, a new derivation of the form of the McKendrick semigroup, and a generation theorem for a semigroup describing kinase activity in the recent model of Kaźmierczak and Lipniacki (J. Theor. Biol. 259:291–296, 2009).     

Derived Azumaya algebras and generators for twisted derived categories

We introduce a notion of derived Azumaya algebras over ring and schemes generalizing the notion of Azumaya algebras of Grothendieck (Le groupe de Brauer. I. Algèbres d’Azumaya et interprétations diverses. Dix Exposés sur la Cohomologie des Schémas, pp. 46–66, North-Holland, Amsterdam, 1968). We prove that any such algebra B on a scheme X provides a class ϕ(B) in . We prove that for X a quasi-compact and quasi-separated scheme ϕ defines a bijective correspondence, and in particular that any class in , torsion or not, can be represented by a derived Azumaya algebra on X. Our result is a consequence of a more general theorem about the existence of compact generators in twisted derived categories, with coefficients in any local system of reasonable dg-categories, generalizing the well known existence of compact generators in derived categories of quasi-coherent sheaves of Bondal and Van Den Bergh (Mosc. Math. J. 3(1):1–36, 2003). A huge part of this paper concerns the treatment of twisted derived categories, as well as the proof that the existence of compact generator locally for the fppf topology implies the existence of a global compact generator. We present explicit examples of derived Azumaya algebras that are not represented by classical Azumaya algebras, as well as applications of our main result to the localization for twisted algebraic K-theory and to the stability of saturated dg-categories by direct push-forwards along smooth and proper maps.     

Medial permutable semigroups of the first kind

We say that a semigroup S is a permutable semigroup if the congruences of S commute with each other, that is, α○β=β○α is satisfied for all congruences α and β of S. A semigroup is called a medial semigroup if it satisfies the identity axyb=ayxb. The medial permutable semigroups were examined in Proc. Coll. Math. Soc. János Bolyai, vol. 39, pp. 21–39 (1981), where the medial semigroups of the first, the second and the third kind were characterized, respectively. In Atta Accad. Sci. Torino, I-Cl. Sci. Fis. Mat. Nat. 117, 355–368 (1983) a construction was given for medial permutable semigroups of the second [the third] kind. In the present paper we give a construction for medial permutable semigroups of the first kind. We prove that they can be obtained from non-archimedean commutative permutable semigroups (which were characterized in Semigroup Forum 10, 55–66, 1975). Research supported by the Hungarian NFSR grant No T042481 and No T043034.     

Drinfeld realization of the elliptic Hall algebra

We give a new presentation of the Drinfeld double E\boldsymbol{\mathcal {E}} of the (spherical) elliptic Hall algebra E⁺\boldsymbol{\mathcal{E}}^{+} introduced in our previous work (Burban and Schiffmann in Duke Math. J. preprint , 2005). This presentation is similar in spirit to Drinfeld’s ‘new realization’ of quantum affine algebras. This answers, in the case of elliptic curves, a question of Kapranov concerning functional relations satisfied by (principal, unramified) Eisenstein series for GL(n) over a function field. It also provides proofs of some recent conjectures of Feigin, Feigin, Jimbo, Miwa and Mukhin (, 2010).     

Polynomials with a common composite

We develop a conditional entropy theory for infinite measure preserving actions of countable discrete amenable groups with respect to a σ-finite factor. This includes ‘infinite’ analogues of relative Kolmogorov-Sinai, Rokhlin and Krieger theorems on generating partitions, Pinsker theorem on disjointness, Furstenberg decomposition and disjointness theorems, etc. In case of ℤ-action, our concept of relative entropy matches well the ‘absolute’ entropy h _Kr introduced by Krengel. Answering in part his question and a question of Silva and Thieullen, we show that for any non-distal transformation S there exists an infinite measure preserving transformation T with h _Kr(T × S) = ∞ but h _Kr(T) = 0. This project was supported in part by a CRDF grant UM1-2546-KH-03.     

Intermutation

This paper proves coherence results for categories with a natural transformation called intermutation made of arrows from (A ∧ B) ∨ (C ∧ D) to (A ∨ C) ∧ (B ∨ D), for ∧ and ∨ being two biendofunctors. Intermutation occurs in iterated, or n-fold, monoidal categories, which were introduced in connection with n-fold loop spaces, and for which a related, but different, coherence result was obtained previously by Balteanu, Fiedorowicz, Schw?nzl and Vogt. The results of the present paper strengthen up to a point this previous result, and show that two-fold loop spaces arise in the manner envisaged by these authors out of categories of a more general kind, which are not two-fold monoidal in their sense. In particular, some categories with finite products and coproducts are such. Coherence in Mac Lane’s “all diagrams commute” sense is proved here first for categories where for ∧ and ∨ one assumes only intermutation, and next for categories where one also assumes natural associativity isomorphisms. Coherence in the sense of coherence for symmetric monoidal categories is proved when one assumes moreover natural commutativity isomorphisms for ∧ and ∨. A restricted coherence result, involving a proviso of the kind found in coherence for symmetric monoidal closed categories, is proved in the presence of two nonisomorphic unit objects. The coherence conditions for intermutation and for the unit objects are derived from a unifying principle, which roughly speaking is about preservation of structures involving one endofunctor by another endofunctor, up to a natural transformation that is not an isomorphism. This is related to weakening the notion of monoidal functor. A similar, but less symmetric, justification for intermutation was envisaged in connection with iterated monoidal categories. Unlike the assumptions previously introduced for two-fold monoidal categories, the assumptions for the unit objects of the categories of this paper, which are more general, allow an interpretation in logic.     

Serre’s modularity conjecture (II)

This paper is the first part of a work which proves Serre’s modularity conjecture. We first prove the cases p 1 2p\not=2 and odd conductor, and p=2 and weight 2, see Theorem 1.2, modulo Theorems 4.1 and 5.1. Theorems 4.1 and 5.1 are proven in the second part, see Khare and Wintenberger (Invent. Math., doi:, 2009). We then reduce the general case to a modularity statement for 2-adic lifts of modular mod 2 representations. This statement is now a theorem of Kisin (Invent. Math., doi:, 2009).     

E-free objects and e-locality for completely regular semigroups

We prove that the e-variety CR(H), of all completely regular semigroups whose subgroups belong to some group variety H, is e-local; that is, every regular, locally completely regular semigroupoid [with subgroups fromH] divides a completely regular semigroup [with subgroups from H], in a ‘regular’ way. In a future paper with P.G. Trotter, this theorem will be applied to semidirect products of e-varieties and to e-free E-solid regular semigroups. A key role in the proof is played by the e-free semigroups in the e-variety CR(H). We provide a solution to the ‘word problem’ in these semigroups, in the style of that for free completely regular semigroups given by Kadourek and Polàk. The solution is derived from the author's work on free products of completely regular semigroups. Communicated by F. Pastijn The author is indebted to the Australian Research Council and to National Science Foundation grant INT-8913404 for their support of this research.     

Ortho-u-monoids

In this paper, we study the class of ortho-u-monoids which are generalized orthogroups within the class of E(S)-semiabundant semigroups. After introducing the concept of (∼)-Green’s relations, and obtaining some important properties of (∼)-Green’s relations and super E(S)-semiabundant semigroups, we have given the semilattice decomposition of ortho-u-monoids and a structure theorem for regular ortho-u-monoids. The main techniques that we used in the study are the (∼)-Green’s relations, and the semi-spined product of semigroups.     

On some classes of regular semigroups

An idempotent e of a semigroup S is called right [left] principal (B.R. Srinivasan, [2]) if fef=fe [fef=ef] for every idempotent f of S. Say that S has property (LR) [(LR₁)] if every ℒ-class of S contains atleast [exactly] one right principal idempotent. There and six further properties obtained by replacing, ‘ℒ-class’ by ‘ℛ-class’ and/or ‘right principal’ by ‘left principal’ are examined. If S has (LR₁), the set of right principal elementsa of S (aa′ is right principal for some inversea′ ofa) is an inverse subsemigroup of S, generalizing a theorem of Srinivasan [2] for weakly inverse semigroups. It is shown that the direct sum of all dual Schützenberger representations of an (LR) semigroup is faithful (cf[1], Theorem 3.21, p. 119). Finally, necessary and sufficient conditions are given on a regular subsemigroup S of the full transformation semigroup on a set in order that S has each of the properties (LR), (LR₁), etc.     

Multiplicity results of p(x)-Laplacian systems with Neumann conditions

In this paper, we study a Neumann problem for elliptic systems with variable exponents. We obtain the existence of at least three nontrivial solutions by using an equivalent variational approach to a recent Ricceri’s three critical points theorem (Ricceri in Nonlinear Anal TMA 70:3084–3089, 2009).     

A Buchholz Rule for Modal Fixed Point Logics

Buchholz’s Ω _μ+1-rules provide a major tool for the proof-theoretic analysis of arithmetical inductive definitions. The aim of this paper is to put this approach into the new context of modal fixed point logic. We introduce a deductive system based on an Ω-rule tailored for modal fixed point logic and develop the basic techniques for establishing soundness and completeness of the corresponding system. In the concluding section we prove a cut elimination and collapsing result similar to that of Buchholz (Iterated inductive definitions and subsystems of analysis: recent proof theoretic studies. Lecture notes in mathematics, vol. 897, pp. 189–233, Springer, Berlin, 1981).     

Characterizations of Noncommutative H ∞

We transfer a large part of the circle of theorems characterizing the generalization of classical H^∞ known as ‘weak* Dirichlet algebras’, to Arveson’s very general noncommutative setting of subalgebras of finite von Neumann algebras. This solves the long-standing open question of the equivalence of principles such as Szeg?’s theorem, the weak* density of A + A*, and so on, within the noncommutative setting. The techniques should also be useful in future developments in noncommutative H^p theory.