Compact corigid objects in triangulated categories and co-<Emphasis Type="Italic">t</Emphasis>-structures

In the work of Hoshino, Kato and Miyachi, [11], the authors look at t-structures induced by a compact object, , of a triangulated category, , which is rigid in the sense of Iyama and Yoshino, [12]. Hoshino, Kato and Miyachi show that such an object yields a non-degenerate t-structure on whose heart is equivalent to Mod(End()^op). Rigid objects in a triangulated category can the thought of as behaving like chain differential graded algebras (DGAs). Analogously, looking at objects which behave like cochain DGAs naturally gives the dual notion of a corigid object. Here, we see that a compact corigid object, , of a triangulated category, , induces a structure similar to a t-structure which we shall call a co-t-structure. We also show that the coheart of this non-degenerate co-t-structure is equivalent to Mod(End()^op), and hence an abelian subcategory of .      

General Heart Construction on a Triangulated Category (II): Associated Homological Functor

In the preceding part (I) of this paper, we showed that for any torsion pair (i.e., t-structure without the shift-closedness) in a triangulated category, there is an associated abelian category, which we call the heart. Two extremal cases of torsion pairs are t-structures and cluster tilting subcategories. If the torsion pair comes from a t-structure, then its heart is nothing other than the heart of this t-structure. In this case, as is well known, by composing certain adjoint functors, we obtain a homological functor from the triangulated category to the heart. If the torsion pair comes from a cluster tilting subcategory, then its heart coincides with the quotient category of the triangulated category by this subcategory. In this case, the quotient functor becomes homological. In this paper, we unify these two constructions, to obtain a homological functor from the triangulated category, to the heart of any torsion pair.     

On t-Structures and Tilting Theory

Abstract

Let A be a right coherent associative ring with unit. We introduce the notion of coendofinite complex and we associate to such a complex a t-structure in D ^b (mod A). We give conditions for the heart of that t-structure to be a module category. We also give some applications in connection with derived equivalent rings and tilting theory. In particular for a tilting module over a finite dimensional k-algebra, we get a reformulation of Brenner-Butler's theorem in terms of t-structures.     

半粘合诱导的t-结构

本文研究了对于给定的一个三角范畴的上（下）粘合（C'',C,C"）,如何由C的一个t-结构诱导C''和C"的t-结构的问题.利用左（右）t-正合函子的概念,给出了由C的一个t-结构可诱导出C''和C"的t-结构的充分条件.将粘合的一些相关结果推广到了上（下）粘合的情形.     

Approximation algorithms for finding and partitioning unit-disk graphs into co-<Emphasis Type="Italic">k</Emphasis>-plexes

This article studies a degree-bounded generalization of independent sets called co-k-plexes. Constant factor approximation algorithms are developed for the maximum co-k-plex problem on unit-disk graphs. The related problem of minimum co-k-plex coloring that generalizes classical vertex coloring is also studied in the context of unit-disk graphs. We extend several classical approximation results for independent sets in UDGs to co-k-plexes, and settle a recent conjecture on the approximability of co-k-plex coloring in UDGs.     

CO-<Emphasis Type="Italic">H</Emphasis>-spaces and localization

Let X be a finite simply-connected CW-complex. If for each prime p, the p-localization of X is co-H-space, then X is a co-H-space.     

General Heart Construction on a Triangulated Category (I): Unifying <Emphasis Type="Italic">t</Emphasis>-Structures and Cluster Tilting Subcategories

In the paper of Keller and Reiten, it was shown that the quotient of a triangulated category (with some conditions) by a cluster tilting subcategory becomes an abelian category. After that, Koenig and Zhu showed in detail, how the abelian structure is given on this quotient category, in a more abstract setting. On the other hand, as is well known since 1980s, the heart of any t-structure is abelian. We unify these two constructions by using the notion of a cotorsion pair. To any cotorsion pair in a triangulated category, we can naturally associate an abelian category, which gives back each of the above two abelian categories, when the cotorsion pair comes from a cluster tilting subcategory, or a t-structure, respectively.     

Co-NP-completeness of some matrix classification problems

The classes of P-, P ₀-, R ₀-, semimonotone, strictly semimonotone, column sufficient, and nondegenerate matrices play important roles in studying solution properties of equations and complementarity problems and convergence/complexity analysis of methods for solving these problems. It is known that the problem of deciding whether a square matrix with integer/rational entries is a P- (or nondegenerate) matrix is co-NP-complete. We show, through a unified analysis, that analogous decision problems for the other matrix classes are also co-NP-complete. Received: April 1999 / Accepted: March 1, 2000?Published online May 12, 2000     

Abelianness of the “missing part” from a sheaf category to a module category

This paper investigates the structure of the"missing part"from the category of coherent sheaves over a weighted projective line of weight type(2,2,n)to the category of finitely generated right modules on the associated canonical algebra.By constructing a t-structure in the stable category of the vector bundle category,we show that the"missing part"is equivalent to the heart of the t-structure,hence it is abelian.Moreover,it is equivalent to the category of finitely generated modules on the path algebra of type An-1.     

On splitting idempotents in pre-triangulated categories

Le and Chen’s theorem on splitting of idempotents is extended to the case of pre-triangulated categories equipped with a bounded t-structure     

SU(3)-Structures on Hypersurfaces of Manifolds With G 2-Structure

We study SU(3)-structures induced on orientable hypersurfaces of seven-dimensional manifolds with G₂-structure. Taking Gray-Hervella types for both structures into account, we relate the type of SU(3)-structure and the type of G₂-structure with the shape tensor of the hypersurface. Additionally, we show how to compute the intrinsic SU(3)-torsion and the intrinsic G₂-torsion by means of the exterior algebra.     

