Skip to main content
Fixed minor typos, added tags
Source Link
David White
  • 30.3k
  • 9
  • 153
  • 250

GivenConsider two cochain DGA (differential graded algebraalgebras) named $A$, and $B$. For coproductBy "coproduct" of two DGA I mean the category theory coproduct, not coalgebra'sthe coalgebra coproduct. It is defined in "A closed model structure for differential graded algebras" by J.F.Jardine. And cohomology of an algebra $A$ is defined by $H^{i + 1}(A)=\ker(d^{i+1})/\operatorname{Im}(d^{i})$. It is a natural DGA with zero differential. Then we can define the coproduct of two cohomology algebraalgebras. The question now becomes: Whether whether the following statement is true

$$H(A) \amalg H(B) \cong H(A \amalg B)$$

where the isomorphism is taken under $\mathbf{DGA}_k$.

I think it is true at least for DG algebraalgebras with the underlying structure of free algebraalgebras, with zero differential. I have written a proof. But I am still checking it.

Given two cochain DGA (differential graded algebra) named $A$, $B$. For coproduct of two DGA I mean category theory coproduct, not coalgebra's coproduct. It is defined in "A closed model structure for differential graded algebras" by J.F.Jardine. And cohomology of an algebra $A$ is defined by $H^{i + 1}(A)=\ker(d^{i+1})/\operatorname{Im}(d^{i})$. It is a natural DGA with zero differential. Then we can define coproduct of two cohomology algebra. The question now becomes: Whether the following statement is true

$$H(A) \amalg H(B) \cong H(A \amalg B)$$

where isomorphism is taken under $\mathbf{DGA}_k$.

I think it is true at least for DG algebra with underlying structure free algebra, with zero differential. I have written a proof. But I am still checking it.

Consider two cochain DGA (differential graded algebras) named $A$ and $B$. By "coproduct" of two DGA I mean the category theory coproduct, not the coalgebra coproduct. It is defined in "A closed model structure for differential graded algebras" by J.F.Jardine. And cohomology of an algebra $A$ is defined by $H^{i + 1}(A)=\ker(d^{i+1})/\operatorname{Im}(d^{i})$. It is a natural DGA with zero differential. Then we can define the coproduct of two cohomology algebras. The question now becomes whether the following statement is true

$$H(A) \amalg H(B) \cong H(A \amalg B)$$

where the isomorphism is taken under $\mathbf{DGA}_k$.

I think it is true at least for DG algebras with the underlying structure of free algebras, with zero differential. I have written a proof. But I am still checking it.

Name of paper; $\coprod$ -> $\amalg$; de-bolding $k$
Source Link
LSpice
  • 12.9k
  • 4
  • 45
  • 69

Given two cochain DGA (differential graded algebra) named $A,B$$A$, $B$. For coproduct of two DGA I mean category theory coproduct, not coalgebra's coproduct. It is defined in this paper by"A closed model structure for differential graded algebras" by J.F.Jardine. And cohomology of an algebra $A$ is defined by $H(A)=ker(d)^{i+1}/Im(d)^{i}$$H^{i + 1}(A)=\ker(d^{i+1})/\operatorname{Im}(d^{i})$. It is a natural DGA with zero differential. Then we can define coproduct of two cohomology algebra. The question now becomes: Whether the following statement is true

$H(A) \coprod H(B) \cong H(A \coprod B)$$$H(A) \amalg H(B) \cong H(A \amalg B)$$

Wherewhere isomorphism is taken under $\mathbf{DGA_k}$$\mathbf{DGA}_k$.

I think it is true at least for DG algebra with underlying structure free algebra, with zero differential. I have written a proof. But I am still checking it.

Given two cochain DGA (differential graded algebra) named $A,B$. For coproduct of two DGA I mean category theory coproduct, not coalgebra's coproduct. It is defined in this paper by J.F.Jardine. And cohomology of an algebra $A$ is defined by $H(A)=ker(d)^{i+1}/Im(d)^{i}$. It is a natural DGA with zero differential. Then we can define coproduct of two cohomology algebra. The question now becomes: Whether the following statement is true

$H(A) \coprod H(B) \cong H(A \coprod B)$

Where isomorphism is taken under $\mathbf{DGA_k}$.

I think it is true at least for DG algebra with underlying structure free algebra, with zero differential. I have written a proof. But I am still checking it.

Given two cochain DGA (differential graded algebra) named $A$, $B$. For coproduct of two DGA I mean category theory coproduct, not coalgebra's coproduct. It is defined in "A closed model structure for differential graded algebras" by J.F.Jardine. And cohomology of an algebra $A$ is defined by $H^{i + 1}(A)=\ker(d^{i+1})/\operatorname{Im}(d^{i})$. It is a natural DGA with zero differential. Then we can define coproduct of two cohomology algebra. The question now becomes: Whether the following statement is true

$$H(A) \amalg H(B) \cong H(A \amalg B)$$

where isomorphism is taken under $\mathbf{DGA}_k$.

I think it is true at least for DG algebra with underlying structure free algebra, with zero differential. I have written a proof. But I am still checking it.

Source Link
wer
  • 159
  • 4

Does coproduct preserve cohomology in differential graded algebra category

Given two cochain DGA (differential graded algebra) named $A,B$. For coproduct of two DGA I mean category theory coproduct, not coalgebra's coproduct. It is defined in this paper by J.F.Jardine. And cohomology of an algebra $A$ is defined by $H(A)=ker(d)^{i+1}/Im(d)^{i}$. It is a natural DGA with zero differential. Then we can define coproduct of two cohomology algebra. The question now becomes: Whether the following statement is true

$H(A) \coprod H(B) \cong H(A \coprod B)$

Where isomorphism is taken under $\mathbf{DGA_k}$.

I think it is true at least for DG algebra with underlying structure free algebra, with zero differential. I have written a proof. But I am still checking it.