Related papers: Boolean complexes of involutions

We investigate the homology of cosheaves over finite simplicial complexes. After constructing the Mayer-Vietoris short exact sequence for this homology theory, we apply discrete Morse theory to this setting, defining the associated Morse…

For a Coxeter system $(W,S)$ let $a_n^{(W,S)}$ be the cardinality of the sphere of radius $n$ in the Cayley graph of $W$ with respect to the standard generating set $S$. It is shown that, if $(W,S)\preceq(W',S')$ then $a_n^{(W,S)}\leq…

In this paper, we study the twist-conjecture for Coxeter systems and rigidity of Coxeter systems up to finite twists. For Coxeter systems $(W,R)$ and $(W,S)$, under the untangle-condition for conjugate subsets, we investigate separations…

We show that the independence complexes of generalised Mycielskian of complete graphs are homotopy equivalent to a wedge sum of spheres, and determine the number of copies and the dimensions of these spheres. We also prove that the…

We continue the study of extended Weyl groups $W$, which are reflection groups. Further we recall the definition of a hyperbolic cover of an extended Weyl group, and show that the hyperbolic covers of the extended Weyl groups are extended…

The Witten index for certain supersymmetric lattice models treated by de Boer, van Eerten, Fendley, and Schoutens, can be formulated as a topological invariant of simplicial complexes arising as independence complexes of graphs. We prove a…

We introduce Morse-type inequalities for a holomorphic circle action on a holomorphic vector bundle over a compact Kaehler manifold. Our inequalities produce bounds on the multiplicities of weights occurring in the twisted Dolbeault…

A type of directed multigraph called a W-digraph is introduced to model the structure of certain representations of Hecke algebras, including those constructed by Lusztig and Vogan from involutions in a Weyl group. Building on results of…

In a recent paper we claimed that both the group algebra of a finite Coxeter group $W$ as well as the Orlik-Solomon algebra of $W$ can be decomposed into a sum of induced one-dimensional representations of centralizers, one for each…

The purpose of this paper is to discuss the validity of the assumptions (W) and (S) stated in a previous work, about the torsion in the modular l-adic cohomology of Deligne-Lusztig varieties associated to Coxeter elements. We prove that…

Given an irreducible well-generated complex reflection group W with Coxeter number h, we call a Coxeter element any regular element (in the sense of Springer) of order h in W; this is a slight extension of the most common notion of Coxeter…

Let $W$ be a finite Coxeter group with Coxeter generating set $S=\{s_1,\ldots,s_n\}$, and $\rho$ be a complex finite dimensional representation of $W$. The characteristic polynomial of $\rho$ is defined as \begin{equation*}…

The shape of homogeneous, generic, smooth convex bodies as described by the Euclidean distance with nondegenerate critical points, measured from the center of mass represents a rather restricted class M_C of Morse-Smale functions on S^2.…

This paper is a continuation of our previous work in which we defined the notion of a polytope complex and its $K$-theory. In this paper we produce formulas for the delooping of a simplicial polytope complex and the cofiber of a morphism of…

We prove the conjecture that any Grothendieck $(\infty,1)$-topos can be presented by a Quillen model category that interprets homotopy type theory with strict univalent universes. Thus, homotopy type theory can be used as a formal language…

The goal of this thesis is to prove that $\pi_4(S^3) \simeq \mathbb{Z}/2\mathbb{Z}$ in homotopy type theory. In particular it is a constructive and purely homotopy-theoretic proof. We first recall the basic concepts of homotopy type theory,…

We prove a conjecture of Bahri, Bendersky, Cohen and Gitler: if K is a shifted simplicial complex on n vertices, X_1,..., X_n are spaces and CX_i is the cone on X_i, then the polyhedral product determined by K and the pairs (CX_i,X_i) is…

It is proved that fundamental groups of boolean representable simplicial complexes are free and the rank is determined by the number and nature of the connected components of their graph of flats for dimension $\geq 2$. In the case of…

Given a Coxeter group $W$ with Coxeter system $(W,S)$, where $S$ is finite. We provide a complete characterization of Boolean intervals in the weak order of $W$ uniformly for all Coxeter groups in terms of independent sets of the Coxeter…

We study the Hodge conjecture for certain families of varieties over arithmetic quotients of balls and Siegel domain of degree two. As a byproduct, we derive formulas for Hodge numbers in terms of automorphic forms.