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
1answer
303 views

The image of the diagonal map in scheme

Let $X\rightarrow S$ be a separated morphism of schemes, that is, the diagonal map $\Delta:X\rightarrow X\times_S X$ is a closed inmersion. In general (see Closure of image of diagonal morphism of S-...
4
votes
1answer
194 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 $A$...
3
votes
1answer
132 views

Closed morphism between schemes of finite type over a field induces a closed map between varieties?

Let $X$(resp. $Y$) be a scheme of finite type over a field $k$. Let $f\colon X \rightarrow Y$ be a closed morphism. Let $X_0$(resp. $Y_0$) be the set of closed points of $X$(resp. $Y$). Then $f$ ...
3
votes
1answer
541 views

coordinate ring questions

I need your help to solve this question A subset $X \subset k^n$ ($k$ a field) is called algebraic if there exist polynomials $f_1, \dots, f_m \in k[t_1,\dots,t_n]$ such that $$X = \{x \in K^n | ...
3
votes
1answer
796 views

Finding the Transformation to a Canonical form for a Quadric Surface

I am attempting to calculate the intersection of quadric surfaces defined by $0 = X^T A X$, $0 = X^T B X$, $0 = X^T C X$ with X = [x, y, z, 1]. Matrices A, B and C are real and symmetric. There are ...
3
votes
0answers
91 views

Relation between n-tuple points on an algebaric curve and its pre-image in the normalizing Riemann surface

This question is sort of an extension to this previous question of mine, Hyperellipticity (or not!) of a Riemann surface and the singularities of the curve If one knows the multiplicity of a ...
3
votes
1answer
146 views

Learning Fibre Bundle from “Topology and Geometry” by Bredon

Bredon defines bundle projection in the following way: $\bf13.1.$ Definition. Let $X,B$ and $F$ be Hausdorff spaces and $p:X\to B$ a map. Then $p$ is called a bundle projection with fiber $F$, if ...
2
votes
1answer
1k views

Parametrization of a conic and rational solutions

How can we parametrize the conic $C$: $x^2+y^2 = 5$, by considering a variable line through $(2,1)$ and hence all rational solutions of $x^2 + y^2 = 5$? I'm thinking let $x = \sqrt{5}\cos t$, and $y =...
2
votes
1answer
232 views

Blow-up of $\mathbb P^2$ in 2 points is isomorphic to blowup of quadric in 1 point

How to show that blow-up of $\mathbb P^2$ in 2 points is isomorphic to blowup of quadric in 1 point? I think it is a standard fact, but Google can not help me with it. Update: I found an answer here:...
2
votes
2answers
277 views

Principal ideals having embedded components

Does there exist a noetherian domain $A$ and a principal ideal $I = (x)$ in it having an embedded component?
2
votes
1answer
129 views

3 questions about Algebraic Geometry and Zariski topology

I've read this exercise on my book, but I don't know how to prove it... Can someone help me? Let X $\subseteq \mathbb{A}^n$ be an algebraic set, and $f, g:X\rightarrow k$ two regular functions. a) ...
2
votes
4answers
1k views

Intersection of ellipse with circle

I would like know whether a circle is intersecting an ellipse. Here ellipse equation is $$Ax^2 + Bxy + Cy^2 + dx+ey + 1 = 0,$$ and the circle equation is $$(x-g)^2 + (y-f)^2= r^2.$$
2
votes
1answer
115 views

when is rational function regular?

In general, how does one determine if a rational function is regular? I have the particular problem of determining in which points of the circle $V(x^2+y^2-1) \subseteq A^2$is the rational function $\...
1
vote
1answer
52 views

Is taking projective closure a functor?

For an affine variety $X\subset \mathbb{A}^n$, we can associate it with $\overline{X}$, which is the closure of $X$ in $\mathbb{P}^n$. Does $\overline{X}$ depend on the choice of embedding $X\subset\...
1
vote
4answers
268 views

Defining/constructing an ellipse [duplicate]

Years ago I was confronted with a (self imposed) problem, which unexpectedly resurfaced just recently... I don't know whether it makes sense to explain the background or not, so I'll be brief. If I ...
0
votes
1answer
85 views

Let K be a field, and $I=(XY,(X-Y)Z)⊆K[X,Y,Z]$. Prove that $√I=(XY,XZ,YZ)$.

Let $K$ be a field, and let $I=(XY,(X-Y)Z) \subset K[X,Y,Z]$. Prove that $\sqrt{I}=(XY,XZ,YZ)$. I have no idea how to start with this question, can anybody give me some hint? Thanks a lot.
0
votes
1answer
76 views

Categorical Quotient and group actions

I am trying to practice calculating categorical quotients and I ran into this example. I am unable to get the answer and was wondering if someone can help? Let $G = Z/3Z =$ $\{1, \omega, \omega^2\}$, ...
0
votes
1answer
77 views

explicitly constructing a certain flat family

Is it possible to construct a flat family $$ \phi:\mathbb{A}_{\mathbb{C}}^8=\operatorname{Spec} \mathbb{C}[x,y,z,w,a,b,c,d]\longrightarrow \operatorname{Spec} \mathbb{C}[t_1, t_2, t_3] =\mathbb{A}_{\...
0
votes
1answer
84 views

what are the various fields in which circle is treated as infinite sided regular polygon?

What are the various fields in which circle is treated as infinite sided regular polygon? What I actually mean is , "can u suggest me some applications where circle is treated as infinite sided ...
-1
votes
0answers
60 views

Classes of rings C[x,y]/(x²+cy²+ey+f) [duplicate]

I have a question. I would like to describe the classes of rings that appear in $\mathbb{C}[x,y]/I$ up to isomorphism, where $I=(Q)$, $Q=x²+cy²+ey+f$, $c,e,f\in\mathbb{C}$. $Q$ comes from $Q'=ax²+bxy+...
69
votes
4answers
5k views

Why learning modern algebraic geometry is so complicated?

Many students - myself included - have a lot of problems in learning scheme theory. I don't think that the obstacle is the extreme abstraction of the subject, on the contrary, this is really the ...
30
votes
4answers
2k views

Examples of morphisms of schemes to keep in mind?

What are interesting and important examples of morphisms of schemes (especially varieties) to keep in mind when trying to understand a new concept or looking for a counterexamples? Examples of what I'...
36
votes
3answers
3k views

What use is the Yoneda lemma?

Although I know very little category theory, I really do find it a pretty branch of mathematics and consider it quite useful, especially when it comes to laying down definitions and unifying diverse ...
14
votes
2answers
1k views

Why is Hodge more difficult than Tate?

There are strong connections between the Hodge and the Tate conjectures, mainly at the level of similarities and analogies. To quote from an answer of Matthew Emerton on MathOverflow: "[...] we ...
14
votes
1answer
1k views

How to compute localizations of quotients of polynomial rings

At the moment I'm trying to understand the concept of localizations of rings / modules. I have done some exercises (using the book of Atiyah / MacDonald) and I will do some more, but a more practical ...
16
votes
3answers
3k views

Best way to learn Algebraic Geometry?

I've been reading the book Commutative Algebra with a view towards Algebraic Geometry. I was wondering is the best way to learn algebraic geometry through commutative algebra? As the book I'm ...
16
votes
3answers
2k views

Hensel's Lemma and Implicit Function Theorem

In the literature and on the web happened to me several times to read confused or simply cryptic assertions regarding the fact that Hensel's Lemma is the algebraic version of Implicit Function Theorem....
31
votes
0answers
2k views

Pullback and Pushforward Isomorphism of Sheaves

Suppose we have two schemes $X, Y$ and a map $f: X\to Y$. Then we know that $\operatorname{Hom}_X(f^*\mathcal{G}, \mathcal{F})\simeq \operatorname{Hom}_Y(\mathcal{G}, f_*\mathcal{F})$, where $\mathcal{...
23
votes
2answers
828 views

The prime spectrum of a Dedekind Domain

Let $A$ be a Dedekind Domain, let $X = \operatorname{Spec}(A)$. Are all open sets in $X$ basic open sets? Thinking about the Zariski topology (in the classical sense) of a non-singular affine curve, ...
21
votes
1answer
2k views

What is an intuitive meaning of genus?

I read from the Finnish version of the book "Fermat's last theorem, Unlocking the Secret of an Ancient Mathematical Problem", written by Amir D. Aczel, that genus describes how many handles there are ...
13
votes
2answers
5k views

How does one calculate genus of an algebraic curve?

I've been reading about parametrization of algebraic curves recently and the idea of the "genus of a curve" appears quite often (my impression is that a curve is parametrizable exactly when it has ...
11
votes
2answers
1k views

Variety vs. Manifold

In the ambit of differential geometry the aim is to study smooth manifolds. Why the objects studied in algebraic geometry are called algebraic varieties and not for example algebraic manifolds? I am ...
6
votes
2answers
839 views

Geometric interpretation and computation of the Normal bundle

My question concern the definition, geometric meaning, and usage of the normal bundle in algebraic geometry. Let $X$ be a nonsingular variety over an algebraically closed field $k$, and $Y\subseteq X$...
23
votes
1answer
723 views

Connectedness of the spectrum of a tensor product.

Let $A$, $B$ be finite free $\mathbb{Z}$-algebras such that $\operatorname{Spec}(A)$ and $\operatorname{Spec}(B)$ are both connected. Is $\operatorname{Spec}(A\otimes_{\mathbb{Z}} B)$ connected?
18
votes
1answer
761 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 ...
13
votes
1answer
2k views

What is the intuition behind the concept of Tate twists?

For any field $K$ we can define the cyclotomic character $\chi: \operatorname{Gal}(K)\rightarrow GL_1(\hat{\mathbb{Z}})$. For any representation $V$ (I will view this as a module over $\mathbb{Q}[\...
23
votes
1answer
333 views

Homogeneous forms of degree $n$ in $n$ indeterminates over $\mathbb{Z}$: which ones come from the norm of a number field?

Is there a characterization of the homogeneous forms of degree $n$ in $n$ indeterminates over $\mathbb{Z}$ which occur as the norm of some algebraic number ring with a suitable $\mathbb{Z}$-basis? ...
21
votes
3answers
2k views

What is a local parameter in algebraic geometry?

Shafarevich offers the following theorem-definition: "At any nonsingular point $P$ of an irreducible algebraic curve, there exists a regular function $t$ that vanishes at $P$ and such that every ...
18
votes
3answers
2k views

Polynomial map is surjective if it is injective

A friend of mine told me the following fact: If $k$ is any algebraically closed field, then a polynomial map $f\colon k^n\to k^n$ of affine space $k^n$ is surjective if it is injective. The ...
14
votes
3answers
713 views

Direct way to show: $\operatorname{Spec}(A)$ is $T_1$ $\Rightarrow$ $\operatorname{Spec}(A)$ is Hausdorff

In the book of Atiyah and MacDonald, I was doing exercise 3.11. One has to show that for a ring $A$, the following are equivalent: $A/\mathfrak{N}$ is absolute flat, where $\mathfrak{N}$ is the ...
10
votes
1answer
867 views

Learning projective geometry

My ultimate goal is to learn some algebraic geometry with the more concrete immediate goal of understanding things like how $\mathbb R\mathrm P^2$ is embedded in $\mathbb C\mathrm P^2$ or how $\mathbb ...
28
votes
0answers
490 views

Classification of local Artin (commutative) rings which are finite over an algebraically closed field.

A result in deformation theory states that if every morphism $Y=\operatorname{Spec}(A)\rightarrow X$ where $A$ is a local Artin ring finite over $k$ can be extended to every $Y'\supset Y$ where $Y'$ ...
27
votes
1answer
824 views

Quasi-coherent sheaves, schemes, and the Gabriel-Rosenberg theorem

In the context of commutative rings, a ring is completely determined by its category of modules. That is, two commutative rings $R$ and $S$ are isomorphic if and only if the category of $R$-modules is ...
20
votes
3answers
2k views

Why is the coordinate ring of a projective variety not determined by the isomorphism class of the variety?

I know that there are isomorphic projective varieties which have nonisomorphic coordinate rings, but I'm a little mystified as to "why" this is the case. Why doesn't a usual functoriality proof go ...
19
votes
4answers
5k views

“Real”-life applications of algebraic geometry

Before you tell me that this question has been asked, give me a bit of your time please to read this question because it is not as simple as it sounds. I did my undergraduate degree in mathematics, ...
16
votes
1answer
340 views

What is the connection between Weil's character bound and Riemann Hypothesis over finite fields

Weil's character bound states that: Let $\mathbb{F}_{q}$ be a finite field of size $q$. Let $\chi$ be a multiplicative character of order $m$. Let $f(x)$ be a polynomial of degree $d$ such that $f(x) \...
14
votes
2answers
688 views

Usefulness of completion in commutative algebra

After studying about the completion of a module $M$ over a ring $A$ (e.g. $I$-adic completion), I am left with the following questions: (i) What is the usefulness of the concept of completion in ...
11
votes
2answers
359 views

Why is it so difficult to find beginner books in Algebraic Geometry?

I don't understand why it is so difficult to find a really beginner book in Algebraic Geometry. Let's take for example Fulton's algebraic curves: An introduction to Algebraic Geometry. I've already ...
11
votes
3answers
566 views

Example I.4.9.1 in Hartshorne (blowing-up)

Let $Y$ be the irreducible curve of $\mathbb{A}^2$ given by $y^2 = x^2(x+1)$. Let $t,u$ be homogeneous coordinates of $\mathbb{P}^1$. Then the total inverse image of $Y$ under the blowing-up $\phi: X \...
10
votes
1answer
479 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. ...