De Rham Cohomology and Integration in Manifolds

Mathematical Notes -     

De Rham Cohomology and Hodge Decomposition For Quantum Groups

Let be one of the N²-dimensionalbicovariant first order differential calculi for the quantumgroups GL_q(N), SL_q(N), SO_q(N), or Sp_q(N), where q is a transcendentalcomplex number and z is a regular parameter. It is shown thatthe de Rham cohomology of Woronowicz' external algebra coincides with the de Rham cohomologiesof its left-coinvariant, its right-coinvariant and its (two-sided)coinvariant subcomplexes. In the cases GL_q(N) and SL_q(N) thecohomology ring is isomorphic to the coinvariant external algebra and to the vector space of harmonic forms. We prove a Hodge decomposition theorem in thesecases. The main technical tool is the spectral decompositionof the quantum Laplace-Beltrami operator. 2000 MathematicalSubject Classification: 46L87, 58A12, 81R50.     

Abstract Differential Geometry, Differential Algebras of Generalized Functions, and de Rham Cohomology

Abstract differential geometry is a recent extension of classical differential geometry on smooth manifolds which, however, does no longer use any notion of Calculus. Instead of smooth functions, one starts with a sheaf of algebras, i.e., the structure sheaf, considered on an arbitrary topological space, which is the base space of all the sheaves subsequently involved. Further, one deals with a sequence of sheaves of modules, interrelated with appropriate differentials, i.e., suitable Leibniz sheaf morphisms, which will constitute the differential complex. This abstract approach captures much of the essence of classical differential geometry, since it places a powerful apparatus at our disposal which can reproduce and, therefore, extend fundamental classical results. The aim of this paper is to give an indication of the extent to which this apparatus can go beyond the classical framework by including the largest class of singularities dealt with so far. Thus, it is shown that, instead of the classical structure sheaf of algebras of smooth functions, one can start with a significantly larger, and nonsmooth, sheaf of so-called nowhere dense differential algebras of generalized functions. These latter algebras, which contain the Schwartz distributions, also provide global solutions for arbitrary analytic nonlinear PDEs. Moreover, unlike the distributions, and as a matter of physical interest, these algebras can deal with the vastly larger class of singularities which are concentrated on arbitrary closed, nowhere dense subsets and, hence, can have an arbitrary large positive Lebesgue measure. Within the abstract differential geometric context, it is shown that, starting with these nowhere dense differential algebras as a structure sheaf, one can recapture the exactness of the corresponding de Rham complex, and also obtain the short exponential sequence. These results are the two fundamental ingredients in developing differential geometry along classical, as well as abstract lines. Although the commutative framework is used here, one can easily deal with a class of singularities which is far larger than any other one dealt with so far, including in noncommutative theories.     

A Delocalization Property for Assembly Maps and an Application in Algebraic K-Theory of Group Rings

Let be a group, F the free -module on the set of finite order elements in , with acting by conjugation, and the ring extension of by % MathType!MTEF!2!1!+-% feaafiart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr% 4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq-Jc9% vqaqpepm0xbba9pwe9Q8fs0-yqaqpepae9pg0FirpepeKkFr0xfr-x% fr-xb9adbaqaaeaacaGaaiaabeqaamaabaabaaGcbaWaaiWaaeaada% WcaaqaaiaaigdaaeaatCvAUfKttLearyGqLXgBG0evaGqbciab-5ga% UbaaieaacaGFLbGaaGOmaiaabc8acqWFPbqAcaqGVaGae8NBa42aaq% qaaeaacqGHdicjcqaHZoWzcqGHiiIZcqqHtoWrcaqGGaGaae4Baiaa% bAgacaqGGaGaae4BaiaabkhacaqGKbGaaeyzaiaabkhacaqGGaGae8% NBa4gacaGLhWoaaiaawUhacaGL9baaaaa!563E!\[\left\{ {\frac{1}{n}e2{\text{\pi }}i{\text{/}}n\left| {\exists \gamma \in \Gamma {\text{ of order }}n} \right.} \right\}\]. For a ring R with , we build an injective assembly map , detected by the Dennis trace map. This is proved by establishing a delocalization property for the assembly map in Hochschild homology, namely providing a gluing of simpler assembly maps (i.e. localized at the identity of ) to build , and by delocalizing a known assembly map in K-theory to define . We also prove the delocalization property in cyclic homology and in related theories.     

