Repetitive代数的导出等价

若代数A和B导出等价,则它们的Repetitive代数A和B也是导出等价,从而是稳定等价.这样利用更直接的代数方法完全回答了H.Asashiba提出的问题,并推广了Rickard,杜先能,Tachikawa-Wakamatsu等人的相应结果.进而,把以上结果推广到上有界复形的导出范畴的对称recollement的情形.     

Derived Equivalences in n-Angulated Categories

In this paper, we consider n-perforated Yoneda algebras for n-angulated categories, and show that the construction of Hu, König and Xi is still available for n-angulated categories. Namely, under some conditions, n-angles induce derived equivalences between the quotient algebras of n-perforated Yoneda algebras. This result generalizes the corresponding results for triangulated categories of Hu, König and Xi.     

Derived Equivalences for Triangular Matrix Rings

We generalize derived equivalences for triangular matrix rings induced by a certain type of classical tilting module introduced by Auslander, Platzeck and Reiten to generalize reflection functors in the representation theory of quivers due to Bernstein, Gelfand and Ponomarev.     

On Standard Derived Equivalences of Orbit Categories

Let k be a commutative ring, \(\mathcal {A}\) and \(\mathcal {B}\) – two k-linear categories with an action of a group G. We introduce the notion of a standard G-equivalence from \(\mathcal {K}_{p}^{\mathrm {b}}\mathcal {B}\) to \(\mathcal {K}_{p}^{\mathrm {b}}\mathcal {A}\), where \(\mathcal {K}_{p}^{\mathrm {b}}\mathcal {A}\) is the homotopy category of finitely generated projective \(\mathcal {A}\)-complexes. We construct a map from the set of standard G-equivalences to the set of standard equivalences from \(\mathcal {K}_{p}^{\mathrm {b}}\mathcal {B}\) to \(\mathcal {K}_{p}^{\mathrm {b}}\mathcal {A}\) and a map from the set of standard G-equivalences from \(\mathcal {K}_{p}^{\mathrm {b}}\mathcal {B}\) to \(\mathcal {K}_{p}^{\mathrm {b}}\mathcal {A}\) to the set of standard equivalences from \(\mathcal {K}_{p}^{\mathrm {b}}(\mathcal {B}/G)\) to \(\mathcal {K}_{p}^{\mathrm {b}}(\mathcal {A}/G)\), where \(\mathcal {A}/G\) denotes the orbit category. We investigate the properties of these maps and apply our results to the case where \(\mathcal {A}=\mathcal {B}=R\) is a Frobenius k-algebra and G is the cyclic group generated by its Nakayama automorphism ν. We apply this technique to obtain the generating set of the derived Picard group of a Frobenius Nakayama algebra over an algebraically closed field.     

Splendid Derived Equivalences for Blocks of Finite Groups

