In chapter 4 of Gelfand&Manin's book Methods in Homological Algebra they mentions the property that if a triangulated category $\mathsf{T} $ with the $t$-structure $(\mathcal{D}^{\leq 0} ,\mathcal{D}^{\geq 0} )$ satisfies $\bigcap_n\mathcal{D}^{\geq n} =\bigcap_n\mathcal{D}^{\leq n} =\{0\} $, then it will behave much like a derived category with the core as the underlying abelian category, and I'm curious if there is a natural example of triangulated category does not satisfy this assumption, or it can be derived from the axioms.
2026-04-02 03:49:19.1775101759
Are There Examples of Triangulated Categories that $\bigcap_n\mathcal{D}^{\geq n}\neq\{0\} $?
57 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
There are 1 best solutions below
Related Questions in ALGEBRAIC-TOPOLOGY
- How to compute homology group of $S^1 \times S^n$
- the degree of a map from $S^2$ to $S^2$
- Show $f$ and $g$ are both homeomorphism mapping of $T^2$ but $f$ is not homotopy equivalent with $g.$
- Chain homotopy on linear chains: confusion from Hatcher's book
- Compute Thom and Euler class
- Are these cycles boundaries?
- a problem related with path lifting property
- Bott and Tu exercise 6.5 - Reducing the structure group of a vector bundle to $O(n)$
- Cohomology groups of a torus minus a finite number of disjoint open disks
- CW-structure on $S^n$ and orientations
Related Questions in EXAMPLES-COUNTEREXAMPLES
- A congruence with the Euler's totient function and sum of divisors function
- Seeking an example of Schwartz function $f$ such that $ \int_{\bf R}\left|\frac{f(x-y)}{y}\right|\ dy=\infty$
- Inner Product Uniqueness
- Metric on a linear space is induced by norm if and only if the metric is homogeneous and translation invariant
- Why do I need boundedness for a a closed subset of $\mathbb{R}$ to have a maximum?
- A congruence with the Euler's totient function and number of divisors function
- Analysis Counterexamples
- A congruence involving Mersenne numbers
- If $\|\ f \|\ = \max_{|x|=1} |f(x)|$ then is $\|\ f \|\ \|\ f^{-1}\|\ = 1$ for all $f\in \mathcal{L}(\mathbb{R}^m,\mathbb{R}^n)$?
- Unbounded Feasible Region
Related Questions in HOMOLOGICAL-ALGEBRA
- How does $\operatorname{Ind}^G_H$ behave with respect to $\bigoplus$?
- Describe explicitly a minimal free resolution
- $A$ - dga over field, then $H^i(A) = 0, i > 1$ implies $HH_i(A) = 0, i < -1$
- Tensor product $M\otimes_B Hom_B(M,B)$ equals $End_B(M)$, $M$ finitely generated over $B$ and projective
- Group cohomology of $\mathrm{GL}(V)$
- two maps are not homotopic equivalent
- Existence of adjugant with making given natural transformation be the counit
- Noetherian property is redundant?
- What is the monomorphism that forms the homology group?
- Rational points on conics over fields of dimension 1
Related Questions in DERIVED-CATEGORIES
- $A$ - dga over field, then $H^i(A) = 0, i > 1$ implies $HH_i(A) = 0, i < -1$
- Images of derived categories of $X, Z$ in derived category of blow up
- derived category of quotient category
- Are quasi-isomorphisms always invertible in the homotopy category?
- Derived functors and induced functors
- Distinguished triangle induced by short exact sequence
- When does the inverse image functor commute with internal hom?
- Derived functor defined with an adapted subcategory
- Ext functor in derived categories
- Serre duality in derived category
Related Questions in TRIANGULATED-CATEGORIES
- Why are cones of left $\mathcal{X}$-approximations right $\mathcal{X}$-approximations?
- Mapping cone and additive functors
- Shift in a stable $\infty$-category
- Map having a cokernel in a triangulated category
- Proving the direct sum of two distinguished triangles is a distinguished triangle
- Examples of Triangulated Categories that aren't quotient categories
- Compact generators in a triangulated category and how they relate to general generators
- How to prove this is a triangulated subcategory?
- Question about a proof of mapping cones and the octohedral axiom for a triangulated category
- Why is a direct summand of a pretriangle a pretriangle?
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Find $E[XY|Y+Z=1 ]$
- Refuting the Anti-Cantor Cranks
- What are imaginary numbers?
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- How do we know that the number $1$ is not equal to the number $-1$?
- What are the Implications of having VΩ as a model for a theory?
- Defining a Galois Field based on primitive element versus polynomial?
- Can't find the relationship between two columns of numbers. Please Help
- Is computer science a branch of mathematics?
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- Generator of inertia group in function field extension
Popular # Hahtags
second-order-logic
numerical-methods
puzzle
logic
probability
number-theory
winding-number
real-analysis
integration
calculus
complex-analysis
sequences-and-series
proof-writing
set-theory
functions
homotopy-theory
elementary-number-theory
ordinary-differential-equations
circles
derivatives
game-theory
definite-integrals
elementary-set-theory
limits
multivariable-calculus
geometry
algebraic-number-theory
proof-verification
partial-derivative
algebra-precalculus
Popular Questions
- What is the integral of 1/x?
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- Is a matrix multiplied with its transpose something special?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- How to tell if a set of vectors spans a space?
- Calculus question taking derivative to find horizontal tangent line
- How to determine if a function is one-to-one?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- Is this Batman equation for real?
- How to find perpendicular vector to another vector?
- How to find mean and median from histogram
- How many sides does a circle have?
Well, there is always the trivial $t$-structure where the truncations are $t_{\leq n}=0$ and $t_{\geq n}=id$.
A bit less trivially, you can consider a category of couples of complexes $C(\mathcal{A})\times C(\mathcal{A})$. In other words, an object is the data of a first complex $...\to C^n\to C^{n+1}\to C^{n+2}\to...$ and another one where indices are denoted by $\omega+n$ (just a notation) : $...\to C^{\omega+n}\to C^{\omega+n+1}\to ...$. Shifts works as usual on both complexes. A quasi-isomorphism is a morphism inducing isomorphisms in all degree ($n$ and $\omega+n$). Invert quasi-isomorphism and you have a triangulated categories which is simply $D(\mathcal{A})\times D(\mathcal{A})$.
You now have truncation functors $t_{\leq n}$ which keeps only the degrees $\leq n$ and in particular kills everything in degree $\omega+n$. And the functor $t_{\geq n}$ which keeps only the degrees $\geq n$ and in particular keeps everything in degree $\omega+n$.
In this situation $\bigcap_{n}D^{\geq n}=\{0\}\times D(\mathcal{A})$ is the whole derived category of complexes in degree $\omega+n$.
In this somewhat artificial example (which is simply the product of the canonical $t$-structure and the trivial one), I wanted to show that you can assume that in some triangulated categories, things might happen "at infinity". Of course this is not the case in the derived category of an abelian category.