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)

15
votes
2answers
1k views

What are normal schemes intuitively?

A ring is called integrally closed if it is an integral domain and is equal to its integral closure in its field of fractions. A scheme is called normal if every stalk is integrally closed. Some ...
15
votes
1answer
497 views

Hilbert's Original Proof of the Nullstellensatz

Does anyone have a link to Hilbert's Original Proof of the Nullstellensatz, or know a book where it's printed? I'd be interested to see what it was like. I only really know the Noether normalisation ...
15
votes
2answers
1k views

Theories of $p$-adic integration

What is the compelling need for introducing a theory of $p$-adic integration? Do the existing theories of $p$-adic integration use some kind of analogues of Lebesgue measures? That is, do we put a ...
15
votes
1answer
143 views

If $p$ is a positive multivariate polynomial, does $1/p$ have polynomial growth?

I wanted to ask a separate question to focus on an elementary issue from my question Does the inverse of a polynomial matrix have polynomial growth?. Let $p : \mathbb{R}^n \to \mathbb{R}$ be a ...
15
votes
1answer
249 views

intuition on the projection formula

For a morphism $f:X\rightarrow Y$, locally free sheaf $\mathcal{G}$ on $Y$, and a quasi-coherent sheaf $\mathcal{G}$ on $X$, we have the projection formula ...
15
votes
1answer
277 views

Definition(s) of Stack

I've started to learn about stacks, and a question arose in my attempts of looking at the very definition of a stack by several points of view. First, I recall some background and fix the notation ...
15
votes
1answer
385 views

Is there any holomorphic version of the tubular neighborhood theorem?

This question arised when I was studying Beauville's book 'Complex Algebraic Surfaces'. Castelnuovo's theorem says that a smooth rational curve $E$ on an algebraic surface $S$ is an exceptional ...
15
votes
1answer
324 views

Motivation for the study of amoebas.

What was the primary motivation for the study of the amoebas?
15
votes
3answers
525 views

*writing* proofs involving commutative diagrams

This question is a little fuzzy so might be closed, but I'll give it a shot. I'm sorry this question has quite a long introduction, I don't see how to formulate it more concisely. In modern algebraic ...
15
votes
1answer
279 views

A space of ideals

Definition: Let $R$ be a commutative ring with 1. Endow the power set $2^R$ with the product topology. The ideal space $\mathcal{I}(R)$ is defined to be subset of $2^R$ consisting of ideals, ...
15
votes
1answer
168 views

Is there a geometric meaning of a prime power not being primary?

I guess that the standard example of a prime power that is not a primary ideal is $$\mathfrak p^2 :=(x,z)^2\subset k[x,y,z]/(xy-z^2):=A.$$ Because $\mathfrak p^2 = (x^2,xz,xy)$, we see that $x\not ...
15
votes
1answer
204 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) ...
15
votes
0answers
156 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 ...
14
votes
3answers
815 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
4answers
2k views

Meaning of closed points of a scheme

This is a question in Liu's book. Let $X$ be a quasi-compact scheme. Show that $X$ contains a closed point. Well I'm unable to do this question, so any help would be appreciated. This question also ...
14
votes
3answers
1k 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 ...
14
votes
4answers
239 views

How to show in a clean way that $z^4 + (x^2 + y^2 - 1)(2x^2 + 3y^2-1) = 0$ is a torus?

How to show in a clean way that the zero-locus of $$z^4 + (x^2 + y^2 - 1)(2x^2 + 3y^2-1) = 0$$ is a torus?
14
votes
2answers
539 views

Where do Chern classes live? $c_1(L)\in \textrm{?}$

If $X$ is a complex manifold, one can define the first Chern class of $L\in \textrm{Pic}\,X$ to be its image in $H^2(X,\textbf Z)$, by using the exponential sequence. So one can write something like ...
14
votes
1answer
1k views

Proving that the genus of a nonsingular plane curve is $\frac{(d-1)(d-2)}{2}$