Algebraic techniques for least squares problems in commutative quaternionic theory

Due to the rise of commutative quaternion in Hopfield neural networks, digital signal, and image processing, one encounters the approximate solution problems of the commutative quaternion linear equations $AX\approx B$ and $AXC\approx B$. This paper, by means of real representation and complex representation of commutative quaternion matrices, introduces concepts of norms of commutative quaternion matrices and derives two algebraic techniques for finding solutions of least squares problems in commutative quaternionic theory.     

Finiteness Conditions for Hochschild Homology Algebra and Free Loop Space Cohomology Algebra

We prove that over a characteristic zero field, in most cases, neither the Hochschild homology algebra of a commutative algebra, nor the free loop space cohomology algebra of a topological space, is finitely generated.     

Algebraic methods for equality constrained least squares problems in commutative quaternionic theory

This paper, by means of two matrix representations of a commutative quaternion matrix, studies the relationship between the solutions of commutative quaternion equality constrained least squares (LSE) problems and that of complex and real LSE problems and derives two algebraic methods for finding the solutions of equality constrained least squares problems in commutative quaternionic theory.     

Software Engineering and complexity in effective Algebraic Geometry

One may represent polynomials not only by their coefficients but also by arithmetic circuits which evaluate them. This idea allowed in the past fifteen years considerable complexity progress in effective polynomial equation solving. We present a circuit based computation model which captures all known symbolic elimination algorithms in effective Algebraic Geometry and exhibit a class of simple elimination problems which require exponential size circuits to be solved in this model. This implies that the known, circuit based elimination algorithms are already optimal.     

Rigidity and moduli space in Real Algebraic Geometry

Let R be a real closed field and let X be an affine algebraic variety over R. We say that X is universally map rigid (UMR for short) if, for each irreducible affine algebraic variety Z over R, the set of nonconstant rational maps from Z to X is finite. A bijective map from an affine algebraic variety over R to X is called weak change of the algebraic structure of X if it is regular and φ⁻¹ is a Nash map, which preserves nonsingular points. We prove the following rigidity theorem: every affine algebraic variety over R is UMR up to a weak change of its algebraic structure. Let us introduce another notion. Let Y be an affine algebraic variety over R. We say that X and Y are algebraically unfriendly if all the rational maps from X to Y and from Y to X are trivial, i.e., Zariski locally constant. From the preceding theorem, we infer that, if dim (X)≥1, then there exists a set of weak changes of the algebraic structure of X such that, for each t,s ∈ R with t≠s, and are algebraically unfriendly. This result implies the following expected fact: For each (nonsingular) affine algebraic variety X over R of positive dimension, the natural Nash structure of X does not determine the algebraic structure of X. In fact, the moduli space of birationally nonisomorphic (nonsingular) affine algebraic varieties over R, which are Nash isomorphic to X, has the same cardinality of R. This result was already known under the special assumption that R is the field of real numbers and X is compact and nonsingular. The author is a member of GNSAGA of CNR, partially supported by MURST and European Research Training Network RAAG 2002–2006 (HPRN–CT–00271).     

Morita Invariance in Cyclic Homology for Nonunital Algebras

Let E and F be two linear subspaces of an algebra A over a field of characteristic zero and let A(EF), A(FE) be the subalgebras of A generated by EF and FE, respectively. We show that A(EF) and A(FE) have the same periodic cyclic homology.     

Algebraic K-Theory and the Conjectural Leibniz K-Theory

The analogy between algebraic K-theory and cyclic homology is used to build a program aiming at understanding the algebraic K-theory of fields and the periodicity phenomena in algebraic K-theory. In particular, we conjecture the existence of a Leibniz K-theory which would play the role of Hochschild homology. We propose a motivated presentation for the Leibniz K ₂-group ofa field.     

Higher topological cyclic homology and the Segal conjecture for tori

We investigate higher topological cyclic homology as an approach to studying chromatic phenomena in homotopy theory. Higher topological cyclic homology is constructed from the fixed points of a version of topological Hochschild homology based on the n-dimensional torus, and we propose it as a computationally tractable cousin of n-fold iterated algebraic K-theory.The fixed points of toral topological Hochschild homology are related to one another by restriction and Frobenius operators. We introduce two additional families of operators on fixed points, the Verschiebung, indexed on self-isogenies of the n-torus, and the differentials, indexed on n-vectors. We give a detailed analysis of the relations among the restriction, Frobenius, Verschiebung, and differentials, producing a higher analog of the structure Hesselholt and Madsen described for 1-dimensional topological cyclic homology.We calculate two important pieces of higher topological cyclic homology, namely topological restriction homology and topological Frobenius homology, for the sphere spectrum. The latter computation allows us to establish the Segal conjecture for the torus, which is to say to completely compute the cohomotopy type of the classifying space of the torus.     

