Showing 1–9 of 9 results for author: Frankild, A

Second symmetric powers of chain complexes

Authors: Anders J. Frankild, Sean Sather-Wagstaff, Amelia Taylor

Abstract: 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… ▽ More 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. △ Less

Submitted 18 January, 2010; v1 submitted 29 August, 2008; originally announced September 2008.

Comments: 25 pages, uses xypic. v.2: introduction revised, Theorem 3.1 generalized with part in new Corollary 3.2, and minor changes made throughout. v3: significantly rewritten, final version to appear in Bulletin of the Iranian Mathematical Society

MSC Class: 13C10; 13D25

Homological properties of cochain Differential Graded algebras

Authors: Anders J. Frankild, Peter Jorgensen

Abstract: 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 woul… ▽ More 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. △ Less

Submitted 10 January, 2008; originally announced January 2008.

Comments: 21 pages

MSC Class: 16E45 (Primary) 55P62 (Secondary)

Relations between semidualizing complexes

Authors: Anders J. Frankild, Sean Sather-Wagstaff, Amelia Taylor

Abstract: 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… ▽ More 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. △ Less

Submitted 7 March, 2008; v1 submitted 19 December, 2007; originally announced December 2007.

Comments: final version, to appear in J. Commutative Algebra, 27 pages, uses XY-pic

MSC Class: 13D05; 13D07; 13D25; 13H10

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

Authors: Anders J. Frankild, Sean Sather-Wagstaff, Roger Wiegand

Abstract: 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$. W… ▽ More 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. △ Less

Submitted 19 August, 2008; v1 submitted 27 July, 2007; originally announced July 2007.

Comments: 16 pages, AMS-TeX; final version to appear in Michigan Math. J.; corrected proof of Main Theorem and made minor editorial changes; v3 has dedication to Mel Hochster

Dualities and intersection multiplicities

Authors: Anders J. Frankild, Esben Bistrup Halvorsen

Abstract: 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. 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. △ Less

Submitted 9 May, 2007; originally announced May 2007.

MSC Class: 13A35; 13D22; 13H15; 14F17

Detecting completeness from ext-vanishing

Authors: Anders J. Frankild, Sean Sather-Wagstaff

Abstract: 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. 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. △ Less

Submitted 28 March, 2007; v1 submitted 28 June, 2006; originally announced June 2006.

Comments: 10 pages; proof of Theorem A revised; Theorem B added; to appear in Proceedings of the American Mathematical Society

MSC Class: 13B35; 13D07; 13D25; 13D45; 13J10

Reflexivity and ring homomorphisms of finite flat dimension

Authors: Anders Frankild, Sean Sather-Wagstaff

Abstract: In this paper we present a systematic study of the reflexivity properties of homologically finite complexes with respect to semidualizing complexes in the setting of nonlocal rings. One primary focus is the descent of these properties over ring homomorphisms of finite flat dimension, presented in terms of inequalities between generalized G-dimensions. Most of these results are new even when the… ▽ More In this paper we present a systematic study of the reflexivity properties of homologically finite complexes with respect to semidualizing complexes in the setting of nonlocal rings. One primary focus is the descent of these properties over ring homomorphisms of finite flat dimension, presented in terms of inequalities between generalized G-dimensions. Most of these results are new even when the ring homomorphism is local. The main tool for these analyses is a nonlocal version of the amplitude inequality of Iversen, Foxby, and Iyengar. We provide numerous examples demonstrating the need for certain hypotheses and the strictness of many inequalities. △ Less

Submitted 17 July, 2006; v1 submitted 2 August, 2005; originally announced August 2005.

Comments: Final version (to appear in Comm. Algebra) has been extensively reorganized

MSC Class: 13C13; 13D05; 13D25; 13H10

The set of semidualizing complexes is a nontrivial metric space

Authors: Anders Frankild, Sean Sather-Wagstaff

Abstract: We show that the set $\s(R)$ of shift-isomorphism classes of semidualizing complexes over a local ring $R$ admits a nontrivial metric. We investigate the interplay between the metric and several algebraic operations. Motivated by the dagger duality isometry, we prove the following: If $K,L$ are homologically bounded below and degreewise finite $R$-complexes such that $K\lotimes_R K\lotimes_R L$… ▽ More We show that the set $\s(R)$ of shift-isomorphism classes of semidualizing complexes over a local ring $R$ admits a nontrivial metric. We investigate the interplay between the metric and several algebraic operations. Motivated by the dagger duality isometry, we prove the following: If $K,L$ are homologically bounded below and degreewise finite $R$-complexes such that $K\lotimes_R K\lotimes_R L$ is semidualizing, then $K$ is shift-isomorphic to $R$. In investigating the existence of nontrivial open balls in $\s(R)$, we prove that $\s(R)$ contains elements that are not comparable in the reflexivity ordering if and only if it contains at least three distinct elements. △ Less

Submitted 17 July, 2006; v1 submitted 20 April, 2004; originally announced April 2004.

Comments: Final version (to appear in J. Algebra) has been extensively reorganized

MSC Class: 13B40; 13C05; 13C13; 13D05; 13D25; 13D40; 13H10; 05C12; 54E35

On Gorenstein Projective, Injective and Flat Dimensions - A Functorial Description with Applications

Authors: L. Winther Christensen, A. Frankild, H. Holm

Abstract: Gorenstein homological dimensions are refinements of the classical homological dimensions, and finiteness singles out modules with amenable properties reflecting those of modules over Gorenstein rings. As opposed to their classical counterparts, these dimensions do not immediately come with practical and robust criteria for finiteness, not even over commutative noetherian local rings. In this pa… ▽ More Gorenstein homological dimensions are refinements of the classical homological dimensions, and finiteness singles out modules with amenable properties reflecting those of modules over Gorenstein rings. As opposed to their classical counterparts, these dimensions do not immediately come with practical and robust criteria for finiteness, not even over commutative noetherian local rings. In this paper we enlarge the class of rings known to admit good criteria for finiteness of Gorenstein dimensions: It now includes, for instance, the rings encountered in commutative algebraic geometry and, in the non-commutative realm, $k$--algebras with a dualizing complex. △ Less

Submitted 13 December, 2005; v1 submitted 9 March, 2004; originally announced March 2004.

Comments: Sections 2 and 3 reorganized; added proofs of Lemmas (2.4) and (5.6); added Theorem (5.10). 42 pp. To appear in J. Algebra

MSC Class: 13D05; 13D07; 13D45; 16E05; 16E10; 16E30; 18E30; 18G10; 18G20; 18G35; 18G40