Related papers: Formally smooth bimodules
A group $\Gamma$ has separable cohomology if the profinite completion map $\iota \colon \Gamma \to \widehat{\Gamma}$ induces an isomorphism on cohomology with finite coefficient modules. In this article, cohomological separability is…
Inspired by a recent work of Buchweitz and Flenner, we show that, for a semidualizing bimodule $C$, $C$--perfect complexes have the ability to detect when a ring is strongly regular. It is shown that there exists a class of modules which…
Formal (mixed) Hodge structures FHS are introduced in such a way that the Hodge realization of Deligne's 1-motives extends to a realization from Laumon's 1-motives to formal Hodge structures of level 1, providing an equivalence of…
In this article, all rings are commutative with nonzero identity. Let $M$ be an $R$-module. A proper submodule $N$ of $M$ is called a classical prime submodule, if for each $m\in M$ and elements $a,b\in R$, $abm\in N$ implies that $am\in N$…
A module $M$ is called an automorphism-invariant module if every isomorphism between two essential submodules of $M$ extends to an automorphism of $M$. This paper introduces the notion of dual of such modules. We call a module $M$ to be a…
Let $\mathscr{A}$ be a connected cochain DG algebra such that $H(\mathscr{A})$ is a Noetherian graded algebra. We give some criteria for $\mathscr{A}$ to be homologically smooth in terms of the singularity category, the cone length of the…
Let $M$ be a $10$-dimensional closed oriented smooth manifold. Set $$\mathcal{D}_{M} := \{ x \in H^{2}(M; \Z/2) \mid x^{2} + w_{2}(M) x \in \rho_{2} ( TH^{4}(M;\Z) ) \}.$$ Suppose that $H_{1}(M;\Z)=0$ and $\mathcal{D}_{M} \subset \rho_{2}(…
It is well known that the ring radical theory can be approached via language of modules. In this work, we present some generalizations of classical results from module theory, in the two-sided and graded sense. Let $\mathsf{G}$ be a group,…
It is constructed a normal form for a class of real-smooth surfaces M\subset\mathbb{C}^{2} defined near a degenerate CR singularity.
Let $M$ be a singular hyperkaehler variety, obtained as a moduli space of stable holomorphic bundles on a compact hyperkaehler manifold (alg-geom/9307008). Consider $M$ as a complex variety in one of the complex structures induced by the…
Skew-monoidal categories arise when the associator and the left and right units of a monoidal category are, in a specific way, not invertible. We prove that the closed skew-monoidal structures on the category of right R-modules are…
It is proved that the category of simplicial complete bornological spaces over $\mathbb R$ carries a combinatorial monoidal model structure satisfying the monoid axiom. For any commutative monoid in this category the category of modules is…
We introduce a notion of bimodule in the setting of enriched $\infty$-categories, and use this to construct a double $\infty$-category of enriched $\infty$-categories where the two kinds of 1-morphisms are functors and bimodules. We then…
Popa and Schnell show that any holomorphic 1-form on a smooth projective variety of general type has zeros. In this article, we show that a smooth good minimal model has a holomorphic 1-form without zero if and only if it admits an analytic…
Let $M$ be a $G$-manifold and $\om$ a $G$-invariant exact $m$-form on $M$. We indicate when these data allow us to constract a cocycle on a group $G$ with values in the trivial $G$-module $\mathbb R$ and when this cocycle is nontrivial.
Let X be a smooth projective Berkovich space over a complete discrete valuation field K of residue characteristic zero, endowed with an ample line bundle L. We introduce a general notion of (possibly singular) semipositive (or…
We show that, if one allows for curved deformations, the canonical map introduced in [KL09] between Morita deformations and second Hochschild cohomology of a dg algebra becomes a bijection. We also show that a bimodule induces an…
A Riemannian metric on a closed manifold is said to be geometrically formal if the wedge product of any two harmonic forms is harmonic; equivalently, the interior product of any two harmonic forms is harmonic. Given a Riemannian foliation…
We give a proof of the well-known fact that the $\Ok$-module $\E$ of smooth functions is flat by means of residue theory and integral formulas. A variant of the proof gives a related statement for classes of functions of lower regularity.…
We give a rather general construction of double categories and so, under further conditions, double groupoids, from a structure we call a `double module'. We also give a homotopical construction of a double groupoid from a triad consisting…