Related papers: A pro-cdh topology on formal schemes

A general theory of rigid completely integrable analytic partial differential equations is endeavoured. The tube over the light cone in C^3 is shown to be the unique model (up to biholomorphisms) having CR automorphism group of maximal…

Let G be a discrete group. We give methods to compute for a generalized (co-)homology theory its values on the Borel construction (EG x X)/G of a proper G-CW-complex X satisfying certain finiteness conditions. In particular we give formulas…

Working in homotopy type theory, we provide a systematic study of homotopy limits of diagrams over graphs, formalized in the Coq proof assistant. We discuss some of the challenges posed by this approach to formalizing homotopy-theoretic…

We derive the framing anomaly of four-dimensional holomorphic-topological Chern-Simons theory formulated on the product of a topological surface and the complex plane. We show that the presence of this anomaly allows one to couple…

We obtain restrictions on the rational homotopy types of mapping spaces and of classifying spaces of homotopy automorphisms by means of the theory of positive weight decompositions. The theory applies, in particular, to connected components…

We extend the Dikranjan-Uspenskij notions of c-compact and h-complete topological group to the morphism level, study the stability properties of the newly defined types of maps, such as closure under direct products, and compare them with…

Voevodsky outlined a conjectural programme that his slice filtration in motivic homotopy theory should give rise to a good theory of $\mathbb{A}^1$-invariant motivic cohomology. This paper achieves his vision in the generality of arbitrary…

We show that C if is a proper model category, then the pro-category pro-C has a strict model structure in which the weak equivalences are the levelwise weak equivalences. The strict model structure is the starting point for many homotopy…

We propose an approach for the generation of topology-optimized structures with text-guided appearance stylization. This methodology aims to enrich the concurrent design of a structure's physical functionality and aesthetic appearance.…

In this paper, we aim to establish a new shape theory, compact Hausdorff shape (CH-shape) for general Hausdorff spaces. We use the "internal" method and direct system approach on the homotopy category of compact Hausdorff spaces. Such a…

In this paper, maximum principles for Euclidean and hyperbolic discrete conformal structures on polyhedral surfaces are established. These maximum principles unify and generalize the maximum principles for vertex scalings and different…

In this survey paper, we present \v{C}ech and sheaf cohomologies -- themes that were presented by Koszul in University of S\~ao Paulo during his visit in the late 1950s -- we present expansions for categories of generalized sheaves (i.e,…

This is a chapter in an upcoming book on aperiodic order. We go over different versions of tiling cohomology (\v Cech, pattern-equivariant, PV, quotient) with emphasis on the inverse limit constructions used to compute these cohomologies.…

The concept of orbifolds should unify differential geometry with equivariant homotopy theory, so that orbifold cohomology should unify differential cohomology with proper equivariant cohomology theory. Despite the prominent role that…

In [CKM17], Chodosh, Ketover, and Maximo proved finite diffeomorphism theorems for complete embedded minimal hypersurfaces of dimension $\leqslant$ 6 with finite index and bounded volume growth ratio. In this paper, we adapt their method to…

In an earlier work, we investigated some consequences of the existence of a K\"ahler metric of negative holomorphic sectional curvature on a projective manifold. In the present work, we extend our results to the case of semi-negative (i.e.,…

We study sheaves of differential forms and their cohomology in the h-topology. This allows to extend standard results from the case of smooth varieties to the general case. As a first application we explain the case of singularities arising…

Here we prove that the homological dimension of the category of sheaves on a topological space satisfying some suitable conditions is finite. In particular, we find conditions to bound the homological dimension of o-minimal and subanalytic…

We study the class $HQ(\mathbb{D})$, the set of harmonic quasiconformal automorphisms of the unit disk $\mathbb{D}$ in the complex plane, endowed with the topology of uniform convergence. Several important topological properties of this…

Topological phases of matter have been widely studied for their robustness against impurities and disorder. The broad applicability of topological materials relies on the reliable transition from idealized, mathematically perfect models to…