arXiv++ Combinatorics

In this paper we introduce a $d$-partition $\mathcal{E}_d^{(r)}=(Ω_1^{(r,d)}, Ω_2^{(r,d)},\dots, Ω_d^{(r,d)})$ of the $r$-uniform complete hypergraph $K_{rd}^{(r)}$. We prove that $\mathcal{E}_d^{(r)}$ is homogeneous and that each hypergraph $Ω_i^{(r,d)}$ is acyclic (i.e. has zero Betti numbers). As an application, we show that the map $det^{S^r}$ is nontrivial for every $r$, which gives a partial answer to a conjecture from [14].

In this paper we study an equivalence relation defined on the set of cycle-free $d$-partitions of the complete graph $K_{2d}$. We discuss a conjecture which states that this equivalence relation has only one equivalence class, and show that the conjecture is equivalent with the so called twin-star hypothesis. We check the conjecture in the case $d=4$ and disuses how this relates to the determinant-like map $det^{S^2}$.

In this paper we show that for a vector space $V_d$ of dimension $d$ there exists a linear map $det^{S^2}:V_d^{\otimes d(2d-1)}\to k$ with the property that $det^{S^2}(\otimes_{1\leq i<j\leq 2d}(v_{i,j}))=0$ if there exists $1\leq x<y<z\leq 2d$ such that $v_{x,y}=v_{x,z}=v_{y,z}$. The existence of such a map was conjectured in [4]. We present two applications of the map $det^{S^2}$ to geometry and combinatorics.

In this paper we introduce a determinant-like map $det^{S^3}$ and study some of its properties. For this we define a graded vector space $Λ^{S^3}_V$ that has similar properties with the exterior algebra $Λ_V$ and the exterior GSC-operad $Λ^{S^2}_V$ from \cite{sta2}. When $dim(V_2)=2$ we show that $dim_k(Λ^{S^3}_{V_2}[6])=1$ which gives the existence and uniqueness of $det^{S^3}$. We also give an explicit formula for $det^{S^3}$ as a sum over certain $2$-partitions of the complete hypergraph $K_6^3$.

In this paper we prove the case $dim(V_3)=3$ of a conjecture about the exterior operad $Λ^{S^2}_{V_d}$. For this we introduce a collection of natural involutions on the set of homogeneous cycle-free $d$-partitions of the complete graph $K_{2d}$, and show that these involutions correspond to the relations in $Λ^{S^2}_{V_d}(2d+1)$. When $d=3$ this correspondence allows us to give an explicit description of a determinant-like map and to settle the above mentioned conjecture.