<p>We show that the cohomology of the Regge complex in three dimensions is isomorphic to <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\( \mathcal {H}^{{\scriptscriptstyle \bullet }}_{dR}(\varOmega )\otimes \mathcal{R}\mathcal{M}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mrow> <mi mathvariant="script">H</mi> </mrow> <mrow> <mi mathvariant="italic">dR</mi> </mrow> <mstyle displaystyle="false" scriptlevel="2"> <mo>∙</mo> </mstyle> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>Ω</mi> <mo stretchy="false">)</mo> </mrow> <mo>⊗</mo> <mi mathvariant="script">R</mi> <mi mathvariant="script">M</mi> </mrow> </math></EquationSource> </InlineEquation>, the de Rham cohomology of differential forms with values in infinitesimal rigid body motions. Based on an observation that the twisted de&#xa0;Rham complex extends the elasticity complex (based on Riemannian deformation) to the linearized version of coframes, connection 1-forms, curvature and Cartan’s torsion, we construct a discrete version of linearized Riemann-Cartan geometry on any triangulation and determine its cohomology.</p>

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

Extended Regge Complex for Linearized Riemann-Cartan Geometry and Cohomology

  • Snorre H. Christiansen,
  • Kaibo Hu,
  • Ting Lin

摘要

We show that the cohomology of the Regge complex in three dimensions is isomorphic to \( \mathcal {H}^{{\scriptscriptstyle \bullet }}_{dR}(\varOmega )\otimes \mathcal{R}\mathcal{M}\) H dR ( Ω ) R M , the de Rham cohomology of differential forms with values in infinitesimal rigid body motions. Based on an observation that the twisted de Rham complex extends the elasticity complex (based on Riemannian deformation) to the linearized version of coframes, connection 1-forms, curvature and Cartan’s torsion, we construct a discrete version of linearized Riemann-Cartan geometry on any triangulation and determine its cohomology.