Related papers: A constructive proof of Orzech's theorem

In 1960 Borel proved a "localization" result relating the rational cohomology of a topological space X to the rational cohomology of the fixed points for a torus action on X. This result and its generalizations have many applications in Lie…

We prove the Mirror Conjecture for Calabi-Yau manifolds equipped with a holomorphic symplectic form. Such manifolda are also known as complex manifolds of hyperkaehler type. We obtain that a complex manifold of hyperkaehler type is Mirror…

To some braiding R of Hecke type (a Hecke symmetry) we put into correspondence an associative algebra called the modified Reflection Equation Algebra (mREA). We construct a series of matrices L_(m), m=1,2,... with entries belonging to mREA…

Let $\Sigma_r$ be the symmetric group acting on $r$ letters, $K$ be a field of characteristic 2 and $\lambda$ and $\mu$ be partitions of $r$ in at most two parts. Denote the permutation module corresponding to the Young subgroup…

In 1989, Y. Eliashberg proved that two overtwisted contact structures on a closed oriented 3-manifold are isotopic if and only if they are homotopic as 2-plane fields. We provide an alternative proof of this theorem using the convex surface…

Motivated by work of C. U. Jensen, R.-O. Buchweitz, and H. Flenner, we prove the following result. Let $R$ be a commutative Noetherian ring and $a$ an ideal in the Jacobson radical of $R$. Let $\hat{R}^a$ be the $a$-adic completion of $R$.…

We show using Borcherds products that for any fixed-point free automorphism of the Leech lattice satisfying a "no massless states" condition, the corresponding cyclic orbifold of the Leech lattice vertex operator algebra is isomorphic to…

We give in this paper an isomorphism theorem between derived functors over categories of modules.There is a nice class of categories that gives examples in which this theorem applies for a special construction. This leads us to a new…

As a special case of Bass' theory of perfect rings, one obtains the assertion that, over a finite-dimensional associative algebra over a field, all flat modules are projective. In this paper we prove the following relative version of this…

The Dold$-$Thom theorem states that for a sufficiently nice topological space, M, there is an isomorphism between the homotopy groups of the infinite symmetric product of M and the homology groups of M itself. The crux of most known proofs…

Let $G$ be a connected reductive algebraic group over an algebraically closed field $\Bbbk$ of characteristic $p \ge 0$, and let $\mathcal{N}$ be its nilpotent cone. Under mild hypotheses, we construct for each nilpotent $G$-orbit $C$ and…

In this paper we study the modules $M$ every simple subfactors of which is a homomorphic image of $M$ and call them co-Kasch modules. These modules are dual to Kasch modules $M$ every simple subfactors of which can be embedded in $M$. We…

For each elliptic curve A over the rational numbers we construct a 2-periodic S^1-equivariant cohomology theory E whose cohomology ring is the sheaf cohomology of A; the homology of the sphere of the representation z^n is the cohomology of…

Let X be a complex curve, $X_{sa}$ the subanalytic site associated to X, M a holonomic $D_X$-module. Let $O^t$ be the sheaf on $X_{sa}$ of tempered holomorphic functions, Sol(M) (resp. $Sol^t$(M)) the complex of holomorphic (resp. tempered…

Under mild assumptions, we construct the two Matlis additive category equivalences for an associative ring epimorphism $u\colon R\to U$. Assuming that the ring epimorphism is homological of flat/projective dimension $1$, we discuss the…

Let $A\to B$ be a morphism of Artin local rings with the same embedding dimension. We prove that any $A$-flat $B$-module is $B$-flat. This freeness criterion was conjectured by de Smit in 1997 and improves Diamond's Theorem 2.1 from his…

Given a commutative ring $A$, a "formal $A$-module" is a formal group equipped with an action of $A$. There exists a classifying ring $L^A$ of formal $A$-modules. This paper proves structural results about $L^A$ and about the moduli stack…

We prove that groups that are mod-p-homology equivalent are isomorphic modulo any term of their derived p-series, in precise analogy to Stallings' 1963 result for the lower-central p-series. Similarly spaces that are mod-p-homology…

A quandle equipped with a good involution is referred to as symmetric. It is known that the cohomology of symmetric quandles gives rise to strong cocycle invariants for classical and surface links, even when they are not necessarily…

We classify all closed, aspherical Riemannian manifolds M whose universal cover has indiscrete isometry group. One sample application is the theorem that any such M with word-hyperbolic fundamental group must be isometric to a negatively…