Related papers: The D(2) property for $D_8$

There are two related poset structures, the higher Stasheff-Tamari orders, on the set of all triangulations of the cyclic $d$ polytope with $n$ vertices. In this paper it is shown that both of them have the homotopy type of a sphere of…

We use categorical description of the invariant 2-cohomology group of Hopf algebra to compute such cohomology for two finite dimensional Hopf algebras: the group ring of $Z_8\rtimes Aut(Z_8)$ and Kac-Paljutkin algebra. For the first of…

The complement of the codimension 2 complex coordinate subspace arrangement is shown to be homotopy equivalent to a wedge of spheres.

Second-order automorphic forms are similar to the usual automorphic forms but have a weaker automorphy condition. We answer a question of Zagier and find the dimensions of spaces of holomorphic, even weight, second-order forms. We also…

The space of polynomials in two real variables with values in a 2-dimensional irreducible module of a dihedral group is studied as a standard module for Dunkl operators. The one-parameter case is considered (omitting the two-parameter case…

We compute the integral cohomology ring of configuration spaces of two points on a given real projective space. Apart from an integral class, the resulting ring is a quotient of the known integral cohomology of the dihedral group of order 8…

We investigate the question of whether any $d$-colorable simplicial $d$-polytope can be octahedralized, i.e., it can be subdivided to a $d$-dimensional geometric cross-polytopal complex. We give a positive answer in dimension $3$, with the…

The cohomological rigidity problem for toric orbifolds asks when an integral cohomology isomorphism implies a homotopy equivalence. In this paper we reformulate the cohomological rigidity problem in the context of $4$-dimensional toric…

We continue the analysis of the Modular Isomorphism Problem for $2$-generated $p$-groups with cyclic derived subgroup, $p>2$, started in [D. Garc\'ia-Lucas, \'A. del R\'io, and M. Stanojkovski. On group invariants determined by modular…

The (co)homological dimension of homomorphism $\phi:G\to H$ is the maximal number $k$ such that the induced homomorphism is nonzero for some $H$-module. The following theorems are proven: THEOREM 1. For every homomorphism $\phi:G\to H$ of a…

We prove that various classical conformal diffeomorphism groups, which are known to be essential [1], are in fact properly essential. This is a consequence of a local criterion on a conformal diffeomorphism in the form of a cohomological…

There are three types of Dolbeault complexes arising from representations of holonomy group on a Riemannian manifold, two of which are dual to each other. Such a complex is elliptic if and only if its generator satisfies an algebraic…

In this paper we complete the classification of topological symmetry groups for complete graphs $K_n$ by characterizing which $K_n$ can have a cyclic group, a dihedral group, or a subgroup of $D_m \times D_m$ where $m$ is odd, as its…

For each integer \( n \geq 3 \), we construct a self-dual regular 3-polytope \( \mathcal{P} \) of type \( \{n, n\} \) with \( 2^n n \) flags, resolving two foundamental open questions on the existence of regular polytopes with certain…

We show that if a complex has free finitely generated reduced homology groups for two consecutive dimensions and trivial homology for all other dimensions, then it must have the homotopy type of a wedge of spheres of two consecutive…

We study the moduli of the universal geometry of $d=4$ $N=1$ heterotic vacua. Universal geometry refers to a family of heterotic vacua fibered over the moduli space. The universal geometry mimics aspects of the original heterotic vacua, in…

Any finite-dimensional commutative (associative) graded algebra with all nonzero homogeneous subspaces one-dimensional is defined by a symmetric coefficient matrix. This algebraic structure gives a basic kind of $A$-graded algebras…

We show that the modular isomorphism problem has a positive answer for groups of nilpotency class 2 with cyclic center, i.e. that for such p-groups G and H an isomorphism between the group algebras FG and FH implies an isomorphism of the…

We consider $E_8\times E_8$ heterotic compactifications on $K3$ and $K3\times T^2$. The idea of heterotic/heterotic duality in $D=6$ has difficulties for generic compactifications since for large dilaton values some gauge groups acquire…

We formalize, at the level of D-modules, the notion that A-hypergeometric systems are equivariant versions of the classical hypergeometric equations. For this purpose, we construct a functor on a suitable category of torus equivariant…