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)

0
votes
0answers
3 views

Points of scheme with residue field $k$ vs $k$-point

Let $X$ be a scheme over a field $k$. Consider the following definitions. The residue field of a point $x\in X$ is $k(x)=\mathcal{O}_{X,x}/\mathfrak{m}_x$. The $k$-point of $X$ is the morphism of ...
-2
votes
0answers
23 views

I need the surface area of a sphere that is 1200 times larger than the units that make it up [on hold]

I have a piece. Each piece is one unit. I have an object(sphere) that is 1200 times larger than one piece. The object is a hollow shell made up of multiple pieces. How many pieces does it take to ...
0
votes
0answers
17 views

Why are algebraic cycles rational?

Let $X_{/\mathbb{C}}$ be a projective non-singular variety of dimension $n$ and $Z \subset X$ be an irreductible subvariety of dimension $p$. Denote by $\mathrm{H}_{\mathrm{dR}}^i(X,\mathbb{C})$ the ...
2
votes
1answer
32 views

Does a simplex with equal altitudes have to be equilateral?

Consider a simplex in $\mathbb{R}^d$. Assume that all its altitudes have the same length. Does it necessarily mean that the simplex is equilateral, i. e. all distances between its vertices are equal ...
0
votes
0answers
16 views

Blow up of Hirzebruch surface

I would like to prove that the blow up of $n$-th Hirzebruch surface $F_n=\mathbb P(\mathcal O \oplus \mathcal O(n))$ at a point outside the exceptional section is isomorphic to the blow up of ...
1
vote
1answer
55 views

The moduli space of stable maps

I am reading Katz' book Enumerative Geometry and String Theory. I have a few questions regarding the moduli space of degree $d$ genus $0$ stable maps into $\mathbb P^n$, denoted ...
0
votes
1answer
25 views

Dual bundle of a stable vector bundle.

Given a vector bundle $E \to X$ over a complex curve $X$, let its rank and degree be $r$ and $d$ respectively. Then the slope of $E$ is defined to be $ \mu(E):= \frac{d}{r}. $ $E$ is defined to be ...
0
votes
0answers
37 views

Rational normal curve of degree 4

Consider the rational normal curve of degree 4. It can be realized as the intersection of a certain number of quadrics. Usually in examples we consider those quadrics to be singular. However, can at ...
4
votes
0answers
48 views

Vector Bundles:differential geometry vs algebraic geometry

I am in trouble about the vector bundle part in the Friedman's book: Algebraic Surfaces and Holomorphic Vector Bundle, I know what is a vector bundle(or a fibre bundle) in the differential geometry, ...
0
votes
0answers
24 views

Finding a bijective morphism

I am given two Varieties $Z=V(x^2+y^2+1) \subset C^2$ and $W=V(x^2-y^2-1) \subset C^2$. We need to find a bijective morphism f such is an isomorphism with the inverse of f. First how we defined ...
0
votes
0answers
25 views

ideals of polynomial ring with complex number coefficients

Let $\mathbb{C}[x,y]$ be the polynomial ring with variables $x,y$ and coefficient in $\mathbb{C}$. Let $f,g\in \mathbb{C}[x,y]$. Let $(f,g)$ be the ideal of $\mathbb{C}[x,y]$ generated by $f,g$. ...
0
votes
0answers
33 views

On the proof of Lemma 3.17 in Harris - Algebraic Geometry, A First Course

This question is motivated by the proof of Lemma 3.17 in Algebraic Geometry, First Course by Joe Harris. Let $Y$ be a closed subset of $\mathbb{A}^n$ and consider the projection $\pi : Y \times ...
0
votes
1answer
35 views

The genus of a certain kind of cubic

I have a cubic curve that looks like $$ a_0 x^3 + a_1 x^2 y + a_2 xy^2 + a_3 y^3 = b $$ with $a_0, a_1, a_2, a_3$, and $b$ all integers, and $a_0$ and $b$ nonzero. I'm not sure but I think in my ...
0
votes
0answers
21 views

How to prove that $\mathrm{Proj}\left(B/J\right)$ is isomorphic to $\mathrm{Proj}\left(A/J\right)$ if $I\subset J$?

Let $B$ be a graded ring with positive degrees, and let $I$ and $J$ be homogeneous ideals of $B$. We suppose that there exists $N$ such that $I\cap B_{n}=J\cap B_{n}$ for all $n\ge N$. How to show ...
0
votes
1answer
21 views

Commutative Algebra and Monomial orders

