Related papers: Torsion in Differentials and Berger's Conjecture
These notes were produced by J\"urgen Herzog to accompany his lectures in Recife, Brazil, in 1980, on the homological algebra of noetherian local rings. They are are concerned with two conjectures made by Wolmer Vasconcelos: if the conormal…
For any commutative ring $A$ we introduce a generalization of $S$-noetherian rings using a hereditary torsion theory $\sigma$ instead of a multiplicatively closed subset $S\subseteq{A}$. It is proved that if $A$ is a totally…
We analyze the algebraic structures of G--Frobenius algebras which are the algebras associated to global group quotient objects. Here G is any finite group. These algebras turn out to be modules over the Drinfeld double of the group ring…
The Grothendieck--Serre conjecture predicts that every generically trivial torsor under a reductive group scheme $G$ over a regular local ring $R$ is trivial. The mixed characteristic case of the conjecture is widely open. We consider the…
Kaplanski's Zero Divisor Conjecture envisions that for a torsion-free group G and an integral domain R, the group ring R[G] does not contain non-trivial zero divisors. We define the length of an element a in R[G] as the minimal non-negative…
In this short note we consider an unconventional overdetermined problem for the torsion function: let $n\geq 2$ and $\Omega$ be a bounded open set in $\mathbb{R}^n$ whose torsion function $u$ (i.e. the solution to $\Delta u=-1$ in $\Omega$,…
J. Rosenberg's $\mathbb{S}^1$-stability conjecture states that a closed oriented manifold $X$ admits a positive scalar curvature metric iff $X\times \mathbb{S}^1$ admits a positive scalar curvature metric $h$. As pointed out by J. Rosenberg…
One (actually, almost the only effective) way to prove formality of a differentiable manifold is to be able to produce a suitable derivation $\delta$ such that $d\delta$-lemma holds. We first show that such derivation $\delta$ generates a…
A torsion theory is called differential (higher differential) if a derivation (higher derivation) can be extended from any module to the module of quotients corresponding to the torsion theory. We study conditions equivalent to higher…
Let $(R, \mathfrak m)$ be a commutative noetherian local ring. We investigate under which conditions an $R$-module $M$ is generated by an ideal $I$, i.e. there exists an epimorphism $I^{(\Lambda)} \twoheadrightarrow M$. If $M$ is uniserial,…
We give a negative answer to the rigidity conjecture of He and Schramm by constructing a rigid circle domain $\Omega$ on the Riemann sphere with conformally non-removable boundary. Here rigidity means that every conformal map from $\Omega$…
Andrew Ogg's mathematical viewpoint has inspired an increasingly broad array of results and conjectures. His results and conjectures have earmarked fruitful turning points in our subject, and his influence has been such a gift to all of us.…
Algebraists asked whether or not an operator on the module of smooth sections of the tangent bundle over the commutative ring of smooth functions of a smooth (orientable) manifold (can be any piece of a compact or a complete manifold) can…
Let $A$ be a complete local ring with a coefficient field $k$ of characteristic zero, and let $Y$ be its spectrum. The de Rham homology and cohomology of $Y$ have been defined by R. Hartshorne using a choice of surjection $R \rightarrow A$…
Let $\mathbf{k}$ be an algebraically closed field of arbitrary characteristic, let $\Lambda$ be a finite dimensional $\mathbf{k}$-algebra and let $V$ be a $\Lambda$-module with stable endomorphism ring isomorphic to $\mathbf{k}$. If…
Let R be an isolated hypersurface singularity, and let M and N be finitely generated R-modules. As R is a hypersurface, the torsion modules of M against N are eventually periodic of period two (i.e., Tor_i^R(M,N) is isomorphic to…
In this paper, we prove two structure theorems for twisted Chevalley groups $G_\sigma (R)$ over a commutative ring $R$ with unity. The first theorem concerns the normality of $E'_\sigma (R,J)$, the elementary congruence subgroups at level…
Let $R$ be a commutative noetherian ring, and let $\mathscr{S}$(resp. $\mathscr{L}$) be a Serre(resp. localizing) subcategory of the category of $R$-modules. If $\Bbb F$ is an unbounded complex of $R$-modules Tor-perpendicular to…
In studying Nakayama's 1958 conjecture on rings of infinite dominant dimension, Auslander and Reiten proposed the following generalization: Let Lambda be an Artin algebra and M a Lambda-generator such that Ext^i_Lambda(M,M)=0 for all i \geq…
Alexandrov's estimate states that if $\Omega$ is a bounded open convex domain in ${\mathbb R}^n$ and $u:\bar \Omega\to {\mathbb R}$ is a convex solution of the Monge-Ampere equation $\det D^2 u = f$ that vanishes on $\partial \Omega$, then…