Related papers: Remark on Faltings theorem
In this lecture we review apprearance of the Riemann-Roch Theorem in classical function theory, Algebraic topology, in theory of pseudo-differential operators and finally in noncommutative geometry. We show also it usefulness in many…
We introduce a class of non-Moufang loops satisfying the Moufang's theorem.
We prove an infinite dimensional KAM theorem which implies the existence of Cantor families of small-amplitude, reducible, elliptic, analytic, invariant tori of Hamiltonian derivative wave equations
This is the second part of an article in two parts, which builds the foundation of a Floer-theoretic invariant, I_F. (See math.DG/0111313 for part I). Having constructed I_F and outlined a proof of its invariance based on bifurcation…
We introduce an analog of the $L$-function for noncommutative tori. It is proved that such a function coincides with the Hasse-Weil $L$-function of an elliptic curve with complex multiplication. As a corollary, one gets a localization…
We prove a Ramsey theorem for finite sets equipped with a partial order and a fixed number of linear orders extending the partial order. This is a common generalization of two recent Ramsey theorems due to Soki\'c. As a bonus, our proof…
We prove that a finite torsion-free conformal Lie algebra with a splitting solvable radical has a finite faithful conformal representation.
We give a proof of the hard Lefschetz theorem for orbifolds that does not involve intersection homology. This answers a question of Fulton. We use a foliated version of the hard Lefschetz theorem due to El Kacimi.
In this note we give a characterization of taut Riemannian foliations using the transverse divergence. This result turns out to be a convenient tool in the case of some standard examples. Furthermore, we show that a classical tautness…
A selfcontained proof of the KAM theorem in the Thirring model is discussed.
We prove the Cone Theorem for algebraically integrable foliations. As a consequence, we show that termination of flips implies the b-nefness of the moduli part of a log canonical pair with respect to a contraction, generalising the case of…
We present a version of G\"odel's Second Incompleteness Theorem for recursively enumerable consistent extensions of a fixed axiomatizable theory, by incorporating some bi-theoretic version of the derivability conditions. We also argue that…
We prove that any finite-degree polynomial functor is topologically Noetherian. This theorem is motivated by the recent resolution of Stillman's conjecture and a recent Noetherianity proof for the space of cubics. Via work by…
We give a complete self-contained proof of Statman's finite completeness theorem and of a corollary of this theorem stating that the $\lambda$-definability conjecture implies the higher-order matching conjecture.
We prove an asymptotic saturation-type version of Rota's basis conjecture. It relies on the connection of Tao's slice rank with unstable tensors from geometric invariant theory.
A covariant functor from the category of the complex tori to the category of the Effros-Shen algebras is constructed. The functor maps isomorphic complex tori to the stably isomorphic Effros-Shen algebras. Our construction is based on the…
We give proofs of G\"odel's incompleteness theorems after A. Joyal. The proof uses internal category theory in an arithmetic universe, a predicative generalisation of topoi. Applications to L\"ob's Theorem are discussed.
We treat equivariant completions of toric contraction morphisms as an application of the toric Mori theory. For this purpose, we generalize the toric Mori theory for non-$\mathbb Q$-factorial toric varieties. So, our theory seems to be…
Taylor's theorem (and its variants) is widely used in several areas of mathematical analysis, including numerical analysis, functional analysis, and partial differential equations. This article explains how Taylor's theorem in its most…
We prove Wilking's Conjecture about the completeness of dual leaves for the case of Riemannian foliations on nonnegatively curved symmetric spaces. Moreover, we conclude that such foliations split as a product of trivial foliations and a…