On a contact 3-structure

A contact 3-structure consists of three contact metric structures which satisfy the relation (2.1). On a product manifold of the real line and a manifold with a contact 3-structure, we can construct three almost Hermitian structures satisfying the quaternionic identities. From this view point we discuss a contact 3-structure. Owing to Hitchin's well known Lemma concerning to hyperk?hler structure (Lemma H), we show that a contact 3-structure is necessarily a Sasakian 3-structure. Received: 26 August 1999; in final form: 2 May 2000 / Published online: 4 May 2001     

Cartan–Laptev method in the theory of multidimensional three-webs

We show how the Cartan–Laptev method that generalizes Elie Cartan’s method of external forms and moving frames is applied to the study of closed G-structures defined by multidimensional three-webs formed on a C ^s -smooth manifold of dimension 2r, r ≥ 1, s ≥ 3, by a triple of foliations of codimension r. We say that a tensor T belonging to a differential-geometric object of order s of a three-web W is closed if it can be expressed in terms of components of objects of lower order s. We find all closed tensors of a three-web and the geometric sense of one of relations connecting three-web tensors. We also point out some sufficient conditions for the web to have a closed G-structure. It follows from our results that the G-structure associated with a hexagonal three-web W is a closed G-structure of class 4. It is proved that basic tensors of a three-web W belonging to a differential-geometric object of order s of the web can be expressed in terms of an s-jet of the canonical expansion of its coordinate loop, and conversely. This implies that the canonical expansion of every coordinate loop of a three-web W with closed G-structure of class s is completely defined by an s-jet of this expansion. We also consider webs with one-digit identities of kth order in their coordinate loops and find the conditions for these webs to have the closed G-structure.     

Asymptotic behaviour of trajectories of unipotent flows on homogeneous spaces

We show that ifG is a semisimple algebraic group defined overQ and Γ is an arithmetic lattice inG:=G _R with respect to theQ-structure, then there exists a compact subsetC ofG/Γ such that, for any unipotent one-parameter subgroup {u _t} ofG and anyg∈G, the time spent inC by the {u _t}-trajectory ofgΓ, during the time interval [0,T], is asymptotic toT, unless {g ⁻¹u_tg} is contained in aQ-parabolic subgroup ofG. Some quantitative versions of this are also proved. The results strengthen similar assertions forSL(n,Z),n≥2, proved earlier in [5] and also enable verification of a technical condition introduced in [7] for lattices inSL(3,R), which was used in our proof of Raghunathan’s conjecture for a class of unipotent flows, in [8].     

Elementary equivalence of some rings of definable functions

We characterize elementary equivalences and inclusions between von Neumann regular real closed rings in terms of their boolean algebras of idempotents, and prove that their theories are always decidable. We then show that, under some hypotheses, the map sending an L-structure R to the L-structure of definable functions from R ⁿ to R preserves elementary inclusions and equivalences and gives a structure with a decidable theory whenever R is decidable. We briefly consider structures of definable functions satisfying an extra condition such as continuity.      

<Emphasis Type="Italic">t</Emphasis>-Structures are Normal Torsion Theories

We characterize t-structures in stable ∞-categories as suitable quasicategorical factorization systems. More precisely we show that a t-structure ?? on a stable ∞-category C is equivalent to a normal torsion theory ?? on C, i.e. to a factorization system ?? = (??, ?) where both classes satisfy the 3-for-2 cancellation property, and a certain compatibility with pullbacks/pushouts.     

Efficiently Recognizing the P 4-Structure of Trees and of Bipartite Graphs Without Short Cycles

A 4-uniform hypergraph represents the P ₄-structure of a graph G if its hyperedges are the vertex sets of the P ₄'s in G. By using the weighted 2-section graph of the hypergraph we propose a simple efficient algorithm to decide whether a given 4-uniform hypergraph represents the P ₄-structure of a bipartite graph without 4-cycle and 6-cycle. For trees, our algorithm is different from that given by G. Ding and has a better running time namely O(n ²) where n is the number of vertices. Revised: February 18, 1998     

Cohomology of tilting modules over quantum groups and t-structures on derived categories of coherent sheaves

The paper is concerned with cohomology of the small quantum group at a root of unity, and of its upper triangular subalgebra, with coefficients in a tilting module. It turns out to be related to irreducible objects in the heart of a certain t-structure on the derived category of equivariant coherent sheaves on the Springer resolution, and to equivariant coherent IC sheaves on the nil-cone. The support of the cohomology is described in terms of cells in affine Weyl groups. The basis in the Grothendieck group provided by the cohomology modules is shown to coincide with the Kazhdan-Lusztig basis, as predicted by J. Humphreys and V. Ostrik. The proof is based on the results of [ABG ], [AB] and [B], which allow us to reduce the question to purity of IC sheaves on affine flag varieties. To the memory of my father     

The automorphism group of a Banach principal bundle with {1}-structure

A {1}-structure on a Banach manifold M (with model space E) is an E-valued 1-form on M that induces on each tangent space an isomorphism onto E. Given a Banach principal bundle P with connected base space and a {1}-structure on P, we show that its automorphism group can be turned into a Banach–Lie group acting smoothly on P provided the Lie algebra of infinitesimal automorphisms consists of complete vector fields. As a consequence we show that the automorphism group of a connected geodesically complete affine Banach manifold M can be turned into a Banach–Lie group acting smoothly on M.