Related papers: Exponentials of non-singular simplicial sets

Let $\Delta$ be a stable simplicial complex on $n$ vertexes. Over an arbitrary base field $K$, the symmetric algebraic shifted complex $\Delta^s$ of $\Delta$ is defined. It is proved that the Betti numbers of the Stanley-Reisner ideals in…

It is well-known that a paracompact space $X$ is of covering dimension at most $n$ if and only if any map $f\colon X\to K$ from $X$ to a simplicial complex $K$ can be pushed into its $n$-skeleton $K^{(n)}$. We use the same idea to…

The simplicial LS-category of a finite abstract simplicial complex is a new invariant of the strong homotopy type, defined in purely combinatorial terms, that generalizes to arbitrary simplicial complexes the well known notion of arboricity…

We construct new geometric realizations of simplicial and pre-simplicial sets where the standard $n$-simplex, viewed as the space of probability measures on $n+1$ elements, is replaced by the space of $(n+1)$-valued random variables, with…

Let $\ell$ be a prime, $k$ a finitely generated field of characteristic different from $\ell$, and $X$ a smooth geometrically connected curve over $k$. Say a semisimple representation of $\pi_1^{\mathrm{et}}(X_{\bar k})$ is arithmetic if it…

We analyse the problem of singularity of graphs for hexagonal grid graphs. We introduce methods for transforming weighted graph, which do not change the determinant of adjacency matrix. We use these methods to calculate the determinant of…

We construct holomorphic maps with a Siegel disk whose boundary is not locally connected (and is an indecomposable continuum), yet compactly contained in the domain of definition of the map. Our examples are injective and defined on a…

In this paper, we prove that each injective simplicial map of the arc complex of a compact, connected, orientable surface with nonempty boundary is induced by a homeomorphism of the surface. We deduce, from this result, that the group of…

Combinatorial topology is used in distributed computing to model concurrency and asynchrony. The basic structure in combinatorial topology is the simplicial complex, a collection of subsets called simplices of a set of vertices, closed…

In 1980 Provan and Billera defined the notion of weak $k$-decomposability for pure simplicial complexes. They showed the diameter of a weakly $k$-decomposable simplicial complex $\Delta$ is bounded above by a polynomial function of the…

In this paper we study various simplicial complexes associated to the commutative structure of a finite group G. We define NC(G) (resp. C(G)) as the complex associated to the poset of pairwise non-commuting (resp. commuting) sets in G. We…

Examples of noncommutative self-coverings are described, and spectral triples on the base space are extended to spectral triples on the inductive family of coverings, in such a way that the covering projections are locally isometric. Such…

We prove that a connected simplicial complex is uniquely determined by its complex of discrete Morse functions. This settles a question raised by Chari and Joswig. In the 1-dimensional case, this implies that the complex of rooted forests…

We prove that the set of Segre-degenerate points of a real-analytic subvariety $X$ in ${\mathbb{C}}^n$ is a closed semianalytic set. It is a subvariety if $X$ is coherent. More precisely, the set of points where the germ of the Segre…

A simple linear loop is a simple while loop with linear assignments and linear loop guards. If a simple linear loop has only two program variables, we give a complete algorithm for computing the set of all the inputs on which the loop does…

The non-proper value set of a nonsingular polynomial map from $\C^2$ into itself, if non-empty, must be a curve with one point at infinity.

We prove two results on some special generators of finite simple groups and use them to prove that every non-abelian finite simple group $S$ admits a non-congruence presentation (as conjectured in [CLT24]), and that if $S$ has a non-trivial…

Let $X$ be a normal algebraic variety over a finitely generated field $k$ of characteristic zero, and let $\ell$ be a prime. Say that a continuous $\ell$-adic representation $\rho$ of $\pi_1^{\text{\'et}}(X_{\bar k})$ is arithmetic if there…

Let $g:\, [0, 1]\rightarrow [0, 1]$ be piecewise linear unimodal map. We say that $g$ has non-trivial piecewise linear commutator, if there is a continuous piecewise linear $\psi:\, [0, 1]\rightarrow [0, 1]$ such that $g\circ \psi =…

Defined by a single axiom, finite abstract simplicial complexes belong to the simplest constructs of mathematics. We look at a a few theorems.