On extending A -modules through the coefficients
On extending \(\mathcal A\) -modules through the coefficients
\(\Gamma(\mathcal A)\)-presheaf\(\mathcal A\)-automorphismalmost complex structurecomplex conjugationcomplexificationKronecker gaugenonzero-nilpotent \(\mathcal A\)-modulesubalgebra sheaf
Automorphisms and endomorphisms of algebraic structures (08A35) Structure, classification theorems for modules and ideals in commutative rings (13C05) Multilinear algebra, tensor calculus (15A69) General module theory in associative algebras (16D10) Module categories in associative algebras (16D90) Categorical structures (18D99) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)
Ambient space in this paper is the category of free \(\mathcal A\)-modules, where \(\mathcal A\) is an \(\mathbb R\)-algebra sheaf. The authors model their results on free \(\mathcal A\)-modules on the results in the classical case. Complexification \(\mathcal A_\mathbb C\) of free \(\mathcal A\)-modules is the process of obtaining new free \(\mathcal A\)-modules by enlarging the \(\mathbb R\)-algebra sheaf \(\mathcal A\) to a \(\mathbb C\)-algebra sheaf \(\mathcal A_\mathbb C=\mathbb C\otimes_\mathbb R \mathcal A\). For an \(\mathcal A\)-module \(\mathcal E\) , the complete presheaf of sections of \(\mathcal E\) (denoted by \(\Gamma(\mathcal E)\)) is a complete \(\Gamma(\mathcal A)\)-presheaf. Some of the results are as follows: Theorem 1.1: Let \(\mathcal A\) be an algebra sheaf, \(\mathcal B\) a subalgebra sheaf in \(\mathcal A\), \(\mathcal E\) a free \(\mathcal B\)-module and let \(\vartheta\) be the canonical \(\Gamma(\mathcal B)\)-morphism \(\vartheta=1\otimes id_{\Gamma(\mathcal E)}\). Then, the ordered pair \((\Gamma(\mathcal E_\mathcal A), \vartheta)\) has the following universal property: For every pair \((\Gamma(\mathcal F),\nu)\), where \(\mathcal F\) is an \(\mathcal A\)-module and \(\nu\) is a \(\Gamma(\mathcal B)\) morphism of the \(\Gamma(\mathcal B)\) presheaf \(\Gamma(\mathcal E)\) into the underlying \(\Gamma(\mathcal B)\)-presheaf of \(\Gamma(\mathcal F)\), there is a uniquely defined \(\Gamma(\mathcal A)\) morphism \(\tilde\nu\) sending \(\Gamma(\mathcal E_\mathcal A)\) into \(\Gamma(\mathcal F)\), such that \(\nu=\tilde\nu\circ\vartheta\). Theorem 2.1: Let \(\mathcal A\) be an ordered nonzero-nilpotent free \(\mathbb R\)-algebra sheaf, and \(\mathcal E\) a free \(\mathcal E\)-module. Then, \(\mathcal E \) carries an \(\mathcal A_\mathbb C\)-module structure if and only if, there exists a \(J\in\)End\(_\mathcal A\mathcal E\), such that \(J^2=-1\). Theorem 2.2: The sheaf \(\mathcal S\) of sets of almost complex structures on \((_\mathbb R\mathcal A)^{2n}\) is such that, for every open \(U\subseteq X\), \(S(U)\) consists of all \(A^{-1}JA\), where \(A\in \mathcal G\mathcal L(2n,_\mathbb R\mathcal A)(U)\) and \(J\) is the standard almost complex structure of \((_\mathbb R\mathcal A)^{2n}(U)\). That is, the same is determined by the quotient sheaf \(\mathcal G\mathcal L(2n,_\mathbb R\mathcal A)/\mathcal G\mathcal L(n,\mathcal A)\).
- Complex geometry. An introduction
- Complexification in A-modules
- scientific article; zbMATH DE number 3732239 (Why is no real title available?)
- scientific article; zbMATH DE number 194100 (Why is no real title available?)
- scientific article; zbMATH DE number 1161549 (Why is no real title available?)
- scientific article; zbMATH DE number 1544758 (Why is no real title available?)
- scientific article; zbMATH DE number 3297207 (Why is no real title available?)
This page was built for publication: On extending \(\mathcal A\) -modules through the coefficients
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1943563)
