The study of geometric objects defined by polynomial equations, as well as their generalizations: algebraic curves, such as elliptic curves, and more generally algebraic varieties, schemes, etc. Problems under this tag typically involve techniques of abstract algebra or complex-analytic methods. ...

learn more… | top users | synonyms (1)

4
votes
0answers
34 views

Examples of the primitive decomposition of a form

Let $(X,\omega)$ be a Kahler manifold of dimension $n$, let $L = \omega \wedge -$ and let $\Lambda$ denote its adjoint. There is a unique ''primitive decomposition'' of a $k$-form $u$ which looks like ...
3
votes
1answer
89 views

Classification of subschemes of $\mathbb{A}_K^2$ of dim $0$, deg $4$, $5$ with support at origin

What is the classification up to isomorphism of subschemes of $\mathbb{A}_K^2$ of dimenion $0$ and degrees $4$ and $5$ with support at the origin? Which are isomorphic as schemes over $\text{Spec}\,K$?...
6
votes
1answer
120 views

What's the difference between $\mathbb{A}^n$ and $\mathbb{A}^{n+1}$?

Besides the obvious difference in topological dimension. If you want to distinguish between $\mathbb{R}$ and $\mathbb{R}^2$, take an open set in the plane, remove a point, then it's still connected. ...
0
votes
1answer
55 views

Morphism of finite type schemes not surjective. Is there a closed point in the complement of the image?

I have the following proplem: Let $k$ be an algebraically closed field and let $X,Y$ be schemes of finte type over $k$. Now let $f:X\to Y$ be a morphism of schemes that is not surjective. Question: ...
1
vote
0answers
51 views

Why is $Supp D=Supp(\pi^*(\pi(Supp D)))$?

I'm trying to understand the proof of the theorem at page 163 of Mumford, Abelian Varieties. At some point we have the following situation: $X$ is an abelian variety, $D$ is an effective Weil divisor ...
1
vote
0answers
53 views

Seesaw principle

Let $k$ be an algebraically closed field of characteristic 0. The seesaw principle in algebraic geometry usually goes like this: let $T$ be a complete variety, let $X$ be an integral scheme of finite ...
1
vote
2answers
54 views

Asymptotes of $(x(t),y(t)) = \bigg(\frac{1+t^2}{2+t^3}, \frac{t}{2+t^3}\bigg)$, collinear points, …

Consider the curve: \begin{equation} (x(t),y(t)) = \bigg(\frac{1+t^2}{2+t^3}, \frac{t}{2+t^3}\bigg) \end{equation} Question 1: What are his asymptotes? Answer: In projective space: $[(2+t^3,1+t^2,t)]$...
5
votes
0answers
79 views

Need a counterexample to show that Cl$(X\times Y)$ is not always same as Cl$(X) \oplus $Cl$(Y)$

Recall that for a quasi projective variety $X$ one can define the Divisor Class Group denoted by $\operatorname{Cl}(X)$. Suppose $X$ and $Y$ be two quasi projective varieties.What is the ...
3
votes
1answer
84 views

Number of points of Jacobian of hypereeliptic curve of genus 2

I have a question about the exercise I found here on page 11: http://www.maths.bris.ac.uk/~matyd/DE/Stoll.pdf If we have a hyperelliptic curve $y^2=f(x)$ of genus $2$ over field $K$ we can prove ...
2
votes
0answers
40 views

Riemann-Roch Space for Quotient Curve

Let $C$ be a curve defined over a finite field $\mathbb{F}_q$. Let $\{f_1,..f_m\}$ be a basis for the riemann-roch space of functions, L(D), for the divisor $D= t\infty$. Suppose you have a subgroup ...
1
vote
1answer
47 views

Center and axis of Quadratic Surface

