On modal logics arising from scattered locally compact Hausdorff spaces

For a topological space X, let $\mathsf{L}(X)$ be the modal logic of X where □ is interpreted as interior (and hence ◇ as closure) in X. It was shown in [3] that the modal logics S4, S4.1, S4.2, S4.1.2, S4.Grz, ${\mathsf{S4}.\mathsf{Grz}}_n$ ($n\ge 1$), and their intersections arise as $\mathsf{L}(X)$ for some Stone space X. We give an example of a scattered Stone space whose logic is not such an intersection. This gives an affirmative answer to [3, Question 6.2]. On the other hand, we show that a scattered Stone space that is in addition hereditarily paracompact does not give rise to a new logic; namely we show that the logic of such a space is either S4.Grz or ${\mathsf{S4}.\mathsf{Grz}}_n$ for some $n\ge 1$. In fact, we prove this result for any scattered locally compact open hereditarily collectionwise normal and open hereditarily strongly zero-dimensional space.     

Regular characters of classical groups over complete discrete valuation rings

Let $\mathfrak{o}$ be a complete discrete valuation ring with finite residue field $\mathsf{k}$ of odd characteristic, and let G be a symplectic or special orthogonal group scheme over $\mathfrak{o}$. For any $?\in \mathbb{N}$ let $G^{?}$ denote the ?-th principal congruence subgroup of $\mathbf{G}(\mathfrak{o})$. An irreducible character of the group $\mathbf{G}(\mathfrak{o})$ is said to be regular if it is trivial on a subgroup $G^{?+1}$ for some ?, and if its restriction to $G^{?}/G^{?+1}?\mathrm{Lie}(\mathbf{G})(\mathsf{k})$ consists of characters of minimal $\mathbf{G}({\mathsf{k}}^{\mathrm{alg}})$-stabilizer dimension. In the present paper we consider the regular characters of such classical groups over $\mathfrak{o}$, and construct and enumerate all regular characters of $\mathbf{G}(\mathfrak{o})$, when the characteristic of $\mathsf{k}$ is greater than two. As a result, we compute the regular part of their representation zeta function.     

Gorenstein projective bimodules via monomorphism categories and filtration categories

We generalize the monomorphism category from quiver (with monomial relations) to arbitrary finite dimensional algebras by a homological definition. Given two finite dimension algebras A and B, we use the special monomorphism category $\mathsf{Mon}(B,A\text{-}\mathsf{Gproj})$ to describe some Gorenstein projective bimodules over the tensor product of A and B. If one of the two algebras is Gorenstein, we give a sufficient and necessary condition for $\mathsf{Mon}(B,A\text{-}\mathsf{Gproj})$ being the category of all Gorenstein projective bimodules. In addition, if both A and B are Gorenstein, we can describe the category of all Gorenstein projective bimodules via filtration categories. Similarly, in this case, we get the same result for infinitely generated Gorenstein projective bimodules.     

Mixed quantum skew Howe duality and link invariants of type A

We define a ribbon category $\mathsf{Sp}(\beta )$, depending on a parameter β, which encompasses Cautis, Kamnitzer and Morrison's spider category, and describes for $\beta =m?n$ the monoidal category of representations of $U_q({\mathfrak{gl}}_{m|n})$ generated by exterior powers of the vector representation and their duals. We identify this category $\mathsf{Sp}(\beta )$ with a direct limit of quotients of a dual idempotented quantum group ${\dot{\mathbf{U}}}_q({\mathfrak{gl}}_{r+s})$, proving a mixed version of skew Howe duality in which exterior powers and their duals appear at the same time. We show that the category $\mathsf{Sp}(\beta )$ gives a unified natural setting for defining the colored ${\mathfrak{gl}}_{m|n}$ link invariant (for $\beta =m?n$) and the colored HOMFLY-PT polynomial (for β generic).     

GE2-rings and a graph of unimodular rows

For a commutative ring A we consider a related graph, $\mathrm{\Gamma }(A)$, whose vertices are the unimodular rows of length 2 up to multiplication by units. We prove that $\mathrm{\Gamma }(A)$ is path-connected if and only if A is a ${\mathrm{GE}}_2$-ring, in the terminology of P. M. Cohn. Furthermore, if $Y(A)$ denotes the clique complex of $\mathrm{\Gamma }(A)$, we prove that $Y(A)$ is simply connected if and only if A is universal for ${\mathrm{GE}}_2$. More precisely, our main theorem is that for any commutative ring A the fundamental group of $Y(A)$ is isomorphic to the group $K_2(2,A)$ modulo the subgroup generated by symbols.     

C-system of a module over a Jf-relative monad

Let $\mathbb{F}$ be the category with the set of objects $\mathbb{N}$ and morphisms given by the functions between the standard finite sets of the corresponding cardinalities. Let $Jf:\mathbb{F}\to Sets(U)$ be the obvious functor from this category to the category of sets in a given Grothendieck universe U. In this paper we construct, for any Jf-relative monad RR and any left RR-module LM, a C-system $C(\mathbf{RR},\mathbf{LM})$ and explicitly compute the action of the four B-system operations on its B-sets.In the introduction we explain in detail the relevance of this result to the construction of the term C-systems of type theories.     

Existential monadic second order logic of undirected graphs: The Le Bars conjecture is false

In 2001, J.-M. Le Bars disproved the zero-one law (that says that every sentence from a certain logic is either true asymptotically almost surely (a.a.s.), or false a.a.s.) for existential monadic second order sentences (EMSO) on undirected graphs. He proved that there exists an EMSO sentence ? such that $\mathsf{P}(G_n??)$ does not converge as $n\to \infty$ (here, the probability distribution is uniform over the set of all graphs on the labeled set of vertices $\{1,\dots ,n\}$). In the same paper, he conjectured that, for EMSO sentences with 2 first order variables, the zero-one law holds. In this paper, we disprove this conjecture.