So whenever we are doing any problem related to ideals in the polynomial ring $k[x_{1},x_{2},\dots x_{n}]$,(e.g. calculating a grobner basis for instance or doing the division algorithm for a set of ...
3
votes
0answers
29 views

About rational curves on elliptic K3 surfaces

I am trying to read this paper http://arxiv.org/pdf/math/9902092.pdf. I have some trouble at the end in Corollary 3.27, and also Proposition 3.24. 0)Morally speaking my main trouble is that i don't ...
3
votes
0answers
48 views

Projective line intersecting 3 projective subspaces

I am trying to solve the following problem: Let $\mathbb{P}(U),$ $\mathbb{P}(V)$ and $\mathbb{P}(W)$ be projective subspaces of dimension $k,$ $l$ and $m$ respectively in $\mathbb{P}_K^n$. Suppose ...
2
votes
0answers
20 views

Singular Conics and Intersection of Line with a Conic

I've been working through Silverman and Tate's book Rational Points on Elliptic Curves. They use conic equations as an introduction to singular/nonsingular curves. I've reproduced the problem with my ...
1
vote
1answer
24 views

WLOG doubt: why can we assume that two disjoint linear subspaces of dimension $n$ in $\mathbb{P}^{2n+1}$ are given by the following equations…

Let $H_1,H_2$ be two linear disjoint subspaces of dimension $n$ in $\mathbb{P}^{2n+1}$. Let $(x_0:\cdots:x_n:y_0:\cdots:y_n)$ be homogeneous coordinates in $\mathbb{P}^{2n+1}$. My question is: ...
-1
votes
1answer
16 views

Crushing Cylindrical wooden pillar

The Crushing load of a cylindrical wooden pillar varies directly as the fourth power of its diameter and inversely as the square of its height. If K is the crushing load of a certain wooden pillar, ...
3
votes
1answer
46 views

Tangent lines of a smooth curve $C \subseteq \mathbb{P}^2$

Let $C$ be a smooth curve, given as the zero locus of a homogeneous polynomial $f \in \mathbb{K}[x_0,x_1,x_2]$. Consider the morphism $\varphi_C:C\rightarrow\mathbb{P}^2$ such that ...
0
votes
0answers
21 views

Question about bilinear and quadratics form

I'm reading this book: Geometry of algebraic curves by Cornalba, Harris etc. At page 289 there is an excercise where the authors define a quadratic form $Q:V \times V \rightarrow \mathbb{C}$ taking ...
0
votes
1answer
17 views

Subgroups of points of order 2 in an elliptic curve

Depending on the roots of $y^2 - x(x^2+ax+b) = 0$ being real or not, we can have 2 subgroups of points of order 2 for a given elliptic curve- Kelin-4 group or a cyclic group of order 2. How does one ...
3
votes
0answers
56 views

A computation related to Hironaka's Example

My questions are at the very end, first I'll describe the context. Let $f:\mathbb{P}^3\to \mathbb{P}^3$ be an involution whose fixed locus consists of two disjoint lines $L, L' \subset \mathbb{P}^3$. ...
2
votes
0answers
40 views

Blowup of six points in $\mathbb{P}^2$

I have been looking at sequential blowups of six points $P_i$ in $\mathbb{P}^2$. In the general case, we can identify the blowup with a nonsingular cubic surface in $\mathbb{P}^3$ and under this ...
3
votes
0answers
30 views
+50

Intersection points of two Bernoulli lemniscates

What is the maximum number of intersection points of two Bernoulli lemniscates in the real plane? Here is some of my efforts: A Bernoulli lemniscate is a degree four curve with two nodes on the ...
2
votes
1answer
34 views

Closed points are dense in $\operatorname{Spec} A$

From 3.6.J in Vakil: Let $k$ be a field, and let $A$ be a finitely generated $k$-algebra. We want to show the closed points are dense in $\operatorname{Spec} A$. This is the set of prime ideals of ...
2
votes
0answers
39 views

Assume that for any pair of vertices $P_i$ and $P_j$ , there exists a vertex $P_k$ of the polygon such that $∠P_i P_k P_j = \pi/3.$

Let $P_1 P_2 \dots P_n$ be a convex polygon in the plane. Assume that for any pair of vertices $P_i$ and $P_j$ , there exists a vertex $P_k$ of the polygon such that $∠P_i P_k P_j = \pi/3.$ Show ...
0
votes
1answer
40 views

Why does $\bigwedge^p(L_1\oplus\cdots\oplus L_p)\cong L_1\otimes\cdots\otimes L_p$?

I have a very brief question. If you have a bunch of line bundles $L_1,\dots,L_p$ over a scheme $S$, why does $\bigwedge^p(L_1\oplus\cdots\oplus L_p)\cong L_1\otimes\cdots\otimes L_p$, and can't find ...
1
vote
0answers
37 views

Algebraic closedness in residue field [on hold]

If $A\subseteq B$ are affine domains over an algebraically closed field of $k$ of characteristic zero such that $Q(A)$ is algebraically closed in $Q(B)$, how can one show that $Q(A)$ is also ...
2
votes
2answers
123 views

How is the notion of adjunction of two functors usefull?

Is there a secret or an intuitive idea behind the fact of creating the concept of adjunction of two functors ( Functor - Adjoint Functor ) ? How is this notion of adjunction of two functors usefull ? ...
0
votes
0answers
44 views

Tangent Cone of a Complete Intersection

Can you give me an example of an affine variety $X \subseteq \mathbb{A}^n_{\mathbb{C}}$ over the complex numbers which is a complete intersection such that the reduced tangent cone at some point $p ...
5
votes
1answer
37 views

Write $\mathbb{P}^3_{\mathbb{C}}$ as a union of disjoint lines

Is there a set $\Gamma=\{L \subseteq \mathbb{P}^3_{\mathbb{C}}: L \textrm{ is a projective line}\}$ such that every point $p \in \mathbb{P}^3_{\mathbb{C}}$ lies on exactly one line $L_p \in \Gamma$? ...
2
votes
0answers
33 views

Union of affine varieities is a projective variety?

Let $X \subset \mathbb{P}^n$ be a subset and let $U_i = \{ [z_0: \cdots :z_n] : z_i \neq 0 \}$ for $0 \leq i \leq n$ be the usual affine cover of projective space. Suppose that $X \cap U_i$ is an ...
1
vote
2answers
80 views

Cohen-Macaulay rings and Normal rings

is there an example that R is Cohen-Macaulay but not normal ring? what about the converse example?
0
votes
1answer
23 views

What is vectors straddle a plane mean?

There is a condition in a paper, saying that two vectors straddle a plane. How can we transfer this condition to a equation? Because I have another 5 equations and need this one to solve 6 unknowns. ...
0
votes
1answer
53 views

Why is this map injective?

On the page we find the following: $ \phi : Z ( P_1 , \dots , P_r ) \to \mathrm {Spm} (K[ X_1 , \dots , k_n ] / \sqrt{ ( P_1 , \dots , P_r )}) $ defined by $ \phi ( ( a_1 , \dots , a_n ) = \pi ( ( ...
1
vote
1answer
33 views

Number of inflection points of an algebraic projective curve

I' m trying to prove that a curve in $\mathbb{P^{2}(\mathbb{C})}$ of degree $d$ has an infinite number of inflection points or it has at most $\le 3d(d-2)$ inflection points. Let be $C$ the curve and ...
0
votes
0answers
19 views

Reflexive sheaves on stable curves-II

This is an extension of Reflexive sheaves on stable curves. Let $C$ be a stable curve and $\mathcal{F}$ a reflexive sheaf on $C$ supported on the whole of $C$. Is the projective dimension of ...
0
votes
1answer
23 views

Reflexive sheaf on normal surfaces

Let $X$ be a normal, projective scheme of pure dimension $2$ and $\mathcal{F}$ is a reflexive coherent sheaf on $X$. Is $\mathcal{F}$ locally free?
2
votes
1answer
43 views

Blow-up toric varieties.

I have to take a talk of an hour and I have to talk about blow-up of toric varieties. Can you suggest me some interesting examples that I can present? How can I find a good reference for the theory ...
1
vote
1answer
22 views

How does an irreducible quadric in projective space look like?

I read the answer to the following question: Quadrics are birational to projective space Here it is stated that: Over a field $k$ of characteristic ≠2 every irreducible quadric $Q \subset \mathbf ...
0
votes
2answers
39 views

Jacobian of n linearly independent forms in n variables

Let $k$ be a field of characteristic zero and let $f_1, \ldots, f_n \in k[x_1, \ldots, x_n]_d$ be linearly independent forms of degree $d$ in $n$ variables. Is there a nice algebraic argument for ...
0
votes
0answers
26 views

How to understand the elementary modification?

In the Friedman's book: Algebraic Surfaces and Holomorphic Vector Bundle , there is concept elementary modification at Ch2 Def15. Let V is rank 2 bundle on X and L a line bundle on effective divisor ...
1
vote
0answers
13 views

Automorphisms of del Pezzo surface of degree $1$.

I have som problems with understanding of finite subgroups $G$ of $Aut(S)$,where $S$ del Pezzo surface of degree $1$. I consider case, when $k = \mathbb{Q}$. I don't understand why $Aut(S)$ embedding ...
2
votes
0answers
24 views

Lifting of Commuting Maps of Vector Bundles

Assume that we have a vector bundle $\mathcal{F}$ over $\mathbb{P}^d(\mathbb{C})$ that is generated by global sections. Let $\pi \colon \mathcal{O}^n \to \mathcal{F}$ be the associated map that is ...
5
votes
0answers
58 views

Does $L_1\oplus\mathbb{A}^1_X\cong L_2\oplus\mathbb{A}^1_X$ imply that $L_1\cong L_2$?

Suppose $L_1,L_2$ are line bundles over a scheme $X$. If one knows that $L_1\oplus\mathbb{A}^1_X$ and $L_2\oplus\mathbb{A}^1_X$ are isomorhpic, is that enough to conclude that $L_1$ and $L_2$ are ...
-2
votes
1answer
41 views

Intersection of a hypersurface with a projective variety [on hold]

I don't understand the argument in the proof of Corollary 3.15 (This is from Harris). In particular, how exactly is Corollary 3.14 applied?
2
votes
1answer
36 views

Sections of Divisors on Projective Space

Everything is over $\Bbb{C}$. Let $X$ be a smooth projective variety. Fix an open covering $U_i$ of $X$ and let $D$ be a Cartier divisor given by a collection of rational functions ...
3
votes
1answer
27 views

Are points in general position generic points?

In Harris' algebraic geometry book, $p_{1},\ldots,p_{r}\in\mathbb{P}^{n}$ are said to be in general position if no $n+1$ or fewer of them are dependent. I want to prove that, if ...