All Questions
Tagged with ag.algebraic-geometry cotangent-bundles
16 questions
0
votes
0
answers
98
views
A question about the sheaf supported on the zero section
Let $X$ be the total space of the cotangent sheaf on $\mathbb{P}^{2}$ and $i \colon \mathbb{P}^{2} \hookrightarrow X$ be thezero section. Suppose that $E$ is a coherent sheaf on $X$ which is set-...
2
votes
1
answer
123
views
Normal bundle of veronese as iteration extension of symmetric powers
In this post, an answer claims that the normal bundle of the Veronese decomposes into a filtration, such that the associated graded is $$\bigoplus_{i=2}^d S^i T,$$ where $T$ is the tangent bundle. But ...
- 129
1
vote
0
answers
159
views
Affinization map of cotangent bundle is proper/projective?
Given a cotangent bundle of a projective variety $Y=T^*X,$ do we know that its affinization map,
$$Y \rightarrow \mathrm{Spec}(H^0(Y,\mathscr{O}_Y))$$
is proper or projective?
- 1,687
4
votes
1
answer
522
views
Pairing of cotangent and tangent bundles
I am reading the survey paper: "The de-Rham Witt complex and Crystalline cohomology" by Luc Illusie.
In math line (2.1.12), Illusie considers the pairing $\langle-,-\rangle:\Omega_{X/S}^1\...
- 2,907
2
votes
0
answers
157
views
Is the cotangent sheaf of the symmetric product reflexive?
Let $X$ be a smooth projective surface and $X^{(n)}:= X^n/\mathfrak{S}_n$ be the nth symmetric product of $X$.
When is the cotangent sheaf of $X^{(n)}$ reflexive?
- 21
2
votes
1
answer
377
views
tangent bundle of Hilbert schemes of points on a projective surface
Let $S$ be a smooth projective surface. We denote $S^{[n]}$ the Hilbert scheme of artinian subschemes in $S$ of length $n$, which is a smooth projective variety of dimension $2n$ by Fogarty. Let $I\...
- 279
0
votes
0
answers
161
views
Projectivization of the normal bundle of $\mathbb P^4$ in the 10-spinor variety
Let $X=S_{10} \subset \mathbb P^{15}$ be the 10-dimensional spinor variety in its minimal embedding. Consider a $\mathbb P^4 \subset S_{10}$, hence we can define the normal bundle $N=N_{\mathbb P^4|S_{...
- 381
2
votes
1
answer
805
views
Tangent bundle for orthogonal and isotropic Grassmannians
We will work over $\mathbb C$. Let us consider a $n$-dimensional vector space $V$, then we define the $k$-th Grassmannian as
$$
\mathbb G(k,V):=\{W \subset V : \dim W=k\}.
$$
Then consider a non-...
- 381
0
votes
1
answer
210
views
Natural map from vector fields to cotangent variety
Let $X$ be a smooth variety, and let $\operatorname{Vec} (X)$ denote the $\mathcal{O}_X$-module of vector fields on $X$. It is stated in several books on D-modules, for example here in Corollary 6.6, ...
- 898
7
votes
0
answers
253
views
Triviality, ampleness, nefness, and bigness of the tangent bundle
Let $X$ be a smooth projective connected variety over $\mathbb{C}$ and let $T_X$ be its tangent bundle.
If $T_X$ is ample, then $X$ is isomorphic to a projective space by Mori's theorem.
If $T_X$ is ...
- 513
1
vote
0
answers
309
views
Restriction of the sheaf of relative differentials
Let $f:X\rightarrow C$ be a morphism, where $C$ is a smooth curve, and let $\Omega_f$ be the sheaf of relative differentials.
For $t\in C$ let $i_t:X_t = f^{-1}(t)\rightarrow X$ be the inclusion of ...
user61586
7
votes
3
answers
1k
views
Cohomology of the tangent sheaf of $\mathbb{P}(1,2,3)$
Using the exact sequence
$$0\mapsto\mathcal{O}_{\mathbb{P}^{2}}\rightarrow\mathcal{O}_{\mathbb{P}^{2}}(1)^{\oplus 3}\rightarrow T_{\mathbb{P}^{2}}\mapsto 0$$
it is easy to compute $H^{1}(\mathbb{P}^...
- 8,998
0
votes
1
answer
315
views
Tangent bundles and birational morphisms
Let $f:X\rightarrow Y$ be a smooth morphism between smooth schemes. Then there is an exact sequence
$$0\mapsto T_{X/Y}\rightarrow T_{X}\rightarrow f^{*}T_{Y}\mapsto 0$$
Now let us assume $f$ to be a ...
- 8,998
11
votes
2
answers
1k
views
Do smooth ind schemes have Dualizing sheafs?
Say I have an ind scheme $X = \cup_i X_i$ over a field $k$. I have its tangent bundle $\hom_k(k[\epsilon], X)$ which I can think of as ind scheme via $\cup_i \hom_k(k[\epsilon],X_i)$. The problem is ...
- 3,968
5
votes
1
answer
994
views
Does the preimage of the Slodowy slice in $T^*G/P$ have a name?
Let $G$ be your favorite simple complex Lie group, and $P\subset G$ your favorite parabolic subgroup. We can identify $T^*G/P$ with the space of pairs $$\{(gP,x)\in G/P\times \mathfrak g | x\perp \...
- 44.7k
3
votes
1
answer
637
views
Can the class of the canonical bundle be recovered from the total space of the cotangent bundle if one forgets that it is a cotangent bundle?
This is a somewhat speculative question, so bear with that (or not, as is your preference).
Let $X$ be a smooth projective variety, and let $\omega_X$ be its canonical sheaf. The Euler class of ...
- 44.7k