Skip to main content
fixed wrong indices
Source Link
Jan Weidner
  • 13.2k
  • 11
  • 61
  • 88

Let $\cal A$ be an abelian category, say linear over a field, with enough injectives and $\cal P$ be the heart of a t-structure on the bounded derived category $D^b(\cal A )$. Assume that $\cal P$ also has enough injectives. Suppose that the realization functor

$$real:D^b(\cal P)\rightarrow D^b(\cal A)$$

is an equivalence. Now given two objects corresponding through this equivalence, are their Ext-algebras $A_\infty$-quasi-isomorphic?

Edit: If I understand it correctly the realization functor is constructed in BBD as follows:

  1. They take the homotopy category of filtered injective complexes of objects in $\cal A$, equipped with descending filtration, whose filtration steps lie in $\cal P$. This category is called $DF_{bete}$.

  2. Using the boundary map of the triangles $gr^{i+1}F\rightarrow F^i/F^{i+2} \rightarrow gr^{i+1} F$$gr^{i+1}F\rightarrow F^{i-1}/F^{i+1} \rightarrow gr^{i} F$ they construct a functor to the category of complexes $DF_{bete}\rightarrow C^b(\cal P)$ and show that it is an equivalence.

  3. Forgetting of the filtration on $DF_{bete}$ translates to a functor $C^b(\cal P)\rightarrow D^b(\cal A)$. The derived functor of this is the realization functor.

Let $\cal A$ be an abelian category, say linear over a field, with enough injectives and $\cal P$ be the heart of a t-structure on the bounded derived category $D^b(\cal A )$. Assume that $\cal P$ also has enough injectives. Suppose that the realization functor

$$real:D^b(\cal P)\rightarrow D^b(\cal A)$$

is an equivalence. Now given two objects corresponding through this equivalence, are their Ext-algebras $A_\infty$-quasi-isomorphic?

Edit: If I understand it correctly the realization functor is constructed in BBD as follows:

  1. They take the homotopy category of filtered injective complexes of objects in $\cal A$ whose filtration steps lie in $\cal P$. This category is called $DF_{bete}$.

  2. Using the boundary map of the triangles $gr^{i+1}F\rightarrow F^i/F^{i+2} \rightarrow gr^{i+1} F$ they construct a functor to the category of complexes $DF_{bete}\rightarrow C^b(\cal P)$ and show that it is an equivalence.

  3. Forgetting of the filtration on $DF_{bete}$ translates to a functor $C^b(\cal P)\rightarrow D^b(\cal A)$. The derived functor of this is the realization functor.

Let $\cal A$ be an abelian category, say linear over a field, with enough injectives and $\cal P$ be the heart of a t-structure on the bounded derived category $D^b(\cal A )$. Assume that $\cal P$ also has enough injectives. Suppose that the realization functor

$$real:D^b(\cal P)\rightarrow D^b(\cal A)$$

is an equivalence. Now given two objects corresponding through this equivalence, are their Ext-algebras $A_\infty$-quasi-isomorphic?

Edit: If I understand it correctly the realization functor is constructed in BBD as follows:

  1. They take the homotopy category of injective complexes of objects in $\cal A$, equipped with descending filtration, whose filtration steps lie in $\cal P$. This category is called $DF_{bete}$.

  2. Using the boundary map of the triangles $gr^{i+1}F\rightarrow F^{i-1}/F^{i+1} \rightarrow gr^{i} F$ they construct a functor to the category of complexes $DF_{bete}\rightarrow C^b(\cal P)$ and show that it is an equivalence.

  3. Forgetting of the filtration on $DF_{bete}$ translates to a functor $C^b(\cal P)\rightarrow D^b(\cal A)$. The derived functor of this is the realization functor.

added 663 characters in body; added 2 characters in body
Source Link
Jan Weidner
  • 13.2k
  • 11
  • 61
  • 88

Let $\cal A$ be an abelian category, say linear over a field, with enough injectives and $\cal P$ be the heart of a t-structure on the bounded derived category $D^b(\cal A )$. Assume that $\cal P$ also has enough injectives. Suppose that the realization functor

