A Modal Logic Based on Linearly Ordered f-Spaces

A modal logic associated with the -spaces introduced by Ershov is examined. We construct a modal calculus that is complete w.r.t. the class of all strictly linearly ordered -frames, and the class of all strictly linearly ordered -frames.     

Vanishing line for the descent spectral sequence

We prove that if $f:X \to Y$ is a surjective, cohomologically (k - 1)-connected and proper map between locally compact spaces, then for the cohomological descent spectral sequence one has $E^{pq}_{2} = 0$ provided $q < pk$.     

On an Archimedean analogue of Tate's conjecture

We consider an Archimedean analogue of Tate's conjecture, and verify the conjecture in the examples of isospectral Riemann surfaces constructed by Vignéras and Sunada. We prove a simple lemma in group theory which lies at the heart of T. Sunada's theorem about isospectral manifolds.     

An elementary construction of tilting complexes

Let A be an artin algebra and e∈A an idempotent with add(eA_A)=add(D(_AAe)). Then a projective resolution of Ae_eAe gives rise to tilting complexes for A, where P(l)^• is of term length l+1. In particular, if A is self-injective, then is self-injective and has the same Nakayama permutation as A. In case A is a finite dimensional algebra over a field and eAe is a Nakayama algebra, a projective resolution of eAe over the enveloping algebra of eAe gives rise to two-sided tilting complexes {T(2l)^•}_l?1 for A, where T(2l)^• is of term length 2l+1. In particular, if eAe is of Loewy length two, then we get tilting complexes {T(l)^•}_l?1 for A, where T(l)^• is of term length l+1.     

Remarks on the frame envelope of a σ-frame

The familiar equivalence between σ-frames and σ-coherent frames, given by the frame envelopes of σ-frames, is shown to induce an equivalence between stably continuous σ-frames and stably continuous frames. Similarly, the analogue of the former for σ-biframes is proved to provide an equivalence between compact regular σ-biframes and compact regular biframes. As an application we obtain the equivalence between stably continuous σ-frames and compact regular σ-biframes due to Matutu as an easy consequence of its frame counterpart established earlier by Banaschewski and Brümmer. This provides an affirmative answer to a question posed by Dana Scott.     

π1-classification of real arrangements with up to eight lines

One of the open questions in the geometry of line arrangements is to what extent does the incidence lattice of an arrangement determine its fundamental group. Line arrangements of up to 6 lines were recently classified by K.M. Fan (Michigan Math. J. 44(2) (1997) 283), and it turns out that the incidence lattice of such arrangements determines the projective fundamental group. We use actions on the set of wiring diagrams, introduced in (Garber et al. (J. Knot Theory Ramf.), to classify real arrangements of up to 8 lines. In particular, we show that the incidence lattice of such arrangements determines both the affine and the projective fundamental groups.     

Limits of tangents and minimality of complex links

We show that the complex link of a large class of space germs (X,x₀) is characterized by its “simplicity”, among the Milnor fibres of functions with isolated singularity on X. This amounts to the minimality of the Milnor number, whenever this number is defined. Such a phenomenon has been first pointed out in case (X,x₀) is an isolated hypersurface singularity, by Teissier (Cycles évanescents, sections planes et conditions de Whitney, in: Singularités à Cargèse 1972, Asterisque, Nos. 7 et 8, Soc. Math. France, Paris, 1973, pp. 285-362).     

Flow Compactifications of Nondiscrete Monoids, Idempotents and Hindman's Theorem

We describe the extension of the multiplication on a not-necessarily-discrete topological monoid to its flow compactification. We offer two applications. The first is a nondiscrete version of Hindman's Theorem, and the second is a characterization of the projective minimal and elementary flows in terms of idempotents of the flow compactification of the monoid.