Formal barycenter spaces with weights: the Euler characteristic (Q2335896)

For a topological space $X$ and an integer $n\geq 0$, let $\mathcal{B}_n(X)$ denote the $n$-th formal barycenter space defined by the quotient space of the $n$-th symmetric join $*^nX=X*X*\cdots *X$ ($n$-times) given by the identification: An element of $\mathcal{B}_n(X)$ can be represented as a formal finite abelian sum $\sum_{k=1}^nt_kx_k$ $(t_k\geq 0,\sum_{k=1}^nt_k=1,x_k\in X)$ with the following identifications $(*)$: \begin{itemize} \item[($*$)] $t_ix+t_jx=(t_i+t_j)x$ and, if $t_i=0$, the corresponding entry is suppressed. \end{itemize} By this identification, there is a natural inclusion $\mathcal{B}_n(X)\subset\mathcal{B}_{n+1}(X)$ and we write $\mathcal{B}(X)=\bigcup_{n\geq 0}\mathcal{B}_n(X)$. For a given fixed finite set of singular points $Q_r=\{y_1,\cdots ,y_r\}\subset X$, we assign to every $x\in X$ a weight $$ w(x)=\begin{cases} 1 & \text{if }x\notin Q_r,\\ w_i & \text{if }x=y_i, \end{cases} $$ where $w_i>0$. For a positive number $\rho >0$, let $\mathcal{B}^{Q_r}_{\rho}(X)\subset \mathcal{B}(X)$ denote the subspace defined by $\mathcal{B}^{Q_r}_{\rho}(X)=\{\sum_it_ix_i\in \mathcal{B}(X):\sum_iw(x_i)\leq \rho\}$. In this paper the author determines the Euler characteristic with compact supports $\chi_c$ of the space $\mathcal{B}^{Q_r}_{\rho}(X)$. Moreover, when $w_i\leq 1$ for all $i$, he also shows that $\chi (\mathcal{B}^{Q_r}_{\rho}(X))=\chi_{\rho}(\mathcal{B}^{Q_r}_{\rho}(X))$ if $X$ is compact or if $X$ is the interior of an even dimensional manifold with boundary (or a union of those).