Related papers: Culf maps and edgewise subdivision
We prove that curve complexes of surfaces are finitely rigid: for every orientable surface S of finite topological type, we identify a finite subcomplex X of the curve complex C(S) such that every locally injective simplicial map from X…
We show that $C(X)$ admits an equivalent pointwise lower semicontinuous locally uniformly rotund norm provided $X$ is Fedorchuk compact of spectral height 3. In other words $X$ admits a fully closed map $f$ onto a metric compact $Y$ such…
A decorated surface S is an oriented surface with punctures and a finite set of marked points on the boundary, such that each boundary component has a marked point. We introduce ideal bipartite graphs on S. Each of them is related to a…
We give a new proof of Cartan's fixed point theorem using topological fixed point theory. For an odd dimensional, simply connected and complete manifold having non-positive curvature, we further prove that every isometry with finite order…
We show that differential calculus (in its usual form, or in the general form of topological differential calculus) can be fully imdedded into a functor category (functors from a small category of anchord tangent algebras to anchored sets).…
We show that if f: X --> Y is a finite, separable morphism of smooth curves defined over a finite field F_q, where q is larger than an explicit constant depending only on the degree of f and the genus of X, then f maps X(F_q) surjectively…
We prove that if two closed, connected, regular cosymplectic manifolds have isomorphic groups of cosymplectomorphisms (as topological groups), then the underlying manifolds are diffeomorphic. The proof proceeds by characterizing the Reeb…
Let $\mathbf{TB}$ be the category of totally bounded, locally compact metric spaces with the $C_0$ coarse structures. We show that if $X$ and $Y$ are in $\mathbf{TB}$ then $X$ and $Y$ are coarsely equivalent if and only if their Higson…
We introduce the notion of smooth cell complexes and its subclass consisting of gathered cell complexes within the category of diffeological spaces (cf. Definitions 1 and 3). It is shown that the following hold. (1) With respect to the…
We study a generalization of the Svarc genus of a fiber map. For an arbitrary collection E of spaces and a map f:X-->Y, we define a numerical invariant, the E-sectional category of f, in terms of open covers of Y. We obtain several basic…
In this paper we give an example of duoidal $\infty$-categories. We introduce map $\mathcal{O}$-monoidales in an $\mathcal{O}$-monoidal $(\infty,2)$-category for an $\infty$-operad $\mathcal{O}^{\otimes}$. We show that the endomorphism…
We define the triangulated category of relative singularities of a closed subscheme in a scheme. When the closed subscheme is a Cartier divisor, we consider matrix factorizations of the related section of a line bundle, and their analogues…
We prove a local-global principle for $\infty$-categories over any base $\infty$-category $\mathcal{C}$: we show that any $\infty$-category $\mathcal{B} \to \mathcal{C}$ over $\mathcal{C}$ is determined by the following data: the collection…
We prove several new results about the topology of fibers of Gelfand--Zeitlin systems on unitary and orthogonal coadjoint orbits, at the same time finding a unifying framework recovering and shedding light on essentially all known results.…
Given a morphism $f \colon X \to Y$ of schemes over a field, we prove several finiteness results about the fibers of the induced map on arc spaces $f_\infty \colon X_\infty \to Y_\infty$. Assuming that $f$ is quasi-finite and $X$ is…
We show that in codimension at least 3, spaces of locally flat topological embeddings of manifolds are correctly modelled by derived spaces of maps between their configuration categories (under mild smoothability conditions). That general…
Let V, W be real algebraic varieties (that is, up to isomorphism, real algebraic sets), and let X be a subset of V. A map f from X into W is said to be regular if it can be extended to a regular map defined on some Zariski locally closed…
We construct a model category structure on the category of diffeological spaces which is Quillen equivalent to the model structure on the category of topological spaces based on the notions of Serre fibrations and weak homotopy…
We study the topology of toric maps. We show that if $f\colon X\to Y$ is a proper toric morphism, with $X$ simplicial, then the cohomology of every fiber of $f$ is pure and of Hodge-Tate type. When the map is a fibration, we give an…
We prove that the classification diagram functor from the category of marked simplicial sets to the category of bisimplicial sets carries cartesian equivalences to Rezk equivalences. As a corollary, we obtain Mazel-Gee's theorem on…