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)

2
votes
1answer
37 views

Is there a characterization of contractible hypersurfaces in $\mathbb{C}^2$.

Let $V$ be an irreducible, algebraic hypersurface in $\mathbb{C}^2$ which is contractible as a topological space. I would like to know the algebraic characterization of such objects. For example, ...
0
votes
1answer
29 views

Sparse & Dense Polynomials

I've been reading up on Bernstein's theorem for an algebraic geometry assignment and I've come across the terms "dense" and "sparse" in relation to the polynomials. However, I have been unable to find ...
1
vote
1answer
32 views

Base change for Quot-scheme

I am reading the book of Huybrechts and Lehn "The Geometry of Moduli Spaces of Sheaves" with an aim to become a little bit familiar with this topic. Now I am trying to understand what is ...
4
votes
2answers
52 views

Singular Points on Algebraic Curves

What does it mean for a point on an algebraic curve (over any field) to be singular? Over $\mathbb{R}$ or $\mathbb{C}$ is means that all derivatives vanish, but how does this definition generalise to ...
1
vote
2answers
51 views

Is there a classification of regular maps $\mathbb{P}^1(k)\to\mathbb{A}^1(k)$?

If $\mathbb{P}^1(k)$ and $\mathbb{A}^1(k)$ are the projective line and affine line, respectively, over an algebraically closed field $k$, is there any known classification of the regular maps ...
2
votes
1answer
64 views

9 missing lines on a specific smooth cubic surface

Let $\Gamma (x,y,z) = 27 x^3 + 243 x^2 y+324 x y^2 + 189 y^3 +27 x^2 z + 27 x y z - 27 y^2 z + z^3$. $S: \Gamma (x,y,z) = 27 $ is a smooth cubic surface. Consider lines of the form $x = x_0 + p s$, $y ...
4
votes
1answer
74 views

Cohomology of affine plane with double origin

How to calculate cohomology $H^1(X,O_X)$,$H^2(X,O_X)$ $H^1(X,O_X^*)$ of affine plane with double origin $X=\mathbb{A}^2\cup_{\mathbb{A}^2-\{0\}}\mathbb{A}^2$? To use Cech cohomology, I cannnot find a ...
2
votes
0answers
27 views

Minimal resolutions of singularities in higher dimensions and their cobordism class.

