Related papers: On the future cover of a sofic shift
This short note is the extended abstract of a seminar I have delivered on several occasions over the past few months on canonical threefolds whose canonical volume is "close" to the lower bound 4/3p_g - 10/3. This is a project in…
We give a short proof of Ahlfors' theorem on covering surfaces.
The goal of this paper is to formalize the notion of The Compositional Integral in The Complex Plane. We prove a convergence theorem guaranteeing its existence. We prove an analogue of Cauchy's Integral Theorem--and suggest an approach at…
We classify the possible ramification data and etale local structure of orders over surfaces with canonical singularities.
The capture calculus is an extension of System F<: that tracks free variables of terms in their type, allowing one to represent capabilities while limiting their scope. While previous calculi had mechanized soundness proofs -- notably…
This paper uses the theory of covering graphs to characterize some of the edge-transitive graphs which can arise as token graphs.
Hawking's stable causality implies Sorkin and Woolgar's K-causality. The work investigates the possible equivalence between the two causality requirements, an issue which was first considered by H. Seifert and then raised again by R. Low…
A covariant description of the canonical theory for interacting classical fields is developed on a space-like hypersurface. An identity invariant under the canonical transformations is obtained. The identity follows a canonical equation in…
In 1988 Boyle and Krieger defined sub-matrices for representation matrices of sofic shift. This paper presents some details of relations between integral sub-matrices and representation matrices. Besides, we express a new version of the…
This paper is focused on the development of the notions of canonical and canonoid transformations within the framework of Hamiltonian Mechanics on locally conformal symplectic manifolds. Both, time-independent and time-dependent dynamics…
The topic of the paper are developments of $n$-dimensional Coxeter polyhedra. We show that the surface of such polyhedron admits a canonical cutting such that each piece can be covered by a Coxeter $(n-1)$-dimensional domain.
I exemplify part of my recent work on the upper halfplane.
We prove an analog of the classical Hartogs extension theorem for certain (possibly unbounded) domains on coverings of Stein manifolds.
The first version of this paper gave another proof of the Kropholler Conjecture, which gives a relative version of Stallings Ends Theorem, following an earlier incorrect proof. It has been pointed out by Sam Shepherd that the the second…
We give a self-contained and streamlined rendition of Andrea Bianchi's recent proof of the Mumford conjecture using moduli spaces of branched covers.
We explore the canonical Grothendieck topology in some specific circumstances. First we use a description of the canonical topology to get a variant of Giraud's Theorem. Then we explore the canonical Grothendieck topology on the categories…
We prove the consistency of the theory ZFC + there is a strongly compact cardinal from the existence of a cardinal preserving embedding from the universe into an inner model. The proof almost shows that under SCH, every cardinal preserving…
We prove the Strengthened Hanna Neumann Conjecture. We give a more direct cohomological interpretation of the conjecture in terms of "typical" covering maps, and use graph Galois theory to "symmetrize" the conjecture. The conjecture is then…
The canonical transformation and its unitary counterpart which relate the rational Calogero-Moser system to the free one are constructed.
We classify certain sofic shifts (the irreducible Point Extension Type, or PET, sofic shifts) up to flow equivalence, using invariants of the canonical Fischer cover. There are two main ingredients: (1) An extension theorem, for extending…