Given a Quadratic Surface in the form: $ax^2+by^2+cz^2+2fyz+2gzx+2hxy+2px+2qy+2rz+d=0$ I know how to decide which kind of surface is represented (http://mathworld.wolfram.com/QuadraticSurface.html). ...
0
votes
1answer
55 views

Algebro-geometric proof of Cayley Hamilton theorem

I am looking for a reference on the algebro-geometric proof of C.H. Theorem: Every square matrix satisfies its characteristic polynomial. There are several points I don`t understand reading my ...
0
votes
0answers
31 views

Basic ideals exercise, and a question about notation definition

From this this book. Given a finite set $\left\{f_1,f_2,\ldots,f_r\right\} \subset R$, the ideal $I$ generated by this set is denoted $f_1, f_2, \ldots , f_r$ and consists of all the sums $f_1h_1 ...
3
votes
1answer
566 views

Underlying space of fiber product of schemes

Let $X,Y$ be schemes over a field $k$. I know that $X \times_k Y$ is not equal to the catesian product $X \times Y$. For example $\mathbb{A}_{k}^2 \neq \mathbb{A}_{k} \times \mathbb{A}_{k}$. So, I ...
3
votes
0answers
43 views

Chern classes of the associated vector bundle of a branched covering

Let $f \colon X \to \mathcal{Q}_7$ be a branched covering of degree $3$ of a $7$-dimensional smooth projective quadric $\mathcal{Q}_7 \subset \mathbb{P}_8$, where $X$ is a smooth connected projective ...
1
vote
1answer
50 views

Exact Sequence of Line Bundles on $\mathbb{P}^{2}$

I'm considering an example in the great book "Mirror Symmetry" where they consider the exact sequence of line bundles $\mathcal{O}(-2) \to \mathcal{O}(-1) \oplus \mathcal{O}(-1) \to \mathcal{O}$, ...
1
vote
2answers
26 views

Proving that the spectrum of a ring generates a topology

I am trying to understand the spectrum topology. In this topology, for any ideal $I\subset R$ (where $R$ is a commutative ring), a closed set $\Bbb{V}(I)$ is defined to be all prime ideals contained ...
1
vote
0answers
27 views

Ample, Very ample line bundles on projective space

I have been reading Hartshorne. I am trying to understand a bit about a0mple, very ample line bundles, line bundles generated by global sections. I am trying to find these in case of the Projective ...
1
vote
0answers
43 views

Connection of $\mathcal{O}(n)$ on a toric manifold

The holomorphic line bundle $\mathcal{O}_X(1)$ over a toric manifold $X$, admits a hermitian connection, $A^{(1)}$, whose $U(1)$ gauge transformation in a local patch of the base space is $$ A^{(1)}...
1
vote
1answer
43 views

Is the dual of the tautological subbundle on a grassmannian ample?

Consider the Grassmannian $G(k,V_{n})$ of k-dimensional subspaces in an n-dimensional vector space $V_{n}$. We have the "restriction" map of vector bundles $V_n^* \rightarrow \mathcal{E}_k$, where $...
3
votes
0answers
26 views

Griffiths and Harris $\mu=\mathcal{H}(\mu)+dd^*G(\mu)$

Griffith and Harris state on page $116$ that for a closed form $\mu$ on a Kahler manifold of type $(p,q)$ we have $$\mu=\mathcal{H}(\mu)+dd^*G(\mu)$$ Here $$\mathcal{H}:\Omega^{p,q}(M)\to\mathcal{H}^{...
1
vote
0answers
18 views

How to find the distinguished points of this cone?

Consider the cone - $\langle e_1,-e_1+2e_2\rangle$ in the lattice $N=\mathbb Z^2$. Then it has the following faces - $0=\{(0,0)\}$ $\rho_1=\langle e_1\rangle$ $\rho_2=\langle-e_1+2e_2\rangle$ $\...
0
votes
0answers
34 views

Vanishing set of a pullback section

Let $f\colon X\to Y$ be a morphism of schemes and let $\mathcal{F}$ be an $\mathcal{O}_Y$-module. Let $s\in H^0(Y,\mathcal{F})$. If I'm not mistaken, then $(f^{-1}s)_x=s_{f(x)}$ for all $x\in X$ and ...
1
vote
0answers
30 views

How do I show the tangent to an elliptic curve over the complex numbers meets the elliptic curve at another point?

If $E(\mathbb{C})$ is an elliptic curve given by $y^2=ax^3+bx+c$ for $a,b,c\in \mathbb{C}$, and $\ell$ is a line tangent to $E(\mathbb{C})$ at some point $p$, then why does $\ell$ meet $E(\mathbb{C})$ ...
0
votes
0answers
15 views

In a DVR, why does $u=f(t,u)$, with $f$ a homogeneous polynomial of degree $3$ and $t$ a uniformizer, imply $\nu(u)=3$?

In this answer by Georges Elencwajg, it is stated that $$u=t^3-\dots-e_1e_2e_3u^3=\text{a homogeneous polynomial of degree $3$ in t,u}\quad(\ast)$$ [...] Now in the local ring $\mathcal O_{...
0
votes
0answers
18 views

Order of point in divisor

I would like to prove that for hyperelliptic curve $y^2=f(x)$ over $k$ and for $a,b\in k$ divisor of the function $g(x,y)=\frac{x-b}{x-a}$ is equal to $$div(g)=(b,\sqrt{f(b)})+(b,-\sqrt{f(b)})-(a,\...
0
votes
0answers
29 views

How to define the Zariski tangent space of a divisor?

I'm interested in the case where $X$ is an abelian variety, so we have the correspondence between line bundle and divisors (and I like to think in terms of Weil divisors). Let's first recall the ...
0
votes
1answer
30 views

Calculating a composition of finite correspondences

This is part of exercise 1.11 in Mazza, Voevodsky, Weibel's Lecture Notes on Motivic Cohomology. Here's some notational stuff: we're working in the category $Cor_k$ whose objects are the smooth ...
0
votes
0answers
47 views

Why is this intersection supported on the closed point?

Let $R$ be a (commutative unitary) local ring. Let $M$ and $N$ be finitely generated $R$-modules such that $\mathrm{length}(M\otimes_R N)$ is finite. Let $x$ be the closed point of $X=\operatorname{...
0
votes
2answers
70 views

Checking if a point is singular by looking at the algebraic definition

I am trying to calculate if a point is singular or not. What I want to use is that a point is nonsingular if $\dim_k( m_p/m^2_p)=1$, where $m$ is the maximal ideal of an algebraic curve at a point $p$....
1
vote
0answers
23 views

Derived pushforward of exceptional divisors

Let $f: X \to Y$ be a birational morphism between projective, smooth varieties. Suppose $E$ is an effective exceptional divisor of $f$. Then it is well known that $f_*(\mathcal{O}_X(E)) = \mathcal{O}...
2
votes
0answers
74 views

Algebraic Geometry: Flatness is equivalent to being scheme-theoretically dense?

In Mumford's penultimate draft for his Algebraic Geometry book, he says in p.144 (followed by a definition 4.12 which I copied here): Def 4.12. Let R be a valuation ring, and let $\eta$ (resp. $o$)...
32
votes
5answers
4k views

Famous papers in algebraic geometry

I'm reading the Mathoverflow thread "Do you read the masters?", and it seems the answer is a partial "yes". Some "masters" are mentioned, for example Riemann and Zariski. In particular, a paper by ...
0
votes
0answers
31 views

Closed point in the generic fiber of an arithmetic surface

Let $S$ an irreducible Dedekind scheme of dimension $1$, and let $\pi:X\to S$ be a regular, integral fibered surface. We assume that $\pi$ is a flat morphism and that $X_\xi$ is the generic fiber over ...
4
votes
1answer
117 views

How can I verify that the ideal $(x^2-zw, z^2-yw, y^3-xw, w^3-xy^2z)$ is prime in $\mathbb Q[x,y,z,w]$? [closed]

I want to show that the ideal $$(x^2-zw, z^2-yw, y^3-xw, w^3-xy^2z)$$ in the ring $\mathbb{Q}[x,y,z,w]$ is prime, how can I?
1
vote
1answer
84 views

Twisted sheaf isomorphic to invertible sheaf associated to 1-cocycle

Let $X=\operatorname{Proj}A$ for some graded ring $A$ such that the irrelevant ideal $A_+$ is generated by the degree one part $A_1$ of $A$. Then Bosch's $\textit{Algebraic Geometry and Commutative ...
1
vote
1answer
73 views

Morphisms of sheaves v.s. morphisms of presheaves

Let $\mathcal{F},\mathcal{G}$ be presheaves on a topological space $X$ and $\alpha$ a morphism of presheaves. Consider the following four statements. I meant here "for all $U$ open in $X$" 1)$\alpha$ ...
1
vote
1answer
71 views

Understanding a theorem in algebraic geometry

Theorem: Let $X$ be projective, $Y$ be quasi-projective variety, and $f: X \to Y$ be an algebraic morphism. Then the image $f(X)\subset Y$ is Zariski closed. I am trying to understand my note that ...
2
votes
1answer
30 views

Understanding $X \to X^{tt}$ from the Poincare bundle

Let $X$ be an abelian variety over $k$, $X^t = \text{Pic} _{X/k}^0$ its dual, and $\mathscr{P}$ be the Poincare bundle on $X \times X^t$. View $\mathscr{P}$ as a family of line bundles on $X^t$ ...
0
votes
0answers
15 views

number of irreducible components [duplicate]

In some cases, we can draw a variety and just count the number. For example, $xy =0$ in $k[x,y]$. Also, there are many results in algebraic geotmetry or algberaic groups, telling one how to prove the ...
1
vote
0answers
27 views

$Q$ parabolic in $P$, $P$ parabolic in $G$ implies $Q$ parabolic in $G$.

I am a bit confused on the proof of this lemma. $G$ is a linear algebraic group over an algebraically closed field $k$. A closed subgroup $P$ of $G$ is called parabolic if the quotient variety $G/P$ ...
2
votes
1answer
60 views

the defining polynomials of $PGL_n$ as an affine algebraic group

I have read this question. Also, there are theorems telling me that $PGL_n$, as the quotient of $GL_n$ by its center, is with no doubt an affine variety (affine algebraic group). But, is it true that ...
22
votes
5answers
2k views

geometric motivation for negative self-intersection

consider the blow-up of the plane in one point. Let $E$ the exceptional divisor. We know that $(E,E)=-1$. Which is the geometrical reason for which the auto-intersection of $E$ is $-1$? In general ...
2
votes
0answers
33 views

Effective divisor of degree $2$ over finite field and number of points in Jacobian

I am given a hyperelliptic genus $2$ curve $C\dots y^2=f(x)$ over the finite field $\mathbb{F}_q$ and I need to prove that $$\#J(\mathbb{F}_q)=\frac{1}{2}\#C(\mathbb{F}_q)^2+\frac{1}{2}\#C(\mathbb{F}...
2
votes
0answers
50 views

Blowing up something larger than the singular locus

Suppose that we have a variety $X$, which we know is smooth outside of some subvariety $Z$. And suppose there is a smooth subvariety $Z \subset W \subset X$ such that the blowup $Bl_W X$ is smooth. ...
2
votes
2answers
50 views

Locally free sheaf of rank n on $A^1_k$ is trivial of rank n

The question is how to prove the title, this is actually exercise 13.2.C. from Vakil's notes. The hint is to use the structure theorem for f.g. module over PID. Since to be quasi-coherent is a local ...
3
votes
2answers
42 views

References for the functor of points vision of schemes.

I recently discovered the idea of the functor of points. I would like to find a reference where the different visions of scheme are presented. It seems to me that the classical texts emphasize the ...
1
vote
1answer
43 views

Line bundle and effective divisor?

$X$ is for me an abelian variety. I think I have seen this result somewhere but I can not find it anymore: For any line bundle $\mathcal{L}$, $\dim H^0(X,\mathcal{L})>0$ if an only if $\...
3
votes
0answers
35 views

Connected component of $0$: why is it an abelian variety?

With "Abelian variety" I mean a integral scheme $X$, proper over an algebraically closed field (complete variety) with a group law $m: X\times X \rightarrow X$ such that $m$ and the inverse map are ...
0
votes
2answers
68 views

What happens with the empty set in the categorical definition of a presheaf?

I've found in Hartshorne's book on Algebraic Geometry a categorical definition of a presheaf (Ch. 2.1, just after the first definition). He there defines for a topological space $X$ the category $\...