I'm studying from Joseph Silverman's book The Arithmetic Of Elliptic Curves and I'm trying to do as many exercises as I can. Right now I'm trying to do Exercise 2.7 from chapter II which reads as ...
14
votes
2answers
866 views

Motivation for stable curves

I was looking at Deligne-Mumford's paper on the irreducibility of the space of curves of a given genus, and it seems that they generalize the notion of a smooth curve to a "stable curve." I'm a little ...
14
votes
4answers
509 views

Isomorphism between quotient rings of $K[X,Y]$

Let $K$ be a field of characteristic $0$ and $m,n\in\mathbb Z$, $m,n\ge 1$. Prove that $$K[X,Y]/(X^2-Y^m)\simeq K[X,Y]/(X^2-Y^n)$$ if and only if $m=n$. (Related to Isomorphism between quotient rings ...
14
votes
1answer
383 views

Stacks are just sheaves up to Isomorphism

I have heard that one can think of stacks on a site as taking sheaves but instead of the restrictions being equal, we just loosen it to isomorphic, and treat the sheaf conditions with the "obvious" ...
14
votes
1answer
247 views

Global Optimization and Real Algebraic Geometry

Wikipedia suggests that: "Methods based on real algebraic geometry" are some of the "most successful general strategies" for solving global optimization problems. Could someone suggest an reference ...
14
votes
1answer
130 views

Representability of diagonal of $\mathscr{M}_g$

Let $\mathscr{M}_g$ be the moduli stack of genus $g$ curves ($g \geq 2$). That is, $\mathscr{M}_g$ is the category whose objects are proper smooth morphisms $f: C \to S$ whose geometric fibers are ...
14
votes
2answers
179 views

Is a linear combination of minors irreducible?

Let $X=(X_{ij})_{1\le i,j\le n}$ be a matrix of indeterminates over $\mathbb C$. For choices $I,J\subseteq\{1,\ldots,n\}$ with $|I|=|J|=k$ denote by $X_{I\times J}$ the matrix $(X_{ij})_{i\in I,j\in ...
14
votes
1answer
1k views

Geometric Explanation of Tamagawa Numbers

Sometimes in order to understand a concept thoroughly we need to have a algebraic view ( in terms of equations ) and corresponding geometric view. My interest always lies with understanding the ...
14
votes
2answers
387 views

What is the most influential work of Grothendieck in mathematics?

Recently Alexander Grothendieck has passed away but his mathematical wave is still alive and passes its growth ages. It is hard to describe the influence of such a great man in mathematics just in few ...
14
votes
1answer
263 views

A Genetic Introduction to Algebraic Geometry

I am a big fan of "genetic introductions" in mathematics, i.e. where the ideas are introduced in the order they were developed along with why they were introduced, as opposed to the ...
13
votes
3answers
2k views

$\mathbb{A}^{2}$ not isomorphic to affine space minus the origin

Why is the affine space $\mathbb{A}^{2}$ not isomorphic to $\mathbb{A}^{2}$ minus the origin?
13
votes
3answers
509 views

Connections between K-Theory and PDEs?

I've recently spent some time learning (the very basics of) K-theory for $C^*$-algebras and topological K-theory. Actually, my main fields of interest are PDEs and related topics, in particular ...
13
votes
5answers
784 views

An example of a scheme in the language of schemes

Somewhat related to this question, but almost infinitely more basic. A Confession I am, should classification prove essential, a differential geometer and a topologist by inclination and by ...
13
votes
3answers
1k views

Why doesn't Hom commute with taking stalks?

I have been learning about sheaves and am thinking about the following problem. Let $F$ and $G$ be sheaves, say of abelian groups, on a space $X$. The sheaf $Hom(F, G)$ is defined by $Hom(F, ...
13
votes
3answers
2k 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 ...
13
votes
2answers
532 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 ...
13
votes
5answers
784 views

Irreducibility of Polynomials in $k[x,y]$

I'm working through some Hartshorne problems and have noticed that in order to do certain problems properly one must prove a given polynomial $f\in k[x,y]$ is irreducible. For example, in problem ...
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 ...
13
votes
2answers
460 views

The algebraic de Rham complex

Let $A$ be a commutative $R$-algebra (or more generally a morphism of ringed spaces). Then there is an "algebraic de Rham complex" of $R$-linear maps $A=\Omega^0_{A/R} \xrightarrow{d^0} \Omega^1_{A/R} ...
13
votes
3answers
734 views

Localization at a prime ideal is a reduced ring

Here is the question that I came up with, which I am having trouble proving or disproving: Let $A$ be a ring (commutative). Let $p \in Spec(A)$ such that $A_p$ is reduced. Then there exists an open ...
13
votes
1answer
261 views

How are $Spec \mathbb{Q}, Spec \mathbb{R}, Spec \mathbb{C}$ etc different?

By definition $Spec k$ is a point for any field $k$. So $Spec \mathbb{Q}, Spec \mathbb{R}, Spec \mathbb{C}$ etc are all the same as topological spaces. But according to the natural inclusion map $$ ...
13
votes
2answers
525 views

Motivating (iso)morphism of varieties

I am reading course notes on algebraic geometry, where a morphism of varieties is defined as follows ($k$ is an algebraically closed field): Let $X$ be a quasi-affine or quasi-projective ...
13
votes
2answers
310 views

Existence of divisors of degree one on a curve over a finite field

Let $C$ be a smooth, geometrically irreducible projective curve defined over a finite field $\mathbb{F}_q$. Given a (scheme-theoretic) point $x \in C$, define the degree of $x$ to be the degree of ...
13
votes
5answers
815 views

Favourite applications of the Nakayama Lemma

Inspired by a recent question on the nilradical of an absolutely flat ring, what are some of your favourite applications of the Nakayama Lemma? It would be good if you outlined a proof for the result ...
13
votes
1answer
369 views

2-Torsion Group Scheme

Consider the elliptic curve $zy^2 + z^2y = x^3.$ I would like to explictly compute the 2-torsion group scheme, $E[2],$ over $\mathbf{Spec}(\mathbb{Z}_2),$ but I'm having a tough time writing down the ...
13
votes
1answer
217 views

Real points of a complex curve

Since the "real points" of a complex curve can mean a couple of different things, bear with me while I'm annoyingly formal here. Consider first a cubic curve $y^2 = x^3 + a x + b$. Write $$S := \{ ...
13
votes
1answer
307 views

$\mathbb A^n(k)$ and $\mathbb A^n(k)\setminus \{0\}$ are not homeomorphic

Let $k$ be an algebraic closed field. Why $\mathbb A^n(k)$ and $\mathbb A^n(k)\setminus\{0\}$ (for $n>1$) are not homeomorphic with respect to the Zariski topology?
13
votes
1answer
442 views

Equivalent definitions of Noetherian topological space

It is well known that we have many different definitions of noetherianity for rings. Namely, given a ring $R$, the following are equivalent: 1) every ideal of $R$ is finitely generated. 2) $R$ ...
13
votes
1answer
333 views

What is the homotopy type of the affine space in the Zariski topology..?

I'm asking this question out of curiosity, as I was unable to come to a conclusion. Consider the affine space over an algebraically closed field, for concreteness we can work with $\mathbb{C}^{n}$. ...
13
votes
2answers
441 views

The bijection between homogeneous prime ideals of $S_f$ and prime ideals of $(S_f)_0$

It is well-known that if $S$ is a graded ring, and $f$ is a homogeneous element of positive degree, then there is a bijection between the homogeneous prime ideals of the localization $S_f$ and the ...
13
votes
1answer
538 views

Inverse Limit of Sheaves

It is well-known that if you have an inverse system of abelian groups $(A_n)$ (this works in several other nice categories) in which all the maps are surjective (or at least satisfy the Mittag-Leffler ...
13
votes
1answer
184 views

Is a scheme with a single closed point affine?

Let $X$ be a quasi-compact, separated scheme with a single closed point. Is $X$ necessarily affine, and thus isomorphic to the spectrum of a local ring? I could not think of a counter-example; is ...