arXiv subjects

Anders J. Frankild

Publications and source records attributed to Anders J. Frankild.

6 recordsLinked to original sources

arXiv2010

Second symmetric powers of chain complexes

We investigate Buchbaum and Eisenbud's construction of the second symmetric power S^2_R(X) of a chain complex X of modules over a commutative ring R. We state and prove a number of results from the folklore of the subject for which we know of no good direct references. We also provide several explicit computations and examples. We use this construction to prove the following version of a result of Avramov, Buchweitz, and Sega: Let R \to S be a module-finite ring homomorphism such that R is noetherian and local, and such that 2 is a unit in R. Let X be a complex of finite rank free S-modules such that X_n = 0 for each n < 0. If \cup_n Ass_R(H_n(X \otimes_S X)) \subseteq Ass(R) and if X_P \simeq S_P for each P \in Ass(R), then X \simeq S.

math.AC↗

arXiv2008

Ascent of module structures, vanishing of Ext, and extended modules

Let $(R,\m)$ and $(S,\n)$ be commutative Noetherian local rings, and let $ϕ:R\to S$ be a flat local homomorphism such that $\m S = \n$ and the induced map on residue fields $R/\m \to S/\n$ is an isomorphism. Given a finitely generated $R$-module $M$, we show that $M$ has an $S$-module structure compatible with the given $R$-module structure if and only if $\Ext^i_R(S,M)=0$ for each $i\ge 1$. We say that an $S$-module $N$ is {\it extended} if there is a finitely generated $R$-module $M$ such that $N\cong S\otimes_RM$. Given a short exact sequence $0 \to N_1\to N \to N_2\to 0$ of finitely generated $S$-modules, with two of the three modules $N_1,N,N_2$ extended, we obtain conditions forcing the third module to be extended. We show that every finitely generated module over the Henselization of $R$ is a direct summand of an extended module, but that the analogous result fails for the $\m$-adic completion.

math.AC↗

arXiv2008

Relations between semidualizing complexes

We study the following question: Given two semidualizing complexes B and C over a commutative noetherian ring R, does the vanishing of Ext^n_R(B,C) for n>>0 imply that B is C-reflexive? This question is a natural generalization of one studied by Avramov, Buchweitz, and Sega. We begin by providing conditions equivalent to B being C-reflexive, each of which is slightly stronger than the condition Ext^n_R(B,C)=0 for all n>>0. We introduce and investigate an equivalence relation \approx on the set of isomorphism classes of semidualizing complexes. This relation is defined in terms of a natural action of the derived Picard group and is well-suited for the study of semidualizing complexes over nonlocal rings. We identify numerous alternate characterizations of this relation, each of which includes the condition Ext^n_R(B,C)=0 for all n>>0. Finally, we answer our original question in some special cases.

math.AC↗

arXiv2008

Homological properties of cochain Differential Graded algebras

Consider a local chain Differential Graded algebra, such as the singular chain complex of a pathwise connected topological group. In two previous papers, a number of homological results were proved for such an algebra: An Amplitude Inequality, an Auslander-Buchsbaum Equality, and a Gap Theorem. These were inspired by homological ring theory. By the so-called looking glass principle, one would expect that analogous results exist for simply connected cochain Differential Graded algebras, such as the singular cochain complex of a simply connected topological space. Indeed, this paper establishes such analogous results.

math.RA↗

arXiv2007

Dualities and intersection multiplicities

Let R be a commutative, noetherian, local ring. Topological Q-vector spaces modelled on full subcategories of the derived category of R are constructed in order to study intersection multiplicities.

math.AC↗

arXiv2007

Detecting completeness from ext-vanishing

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$. If $M$ is a finitely generated $R$-module such that $\ext^i_R(\hat{R}^a,M)=0$ for all $i\neq 0$, then $M$ is $a$-adically complete.

math.AC↗