<p>Let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\( R \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>R</mi> </math></EquationSource> </InlineEquation> be a principal ideal domain, and let <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(( {\mathbb {T}}(V_{n+1}\oplus V_{\le n}),\partial )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">T</mi> <mrow> <mo stretchy="false">(</mo> <msub> <mi>V</mi> <mrow> <mi>n</mi> <mo>+</mo> <mn>1</mn> </mrow> </msub> <mo>⊕</mo> <msub> <mi>V</mi> <mrow> <mo>≤</mo> <mi>n</mi> </mrow> </msub> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> <mi>∂</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(({\mathbb {T}}(W_{n+1}\oplus V_{\le n}),\delta )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">T</mi> <mrow> <mo stretchy="false">(</mo> <msub> <mi>W</mi> <mrow> <mi>n</mi> <mo>+</mo> <mn>1</mn> </mrow> </msub> <mo>⊕</mo> <msub> <mi>V</mi> <mrow> <mo>≤</mo> <mi>n</mi> </mrow> </msub> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> <mi>δ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> be two free differential graded <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\( R \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>R</mi> </math></EquationSource> </InlineEquation>-algebras such that <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\( \partial = \delta \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>∂</mi> <mo>=</mo> <mi>δ</mi> </mrow> </math></EquationSource> </InlineEquation> on <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\( v \in V_{\le n} \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>v</mi> <mo>∈</mo> <msub> <mi>V</mi> <mrow> <mo>≤</mo> <mi>n</mi> </mrow> </msub> </mrow> </math></EquationSource> </InlineEquation>. This paper is dedicated to exploring the problem of constructing a DGA-map <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\alpha :( {\mathbb {T}}(V_{n+1}\oplus V_{\le n}),\partial )\rightarrow ({\mathbb {T}}(W_{n+1}\oplus V_{\le n}),\delta )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo>:</mo> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">T</mi> <mrow> <mo stretchy="false">(</mo> <msub> <mi>V</mi> <mrow> <mi>n</mi> <mo>+</mo> <mn>1</mn> </mrow> </msub> <mo>⊕</mo> <msub> <mi>V</mi> <mrow> <mo>≤</mo> <mi>n</mi> </mrow> </msub> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> <mi>∂</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">→</mo> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">T</mi> <mrow> <mo stretchy="false">(</mo> <msub> <mi>W</mi> <mrow> <mi>n</mi> <mo>+</mo> <mn>1</mn> </mrow> </msub> <mo>⊕</mo> <msub> <mi>V</mi> <mrow> <mo>≤</mo> <mi>n</mi> </mrow> </msub> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> <mi>δ</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> such that the chain map <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\( \tilde{\alpha }_{*}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mover accent="true"> <mi>α</mi> <mo stretchy="false">~</mo> </mover> <mrow> <mrow /> <mo>∗</mo> </mrow> </msub> </math></EquationSource> </InlineEquation>, induced by <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\alpha \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>α</mi> </math></EquationSource> </InlineEquation> on the indecomposables, satisfies <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\( \tilde{\alpha } = id \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mover accent="true"> <mi>α</mi> <mo stretchy="false">~</mo> </mover> <mo>=</mo> <mi>i</mi> <mi>d</mi> </mrow> </math></EquationSource> </InlineEquation> on <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(V_{\le n}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>V</mi> <mrow> <mo>≤</mo> <mi>n</mi> </mrow> </msub> </math></EquationSource> </InlineEquation>. Our focus is to provide an algebraic condition under which <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(( {\mathbb {T}}(V_{n+1}\oplus V_{\le n}),\partial )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">T</mi> <mrow> <mo stretchy="false">(</mo> <msub> <mi>V</mi> <mrow> <mi>n</mi> <mo>+</mo> <mn>1</mn> </mrow> </msub> <mo>⊕</mo> <msub> <mi>V</mi> <mrow> <mo>≤</mo> <mi>n</mi> </mrow> </msub> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> <mi>∂</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(({\mathbb {T}}(W_{n+1}\oplus V_{\le n}),\delta )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">T</mi> <mrow> <mo stretchy="false">(</mo> <msub> <mi>W</mi> <mrow> <mi>n</mi> <mo>+</mo> <mn>1</mn> </mrow> </msub> <mo>⊕</mo> <msub> <mi>V</mi> <mrow> <mo>≤</mo> <mi>n</mi> </mrow> </msub> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> <mi>δ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> become quasi-isomorphic.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

On extending identity map between two free differential graded algebras

  • Mahmoud Benkhalifa

摘要

Let \( R \) R be a principal ideal domain, and let \(( {\mathbb {T}}(V_{n+1}\oplus V_{\le n}),\partial )\) ( T ( V n + 1 V n ) , ) and \(({\mathbb {T}}(W_{n+1}\oplus V_{\le n}),\delta )\) ( T ( W n + 1 V n ) , δ ) be two free differential graded \( R \) R -algebras such that \( \partial = \delta \) = δ on \( v \in V_{\le n} \) v V n . This paper is dedicated to exploring the problem of constructing a DGA-map \(\alpha :( {\mathbb {T}}(V_{n+1}\oplus V_{\le n}),\partial )\rightarrow ({\mathbb {T}}(W_{n+1}\oplus V_{\le n}),\delta )\) α : ( T ( V n + 1 V n ) , ) ( T ( W n + 1 V n ) , δ ) such that the chain map \( \tilde{\alpha }_{*}\) α ~ , induced by \(\alpha \) α on the indecomposables, satisfies \( \tilde{\alpha } = id \) α ~ = i d on \(V_{\le n}\) V n . Our focus is to provide an algebraic condition under which \(( {\mathbb {T}}(V_{n+1}\oplus V_{\le n}),\partial )\) ( T ( V n + 1 V n ) , ) and \(({\mathbb {T}}(W_{n+1}\oplus V_{\le n}),\delta )\) ( T ( W n + 1 V n ) , δ ) become quasi-isomorphic.