Free C-Algebras and the Problem of Uniquenes of Extension in Non-commutative Hahn-Banach Theorem

ＦｒｅＣ＊┐ＡｌｇｅｂｒａｓａｎｄｔｈｅＰｒｏｂｌｅｍｏｆＵｎｉｑｕｅｎｅｓｏｆＥｘｔｅｎｓｉｏｎｉｎＮｏｎ┐ｃｏｍｍｕｔａｔｉｖｅＨａｈｎ┐ＢａｎａｃｈＴｈｅｏｒｅｍ＊）ＺｈａｎｇＬｕｎｃｈｕａｎ（张伦传）ａｎｄＭａＪｉｐｕ（马吉溥）（Ｄｅｐａｒｔ...     

一种非经典晶体塑性本构模型及其应用

根据不可逆变形过程中材料微结构的储能特性，采用由弹簧和塑性阻尼器构成的简单机械模型建立了不采用屈服判据的单晶本构关系·在此基础上形成了与ＫＢＷ自洽理论相应的多晶计算格式·计算格式中无需对滑移系的开动和滑移方向进行搜索，使计算过程大为简化·在多晶体分析中，提出了一种基于正２０面体各面内取向随机分布单晶响应的高斯平均和在空间完全均匀分布的２０个方向上算术平均的混合平均方案，与通常的纯高斯积分平均方案相比，在计算精度和效率上都有较大提高·用所发展的模型和算法分析了３１６不锈钢在具有代表性的路径下的循环塑性，得到了与实验相一致的结果·     

Mixed Hodge structure in cyclic homology and algebraic K-theory, 1

Deligne defined the notion of a mixed Hodge structure (MHS) and proved that every quasiprojective variety over has a natural MHS on its cohomology. This paper establishes similar results for cyclic homology and the algebraic K-theory of simply connected quasi-projective varieties over . In the nonsimply connected case, an MHS is established on certain quotient groups of algebraic K-theory.Supported by a NSERC University Research Fellowship and operating grant.     

Boundedness in Lebesgue spaces for commutators of multilinear singular integrals and RBMO functions with non-doubling measures

The boundedness in Lebesgue spaces for commutators generated by multilinear singular integrals and RBMO(μ) functions of Tolsa with non-doubling measures is obtained, provided that‖μ‖=∞and multilinear singular integrals are bounded from L1(μ)×L1(μ)to L1/2,∞(μ).     

多层气藏中气体流动问题的新模型及其应用

本文针对气井产量与井筒集是变数时,建立了多层气藏内真实气体渗流问题的新模型,求出了三种典型外边界条件下各储层压力分布精确解,作为特例,又得到了均质气藏内压力分布的精确解并给出了在气田开发中的应用.     

Solutions for PDEs with constant coefficients and derivability of functions ranged in commutative algebras

Given a PDE with real or complex partial derivatives and with constant coefficients, we propose a method of assigning to it a set of algebra‐valued functions in such a manner that the components of the latter are solutions of the PDE. Copyright © 2013 John Wiley & Sons, Ltd.     

Higher Algebraic <Emphasis Type="BoldItalic">K</Emphasis>-theory for Twisted Laurent Series Rings Over Orders and Semisimple Algebras

Let R be the ring of integers in a number field F, Λ any R-order in a semisimple F-algebra Σ, α an R-automorphism of Λ. Denote the extension of α to Σ also by α. Let Λ _α [T] (resp. Σ _α [T] be the α-twisted Laurent series ring over Λ (resp. Σ). In this paper we prove that (i) There exist isomorphisms ) for all n ≥ 1. (ii) is an l-complete profinite Abelian group for all n≥2. (iii)for all n≥2. (iv)is injective with uniquely l-divisible cokernel (for all n≥2). (v) K _–1(Λ), K _–1(Λ _α [T]) are finitely generated Abelian groups. Presented by Alain Verschoren.