Related papers: On Sweedler's cofree cocommutative coalgebra
We trace derivations through Demazure's correspondence between a finitely generated positively graded normal $k$-algebras $A$ and normal projective $k$-varieties $X$ equipped with an ample $\mathbb{Q}$-Cartier $\mathbb{Q}$-divisor $D$. We…
Using the theory of coalgebra, we introduce a uniform framework for adding modalities to the language of propositional geometric logic. Models for this logic are based on coalgebras for an endofunctor on some full subcategory of the…
Three categories of algebras with morphisms generalising the usual set of algebra homomorphisms are described. The Sweedler product provides a hom-tensor equivalence relating these three categories, and a tool enabling the universal…
We investigate cofree coalgebras, and limits and colimits of coalgebras in some abelian monoidal categories of interest, such as bimodules over a ring, and modules and comodules over a bialgebra or Hopf algebra. We find concrete generators…
We adopt the viewpoint that topological And\'e-Quillen theory for commutative $S$-algebras should provide usable (co)homology theories for doing calculations in the sense traditional within Algebraic Topology. Our main emphasis is on…
We prove universality for cokernels of random integral matrices with symmetries via an approach different from the classical surjection moment method introduced by Wood (arXiv:1402.5149). In the symmetric case, we reprove Hodges'…
We compute the cohomology ring of a generalised type of configuration space of points in $\mathbb{R}^r$. This configuration space is indexed by a graph. In the case the graph is complete the result is known and it is due to Arnold and…
We present a simple proof of a precise version of the localization theorem in equivariant cohomology. As an application, we describe the cohomology algebra of any compact symplectic variety with a multiplicity-free action of a compact Lie…
We give an elementary proof of a compact embedding theorem in abstract Sobolev spaces. The result is first presented in a general context and later specialized to the case of degenerate Sobolev spaces defined with respect to nonnegative…
We show that the total cohomology of the canonical bundle of a smooth projective variety, seen as a module over an exterior algebra, splits into a natural direct sum of submodules which are generated in degree zero and have a linear free…
We give necessary conditions for the existence of a compact manifold locally modelled on a given homogeneous space, which generalize some earlier results, in terms of relative Lie algebra cohomology. Applications include both reductive and…
The paper concerns Hochschild cohomology of a commutative algebra S, which is essentially of finite type over a commutative noetherian ring K and projective as a K-module, with coefficients in an S-module M. It is proved that vanishing of…
For a set-endofunctor $F$, we extend the notion of universal $F$-coalgebras to $F$-graphs. These generalized coalgebras are models for various types of graphs, such as (un)directed (hyper)graphs, relational structures or fuzzy graphs. The…
Let $X \overset{f}\longrightarrow S$ be a morphism of Noetherian schemes, with $S$ reduced. For any closed subscheme $Z$ of $X$ finite over $S$, let $j$ denote the open immersion $X\setminus Z \hookrightarrow X$. Koll\'ar asked whether for…
Many combinatorial proofs rely on induction. When these proofs are formulated in traditional language, they can be bulky and unmanageable. Coalgebras provide a language which can reduce reduce many inductive proofs in graded poset theory to…
The notion of a coalgebra measuring, introduced by Sweedler, is a kind of generalized ring map between algebras. We begin by studying maps on Hochschild homology induced by coalgebra measurings. We then introduce a notion of coalgebra…
Principal comodule algebras can be thought of as objects representing principal bundles in non-commutative geometry. A crucial component of a principal comodule algebra is a strong connection map. For some applications it suffices to prove…
We present a general theorem which computes the cohomology of a homological vector field on global sections of vector bundles over smooth affine supervarieties. The hypotheses and results have the clear flavor of a localization theorem.
Based on the definition of vertex coalgebra introduced by Hubbard [H], we prove that this notion can be reformulated using the Co-Commutator, Co-Skew symmetry and Co-Associator formulas without restrictions on the grading.
A Com-PreLie bialgebra is a commutative bialgebra with an extra preLie product satisfying some compatibilities with the product and the coproduct. We here give examples of cofree Com-PreLie bialgebras, including all the ones such that the…