The complexity of weakly recognizing morphisms

Weakly recognizing morphisms from free semigroups onto finite semigroups are a classical way for defining the class of ω-regular languages, i.e., a set of infinite words is weakly recognizable by such a morphism if and only if it is accepted by some Büchi automaton. We study the descriptional complexity of various constructions and the computational complexity of various decision problems for weakly recognizing morphisms. The constructions we consider are the conversion from and to Büchi automata, the conversion into strongly recognizing morphisms, as well as complementation. We also show that the fixed membership problem is NC1-complete, the general membership problem is in L and that the inclusion, equivalence and universality problems are NL-complete. The emptiness problem is shown to be NL-complete if the input is given as a non-surjective morphism.

Automorphic vector bundles with global sections on -schemes

A general conjecture is stated on the cone of automorphic vector bundles admitting nonzero global sections on schemes endowed with a smooth, surjective morphism to a stack of $G$-zips of connected Hodge type; such schemes should include all Hodge-type Shimura varieties with hyperspecial level. We prove our conjecture for groups of type $A_{1}^{n}$, $C_{2}$, and $\mathbf{F}_{p}$-split groups of type $A_{2}$ (this includes all Hilbert–Blumenthal varieties and should also apply to Siegel modular $3$-folds and Picard modular surfaces). An example is given to show that our conjecture can fail for zip data not of connected Hodge type.

AN OPEN MAPPING THEOREM

It is proved that any surjective morphism $f:\mathbb{Z}^{{\it\kappa}}\rightarrow K$ onto a locally compact group $K$ is open for every cardinal ${\it\kappa}$. This answers a question posed by Hofmann and the second author.

On the category of near-rings

We consider the category of near-rings and study some categorical permanence properties. We investigate the connection between the concepts of monomorphism and, respectively, epimorphism of near-rings and the concepts of injective and, respectively, surjective morphism of near-rings. We also present some interesting properties of epimorphisms in the category of near-rings.

Deligne pairing and Quillen metric

Let X → S be a smooth projective surjective morphism of relative dimension n, where X and S are integral schemes over ℂ. Let L → X be a relatively very ample line bundle. For every sufficiently large positive integer m, there is a canonical isomorphism of the Deligne pairing 〈L,…,L〉 → S with the determinant line bundle [Formula: see text] (see [D. H. Phong, J. Ross and J. Sturm, Deligne pairings and the knudsen–Mumford expansion, J. Differential Geom. 78 (2008) 475–496]). If we fix a hermitian structure on L and a relative Kähler form on X, then each of the line bundles [Formula: see text] and 〈L,…,L〉 carries a distinguished hermitian structure. We prove that the above mentioned isomorphism between 〈L,…,L〉 → S and [Formula: see text] is compatible with these hermitian structures. This holds also for the isomorphism in [Deligne pairing and determinant bundle, Electron. Res. Announc. Math. Sci. 18 (2011) 91–96] between a Deligne paring and a certain determinant line bundle.

Log canonical pairs with good augmented base loci

Let $(X,B)$ be a projective log canonical pair such that $B$ is a $\mathbb{Q}$-divisor, and that there is a surjective morphism $f: X\to Z$ onto a normal variety $Z$ satisfying $K_X+B\sim _{\mathbb{Q}} f^*M$ for some big $\mathbb{Q}$-divisor $M$, and the augmented base locus ${\mathbf{B}}_+(M)$ does not contain the image of any log canonical centre of $(X,B)$. We will show that $(X,B)$ has a good log minimal model. An interesting special case is when $f$ is the identity morphism.

LEFT ADEQUATE AND LEFT EHRESMANN MONOIDS

This is the first of two articles studying the structure of left adequate and, more generally, of left Ehresmann monoids. Motivated by a careful analysis of normal forms, we introduce here a concept of proper for a left adequate monoid M. In fact, our notion is that of T-proper, where T is a submonoid of M. We show that any left adequate monoid M has an X*-proper cover for some set X, that is, there is a left adequate monoid [Formula: see text] that is X*-proper, and an idempotent separating surjective morphism [Formula: see text] of the appropriate type. Given this result, we may deduce that the free left adequate monoid on any set X is X*-proper. In a subsequent paper, we show how to construct T-proper left adequate monoids from any monoid T acting via order-preserving maps on a semilattice with identity, and prove that the free left adequate monoid is of this form. An alternative description of the free left adequate monoid will appear in a paper of Kambites. We show how to obtain the labeled trees appearing in his result from our structure theorem. Our results apply to the wider class of left Ehresmann monoids, and we give them in full generality. We also indicate how to obtain some of the analogous results in the two-sided case. This paper and its sequel, and the two of Kambites on free (left) adequate semigroups, demonstrate the rich but accessible structure of (left) adequate semigroups and monoids, introduced with startling insight by Fountain some 30 years ago.

Vector bundles trivialized by proper morphisms and the fundamental group scheme

Let X be a smooth projective variety defined over an algebraically closed field k. Nori constructed a category of vector bundles on X, called essentially finite vector bundles, which is reminiscent of the category of representations of the fundamental group (in characteristic zero). In fact, this category is equivalent to the category of representations of a pro-finite group scheme which controls all finite torsors. We show that essentially finite vector bundles coincide with those which become trivial after being pulled back by some proper and surjective morphism to X.

A Compactification of 3 via K3 Surfaces

S. Kondō defined a birational period map between the moduli space of genus three curves and a moduli space of polarized K3 surfaces. In this paper we give a resolution of the period map, providing a surjective morphism from a suitable compactification of 3 to the Baily-Borel compactification of a six dimensional ball quotient.

Fell bundles associated to groupoid morphisms

Given a continuous open surjective morphism $\pi :G\rightarrow H$ of étale groupoids with amenable kernel, we construct a Fell bundle $E$ over $H$ and prove that its $C^*$-algebra $C^*_r(E)$ is isomorphic to $C^*_r(G)$. This is related to results of Fell concerning $C^*$-algebraic bundles over groups. The case $H=X$, a locally compact space, was treated earlier by Ramazan. We conclude that $C^*_r(G)$ is strongly Morita equivalent to a crossed product, the $C^*$-algebra of a Fell bundle arising from an action of the groupoid $H$ on a $C^*$-bundle over $H^0$. We apply the theory to groupoid morphisms obtained from extensions of dynamical systems and from morphisms of directed graphs with the path lifting property. We also prove a structure theorem for abelian Fell bundles.