$$real:D^b(\cal P)\rightarrow D^b(\cal A)$$

is an equivalence. Now given two objects corresponding through this equivalence, are their Ext-algebras $A_\infty$-quasi-isomorphic?

Edit: If I understand it correctly the realization functor is constructed in BBD as follows:

  1. They take the homotopy category of filtered injective complexes of objects in $\cal A$ whose filtration steps lie in $\cal P$. This category is called $DF_{bete}$.

  2. Using the boundary map of the triangles $gr^{i+1}F\rightarrow F^i/F^{i+2} \rightarrow gr^{i+1} F$ they construct a functor to the category of complexes $DF_{bete}\rightarrow C^b(\cal P)$ and show that it is an equivalence.

  3. Forgetting of the filtration on $DF_{bete}$ translates to a functor $C^b(\cal P)\rightarrow D^b(\cal A)$. The derived functor of this is the realization functor.

Let $\cal A$ be an abelian category, say linear over a field, with enough injectives and $\cal P$ be the heart of a t-structure on the bounded derived category $D^b(\cal A )$. Assume that $\cal P$ also has enough injectives. Suppose that the realization functor

$$real:D^b(\cal P)\rightarrow D^b(\cal A)$$

is an equivalence. Now given two objects corresponding through this equivalence, are their Ext-algebras $A_\infty$-quasi-isomorphic?

Let $\cal A$ be an abelian category, say linear over a field, with enough injectives and $\cal P$ be the heart of a t-structure on the bounded derived category $D^b(\cal A )$. Assume that $\cal P$ also has enough injectives. Suppose that the realization functor

$$real:D^b(\cal P)\rightarrow D^b(\cal A)$$

is an equivalence. Now given two objects corresponding through this equivalence, are their Ext-algebras $A_\infty$-quasi-isomorphic?

Edit: If I understand it correctly the realization functor is constructed in BBD as follows:

  1. They take the homotopy category of filtered injective complexes of objects in $\cal A$ whose filtration steps lie in $\cal P$. This category is called $DF_{bete}$.

  2. Using the boundary map of the triangles $gr^{i+1}F\rightarrow F^i/F^{i+2} \rightarrow gr^{i+1} F$ they construct a functor to the category of complexes $DF_{bete}\rightarrow C^b(\cal P)$ and show that it is an equivalence.

  3. Forgetting of the filtration on $DF_{bete}$ translates to a functor $C^b(\cal P)\rightarrow D^b(\cal A)$. The derived functor of this is the realization functor.

added 49 characters in body
Source Link
Jan Weidner
  • 13.2k
  • 11
  • 61
  • 88

Let $\cal A$ be an abelian category, say linear over a field, with enough injectives and $\cal P$ be the heart of a t-structure on the bounded derived category $D^b(\cal A )$. Assume that $\cal P$ also has enough injectives. Suppose that the realization functor

$$real:D^b(\cal P)\rightarrow D^b(\cal A)$$

is an equivalence. Now given two objects corresponding through this equivalence, are their Ext-algebras $A_\infty$-quasi-isomorphic?

Let $\cal A$ be an abelian category, say linear over a field, with enough injectives and $\cal P$ be the heart of a t-structure on the bounded derived category $D^b(\cal A )$. Suppose that the realization functor

$$real:D^b(\cal P)\rightarrow D^b(\cal A)$$

is an equivalence. Now given two objects corresponding through this equivalence, are their Ext-algebras $A_\infty$-quasi-isomorphic?

Let $\cal A$ be an abelian category, say linear over a field, with enough injectives and $\cal P$ be the heart of a t-structure on the bounded derived category $D^b(\cal A )$. Assume that $\cal P$ also has enough injectives. Suppose that the realization functor

$$real:D^b(\cal P)\rightarrow D^b(\cal A)$$

is an equivalence. Now given two objects corresponding through this equivalence, are their Ext-algebras $A_\infty$-quasi-isomorphic?

Source Link
Jan Weidner
  • 13.2k
  • 11
  • 61
  • 88
Loading