Search Results

Are there any homological checks I can use to check if a projective morphism is flat? For example, I would expect the following projective morphism to be flat $$ \textbf{Proj}\left( \frac{\mathbb{C}[s …

I'm reading about algebraic de Rham cohomology over characteristic zero which is constructed using hypercohomology. Already, constructing injective resolutions is difficult, and coupling this with fin …

I am trying to learn how to compute the projective bundle $\mathbb{P}(\mathcal{O}(a_1)\oplus \cdots \mathcal{O}(a_k))$ over some projective space using relative proj. How can I find a presentation for …

I'm learning about intersection cohomology topologically through MacPherson's "New York Times Article". This is a very nice guide which gives a nice idea on how to use these methods for low-dimensiona …

I'm trying to learn about D-modules for computing intersection cohomology but I'm having trouble coming up with explicit constructions of D-modules on projective varieties. Since this is an involved p …

A nice example of the decomposition theorem for a proper morphism of smooth varieties is the blowup of the points $p_i$ lying at the intersection of two plane curves; that is, let $f, g \in \mathbb{C} …

Given a smooth affine scheme $X = \mathbb{V}(g)$ over a field of characteristic 0, let $f:X \to \mathbb{A}^1$ be a morphism of schemes. Then, the critical locus is given by $\pi_*(dg \cap df)$ for $\p …

I'm reading some notes on hodge theory by Charles Siegel which makes a claim on page 16 relating the space of deformations of a smooth projective hypersurface $X$ with the jacobian ideal. More specifi …

Let $i:X \to \mathbb{P}^n$ be a smooth projective variety defined by the vanishing locus of polynomials $(\underline{f}) = (f_1,\ldots,f_k)$ which have degrees $>0$ and are pairwise coprime, meaning $ …

Given a variety $X$ and a complete-intersection morphism $$ Y \to X $$ is there an analogue of the Koszul complex for $\mathcal{O}_Y \in \textbf{Coh}(X)$ in the setting of constructible sheaves? Meani …

I've been reading about D-modules this summer in preparation for a learning seminar on intersection cohomology. Unfortunately, many of the ideas are not sticking while I learn about the theory. What a …

I will edit this question as I learn more, but here's one useful example: Consider the $\mathcal{D}_{\mathbb{A}^1}$-module $$ \frac{\mathcal{D}_{\mathbb{A}^1}}{\mathcal{D}_{\mathbb{A}^1}(t\partial_t - …

I'm learning about Lefschetz pencils and vanishing cycles and have looked at a few sources: http://www.math.purdue.edu/~dvb/preprints/sheaves.pdf http://www3.nd.edu/~lnicolae/Morse2nd.pdf Voisin's C …

Let $\mathcal{A}$ be an $\mathbb{F}$-linear differential graded category. It is said to be smooth if it is a perfect complex over the differential graded category $\mathcal{A}^\circ\otimes_\mathbb{F}\ …

Consider the family of singular hyperelliptic curves $$ y^2 - x(x-1)^2(x-2)(x-3)(x-4)(x-t) $$ over $\mathbb{A}^1_t$. Over a generic point the fiber is a genus three curve where one of the genera comes …