A central issue in finite group modular representation theoryis the relationship between the p-local structure and the p-modularrepresentation theory of a given finite group. In [5], Brouéposes some startling conjectures. For example, he conjecturesthat if e is a p-block of a finite group G with abelian defectgroup D and if f is the Brauer correspondent block of e of thenormalizer, N_G(D), of D then e and f have equivalent derivedcategories over a complete discrete valuation ring with residuefield of characteristic p. Some evidence for this conjecturehas been obtained using an important Morita analog for derivedcategories of Rickard [11]. This result states that the existenceof a tilting complex is a necessary and sufficient conditionfor the equivalence of two derived categories. In [5], Brouéalso defines an equivalence on the character level between p-blockse and f of finite groups G and H that he calls a ‘perfectisometry’ and he demonstrates that it is a consequenceof a derived category equivalence between e and f. In [5], Brouéalso poses a corresponding perfect isometry conjecture betweena p-block e of a finite group G with an abelian defect groupD and its Brauer correspondent p-block f of N_G(D) and presentsseveral examples of this phenomena. Subsequent research hasprovided much more evidence for this character-level conjecture. In many known examples of a perfect isometry between p-blockse, f of finite groups G, H there are also perfect isometriesbetween p-blocks of p-local subgroups corresponding to e andf and these isometries are compatible in a precise sense. In[5], Broué calls such a family of compatible perfectisometries an ‘isotypy’. In [11], Rickard addresses the analogous question of defininga p-locally compatible family of derived equivalences. In thisimportant paper, he defines a ‘splendid tilting complex’for p-blocks e and f of finite groups G and H with a commonp-subgroup P. Then he demonstrates that if X is such a splendidtilting complex, if P is a Sylow p-subgroup of G and H and ifG and H have the same ‘p-local structure’, thenp-local splendid tilting complexes are obtained from X via theBrauer functor and ‘lifting’. Consequently, in thissituation, we obtain an isotypy when e and f are the principalblocks of G and H. Linckelmann [9] and Puig [10] have also obtained important resultsin this area. In this paper, we refine the methods and program of [11] toobtain variants of some of the results of [11] that have widerapplicability. Indeed, suppose that the blocks e and f of Gand H have a common defect group D. Suppose also that X is asplendid tilting complex for e and f and that the p-local structureof (say) H with respect to D is contained in that of G, thenthe Brauer functor, lifting and ‘cutting’ by blockindempotents applied to X yield local block tilting complexesand consequently an isotypy on the character level. Since thep-local structure containment hypothesis is satisfied, for example,when H is a subgroup of G (as is the case in Broué'sconjectures) our results extend the applicability of these ideasand methods.     

Twisted Group Algebras, Normal Subgroups and Derived Equivalences

We study Rickard equivalences between p-blocks of twisted group algebras and their local structure, in connection with Dade's conjectures. We prove that an extended form of Broué's conjecture implies Dade's Inductive Conjecture in the Abelian defect group case; this is a consequence of the fact that Rickard equivalences induced by complexes of graded bimodules preserve the relevant Clifford theoretical invariants. As an application, we show that these conjectures hold for p-extensions of blocks with cyclic defect groups.     

Derived Equivalences of Triangular Matrix Rings Arising from Extensions of Tilting Modules

A triangular matrix ring Λ is defined by a triplet (R,S,M) where R and S are rings and _R M _S is an S-R-bimodule. In the main theorem of this paper we show that if T _S is a tilting S-module, then under certain homological conditions on the S-module M _S , one can extend T _S to a tilting complex over Λ inducing a derived equivalence between Λ and another triangular matrix ring specified by (S′, R, M′), where the ring S′ and the R-S′-bimodule M′ depend only on M and T _S , and S′ is derived equivalent to S. Note that no conditions on the ring R are needed. These conditions are satisfied when S is an Artin algebra of finite global dimension and M _S is finitely generated. In this case, (S′,R,M′) = (S, R, DM) where D is the duality on the category of finitely generated S-modules. They are also satisfied when S is arbitrary, M _S has a finite projective resolution and Ext _S ⁿ (M _S , S) = 0 for all n > 0. In this case, (S′,R,M′) = (S, R, Hom _S (M, S)).     

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 Existence of a Compact Generator on the Derived Category of a Noetherian Formal Scheme

In this paper, we prove that for a noetherian formal scheme \mathfrak X\mathfrak X, its derived category of sheaves of modules with quasi-coherent torsion homologies D_qct(\mathfrak X)\boldsymbol{\mathsf{D}}_\mathsf{qct}(\mathfrak X) is generated by a single compact object. In an Appendix we prove that the category of compact objects in D_qct(\mathfrak X)\boldsymbol{\mathsf{D}}_\mathsf{qct}(\mathfrak X) is skeletally small.     

Asymptotic Limit of the Bayes Actions Set Derived from a Class of Loss Functions

Similarly to the determination of a prior in Bayesian Decision theory, an arbitrarily precise determination of the loss function is unrealistic. Thus, analogously to global robustness with respect to the prior, one can consider a set of loss functions to describe the imprecise preferences of the decision maker. In this paper, we investigate the asymptotic behavior of the Bayes actions set derived from a class of loss functions. When the collection of additional observations induces a decrease in the range of the Bayes actions, robustness is improved. We give sufficient conditions for the convergence of the Bayes actions set with respect to the Hausdorff metric and we also give the limit set. Finally, we show that these conditions are satisfied when the set of decisions and the set of states of nature are subsets of ^p.     

Equivalences of quadratic APN functions

The following conjecture due to Y. Edel is affirmatively solved: two quadratic APN (almost perfect nonlinear) functions are CCZ-equivalent if and only if they are extended affine equivalent.     

The Category of Directed Systems in a Category

We present two related categorical constructions. Given a category C, we construct a category C^[d], the category of directed systems in C. C embeds into C^[d], and if C has enough colimits, then C is monadic over C^[d]. Also, if E,M is a factorization structure for C, then C^[d] has a related factorization structure E_d M_d such that if E consists entirely of monic arrows, then so does E_d and the E_d-quotient poset of an object A is naturally the poset of directed downsets of the E-quotient poset of A. Similarly, if M consists entirely of monicarrows, then so does M_d and the M_d-subobject poset of an object A is naturally the poset of directed downsets of the M-subobject poset. C^[d] has completeness and cocompleteness properties at least as good as those of C, and it is abelian if C is. Dualization gives the other construction: a category C^[i], the category of inverse systems in C, into which C also embeds and which satisfies similar properties, except that directed downsets in the E-quotient and M-subobject posets are replaced by directed upsets.     

Equivalences of higher derived brackets

This note elaborates on Th. Voronov’s construction [Th. Voronov, Higher derived brackets and homotopy algebras, J. Pure Appl. Algebra 202 (1-3) (2005) 133-153; Th. Voronov, Higher derived brackets for arbitrary derivations, Travaux Math. XVI (2005) 163-186] of L_∞-structures via higher derived brackets with a Maurer-Cartan element. It is shown that gauge equivalent Maurer-Cartan elements induce L_∞-isomorphic structures. Applications in symplectic, Poisson and Dirac geometry are discussed.     

Equivalences Induced by Adjoint Functors

Abstract

Let 𝒜 and ? be two Grothendieck categories, R : 𝒜 → ?, L : ? → 𝒜 a pair of adjoint functors, S ∈ ? a generator, and U = L(S). U defines a hereditary torsion class in 𝒜, which is carried by L, under suitable hypotheses, into a hereditary torsion class in ?. We investigate necessary and sufficient conditions which assure that the functors R and L induce equivalences between the quotient categories of 𝒜 and ? modulo these torsion classes. Applications to generalized module categories, rings with local units and group graded rings are also given here.     

Coarse Equivalences Between Warped Cones

Warped cones were introduced by J. Roe in Geometry Topol. 9 (2005) 163–178 where he discussed Property A of these spaces. In this paper, we discuss the coarse equivalence of warped cones on the circle with the -action by irrational rotations. First, we prove that two irrational numbers related by PSL(2, ) give coarsely equivalent warped cones. Second, we prove that there are at least countably many warped cones that are not coarsely equivalent to each other by using a ‘secondary growth function’.