2004
DOI: 10.1090/s0002-9947-04-03523-8
|View full text |Cite
|
Sign up to set email alerts
|

Serre duality for non-commutative ${\mathbb {P}}^{1}$-bundles

Abstract: Abstract. Let X be a smooth scheme of finite type over a field K, let E be a locally free O X -bimodule of rank n, and let A be the non-commutative symmetric algebra generated by E. We construct an internal Hom functor, Hom GrA (−, −), on the category of graded right A-modules. When E has rank 2, we prove that A is Gorenstein by computing the right derived functors of Hom GrA (O X , −). When X is a smooth projective variety, we prove a version of Serre Duality for ProjA using the right derived functors of lim … Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
3
1
1

Citation Types

2
27
0

Year Published

2004
2004
2019
2019

Publication Types

Select...
5
1

Relationship

2
4

Authors

Journals

citations
Cited by 21 publications
(29 citation statements)
references
References 16 publications
2
27
0
Order By: Relevance
“…Remark. The analogous result was shown (again with the assumption that the base schemes are isomorphic) for general smooth projective base in [33]. The semiorthogonal decomposition yields a significant streamlining of the argument, however.…”
Section: Remarksupporting
confidence: 59%
“…Remark. The analogous result was shown (again with the assumption that the base schemes are isomorphic) for general smooth projective base in [33]. The semiorthogonal decomposition yields a significant streamlining of the argument, however.…”
Section: Remarksupporting
confidence: 59%
“…By [15, Theorem 1.2] and Lemma 2.6, it suffices to show that φ = a µ( * ψ) −1 makes the diagram commute. This fact follows from [11,Corollary 6.7].…”
Section: )mentioning
confidence: 75%
“…η ′ * K * →K whose unlabeled maps are canonical. The diagram commutes by the functoriality of (−) * and by [11,Corollary 6.3], and the compositions of the horizontal maps equal the map ǫ defined in the statement of Lemma 2.8. On the one hand, if we replace φ * by a µ(ψ * * ) −1 , the outer circuit of (2-5) commutes by [11,Corollary 6.7].…”
Section: )mentioning
confidence: 99%
See 2 more Smart Citations