Related papers: On the future cover of a sofic shift

In this article we classify quadruple Galois canonical covers of smooth surfaces of minimal degree. The classification shows that they are either non-simple cyclic covers or bi-double covers. If they are bi-double then they are all fiber…

The paper contains a proof of the Fontaine-Jannsen conjecture based on a crystalline version of the p-adic Poincar'e lemma (different proofs were found earlier by Faltings, Niziol and Tsuji).

This work concludes a series of four papers on the foundational theory of orbifolds and stacks. We apply the abstract theory, developed in its predecessors, to orbifolds derived from manifolds. Specifically, we show how the very concrete…

In the present work we consider Friedmann-Robertson-Walker models in the presence of a stiff matter perfect fluid and a cosmological constant. We write the superhamiltonian of these models using the Schutz's variational formalism. We notice…

We explicitly describe cohomology of the sheaf of differential forms with poles along a semiample divisor on a complete simplicial toric variety. As an application, we obtain a new vanishing theorem which is an analogue of the…

This report is based on the talk given by the author in the concluding session of the workshop on Canonical Methods in Classical and Quantum General Relativity, held a Bad-Honef, Germany, in September 93. It contains an assessment of the…

This is the second in a series of papers extending Martin-L\"{o}f's meaning explanation of dependent type theory to account for higher-dimensional types. We build on the cubical realizability framework for simple types developed in Part I,…

We give in the present work a new methodology that allows to give isoperimetric proofs, for Kneser's Theorem and Kemperman's structure Theory and most sophisticated results of this type. As an illustration we present a new proof of Kneser's…

A generalization of classical theorems on the existence of sections of real, complex and quaternionic Stiefel manifolds is proved.

We construct explicitly the canonical transformation that controls the full dependence (local and non-local) of the vertex functional of a Yang-Mills theory on a background field. After showing that the canonical transformation found is…

We give a notion of a comatrix coring which embodies all former constructions and, what is more interesting, leads to the formulation of a notion of Galois coring and the statement of a Faithfully Flat Descent Theorem that generalize the…

The connection between the theory of permutation orbifolds, covering surfaces and uniformization is investigated, and the higher genus partition functions of an arbitrary permutation orbifold are expressed in terms of those of the original…

In this note, we construct three new infinite families of surfaces of general type with canonical map of degree 2 onto a surface of general type. For one of these families the canonical system has base points.

This is the third in a series of papers extending Martin-L\"of's meaning explanations of dependent type theory to a Cartesian cubical realizability framework that accounts for higher-dimensional types. We extend this framework to include a…

The increasing demand for Fourier transforms on geometric algebras has resulted in a large variety. Here we introduce one single straight forward definition of a general geometric Fourier transform covering most versions in the literature.…

A compactness theorem is proved for a family of K\"{a}hler surfaces with constant scalar curvature and volume bounded from below, diameter bounded from above, Ricci curvature bounded and the signature bounded from below. Furthermore, a…

A concise presentation of Schrodinger's ancilla theorem (1936 Proc. Camb. Phil. Soc. 32, 446) and its several recent rediscoveries.

For any ring we propose the construction of a cover which increases the finitistic dimension on one side and decreases the finitistic dimension to zero on the opposite side. This complements recent work of Cummings.

In this article a sequential theory in the category of spaces and proper maps is described and developed. As a natural extension a sequential theory for exterior spaces and maps is obtained.

A new direct proof of the Virtual Haken Conjecture, which asserts that every compact, orientable, irreducible three-dimensional manifold with infinite fundamental group has a finite cover that is Haken, will be given.