Related papers: Formally smooth bimodules

We introduce and study twisted triangular Banach algebras T_sigma(A,B;X), built from Banach algebras A,B, a Banach A-B bimodule X, and a pair of automorphisms sigma=(sigma_A,sigma_B). This construction extends the classical triangular…

Let $R$ be a commutative ring with unity and $C$ be an $R$-coalgebra. The ring $R$ is clean if every $ r\in R $ is the sum of a unit and an idempotent element of $R$. An $R$-module $M$ is clean if the endomorphism ring of $M$ over $R$ is…

Let $\mathcal{X}$ be a smooth Artin stack with properly stable good moduli space $\pi\colon\mathcal{X} \to X$. The purpose of this paper is to prove that a simple geometric criterion can often characterize when the moduli space $X$ is…

We describe the structure of bimodules (over finite dimensional algebras) which have the property that the functor of tensoring with such a bimodule sends any module to a projective module. The main result is that all such bimodules are…

We solve a long standing open problem concerning the structure of finite cycles in the category mod A of finitely generated modules over an arbitrary artin algebra A, that is, the chains of homomorphisms $M_0 \stackrel{f_1}{\rightarrow} M_1…

The paper concerns Hochschild cohomology of a commutative algebra S, which is essentially of finite type over a commutative noetherian ring K and projective as a K-module, with coefficients in an S-module M. It is proved that vanishing of…

We first introduce and study the notion of semi-regular flat modules, and then show that a ring $R$ is a strong \Prufer\ ring if and only if every submodule of a semi-regular flat $R$-module is semi-regular flat, if and only if every ideal…

Let $M^7$ be a smooth manifold equipped with a $G_2$-structure $\phi$, and $Y^3$ be an closed compact $\phi$-associative submanifold. In \cite{McL}, R. McLean proved that the moduli space $\bm_{Y,\phi}$ of the $\phi$-associative…

We associate bicomplexes with several integrable models in such a way that conserved currents are obtained by a simple iterative construction. Gauge transformations and dressings are discussed in this framework and several examples are…

The set of idempotents of a regular semigroup is given an abstract characterization as a regular biordered set in [2], and in [4] it is shown how a biordered set can be associated with a complemented modular lattice. Von Neumann has shown…

The aim of this paper is to explain how to get a complex of smooth representations out of the dual vector space to a smooth representation of a p-adic Lie group, in natural characteristic. The construction does not depend on any…

To a B-coring and a (B,A)-bimodule that is finitely generated and projective as a right A-module an A-coring is associated. This new coring is termed a base ring extension of a coring by a module. We study how the properties of a bimodule…

A fundamental theorem in discrete convex analysis states that a set function is M$^\natural$-concave if and only if its conjugate function is submodular. This paper gives a new proof to this fact.

Matrices over the ring of formal power series are considered. Normal forms with respect to various sub-groups of the two-sided transformations are constructed. The construction is based on the special property of the action: it induces a…

Given a grading by an abelian group G on a semisimple Lie algebra L over an algebraically closed field of characteristic 0, we classify up to isomorphism the simple objects in the category of finite-dimensional G-graded L-modules. The…

Let K be a a Lie group, modeled on a locally convex space, and M a finite-dimensional paracompact manifold with corners. We show that each continuous principal K-bundle over M is continuously equivalent to a smooth one and that two smooth…

Let $X$ be an $F$-finite smooth scheme of essentially finite type over a perfect field. This article proves the existence of $b$-functions for locally finitely generated unit $F$-modules when equipped with their induced…

Formality is a topological property, defined in terms of Sullivan's model for a space. In the simply-connected setting, a space is formal if its rational homotopy type is determined by the rational cohomology ring. In the general setting,…

We give a sufficient condition for a metric (homology) manifold to be locally bi-Lipschitz equivalent to an open subset in $\rn$. The condition is a Sobolev condition for a measurable coframe of flat 1-forms. In combination with an earlier…

We connect the homotopy type of simplicial moduli spaces of algebraic structures to the cohomology of their deformation complexes. Then we prove that under several assumptions, mapping spaces of algebras over a monad in an appropriate…