Related papers: Topological rigidification of schemes

The Chern-Fulton class is a generalization of Chern class to the realm of arbitrary embeddable schemes. While Chern-Fulton classes are sensitive to non-reduced scheme structure, they are not sensitive to possible singularities of the…

Big mapping class groups are the mapping class groups of infinite-type surfaces, that is, surfaces whose fundamental groups are not finitely generated. While mapping class groups of finite-type surfaces have been extensively studied, the…

We construct infinite sequences of pseudo-Anosov homeomorphisms without fixed points and leaving invariant a sequence of orientable measured foliations on the same topological surface and the same stratum of the space of abelian…

Isomorphism is central to the structure of mathematics and has been formalized in various ways within dependent type theory. All previous treatments have done this by replacing quantification over sets with quantification over groupoids of…

We consider a few types of bounded homomorphisms on a topological group. These classes of bounded homomorphisms are, in a sense, weaker than the class of continuous homomorphisms. We show that with appropriate topologies each class of these…

We formulate a notion of "geometric reductivity" in an abstract categorical setting which we refer to as adequacy. The main theorem states that the adequacy condition implies that the ring of invariants is finitely generated. This result…

`Categorification' is the process of replacing equations by isomorphisms. We describe some of the ways a thoroughgoing emphasis on categorification can simplify and unify mathematics. We begin with elementary arithmetic, where the category…

We show that on integral normal separated schemes whose function field is separably closed, for each pair of points the intersection of the resulting local schemes is local. This extends a result of Artin from rings to schemes. The argument…

We consider the problem of topological linearization of smooth (C infinity or real analytic) control systems, i.e. of their local equivalence to a linear controllable system via point-wise transformations on the state and the control…

We study the homeomorphism types of certain covers of (always orientable) surfaces, usually of infinite-type. We show that every surface with non-abelian fundamental group is covered by every noncompact surface, we identify the universal…

A closed 3-form $H \in \Omega^3_0(M)$ defines an extension of $\Gamma(TM)$ by $\Omega^2_0(M)$. This fact leads to the definition of the group of $H$-twisted Hamiltonian symmetries $\Ham(M, \JJ; H)$ as well as Hamiltonian action of Lie group…

We initiate the computability-theoretic study of ringed spaces and schemes. In particular, we show that any Turing degree may occur as the least degree of an isomorphic copy of a structure of these kinds. We also show that these structures…

In this article we extend Deligne's construction of Grothendieck's six operations on the derived category of torsion sheaves over the \'etale site of a scheme for morphisms of finite type to a larger class of morphisms. This class includes…

We show that any collection of n-dimensional orbifolds with sectional curvature and volume uniformly bounded below, diameter bounded above, and with only isolated singular points contains orbifolds of only finitely many orbifold…

We show that every automorphism of a thick twin building interchanging the halves of the building maps some residue to an opposite one. Furthermore we show that no automorphism of a locally finite 2-spherical twin building of rank at least…

We address the question of finding algebraic properties that are respectively equivalent, for a morphism between algebraic varieties over an algebraically closed field of characteristic zero, to be an homeomorphism for the Zariski topology…

The tensor ideal localising subcategories of the stable module category of all, including infinite dimensional, representations of a finite group scheme over a field of positive characteristic are classified. Various applications concerning…

I demonstrate that the chart based approach to the study of the global structure of Lorentzian manifolds induces a homeomorphism of the manifold into a topological space as an open dense set. The topological boundary of this homeomorphism…

We consider embeddings of a finite complex in a sphere. We give a homotopy theoretic classification of such embeddings in a wide range.

We start the general structure theory of not necessarily semisimple finite tensor categories, generalizing the results in the semisimple case (i.e. for fusion categories), obtained recently in our joint work with D.Nikshych. In particular,…