## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorUrs
• CommentTimeFeb 12th 2018
• (edited 6 days ago)

I am running into the following simple question and am wondering if there is anything useful to be said.

Let

$\mathcal{A} \in dgcAlg_\mathbb{Q}$

be a differential graded-commutative algebra in characteristic zero, whose underlying graded algebra is free graded-commutative on some graded vector space $V$:

$\mathcal{A} = (Sym(V), d) \,.$

$c \in \mathcal{A}_{odd} \,,$

and write $(c)$ for the ideal it generates.

In this situation I’d like to determine whether it is true that

1. there is an inclusion $\mathcal{A}/(c) \hookrightarrow \mathcal{A}$;

2. for every element $\omega \in \mathcal{A}$ there is a decomposition

$\omega = \omega_0 + c \omega_1$

for unique $\omega_0, \omega_1 \in \mathcal{A}/(c) \hookrightarrow \mathcal{A}$.

For example if $c \neq 0 \in V_{odd} \hookrightarrow \mathcal{A}_{odd} \hookrightarrow \mathcal{A}$ is a generator, then these conditions are trivially true.

On the other extreme, if $c$ is the product of an odd number $\gt 1$ of odd generators, then it is not true. For example if $c = c_1 c_2 c_3$, with $c_1, c_2, c_3 \in V_{odd} \hookrightarrow \mathcal{A}_{odd}$, then for instance $c (1 + c_1) = c (1 + c_2) = c$ and so the coefficient $\omega_1$ is not unique.

Is there anything useful that one can say in general?

• CommentRowNumber2.
• CommentAuthorUrs
• CommentTime7 days ago
• (edited 7 days ago)

So an equivalent way to ask this is:

given an odd element $c$ in a semifree dgc-algebra $\mathcal{A}$ in characteristic 0, with $deg(c) \geq 3$, what are conditions that the sequence of graded modules

$\cdots \to \mathcal{A} \overset{c \cdot (-)}{\longrightarrow} \mathcal{A} \overset{c \cdot (-)}{\longrightarrow} \mathcal{A} \to \cdots$

is exact?

Is it sufficient that $c$ is not decomposable as $c = \alpha \wedge \underset{deg = 1}{\underbrace{\beta}}$?

• CommentRowNumber3.
• CommentAuthorUrs
• CommentTime6 days ago

Hisham kindly points out to me that in the case that the element $c$ in #2 is closed, the cohomology which I am asking about is sometimes called H-cohomology, e.g. p. 19 of

Good to have a name to attach to it, that might make talking about it easier. On the other hand, I do need it for $c$ not closed…

• CommentRowNumber4.
• CommentAuthorUrs
• CommentTime6 days ago

So I am starting something at H-cohomology.

• CommentRowNumber5.
• CommentAuthorUrs
• CommentTime3 days ago

I have sent the question to MO, here.

• CommentRowNumber6.
• CommentAuthorUrs
• CommentTime4 hours ago
• (edited 4 hours ago)

There is a simple argument in Severa 05, p.1 (have added the reference) for the H-cohomology of graded symplectic forms. This should generalize to the case that I need by the double complex spectral sequence. But not tonight…