For a given singular algebraic variety over $\mathbb{C}$, how many minimal resolutions can exist? More specifically, consider a projective quadratic cone $Q$ in $\mathbb{C}P^{4}$ (with homogeneous ...
1
vote
1answer
41 views

Variety that is affine and projective is a finite number of points

I was trying to proof the following without any luck. I would appreciate good hints. A projective variety that is isomorphic to an affine variety is a finite number of points.
5
votes
1answer
272 views

The Disk and the Punctured Disk

Can you explane me why $$D = \operatorname{Spec}\mathbb{C}[[t]]$$ is the disk and $$D^{\times} = \operatorname{Spec}\mathbb{C}((t))$$ is the punctured disk? Or give me some links on intelligible ...
1
vote
1answer
58 views

Why do intersection of two quadratic forms implies elliptic curve?

Let $k$ be a field and $S=k[T_0,T_1,T_2,T_3]$ and $f,g\in S_2$ two relatively prime quadratic forms. How can I show that the intersection $X\subset \mathbb P_k^3$ of second degree surfaces $V_+(f)$ ...
1
vote
1answer
33 views

suggestion for a book on algebraic curves

I don't know if i'm asking in the wrong place, but I'm studying the book Algebraic curves of Fulton, and having some problems understanding the final chapters (6,7 and 8). I've found a good help in ...
2
votes
1answer
45 views

direct and inverse images of sheaves and some canonical morphisms

Consider a continuous map $f\colon X\to Y$ between topological spaces. Let $\mathcal F$ be a sheaf on $X$ and $\mathcal G$ a sheaf on $Y$ (let's say of abelian groups). There exists canonical ...
2
votes
2answers
35 views

Restriction maps in an integral scheme are injective

Suppose $X$ is an integral scheme. I would like to show that the restriction maps $res_{U,V} : O_X(U) \rightarrow O_X(V)$ is an inclusion so long as $V$ is not empty. I was wondering if someone could ...
0
votes
0answers
28 views

What are some elementary books which discuss projective lines on surfaces with examples?

I have the books: W. H. Blythe, On models of cubic surfaces (1905) and A. Henderson, The twenty-seven lines upon the cubic surface, and a couple more modern algebraic geometry books including I. R. ...
0
votes
1answer
26 views

Show that $\mathbf{I}(\mathbf{V}(x^n, y^m)) = \langle x, y \rangle$.

Show that $\mathbf{I}(\mathbf{V}(x^n, y^m)) = \langle x, y \rangle$. Where $\mathbf{I}$ is the ideal, and $\mathbf{V}$ is the affine variety. I'm not sure how to even begin on this one. I know ...
0
votes
0answers
52 views

immersions and finite morphisms

I have the following question: Let $X \subset \mathbb A^n$ be an affine variety. Prove that the immersion $i\colon X \hookrightarrow \mathbb A^n$ is a finite morphism. I know that the ...
0
votes
0answers
28 views

What are some applications of parametrization of curves and surfaces?

I know that we can find all elements of a quadratic field with norm 1 by rational parametrization of conics, it can be used to show that some Diophantine equations are not so easy to solve, and that ...
9
votes
2answers
166 views

Artin Chapter 11, Exercise 9.12, polynomials without common zeroes [on hold]

How do I show that the three polynomials $f_1 = t^2 + x^2 - 2$, $f_2 = tx - 1$, $f_3 = t^3 + 5tx^3 + 1$ generate the unit ideal in $\mathbb{C}[t, x]$? Artin mentions two approaches: by showing that ...
6
votes
1answer
102 views

How can a finite graph be viewed as a discrete analogue of a Riemann surface?

In the paper "Riemann–Roch and Abel–Jacobi theory on a finite graph" by Baker and Norine, the first line of the abstract states: "It is well known that a finite graph can be viewed, in many respects, ...
3
votes
2answers
68 views

Show that if $f \in \mathbb{C} \left[x_1, \dots, x_n \right]$ vanishes at every point of $\mathbb{Z}^n$, then $f$ is the zero polynomial.

I am working on a problem from Ideas, Varieties, and Algorithms: Show that if $f \in \mathbb{C} \left[x_1, \dots, x_n \right]$ vanishes at every point of $\mathbb{Z}^n$, then $f$ is the zero ...
19
votes
4answers
419 views

Why there is much interest in the study of $\operatorname{Gal}\left(\overline{\mathbb Q}/\mathbb Q\right)$?

Let's start for a simple quote from wikipedia: "No direct description is known for the absolute Galois group of the rational numbers. In this case, it follows from Belyi's theorem that the ...
3
votes
2answers
101 views

Why Zariski topology is not Hausdorff

I am reading the book about Algebraic geometry. I am confused about the following two things the book mentioned: Zariski topology is 1. different from the topology studied in real and complex ...
3
votes
1answer
47 views

Calculating canonical divisor in product of projective spaces.

Let $X$ be an intersection of two divisors of bidegree $(a,b)$ and $(c,d)$ in $\mathbb{P^2}\times \mathbb{P^2}$. Then how can I find the canonical divisor $K_X$? I'm asking because I have no ...
2
votes
1answer
26 views

Showing a set is an affine variety

I am trying to work through Hartshorne's book and while working through one of the exercises, I need to show the following: Let $k$ be an algebraically closed field. Let $Y \subseteq A^3$ be the set ...
2
votes
0answers
55 views

How to Distinguish Between Base-points in Blowups?

As an example consider the resolution of the base-point (via blowups) of the family of curves in $\mathbb{C}^2$ defined by $f(x,y)=4x^3-ax-b-y^2=0$, where $a$ is a fixed constant and $b$ is a free ...
0
votes
1answer
268 views

Working out the value of $x$ on two triangle with the same area in the form $a+\sqrt b$

Here are two triangles T1 and T2. The lengths of the sides are in centimeters. The area of triangle T1 is equal to the area of triangle T2. Work out the value of x, giving your answer in the form ...
2
votes
1answer
58 views

Regular Local Ring

Let $Y$ be an affine variety in $\mathbb{A}^n_k$ and $\mathfrak{i}$ its corresponding ideal. We use the notation $A(Y) = k[x_1,...,x_n]/\mathfrak{i}$ for the coordinate ring of $Y$. Pick a point $p\in ...
2
votes
1answer
36 views

Basic question related to sheaf of a scheme

Suppose I have a scheme $X$. And some non-empty open set $U \subseteq X$. Does it then follow that $O_X(U)$ is not the trivial $0$-ring by any chance?
7
votes
1answer
96 views

Does there exist a regular map $\mathbb{A}^1\to\mathbb{P}^1$ which is surjective?

Suppose $\mathbb{A}^1$ and $\mathbb{P}^1$ are affine space and projective space. I'm not sure if it matters, but I don't mind if we assume that we're working over algebraically closed fields. I'm ...
1
vote
1answer
49 views

Why schemes are $(X,\mathcal O_X)$ rather than $(\mathcal O_X,X)$ or $\{X,\mathcal O_X\}$

Is there a reason why schemes are ordered pairs $(X,\mathcal O_X)$ rather than for example $(\mathcal O_X,X)$ or $\{X,\mathcal O_X\}$?
3
votes
0answers
22 views

Closed subset of a affine linear group [duplicate]

Let $G\subseteq GL_n(\mathbb{C})$ a Zariski-closed linear subgroup and $X\subseteq G$ closed with $X*X\subseteq X$ and $e \in X$. Then $X$ is a subroup. I am not sure how to start here. I know that ...
0
votes
1answer
36 views

local intersection multiplicity

I am reading kenji uneoگس book on algebraic geometry 1. I don't understand how to compute the local intersection multiplicity. I would appreciate if you can show me how to compute it for the next two ...
11
votes
2answers
919 views

What does the Hodge conjecture mean?

I read from the Internet that according to the Hodge conjecture, a certain harmonic differential form in a projective, non-singular algebraic variety is a rational linear combination of the cohomology ...
1
vote
0answers
22 views

Decomposition of abelian varieties up to isogeny

Let $A_1,A_2,B_1,B_2$ be simple abelian varieties over a number field $k$. Suppose that $A_1\times A_2$ is $k$-isogenous to $B_1\times B_2$. Can we deduce that (up to reordering the factors) $A_1$ is ...
4
votes
2answers
40 views

pullback of twisting sheaf

Let $[k]: \mathbf{P}^n \to \mathbf{P}^n, [x_0:\ldots:x_n] \mapsto [x_0^k:\ldots:x_n^k]$ be a morphism. (Why) do we have $[k]^*\mathcal{O}_{\mathbf{P}^n}(1) \cong \mathcal{O}_{\mathbf{P}^n}(k)$?
2
votes
0answers
42 views

On a method to compute dimension of moduli space of Riemann surfaces

Consider genus $g$ Riemann surfaces, and thier moduli space $\mathcal M_g$. To determine dimension of $T\mathcal M_g$, start with a complex structure, which in some coordinates can be written ...
1
vote
1answer
33 views

Quillen's K-theory and ring homomorphisms

I am a beginner in algebraic K-theory and I want to make sure that I understand the following correctly: Let $f:A \to A'$ be an isomorphism of commutative rings. Denote by $\mathcal{P}(A)$ (resp. ...
0
votes
0answers
22 views

In P^n(projection of C^n+1) is a variety isomorphic to P^1 irreducible?

In P^n(projection of C^n+1) is a variety isomorphic to P^1 irreducible? I think not because is the union of a line and a point at infinity
1
vote
1answer
40 views

Meromorphic function with bounded order of zeros and poles

The following problem has been bothering me for a long time; Let $X$ be a compact Riemann surface of genus $g$. Is there a non-zero meromorphic function on $X$ with all of its poles and zeros have ...
1
vote
0answers
36 views

Cartier divisors of schemes

In his notes, Ravi Vakil only defines the notion of an effective Cartier divisor. Furthermore, the Wikipedia page only defines the notion of an effective Cartier divisor for a general scheme. ...
1
vote
0answers
19 views

What does the equation $\tau \tau^* = \sigma^* \sigma$ represent in the ADHM construction of vector bundles?

I'm looking at the explicit construction of vector bundles with Anti-Self-Dual (ASD) connections on them via the ADHM construction. At the heart of this is the complex $$ V ...
2
votes
0answers
27 views

Objects corresponding to Higher forms

If $Q$ is a quadratic form, then we know there exists matrix $A$ such that $Q=xAx'$ and $Q$ can be expressed as weighted sum of eigenvalues of $A$. If $H$ is a higher order form, then is there an ...
14
votes
0answers
93 views

Why are period integrals naïve periods?

Apologies for the long question. I recall the definition of a (naïve) period according to Kontsevitch and Zagier [KS]: A (naïve) period is a complex number whose real and imaginary parts are ...
7
votes
1answer
76 views

Determinant bundle of a tensor product

Let $X$ be a ringed space (for example, a scheme or a manifold). If $V$ is a locally free $\mathcal{O}_X$-module of rank $n$, then $\mathrm{det}(V) := \Lambda^n V$ is a locally free ...
3
votes
1answer
70 views

Castelnuovo-Mumford regularity of Cohen-Macaulay modules

Let $S=K[X_1,\ldots,X_n]$ and $M$ be a Cohen-Macaulay $S$-module. This equality holds $$ \operatorname{reg}(M)=\dim(M)+\max\{i\in\mathbb{Z}\colon P_{M}(i)\neq H(M,i)\}. $$ It's been proved in ...
0
votes
1answer
27 views

twists of unipotent algebraic groups

Let $U$ be a unipotent linear algebraic group over some field $k$ with char$k$=0. Let $U'$ be a linear algebraic group over $k$ such that $U'_{\bar{k}} = U_{\bar{k}}$ (ie $U'$ is a $\bar{k}/k$-twist ...
1
vote
1answer
145 views

Flexes of cubic curve

Which are the flexes of the cubic curve of Fermat $$x^3+y^3+z^3=0$$ at $\mathbb{P}^2(\mathbb{C})$ ? Could you give me a hint how we could find the flexes? Do we have to use maybe the following ...
9
votes
1answer
262 views

Good references for stacks

I have seen stacks come up in various settings recently. I understand that, at least heuristically, they are some sort of generalization of a scheme, but I don't actually know anything about them. ...
1
vote
1answer
56 views

Simple question about the traslation from french to english

Goodmorning. I'm reading an article by Arnaud Beauville talking about the surfaces of general type. I've found this term and i'm not sure about the translation: What does it mean a " pinceau de ...