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
54 views

Do analytic functions on open subsets of $\mathbb{C}$ with an analytic square root form a sheaf? [duplicate]

I'm trying to learn algebraic geometry and am trying to think about what kinds of things are presheafs but not sheafs. One exercise I had was to show that bounded holomorphic functions on open ...
15
votes
1answer
239 views

Hypercube and Hyperspheres

Let $n,k\in\mathbb{N}$. In this problem, the geometry of $\mathbb{R}^n$ is the usual Euclidean geometry. The lattice hypercube $ Q(n,k)$ is defined to be the set $ \{1,2,...,k\}^n ...
1
vote
0answers
28 views

What is a good lex order to compute the Groebner basis of this ideal?

This comes from chapter 6 of Ideals, Varieties and Algorithms by Cox et al. The equations are from a planar robot with three joints and one prismatic joint. See the following picture: Given a ...
1
vote
1answer
37 views

Function Field of Variety and Scheme

Let $V\subseteq \mathbb{A}^n_k$ be a closed irreducible algebraic set ("affine variety") over a closed field $k$. Construct the topological space $X$ consisting of all closed irreducible subsets of ...
2
votes
1answer
50 views

Why does isomorphism follow from the natural bijection of Hom sets

If X and Y are varieties, and Y is affine, there is a natural bijective mapping of sets $$\operatorname{Hom}(X,Y)\xrightarrow{\sim}\operatorname{Hom}(A(Y),\mathscr O(X))$$ where the left are ...
3
votes
0answers
37 views

infinite-order elements of $Out(\widehat{F_2})$

Let $\widehat{F_2}$ be the pro-$\ell$ completion of the free group of rank 2, where $\ell$ is some prime. Every outer automorphism of $F_2$ induces an outer automorphism of $\widehat{F_2}$, hence an ...
0
votes
0answers
53 views

“Affine Variety” versus “Variety”

In Mumford's Red Book, a distinction seems to be made between the terms affine variety and variety. The term variety seems to be defined by something called the Hausdorff. I was wondering if anyone ...
1
vote
0answers
46 views

Calabi-Yau Toric Varieties

This is a rather naive question, but, from what I understand, we begin with a some reflexive polytope $P$. From the basic theory of toric varieties, we can construct a toric variety corresponding to ...
1
vote
1answer
59 views

Simple example of the use of sheaves

What would be (one of) the simplest example of a mathematical result which is solved using the concept of sheaves?
0
votes
0answers
21 views

Hasse-Weil zeta function of projective hypersurfaces

Assume $f$ is a homogeneous integer polynomial in $n\geq 3$ variables such that the hypersurface $f=0$ is irreducible over $\mathbb{Q}$ (but not necessarily over $\overline{\mathbb{Q}}$ so for example ...
4
votes
1answer
54 views

Identifying two points on an algebraic curve

Given a smooth algebraic curve $C$, say projective over an algebraically closed field $k$, is it always possible to identify two distinct closed points $x, y$ on $C$ to produce a curve with a single ...
0
votes
2answers
69 views

Triviality of a vector bundle is an open condition

Is the following statement true (and if not, are there additional assumptions that make it true?) A vector bundle on a variety which is trivial if restricted to a closed subvariety is trivial on ...
0
votes
0answers
35 views

Difference between $K$-rational points and $K$-valued points

I am not entirely sure if there is a difference between $K$-rational points on a scheme $X$ over $k$ and $K$-valued points on $X$. Both seem to refer to a $k$-morphism Spec $K \to X$ but the ...
1
vote
1answer
42 views

A question about current and Dirac measure

$0$ can be seen as a divisor of $\mathbb{C}$, and the current $[0]$ is defined as $[0](\varphi)=\varphi(0)$. Why is this reasonable?
0
votes
1answer
32 views

Determining the fourth vertex of a parallelogram knowing that its the point of intersection of two circles

This question was part of the exercises in one of the courses i'm taking. The answer was already provided. The first circle was assumed to have as its center, vector $v_1$, while its radius was the ...
3
votes
1answer
33 views

Representation-theoretical reasons for positivity of product of two Schubert polynomials?

In the Wikipedia article on Schubert polynomials there is a claim that there are representation-theoretical reasons for the product of two Schubert polynomials to have nonnegative coefficients when ...
2
votes
1answer
64 views

How does one find the Zariski closure of a set?

I've started to learn algebraic geometry this week (so I do not have much knowledge in the subjet) and, after reading the definition of the Zariski closure $V(I(S))$ of a set $S$, I've tried to do the ...
4
votes
2answers
45 views

Third point of intersection is also a point of inflection?

Let $C \subset \mathbb{P}_2$ be a nonsingular cubic. If $L$ is a line through two distinct points of inflection on $C$, how do I show that the third point of intersection is also a point of ...
0
votes
1answer
41 views

injective morphism between line bundles on curves

Let $X$ be a smooth projective, irreducible, curve, $\mathcal{L}$ be an invertible sheaf on $X$ and $\mathcal{L}' \subset \mathcal{L}$, an invertible subsheaf. Is $\deg(\mathcal{L}') \le ...
0
votes
0answers
28 views

