CATEGORICAL PROOF OF HOLOMORPHIC ATIYAH–BOTT FORMULA
نویسندگان
چکیده
منابع مشابه
Holomorphic quantization formula in singular reduction
We show that the holomorphic Morse inequalities proved by Tian and the author [TZ1, 2] are in effect equalities by refining the analytic arguments in [TZ1, 2]. §0. Introduction and the statement of main results Let (M,ω, J) be a compact Kähler manifold with the Kähler form ω and the complex structure J . Let g denote the corresponding Kähler metric. We make the assumption that there exists a He...
متن کاملCategorical proof theory of classical propositional calculus
We investigate semantics for classical proof based on the sequent calculus. We show that the propositional connectives are not quite well-behaved from a traditional categorical perspective, and give a more refined, but necessarily complex, analysis of how connectives may be characterised abstractly. Finally we explain the consequences of insisting on more familiar categorical behaviour.
متن کاملA Formal Proof of Euler’s Polyhedron Formula
Euler’s polyhedron formula asserts for a polyhedron p that
متن کاملAn Alternative Proof of the Greville Formula
A simple proof of the Greville formula for the recursive computation of the Moore-Penrose (MP) inverse of a matrix is presented. The proof utilizes no more than the elementary properties of the MP inverse.
متن کاملA New Proof of Stirling's Formula
A new, simple proof of Stirling’s formula via the partial fraction expansion for the tangent function is presented.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Institute of Mathematics of Jussieu
سال: 2018
ISSN: 1474-7480,1475-3030
DOI: 10.1017/s1474748018000543