Related papers: Spans and simplicial families

We show how the framework of crossed simplicial groups may be used to provide a classification of topological field theories on open cobordism categories defined by reductions of the structure group to a planar Lie group. Such theories are…

The notion of Laplacian of a graph can be generalized to simplicial complexes and hypergraphs, and contains information on the topology of these structures. Even for a graph, the consideration of associated simplicial complexes is…

Simplicial approximation provides a framework for constructing simplicial complexes that are homotopy equivalent to a given manifold, provided a CW structure is explicitly known. However, its conventional implementation quickly becomes…

We introduce a method to reduce the study of the topology of a simplicial complex to that of a simpler one. We give some applications of this method to complexes arising from graphs. As a consequence, we answer some questions raised in…

Let $M$ be a compact, connected manifold of positive dimension and let $\mathcal G\leq\textrm{Homeo}(M)$ be \emph{locally approximating} in the sense that for all open $U\subseteq M$ compactly contained in a single Euclidean chart of $M$,…

This paper is a contribution to the development of the theory of representations of inverse semigroups in toposes. It continues the work initiated by Funk and Hofstra. For the topos of sets, we show that torsion-free functors on…

Let $X^{2n}\subseteq \mathbb{P} ^N$ be a smooth projective variety. Consider the intersection cohomology complex of the local system $R^{2n-1}\pi{_*}\mathbb{Q}$, where $\pi$ denotes the projection from the universal hyperplane family of…

We describe a method for constructing simplicial model structures on ind- and pro-categories. Our method is particularly useful for constructing "profinite" analogues of known model categories. Our construction quickly recovers Morel's…

The notion of a simplicial set originated in algebraic topology, and has also been utilized extensively in category theory, but until relatively recently was not used outside of those fields. However, with the increasing prominence of…

Coquand's cubical set model for homotopy type theory provides the basis for a computational interpretation of the univalence axiom and some higher inductive types, as implemented in the cubical proof assistant. This paper contributes to the…

The absence of intrinsic adjacency relations and orientation systems in hypergraphs creates fundamental challenges for constructing sheaf Laplacians of arbitrary degrees. We resolve these limitations through symmetric simplicial sets…

We prove standard results of group cohomology -- namely, existence of a long exact sequence, classification of torsors via the first cohomology group, Shapiro's lemma, the Hochschild-Serre spectral sequence, a decomposition of the cochain…

Modular functors, i.e. consistent systems of projective representations of mapping class groups of surfaces, have been constructed for non-semisimple modular categories already decades ago. Concepts from homological algebra have not been…

We prove an "abelian, locally compact" Whitehead theorem in fine shape: A fine shape morphism between locally connected finite-dimensional locally compact separable metrizable spaces with trivial $\pi_0$ and $\pi_1$ is a fine shape…

A simplicial complex is a generalization of a graph: a collection of n-ary relationships (instead of binary as the edges of a graph), named simplices. In this paper, we develop a new tool to study the structure of simplicial complexes: we…

We show that the Segal topos of derived stacks over simplicial commutative $k$-algebras, which can be used to model natural phenomena, has a subobject classifier, something we regard as being a source from which dynamics is generated. This…

Given a smooth open oriented surface \(X\), endowed with a family of complex structures \(\{J_b\}_{b\in B}\) of some H\"older class and depending continuously or smoothly on the parameter \(b\) in a suitable topological space \(B\), we…

We construct a model structure on simplicial profinite sets such that the homotopy groups carry a natural profinite structure. This yields a rigid profinite completion functor for spaces and pro-spaces. One motivation is the \'etale…

For a genus g handlebody H a simplicial complex, with vertices being isotopy classes of certain incompressible surfaces in H, is constructed and several properties are established. In particular, this complex naturally contains, as a…

We consider the split special orthogonal group $\mathrm{SO}_{N}$ defined over a $p$-adic field. We determine the structure of any $L$-packet of $\mathrm{SO}_{N}$ containing a simple supercuspidal representation (in the sense of…