Self-intersection number of fibered surface

Let $R$ be a complete discrete valuation ring with residue field $k$ (can assume algebraically closed), $f:X \to \mathrm{Spec}(R)$ a flat, proper family of projective curves (i.e., $f$ is also ...
2
votes
0answers
44 views

Weil: Fibre Spaces in Algebraic Geometry

I have spent a decent amount of time searching for the notes for Weil's Fibre Spaces in Algebraic Geometry, written by A. Wallace, both in print and online. Does anyone have a file of it they'd be ...
2
votes
1answer
118 views

What is the equation describing a three dimensional, 14 point Star?

I need to model a 14 point star. This is a three dimensional surface where there is a point at each of the eight corners of a cube and each of the six sides. The object is uniform (i.e. planar ...
-1
votes
0answers
40 views

Question about Poincare series

Let $R=\mathbb Q[x,y]_{(x,y)}$ and $I=(x^{10},x^8y,xy^4,y^5)$. Then how can we calculate the Poincare series of $I$ by Macaulay 2?
1
vote
0answers
26 views

Properties of a scheme with a closed morphism to a normal crossing divisor

All schemes here are noetherian, separated and of finite type over $\mathbb{C}$. Let $D=V_+(xy)\subset \mathbb{P}^2=Proj(\mathbb{C}[x,y,z])$ be the normal crossing divisor comming from the coordiante ...
4
votes
1answer
87 views

Is the cuspidal curve $\mathcal{M}$ is a coarse moduli space for lines in $\mathbb{C}^2$?

As the question suggests, is the cuspidal curve $\mathcal{M}$ a coarse moduli space for lines in $\mathbb{C}^2$? I'm inclined to believe the answer is no, but all attempts at proving it so far have ...
1
vote
0answers
55 views

What is the degree of the pull back of a line bundle?

Let $X=\mathbb{P}^2$, and let $(y_1,y_2,y_3)$ be homogeneous coordinates on $X$. Consider a map $\phi:\mathbb{P}^1\longrightarrow X$, given by $\phi(x_1,x_2)=(x_1^2,x_1x_2,x_2^2)$, where $(x_1,x_2)$ ...
2
votes
1answer
66 views

Colimits and tensor product ground rings

Is it true that $\varinjlim (M \otimes_{A_i} N) = M \otimes_A N$ where $A = \varinjlim A_i$ and $M$ and $N$ are $A$-modules? Take maps $f : A_j \rightarrow A_k$ and $m : M \otimes_{A_j} N \rightarrow ...
1
vote
1answer
31 views

Complete intersection curve

I have two very basic questions/clarifications. Let $X=\mathbb{P}^n_k$, and let $Y$ be a subvariety of $\mathbb{P}^n_k$ of dimension $m$. Then we say that $V$ is a complete intersection variety if ...
2
votes
1answer
42 views

For which varieties is the natural map from the Chow ring to integral cohomology an injection?

For a smooth projective complex variety $X$ over $\mathbb{C}$, there is a natural map from its Chow ring $\mathbb{A}^*(X)$ into even integral cohomology $H^{2*}(X)$ of its (often implicitly ...
0
votes
2answers
23 views

If $W$ admits an injection of $k$-algebras in its coordinate ring, then $W$ is an unirational variety

I'm studying algebraic geometry from "Introduction to algebraic geometry" by Hassett, and I did not understand a step in his proof of the following result (page 52): "If $W$ is an affine variety ...
0
votes
1answer
31 views

Equation of the hyperplane that passes through points on the different axes

We work over $\mathbb{R}^N$. I have a set of points, each of which is on a different axis. For instance, when $N=3$ the set is given by $S=\{ (p_1,0,0);(0,p_2,0);(0,0,p_3) \}$, where $p_1$, $p_2$, and ...
3
votes
1answer
83 views

Affine varieties over finite fields

I read in this paper (http://www.math.iitb.ac.in/~srg/preprints/Chandigarh.pdf) that the following set is an affine variety: $V_f=\{(t_0,...,t_N)\in \mathbb{F}_p^{N+1} : f(t_0,...,t_N)=0 \}$ where ...
0
votes
0answers
29 views

$R^kp_{2,*} (p_1^* V\otimes P) =0$ for $k\neq g$ and $V$ is $\pi_*$ acyclic on abelian schemes?

Let $\pi: A\rightarrow S$ be an abelian scheme of relative dimension $g$, and $A^\vee$ its dual, and $P$ the Poincare bundle. We have the projections $p_1,p_2$ from $A\times A^\vee$ to $A$ and ...
3
votes
1answer
52 views

Stalks of the sheaf of total quotient rings

Let $X$ be a scheme, for each $U$ open in $X$, let $S(U)$ be the set consisting of elements of $O_X(U)$ whose image in $O_{X,p}$ is a non-zerodivisor for every $p\in U$. In particular, if $U = ...
4
votes
1answer
49 views

Hartshorne's proof of the exact sequence $\mathbb{Z} \to \operatorname{Cl} X \to \operatorname{Cl} U \to 0$

Hartshorne, Algebraic Geometry, Proposition II.6.5 reads (in part): Let $X$ satisfy (*), let $Z$ be a proper closed subset of $X$, and let $U = X \setminus Z$. Then: [...] (c) if $Z$ is ...
3
votes
1answer
45 views
+50

A non-singular quotient of $\mathbb{A}^n$ by a cyclic group is isomorphic to $\mathbb{A}^n$

Let $G$ be a cyclic group acting linearly on $X := \mathbb{A}^n$. If we assume that the quotient $Y:=X/G$ is non-singular, does it follow that $Y \simeq \mathbb{A}^n$? If so, is it necessary to assume ...
3
votes
0answers
109 views

Remark 4.23.4 in Hartshorne.

Remark 4.23.4 in Hartshorne references a paper by Elkies that explains that$$\mathfrak{B} = \{p \text{ prime}: X_{(p)} \text{ is nonsingular over }k_{(p)}, \text{ and }X_{(p)}\text{ has Hasse ...
4
votes
0answers
49 views

How to prove these claims about ideal sheaves?

The following claims come from the proof of Proposition 3.10 (Page 66) of D.Huybrechts' Fourier-Mukai Transforms in Algebraic Geometry. Since I couldn't find these results in Hartshorne's Algebraic ...
1
vote
0answers
19 views

Polynomials as Locally Isotrivial Covers

Let $k=\mathbb{A}^1$ be algebraically closed of arbitrary characteristic. I am interested in understanding when a polynomial $f:\mathbb{A}^n\to\mathbb{A}^1$ defines a locally isotrivial family over ...
0
votes
0answers
48 views

Are Prevarieties irreducible?

In Goertz-Wedhorn, a prevariety is defined to be a connected space with functions that locally is an affine variety (were an affine variety is a space with functions that is isomorphic to the space ...
1
vote
1answer
27 views

A question on very ample line bundle and closed immersion

Let $X$ be a projective scheme, $i:X \hookrightarrow \mathbb{P}^n$ a closed immersion, $\mathcal{L}:= i^*\mathcal{O}_{\mathbb{P}^n}(1)$ a very ample line bundle. Let $j:{\mathbb{P}^n} \hookrightarrow ...
2
votes
0answers
40 views

How to show two varieties are NOT birationally equivalent?

This is an exercise from Ideals, Varieties and Algorithms by Cox et al. Some backgroud It comes from a problem showing that $Q=V(x^2+y^2-z^2-1)$, a hyperboloid, and $W=V(x+1)$, a plane, are ...
2
votes
0answers
50 views

On why $k(X)^{G}$ is a finitely generated field extension

In a book I was reading, from the assumptions that we have a linear algebraic group $G$ acting on an irreducible (affine) variety $X$, the author writes that $k(X)^{G}$ is a finitely generated field ...
1
vote
1answer
28 views

Codimension is preserved under base change for given conditions

I'm working on exercise II.6.1 in Hartshorne and I'm stuck on the following step. I would appreciate some help. Let $ X $ be a Noetherian integral scheme. Let $ Z $ be a closed subscheme of ...
1
vote
2answers
36 views

Closure of subset of affine plane

Inspired by this question, I wonder if one can prove the following Let $ k $ be an algebraically closed field. Is the closure of $ \{(x,y):x^{2}+y^{2}=1,x\ne 0\} $ in the affine plane over $ k $ ...
2
votes
2answers
61 views

Ideal of polynomials vanishing on $\{(x,y): x^2+y^2=1, x \neq 0 \}$

I'm reading the book "Introduction to algebraic geometry" by Hassett, and in Chapter 3, after introducing the concept of the ideal of polynomials vanishing on a set $S$, the author gives some ...
4
votes
1answer
63 views

Additivity of the first Chern class

I have a highly elementary question: is the first Chern class additive? More specifically, given a short exact sequence of coherent sheaves on a nonsingular curve $X$ $$ 0 \to \mathscr F'\to \mathscr ...
3
votes
1answer
49 views

Are real algebraic points dense in a real affine variety?

Let $V\subset \mathbb R^n $ be the zero-locus of finitely many polynomials with rational coefficients. Is it true that the set of points in $V$ whose coordinates are algebraic numbers is dense in the ...
3
votes
2answers
44 views

Continuity of Galois representations from cohomology

One of the most standard way to construct Galois representations is the geometric way: one starts from a variety $X$ defined over $\bf Q$ say; the Galois group acts on ${\overline X}:= X \times {\rm ...
5
votes
1answer
85 views

What's wrong in my thinking about Bézout's theorem?

First, I know that every hypersurface of degree $d$ defined in $\mathbb{CP}^n$ is diffeomorphic. By using this fact, I wanted to calculate the Euler characteristic of hypersurface of degree $d$. To ...