Skip to main content

All Questions

Filter by
Sorted by
Tagged with
6 votes
0 answers
353 views

Homotopy transfer of cyclic L-infinity algebras

Suppose $W$ is a cyclic $L_\infty$ algebra, i.e. $W$ has a non-degenerate, symmetric, invariant pairing $\langle\cdot,\cdot\rangle_W$. Let $V$ be a cochain complex, and suppose given the data of a ...
7 votes
0 answers
244 views

Operad-free proofs of rectification of homotopy ($A_\infty/L_\infty$) algebras?

If (say) $L$ is an $L_\infty$-algebra, then it is known that under certain conditions there exists a quasi-isomorphic $L_\infty$-algebra $L'$ which is a differential graded Lie algebra: all ternary ...
5 votes
1 answer
129 views

Covariant splittings of Hopf algebra projections

What is an example of a pair of Hopf algebras $(A,B)$ with a surjective Hopf algebra map $\phi:A \to B$ such that $\phi$ does not admit a $B$-bi-comodule splitting $s:B \to A$? To be clear, the right $...
5 votes
1 answer
210 views

Cotensoring by a Hopf Algebra

For $H$ a Hopf algebra, with bijective antipode. For a right, and a left, $H$-comodule $(V,\alpha_R)$, and $(W,\alpha_L)$ respectively, the cotensor product of $V$ and $W$ is $$ V \square_H W := \ker(...
28 votes
0 answers
527 views

What algebraic structure characterizes all natural operations between differential operators and differential forms?

On a smooth manifold $M$ one can define various algebraic structures, natural with respect to diffeomorphisms: the differential graded-commutative algebra $\Omega(M)$ of differential forms on $M$; ...
3 votes
0 answers
53 views

Quotient of quasi-isomorphic nonpositively graded cdga's

I'm looking for a theorem about quotient of quasi-isomorphic cdga's: Let $A, B$ be two cdga's (commutative differential $\mathbb Z$-graded algebra) concentrated in nonpositive degree, and $\mathfrak ...
4 votes
1 answer
193 views

Quotient of quasi-isomorphic cdga's

I'm looking for a theorem about quotient of quasi-isomorphic cdga's: Let $A, B$ be two cdga's (commutative differential $\mathbb Z$-graded algebra) of nonpositive degrees, and $\mathfrak m \subset A, ...
7 votes
1 answer
556 views

Quadratic algebras, quadratic operads, quadratic categories and quantum cohomology

Motivated by the quantisation of the symmetric laws in physics, the category of quadratic algebras has been endowed with two tensor products by Manin in his Montreal lectures notes. These products ...
7 votes
0 answers
433 views

What is the endomorphism cooperad?

In Loday and Vallette's book on algebraic operads, they use the "Endomorphism cooperad $End^c_{s\mathbb{K}}$", where $s\mathbb{K}$ is the base field, shifted into (homological) degree one. This is an ...
4 votes
1 answer
423 views

Formality of the little $n$-disks operad and deformation theory

In [Another proof of M. Kontsevich formality theorem], Tamarkin provides a proof of the formality of the differential graded Lie algebra controlling the deformation of a polynomial associative algebra....
3 votes
1 answer
365 views

Brace algebra structure on the Hochschild complex of an associative algebra

As shown by Gerstenhaber and Voronov [Higher operations on the Hochschild complex], the Hochschild complex of an associative algebra is endowed with a natural structure of brace algebra. The first ...
12 votes
0 answers
333 views

Does the $(\mathbb Z/2)$-graded isomorphism $E_n \cong E_{n+2}$ have any nice properties?

This question assumes everything is dg. Let's decide to work over the "field" $\mathbb Q[\mu,\mu^{-1}]$ where $\mu$ has homological degree $+2$. Then chain complexes are just $\mathbb Z/2$-graded. ...
3 votes
1 answer
592 views

Local Cohomology and Maximal-Cohen-Macaulay modules

Checking a recent article [this one, specifically section 3.1] I found the following claim (I'm paraphrasing, of course): Let $A$ be a graded connected noetherian algebra (not necessarily ...
7 votes
0 answers
460 views

Quantum polynomial rings and singularities

Something I've been thinking about lately has led me to wonder about the following. Consider the quantum polynomial ring $ Q= \mathbb{C}_{-1}[x_1,...x_n]$ generated as a graded ring in degree 1 with ...
3 votes
1 answer
336 views

Why are relations of degree 3 or less enough in a presentation of the polynomial current Lie algebra g[t]?

Let $\mathfrak{g}$ be a finite dimensional simple Lie algebra over $\mathbb{C}$. The polynomial current Lie algebra $\mathfrak{g}[t] = \mathfrak{g} \otimes \mathbb{C} [t]$ has the bracket $$[xt^r, yt^...