Related papers: Hochster-Eagon type theorem for Serre's $(S_n)$ co…
We establish a link between trace modules and rigidity in modules over Noetherian rings. Using the theory of trace ideals we make partial progress on a question of Dao, and on the Auslander-Reiten conjecture over Artinian Gorenstein rings.
Let $X$ be a scheme, proper over a commutative noetherian ring $A$. We introduce the concept of an ample filter of invertible sheaves on $X$ and generalize the most important equivalent criteria for ampleness of an invertible sheaf. We also…
Let $A$ be a $k$-algebra and $G$ be a group acting on $A$. We show that $G$ also acts on the Hochschild cohomology algebra $HH^{\bullet}(A)$ and that there is a monomorphism of rings $HH^{\bullet}(A)^G \hookrightarrow HH^{\bullet}(A[G])$.…
In commutative invariant theory, a classical result due to Auslander says that if $R = \Bbbk[x_1, \dots, x_n]$ and $G$ is a finite subgroup of $\text{Aut}_{\text{gr}}(R) \cong \text{GL}(n,\Bbbk)$ which contains no reflections, then there is…
Take a holomorphic Lie algebroid $(V,\, \phi)$ on a compact connected Riemann surface $X$ such that the anchor map $\phi$ is not surjective. Let $P$ be a parabolic subgroup of a complex reductive affine algebraic group $G$ and $E_P\,…
We identify a class of left-invariant pseudo-Riemannian metrics on Lie groups for which the Laplace-Beltrami equation reduces to a first-order PDE and admits exact solutions. The defining condition is the existence of a commutative ideal…
Let R be a commutative noetherian ring. Denote by mod R the category of finitely generated R-modules. In this paper, we study n-torsionfree modules in the sense of Auslander and Bridger, by comparing them with n-syzygy modules, and modules…
In this note we give a geometric realization of the cohomology of Springer fibers in type A. More precisely, we describe the cohomology by the coordinate ring of a scheme theoretic intersection of a Cartan subalgebra with a certain union of…
We prove a generalization of the Hochster-Roberts-Boutot-Kawamata Theorem conjectured by Aschenbrenner and the author: let $R\to S$ be a pure homomorphism of equicharacteristic zero Noetherian local rings. If $S$ is regular, then $R$ is…
We prove a differential version of the Artin-Rees lemma with the use of Noetherian differential operators. As a consequence, we obtain several uniformity results for nonreduced rings.
We study topological properties of the correspondence of prime spectra associated to a noncommutative ring homomorphism R -> S. Our main result provides criteria for the adjointness of certain functors between the categories of Zariski…
We prove the Horrocks theorem for unstable even-dimensional orthogonal Steinberg groups. The Horrocks theorem for Steinberg groups is one of the principal ingredients needed for the proof of the $\mathrm{K}_2$-analogue of Serre's problem,…
Let S be a closed topological surface. Haupt's theorem provides necessary and sufficient conditions for a complex-valued character of the first integer homology group of S to be realized by integration against a complex-valued 1-form that…
This work concerns maps $\varphi \colon R\to S$ of commutative noetherian rings, locally of finite flat dimension. It is proved that the Andr\'e-Quillen homology functors are rigid, namely, if $\mathrm{D}_n(S/R;-)=0$ for some $n\ge 2$, then…
Let $\Omega_n$ be the ring of polynomial-valued holomorphic differential forms on complex $n$-space, referred to in physics as the superspace ring of rank $n$. The symmetric group $\mathfrak{S}_n$ acts diagonally on $\Omega_n$ by permuting…
We formulate a very general conjecture relating the analytical invariants of a normal surface singularity to the Seiberg-Witten invariants of its link provided that the link is a rational homology sphere. As supporting evidence, we…
Let T be a commutative Noetherian local ring of dimension at least two and R=T[x_1,...,x_n] a polynomial ring in n variables over T. Consider R as a graded ring with deg T = 0 and deg x_i = 1 for all i. Let I=R_+ and f a homogeneous…
The aim of this paper is to unify classification theories of torsion classes of finite dimensional algebras and commutative Noetherian rings. For a commutative Noetherian ring $R$ and a module-finite $R$-algebra $\Lambda$, we study the set…
We show that the cotilting heart associated to a tilting complex $T$ is a locally coherent and locally coperfect Grothendieck category (i.e. an Ind-completion of a small artinian abelian category) if and only if $T$ is product-complete. We…
Let $\mathfrak{a}$ denote an ideal of a commutative Noetherian ring $R$. Let $M$ and $N$ be two $R$-modules. In this paper, we give partial answers on the extension of Hartshorne's conjecture about the cofiniteness of torsion and extension…