关于数学物理必须要知道的常识解析.doc

万门大学数学系 2013-07-13 09:58 关于数学物理必须要知道的常识------------最有成效的学习策略 系统的整理一些东西是比较麻烦的一件事情，把一个故事从头讲到尾需要很高的见地，查阅资料给出详细的论述也会很花时间。而现在网络的发达和信息资料的开放程度，使得大家可以很容易的直接了解和学习某个知识点某个专题，也使得大家可以不按照线性顺序或者讲故事的方法学东西，而是一种维基百科式的学习。维基百科的一个特点就是专业知识的常识化或者大众化。知识的表述更加通俗化，以更大的视角，更加社会化的方式包装知识，去专业化会更加有效的传播知识。维基百科对于知识的模块化做的是非常好的。模块化包装知识和模块化学习应该是网络时代最有效的学习方法。这篇日志就是按照模块化的思路来讲解数学物理的常识（可能也要很久才能完成）。传统的课本是以知识点和逻辑来讲解理论，知识点太多的话就很难在一开始就看到全貌。对于一个理论或者学科如何划分最有效？我认为是模块化，这样就可以避免知识点太多（分的太细太小）的麻烦。从模块组装成理论比用知识点堆积成理论要容易，另一个方面同一个模块可以在不同的理论中起作用，模块的可迁移性更好，这一点很类似于模块化编程。 第一个常识： ???广义田中-克雷纳对偶（generalized Tannaka-Krein duality)这个对偶性可以用公式表示为X《====》X-representation最一般的，这个对偶是讲 一个代数系统和它的表示范畴包含了同样多的信息。这个对偶性也常被称为重构哲学。在很多理论中这个对偶性是作为最基本的motivation出现的。这个对偶性是数学物理中最常见，最常用的一个方法，所以我把它作为第一个常识。 ?其实这个对偶性是一个更一般的对偶性的在“代数范畴”中特例（这个联系学术界恐怕还没有几个人意识到）。这个最一般的对偶性称为艾林博格-穆尔对偶（Eilenberg-Moore duality）（当然我们也可以把这个对偶性解释成在2-category中的可表性或者Kan 扩张）。我把它表述成定理的形式： ?Eilenberg-Moore theorem：Every monad is defined by its T-algebra.?这个定理的证明非常简单，可以参考S.MacLane的 Categories for the Working Mathematician, 136页。 为了看出艾林博格-穆尔对偶和田中-克雷纳对偶的关系我们需要并且只需要另外一个非常重要的工作： C.E.Watts, Intrinsic characterizations of some additive functor，Proc.Amer.Math.Soc.,vol.11(1960),pp.5-8. 这个短短的只有四页文章给出了Hom 和张量积函子的范畴性刻画。 ? ------------------------------------------------------------------------------------------------------------? 现在我们给出并解释田中-克雷纳对偶的一些特例 1 庞特里亚金对偶和 傅里叶变换/交换调和分析? 这种情形是（局部紧拓扑/李/代数/...）阿贝尔群(阿贝尔概形)情形下的?田中-克雷纳对偶。阿贝群的（复）不可约（连续）表示都是一维的（反之一维的肯定不可约），而且一个不可约表示完全由它的特征标表示。表示的直和和张量积对应于特征标的加法和乘积，共轭表示对应特征表的逆。对于阿贝群有个好处就是它们的（不可约）特征表都是群同态。但是不管这些，阿贝尔群的全体不可约特征标（关于乘法）构成一个阿贝尔群，称之为庞特里亚金对偶群。我们可以把庞特里亚金对偶这个构造看做是一个“函子”（函子性？朗兰兹基本引理？），这个构造具有幂等性或者対合性（convolution）（之所以称为对偶就是因为具有対合性）。这个对偶性我们在群代数或者群上函数上来看就是傅里叶变换及其対合性。 2 紧致拓扑群情形紧致拓扑群的情形是对阿贝尔群情形的推广，也把紧致拓扑群上的分析称为非阿贝尔调和分析。在紧群情形下的田中-克雷纳对偶也可以看做是一种非阿贝尔傅里叶变换。 和上面的情况类似，我们也有不可约表示和特征标的一一对应，这个对应是自然的。当然不可约表示和特征标都和 群的共轭类也存在一一对应，但是绝大多数的情况这个对应都不是典范的（cannonically）也不是唯一的。所有的特征标构成一个代数，叫做格罗滕迪克环或者表示环（K 群），我们把这个表示环仍然称为”对偶群“，尽管它不是一个群。表示环的几何意义就是K群，K群的代数意义就是表示环。 在这个情况下，为了得到对偶性或者対合性，我们要把表示环范畴化