Related papers: Circularly ordering direct products and the obstru…
Families of codes such as group codes, constacyclic and skew cyclic codes, some of which independently suggested in the literature, turn out to be special instances of the general family of crossed product codes. Hamming-metric is a main…
We study the multiplicative structure of orbifold Hochschild cohomology in an attempt to generalize the results of Kontsevich and Calaque-Van den Bergh relating the Hochschild and polyvector field cohomology rings of a smooth variety. We…
For any prime $p$ and group $G$, denote the pro-$p$ completion of $G$ by $\hat{G}^p$. Let $\mathcal{C}$ be the class of all groups $G$ such that, for each natural number $n$ and prime number $p$, $H^n(\hat{G^p},\mathbb Z/p)\cong H^n(G,…
Let $R$ be a ring with a set of local units, and a homomorphism of groups $\underline{\Theta} : \G \to \Picar{R}$ to the Picard group of $R$. We study under which conditions $\underline{\Theta}$ is determined by a factor map, and,…
We give a geometric characterisation of those groups that arise as fixed subgroups of finite-order untwisted automorphisms of right-angled Artin groups (RAAGs). They are precisely the fundamental groups of a class of compact special cube…
In this paper we give some conditions in which a direct product of groups is $\mathcal{V}-$capable if and only if each of its factors is $\mathcal{V}-$capable for some varieties $\mathcal{V}$. Moreover, we give some conditions in which a…
There are different notions of homology and cohomology that can be defined for a group with an action of another group by group automorphisms. In this paper we address three natural questions that arise in this context. Namely, the relation…
Let G be a Lie groupoid over M such that the target-source map from G to M x M is proper. We show that, if O is an orbit of finite type (i.e. which admits a proper function with finitely many critical points), then the restriction G|U of G…
Phase separation of sequence-disordered liquid crystalline polymers, a promising class of technological and biological relevance, is studied by field theory, and thermodynamic mechanisms responsible for orientational ordering observed in…
If $R$ is a regular and semiartinian ring, it is proved that the following conditions are equivalent: (1) $R$ is unit-regular, (2) every factor ring of $R$ is directly finite, (3) the abelian group $K_0(R)$ is free and admits a basis which…
Let X be a CW complex with a continuous action of a topological group G. We show that if X is equivariantly formal for singular cohomology with coefficients in a field, then so are all symmetric products of X and in fact all its…
Given a group $G = H_1 \ast_A H_2$ which is the free product of two finitely generated groups $H_1$ and $H_2$ with amalgamation over a cyclic subgroup $A$ which is malnormal in $G$, we study relations between the structure of its subgroups…
We completely characterize the pairs of connected Lie groups $G > K$ such that $\mathrm{rank}(G) - \mathrm{rank}(K) = 1$ and the left action of $K$ on $G/K$ is equivariantly formal. The analysis requires us to correct and extend an existing…
In his work on the generalization of the Reeb stability theorem, Thurston conjectured that if the fundamental group of a compact leaf $L$ in a codimension-one transversely orientable foliation is amenable and if the first cohomology group…
Positive Dehn twist products for some elements of finite order in the mapping class group of a 2-dimensional closed, compact, oriented surface $\Sigma_g$, which are rotations of $\Sigma_g$ through $2\pi /p$, are presented. The homeomorphism…
Let $G$ be a classical linear algebraic group over an algebraically closed field, and let $\mathfrak{n}$ denote the subset of nilpotent elements in its Lie algebra. In this paper we study a partial order on the $G$-orbits in $\mathfrak{n}$…
Various algebraic structures in geometry and group theory have appeared to be governed by certain universal rings. Examples include: the cohomology rings of Hilbert schemes of points on projective surfaces and quasi-projective surfaces; the…
This is the second installment of an exposition of an ACL2 formalization of finite group theory. The first, which was presented at the 2022 ACL2 workshop, covered groups and subgroups, cosets, normal subgroups, and quotient groups,…
Let $G$ be a finite group and $k$ be a field of characteristic $p>0$. A cohomology class $\zeta \in H^n(G,k)$ is called productive if it annihilates $\Ext^*_{kG}(L_{\zeta},L_{\zeta})$. We consider the chain complex $\bPz$ of projective…
We consider the existence of bibundles, in other words locally trivial principal $G$ spaces with commuting left and right $G$ actions. We show that their existence is closely related to the structure of the group $\Out(G)$ of outer…