Related papers: Efficient simplicial replacement of semi-algebraic…

We provide a novel approach to the numerical solution of the family of nonlocal elliptic equations $(-\Delta)^su=f$ in $\Omega$, subject to some homogeneous boundary conditions $\mathcal{B}(u)=0$ on $\partial \Omega$, where $s\in(0,1)$,…

Let $\ell$ be a commutative ring with unit. To every pair of $\ell$-algebras $A$ and $B$ one can associate a simplicial set $\hom(A,B^\Delta)$ so that $\pi_0\hom(A,B^\Delta)$ equals the set of polynomial homotopy classes of morphisms from…

Let $X$ and $Y$ be finite simplicial sets (e.g. finite simplicial complexes), both equipped with a free simplicial action of a finite group $G$. Assuming that $Y$ is $d$-connected and $\dim X\le 2d$, for some $d\geq 1$, we provide an…

We prove that the number of distinct homotopy types of limits of one-parameter semi-algebraic families of closed and bounded semi-algebraic sets is bounded singly exponentially in the additive complexity of any quantifier-free first order…

Let $\mathcal{P}_k(\delta)$, where $k$ is a positive integer and $\delta$ some complex parameter, be the classical partition algebra over the complex numbers. In the case when $\delta=n$, it is well-known that the algebra…

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 prove a nearly optimal bound on the number of stable homotopy types occurring in a k-parameter semi-algebraic family of sets in $\R^\ell$, each defined in terms of m quadratic inequalities. Our bound is exponential in k and m, but…

We establish simplicial triviality of the convolution algebra $\ell^1(S)$, where $S$ is a band semigroup. This generalizes results of the first author [Glasgow Math. J. 2005, Houston J. Math. 2010]. To do so, we show that the cyclic…

We use the polynomial method of Guth and Katz to establish stronger and {\it more efficient} regularity and density theorems for such $k$-uniform hypergraphs $H=(P,E)$, where $P$ is a finite point set in ${\mathbb R}^d$, and the edge set…

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…

We algorithmically compute integral Eilenberg-MacLane homology of all semigroups of order at most $8$ and present some particular semigroups with notable classifying spaces, refuting conjectures of Nico. Along the way, we give an…

Let $\mathrm{R}$ be a real closed field and $\mathrm{D} \subset \mathrm{R}$ an ordered domain. We consider the algorithmic problem of computing the generalized Euler-Poincar\'e characteristic of real algebraic as well as semi-algebraic…

In this paper, a quantum computational framework for algebraic topology based on simplicial set theory is presented. This extends previous work, which was limited to simplicial complexes and aimed mostly to topological data analysis. The…

In this paper we show that if $\phi_{i}:A_{i}\rightarrow{A}$ is a semisimple pointed $K$-rational $\ell$-isogeny graph of order $n$ for a prime $\ell$, then the group of $\ell$-torsion points $A[\ell](\overline{K})$ contains a subspace of…

We show that any closed model category of simplicial algebras over an algebraic theory is Quillen equivalent to a proper closed model category. By ``simplicial algebra'' we mean any category of algebras over a simplicial algebraic theory,…

In this paper, we describe an algorithm that efficiently collect relations in class groups of number fields defined by a small defining polynomial. This conditional improvement consists in testing directly the smoothness of principal ideals…

Let $\Delta$ be a simplicial complex on $[n]$. The $\mathcal{N}\mathcal{F}$-complex of $\Delta$ is the simplicial complex $\delta_{\mathcal{N}\mathcal{F}}(\Delta)$ on $[n]$ for which the facet ideal of $\Delta$ is equal to the…

Let $n$ be a positive integer, and let $\ell>1$ be square-free odd. We classify the set of equivariant homeomorphism classes of free $C_\ell$-actions on the product $S^1 \times S^n$ of spheres, up to indeterminacy bounded in $\ell$. The…

Let $P:\{0,1\}^k \to \{0,1\}$ be a nontrivial $k$-ary predicate. Consider a random instance of the constraint satisfaction problem $\mathrm{CSP}(P)$ on $n$ variables with $\Delta n$ constraints, each being $P$ applied to $k$ randomly chosen…

Two subanalytic subsets of R^n are called s-equivalent at a common point P if the Hausdorff distance between their intersections with the sphere centered at P of radius r vanishes of order greater than s when r tends to 0. In this paper we…