All Questions
Tagged with homological-algebra qa.quantum-algebra
15 questions
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^...