Skip to main content
54321user's user avatar
54321user's user avatar
54321user's user avatar
54321user
  • Member for 9 years, 3 months
  • Last seen more than 5 years ago
Loading…
comment
How do I find the algebra representing the projective bundle of a direct sum of line bundles over a projective space?
For all of the downvoters, can you please explain why you gave me these votes? It seems like many Hartshorne level questions go above math.stackexchange and are more appropriately written here.
Loading…
comment
comment
How do I find the algebra representing the projective bundle of a direct sum of line bundles over a projective space?
Sure, there is a hirzebruch surface $\mathbb{P}(\mathcal{O}\oplus\mathcal{O}(n)) = \text{Proj}(\mathbb{C}[s,t][x,y,z]/(s^ny - t^nz))$ from mathoverflow.net/questions/122952/on-a-hirzebruch-surface, but I am not sure how to find such an algebra in general.
comment
How do I find the algebra representing the projective bundle of a direct sum of line bundles over a projective space?
For example, $\text{Spec}(\text{Sym}(I/I^2))$ for $I = (xy,xz) \subset \mathbb{C}[x,y,z] = R$ is the scheme $\text{Spec}(R[a,b]/(az-by))$
comment
Loading…
comment
Connections and curvature in commutative algebra
You may want to try and look in the characteristic classes chapter at the end of the book "Complex Topological K-theory" by Efton Park. In it he discusses an approach for computing chern classes using connections which has a distinctly algebraic flavor.
answered
Loading…
comment
comment
How can I construct D-modules over projective space using explicit differential equations?
Will $\mathcal{D}_{\mathbb{P}^n}(\mathbb{P}^n) = \mathbb{C}\left[\frac{\partial}{\partial x_0}, \ldots, \frac{\partial}{\partial x_n}\right]$?
Loading…
comment
Does the $\infty$-groupoid functor $\Pi$ commute with pushouts of nice spaces?
Okay cool, this works for the example I was thinking about: attaching a 2-cell to a torus by the inclusion of a circle homotopic whose attaching map is homotopic to a point. This would give the fundamental groupoid $\Pi(X) \cong \Pi(S^2 \vee (S^1 \times S^1))$
awarded
Loading…
Loading…
comment
On a Hirzebruch surface
Don't you mean the image of $g$ will be the unique curve with self-intersection $-n$?
1 2 3
4
5
8