Derived Equivalences of Actions of a Category

Let $\mathbb{k}$ be a commutative ring and I a category. As a generalization of a $\mathbb{k}$ -category with a (pseudo) action of a group we consider a family of $\mathbb{k}$ -categories with a (pseudo, lax, or oplax) action of I, namely an oplax functor from I to the 2-category of small $\mathbb{k}$ -categories. We investigate derived equivalences of those oplax functors, and establish a Morita type theorem for them. This gives a base of investigations of derived equivalences of Grothendieck constructions of those oplax functors.     

On the divisorial spectrum of a Noetherian domain

For a Noetherian domain, the sets of divisorial primes, t-primes, and associated primes of principal ideals coincide. We study the divisorial primes of a Noetherian domain as a partially ordered set. In particular, we show that it is possible to have arbitrarily long chains and any finite amount of noncatenarity.     

关于非线性Lipschitz算子半群生成元的存在性

基于作者先前提出的Lipschitz对偶思想,对非线性Lipschitz算子半群引入了若干Lipschitz对偶概念,得到了一类非线性Lipschitz算子半群存在生成元的特征刻画.这一结果直接将关于C0-半群如下结论推广到了非线性情形:C0-半群具有有界生成元当且仅当它一致连续.     

Braid Action on Derived Category Nakayama Algebras

We construct an action of a braid group associated to a complete graph on the derived category of a certain symmetric Nakayama algebra which is also a Brauer star algebra with no exceptional vertex. We connect this action with the affine braid group action on Brauer star algebras defined by Schaps and Zakay–Illouz. We show that for Brauer star algebras with no exceptional vertex, the action is faithful.     

On Macaulayfication of Noetherian schemes

The Macaulayfication of a Noetherian scheme  is a birational proper morphism from a Cohen-Macaulay scheme to . In 1978 Faltings gave a Macaulayfication of a quasi-projective scheme if its non-Cohen-Macaulay locus is of dimension or . In the present article, we construct a Macaulayfication of Noetherian schemes without any assumption on the non-Cohen-Macaulay locus. Of course, a desingularization is a Macaulayfication and, in 1964, Hironaka already gave a desingularization of an algebraic variety over a field of characteristic . Our method, however, to construct a Macaulayfication is independent of the characteristic.

     

Reconstruction of a Variety from the Derived Category and Groups of Autoequivalences

We consider smooth algebraic varieties with ample either canonical or anticanonical sheaf. We prove that such a variety is uniquely determined by its derived category of coherent sheaves. We also calculate the group of exact autoequivalences for these categories. The technics of ample sequences in Abelian categories is used.     

On the Countability of Noetherian Dimension of Modules

Abstract

It is shown that a module M has countable Noetherian dimension if and only if the lengths of ascending chains of submodules of M has a countable upper bound. This shows in particular that every submodule of a module with countable Noetherian dimension is countably generated. It is proved that modules with Noetherian dimension over locally Noetherian rings have countable Noetherian dimension. We also observe that ω^ω is a universal upper bound for the lengths of all chains in Artinian modules over commutative rings.     

On arithmetic Macaulayfication of Noetherian rings

The Rees algebra is the homogeneous coordinate ring of a blowing-up. The present paper gives a necessary and sufficient condition for a Noetherian local ring to have a Cohen-Macaulay Rees algebra: A Noetherian local ring has a Cohen-Macaulay Rees algebra if and only if it is unmixed and all the formal fibers of it are Cohen-Macaulay. As a consequence of it, we characterize a homomorphic image of a Cohen-Macaulay local ring. For non-local rings, this paper gives only a sufficient condition. By using it, however, we obtain the affirmative answer to Sharp's conjecture. That is, a Noetherian ring having a dualizing complex is a homomorphic image of a finite-dimensional Gorenstein ring.

     

On the Karoubi Filtration of a Category

Let be an -filtered category in the sense of Karoubi. This is the categorical analogue of an ideal in a ring . Pedersen and Weibel constructed a fibration of K-theory spectra associated with the sequence . We present a new easier proof based on Waldhausen' generic fibration.     

On the structure of Noetherian symbolic rees algebras

Let A be a Noetherian local ring and I an ideal of A. In this paper we use a slightly generalized notion of a symbolic power I⁽ⁿ⁾ of I and considerR = . First we characterize the property of R to be Noetherian by an equimultiplicity condition of some symbolic power I^(k). The main purpose of this note is to explore the problem whenR,R′ = and are Cohen-Macaulay or Gorenstein algebras in the case that A is a normal domain and ht I=1. Partially supported by the Max-Planck-Institute of Mathematics Bonn. Supported by a grant of the Heinrich Hertz-Stiftung. Supported by a grant of the Alexander von Humboldt-Stiftung.     

On Solutions for Derivations of a Noetherian k-algebra and Local Simplicity

We introduce a general notion of solution for a Noetherian differential k-algebra and study its relationship with simplicity, where k is an algebraically closed field; then we analyze conditions under which such solutions may exist and be unique, with special emphasis in the cases of k-algebras of finite type and formal series rings over k. Using that notion we generalize a criterion for simplicity due to Brumatti–Lequain–Levcovitz and give a geometric characterization of that; as an application we give a new proof of a classification theorem for local simplicity due to Hart and obtain a general result for simplicity of formal series rings over k.     

On the Cohomology Sequence in a Semiabelian Category

In a semiabelian category, a strictly exact sequence 0→A→B→C→0 of cochain complexes gives rise to the cohomology sequence ...→H ⁿ(A) →H ⁿ(B)→ H ⁿ(C)→ H ⁿ⁺¹ (A) →.... We study conditions for exactness of the homology sequence at a given term.     

On the Cohomology Sequence in a Semiabelian Category

In a semiabelian category, a strictly exact sequence 0ABC0 of cochain complexes gives rise to the cohomology sequence ...H ⁿ(A) H ⁿ(B) H ⁿ(C) H ⁿ⁺¹ (A) .... We study conditions for exactness of the homology sequence at a given term.