Related papers: On the higher order exterior and interior Whitehea…
Generalizations of Redfield's master theorem and superposition theorem are proved by using decomposition of the tensor product of several induced monomial representations of the symmetric group $S_d$ into transitive constituents. As direct…
The commutative Hopf monoid of set compositions is a fundamental Hopf monoid internal to vector species, having undecorated bosonic Fock space the combinatorial Hopf algebra of quasisymmetric functions. We construct a geometric realization…
We prove that every Hassett compactification of the moduli space of weighted stable rational curves that admits both a reduction map from the Losev-Manin compactification and a reduction map to projective space is a toric variety, whose…
In Homotopy Type Theory, few constructions have proved as troublesome as the smash product. While its definition is just as direct as in classical mathematics, one quickly realises that in order to define and reason about functions over…
Let $G$ be a group which admits a generating set consisting of finite order elements. We prove that any Hopf algebra which factorizes through the Taft algebra and the group Hopf algebra $K[G]$ (equivalently, any bicrossed product between…
We consider projective, irreducible, non-singular curves over an algebraically closed field $\k$. A cover $Y \to X$ of such curves corresponds to an extension $\Omega/\Sigma$ of their function fields and yields an isomorphism $\A_{Y} \simeq…
Let $Y_{1}, \ldots, Y_{q}$ be closed subschemes which are located in $\ell$-subgeneral position with index $\kappa$ in a complex projective variety $X$ of dimension $n.$ Let $A$ be an ample Cartier divisor on $X.$ We obtain that if a…
Given a free-by-cyclic group $G = F_N \rtimes_\varphi \mathbb{Z}$ determined by any outer automorphism $\varphi \in \mathrm{Out}(F_N)$ which is represented by an expanding irreducible train-track map $f$, we construct a $K(G,1)$ $2$-complex…
We introduce monoidal categories whose monoidal products of any positive number of factors are lax coherent and whose nullary products are oplax coherent. We call them $\mathsf{Lax}^+\mathsf{Oplax}^0$-monoidal. Dually, we consider…
Given a finitely generated and projective Lie-Rinehart algebra, we show that there is a continuous homomorphism of complete commutative Hopf algebroids between the completion of the finite dual of its universal enveloping Hopf algebroid and…
We show that the exterior algebra of a vector space $V$ of dimension greater than one admits a one-parameter family of braided Hopf algebra structures, arising from its identification with a Nichols algebra. We explicitly compute the…
We prove the graded braided commutativity of the Hochschild cohomology of $A$ with trivial coefficients, where $A$ is a braided Hopf algebra in the category of Yetter-Drinfeld modules over the group algebra of an abelian group, under some…
Let A be any finite dimensional Hopf algebra over a field k. We specify the Tate and Tate-Hochschild cohomology for A and introduce cup products that make them become graded rings. We establish the relationship between these rings. In…
Let $(X,E)$ be a smooth log Calabi-Yau pair consisting of a smooth Fano surface $X$ and a smooth anticanonical divisor $E$. We obtain certain higher genus local Gromov-Witten invariants from the projectivization of the canonical bundle $Z…
Let $X$ be an irreducible singular Riemann surface, with desingularisation $\widetilde X$. The generalised Jacobian $J(X)$ of $X$ fibers over the Jacobian $J(\widetilde{X})$ of $\widetilde X$, and there is an Abel map $A$ of $\widetilde X$…
We show that the braided tensor product algebra $A_1\underline{\otimes}A_2$ of two module algebras $A_1, A_2$ of a quasitriangular Hopf algebra $H$ is equal to the ordinary tensor product algebra of $A_1$ with a subalgebra of…
We give a general construction of rings graded by the conjugacy classes of a finite group. Some examples of our construction are the Hochschild cohomology ring of a finite group algebra, the Grothendieck ring of the Drinfel'd double of a…
For abelian varieties $A$, in the most interesting cohomology theories $H^* (A)$ is the exterior algebra of $H^1(A)$. In this paper we study a weak generalization of this in the case of arithmetic manifolds associated to orthogonal or…
The Garsia--Haiman module is a bigraded $\mathfrak{S}_n$-module whose Frobenius image is a Macdonald polynomial. The method of orbit harmonics promotes an $\mathfrak{S}_n$-set $X$ to a graded polynomial ring. The orbit harmonics can be…
Let $A \rightarrowtail G\twoheadrightarrow Q$ be a stem-extension and let $\rho: A\times G\to G$ be the multiplication map. We show that there is a natural map $\varphi: H_1(\Sigma_2^\epsilon, {\rm…