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)

1
vote
2answers
47 views

Is defining an “$S$-scheme” this way just a stylistic choice?

I have a potentially pretty silly question, involving the definition of an "$S$-scheme". For a fixed scheme $S$, the definition of the category of $S$-schemes is a category with: objects: scheme ...
1
vote
0answers
19 views

What is the formalism for a map that returns the adjacent vertex positions of a given adjacency matrix?

How do I formally denote a map that returns the adjacent vertex positions of a given adjacency matrix? Example: V = undirected adjacency matrix $$ V = \left[ \begin{matrix} v_{1,1} & v_{1,2} ...
1
vote
1answer
24 views

Fourier-Mukai kernels of mutations?

if I have an exceptional object E (on say the derived category of a smooth and projective variety) then I can define the left and right mutation functors. These are typically defined in terms of ...
-4
votes
0answers
30 views

Please I would like to have the solution of the exercise 3.7 on page 105 of The Arithmetic of elliptic curves second edition (J. H. Silverman) [on hold]

Please I would like to have the solution of the exercise 3.7 on page 105 of The Arithmetic of elliptic curve second edition (J. H. Silverman)
0
votes
0answers
37 views

How to obtain the genus of the Riemann surface corresponding to an algebraic curve

I am trying to read about the genus of an algebraic curve. I have been told that there is a connection between topological genus and genus defined for an algebraic curve. Since an algebraic curve ...
1
vote
1answer
60 views

Basic question related to dimension of intersection of two varities

Let $V$ and $W$ be irreducible varieties in $\mathbb{C}^n$. I have learned that intersection $V \cap W$ satisfies the following: $$ codim \ V + codim \ W \geq codim \ V \cap W. $$ I was wondering if ...
2
votes
0answers
30 views

Why is the morphism induced by this linear system birational?

I have seen the following statement used in a few places, but I am not sure why it is true. Any explanation as to why it is (or is not) true would be appreciated. Let $P$ be a point of an ...
0
votes
0answers
66 views

Trying to use the Zariski topology in a problem without knowing scheme theory.

I don't know scheme theory, and I am doing a problem and the solution involves making conclusions based on the Zariski topology, and I want to make sure that I am "intuiting" things correctly when ...
2
votes
0answers
23 views

Basic question about the properties of dimension of an algebraic set

I am learning about the dimension of an algebraic set and I have a couple of questions I am hoping to resolve to have a better understanding. Let $V$ be an algebraic set in $\mathbb{C}^n$, defined ...
0
votes
0answers
35 views

How to show that $\mathcal{K}/\mathcal{O}$ is isomorphic to$\sum_{P\in X} i_P(I_P)$

This a Hartshorne exercise (Ex II 1.21d) Let $X=\mathbb{P}^1$. Let $\mathcal{K}$ be the constant sheaf of the quotient field of X. Then we need to show that $\mathcal{K}/\mathcal{O}$ is isomorphic to ...
0
votes
0answers
35 views

Show that exist point $w \in \mathbb{C}$ with $w^2 \in K$ and $z \in K(w)$

Let K is subfield of $\mathbb{C}$ with $K=\overline{K}$. $F(k)$ is a set with all circles in complex plane with midpoint in K and radi^us equal distance between two points from K. Let $z\in ...
0
votes
0answers
14 views

Group action on closed subschemes

Let $G$ be a connected, linear, semi-simple algebraic group and $P \subset G$ the maximal parabolic subgroup. We know that $Z=G/P$ is a projective variety. Then, 1) Does $Z$ contain a line? 2) In ...
1
vote
0answers
34 views

Existence of Shafarevich maps(theorem 3.6) on Kollar 's book

I have some problem when reading Theorem 3.6 of Kollar's book Shafarevich Maps and Automorphic Forms, page 41 (Corollary 3.5 of this article ), which states that Let $X$ be a normal variety, ...
2
votes
0answers
39 views

Counting points on the Klein quartic

In Moreno's book "Algebraic Curves over Finite Fields", he mentions the following in passing with no further comments ($K$ denotes the Klein quartic defined by $X^3 Y + Y^3 Z + Z^3 X = 0$): The ...
5
votes
1answer
53 views

Is simply connectedness preserved after deleting a high codimension set

Suppose $X$ is a complex manifold of complex dimension $n$, $Z$ is a subvariety of complex codimension at least $2$. Suppose $\pi_1(X)=0$, do we have $\pi_1(X-Z)=0$? Do we have $\pi_1(X-Z)=\pi_1(X)$ ...
0
votes
0answers
9 views

Radical of reductive but not connected linear algebraic groups

Let $G$ be a linear algebraic group over a field $k$ of characteristic zero. A definition of $G$ being reductive is that the radical of $G^0$ (the connected component of the identity of $G$) over ...
0
votes
1answer
14 views

connection between absolute irreducibility and smooth+geometrically connected

Let $C_1$ and $C_2$ be two smooth, projective, and geometrically connected curves over a field $K$ of characteristic $0$. Assume there are two non-constant branch mapping of $K$-curves, $\phi_1\colon ...
5
votes
0answers
53 views

how much differential structure can we put on countable manifolds?

The motivation for this question is that I would like to formulate Lagrangian mechanics in a purely discrete setting (see also my older question at physics.se). Unfortunately several key pieces of ...
2
votes
0answers
29 views

Definition of regular functions on a projective variety

I'm trying to read Algebraic Geometry : a First Course by Joe Harris. In Lecture 2, p. 20, he defines a regular function on an open set $U$ of quasi-projective variety $X$ as a function such that if ...
3
votes
0answers
41 views

Isolated points of fibers of regular morphism

Let $X,Y$ be affine varieties and $\varphi:X\to Y$ be regular morphism. I want to prove that isolated points of fibers of $\varphi$ form open subset in $X$. Can you give me advice how to do it?
1
vote
1answer
67 views

How to show that a map is finite

Let $V = Z\left(X^3 - Y^2\right)\in \mathbb{k}^2$. How to show that $f \colon t \in \mathbb{C} \mapsto \left(t^2, t^3\right) \in V$ is a finite map? Thanks in advance!
2
votes
0answers
43 views

Automorphism of $\mathbb{A}^2$ which maps the finite set of points to the finite set of points

Let $\mathrm{k}$ be infinite field. $P_1,\dots,P_n, Q_1,\dots,Q_n \in \mathbb{A}^2$ and $P_i \neq P_j, Q_i \neq Q_j$. I want to find automorphism(in a.g. sense) which maps $P_i$ to $Q_i$. I have tried ...
-3
votes
1answer
179 views

A $X \subseteq \mathbb{A}^n$ such that $I(X) \neq I(V(I(X)))$?

Let $\mathbb{A}^n$ be the affine $n$-space over a field $K$. Denote by $V(S)$ the zero locus of a $S \subseteq K[x_1, \dots, x_n]$ and let $I(X)$ be the ideal of a $X \subseteq \mathbb{A}^n$. Is there ...
0
votes
0answers
54 views

Prerequisites “Homology Theory of Algebraic Varieties” by Wallace

I bought this book because the title was very interesting, the description as well and the price very cheap. You can read it here in PDF. Unfortunately, I realized after reading the first lines I was ...
1
vote
1answer
31 views

Representable morphism for algebraic spaces

I'm trying to understand the definition of algebraic spaces, but there is a notion of representable morphism that is a little confusing to me. Let $S$ be a scheme and let $Sch/S$ denote the category ...
1
vote
2answers
46 views

On the definition of degree of a hypersurface

Let $f \in \mathbb{C}[x_1, ..., x_n]$ be a homogeneous polynomial of degree $d$. I was trying to understand the definition of degree of hypersurfaces. It says on Wikipedia ...
4
votes
1answer
31 views

What is the difference between Nakano Postivity and Griffiths Positivity of Hermitian vector bundles?

I am currently reading "Complex Differential Geometry" by FY Zheng on the curvature of Hermitian vector bundles. In section 7.5, he described a Hermitian vector bundle $(E,h)$ over a complex manifold ...
2
votes
1answer
40 views

Separated Schemes and Intersection

Let $X$ be a separated scheme. I am trying to show that if $U$ and $V$ are affine open sets then $U\cap V$ is also. I can see that $U\cap V$ is homeomorphic to $d(X)\cap (U\times V)$. Where $d$ is the ...
1
vote
0answers
46 views

Why is the codimension of an algebraic set defined by $r$ equations at most $r$?

Suppose I have $r$ polynomials $g_1, ..., g_r$ in $\mathbb{Z}[x_1, ..., x_n]$. And let $H = \{ \mathbf{x} \in \mathbb{C}^n : g_i(\mathbf{x}) = 0 (1 \leq i \leq r) \}$. I was wondering why it then ...
6
votes
0answers
100 views

Higher direct image of morphism with generic fiber $\mathbb{P}^1$

Let $f:X\to Y$ be the morphism of smooth varieties over $\mathbb{C}$ with generic fiber equal to $\mathbb{P}^1$. How to prove that $R^if_*\mathcal{O}_X=0$ for $i>0$? (I do not need the complete ...
3
votes
1answer
34 views

Is the total space of a vector bundle over an irreducible scheme irreducible?

Let $X$ be an irreducible scheme over $\mathbb{C}$ and let $F$ be a locally free sheaf of rank $r$ on $X$. Is the total space $Y$ of the associated vector bundle to $F$, $Y=Spec(Sym(F^{\vee}))$, ...
1
vote
1answer
48 views

Addition of points on elliptic curves over a finite field

I have found the following formulas for the coordinates of $P+Q$ given that $P = (x_{1}, y_{1})$ and $Q = (x_{2}, y_{2})$ are points on a general curve $y^2 = x^3 + ax + b$ over $\mathbb{R}$: $$P + Q ...
0
votes
0answers
13 views

Birational map between a conic and an affine line (related to the classical formula of Pythagorean triples)

Could someone please explain me the following? It says in the notes I am reading that $$ Spec \ (\mathbb{Q}[x,y] / (x^2 + y^2-1) ) \rightarrow Spec \ \mathbb{Q}[m] $$ given by $$ f : (x,y) ...
2
votes
2answers
30 views

Basic question related to the definition of affine $k$- variety

The definition of affine $k$- variety $X$, I have is that $X$ is an affine scheme that is reduced and of finite type over $k$ ($k$ is a field here). The definition of finite type I have is that $X$ ...
2
votes
2answers
41 views

Show that the ideal $I=\left\langle x_1^2+1,x_2,…,x_n\right\rangle$ is maximal in $\mathbb{R}[x_1,…,x_n]$.

This is an exercise in "Ideals, varieties, and algorithms" by Cox et al. It first asks to show that $I=\left\langle x^2+1\right\rangle$ is maximal in $\mathbb{R}[x]$. I can show it because it is a ...
5
votes
1answer
29 views

Why $R^q(\Gamma \circ \eta_{*}) (\Bbb G_{m, \eta}) = H^q(\eta_{ét}, \Bbb G_{m, \eta})$?

Let $X$ be a smooth, projective and connected curve over an algebraically closed field, and let $\eta \rightarrow X$ be its generic point (we also call the inclusion as $\eta$). I want to understand ...
3
votes
2answers
99 views

How is the multiplicative group an algebraic variety?

According to various places, we define an algebraic group as a group that is also an algebraic variety (along with some compatibility conditions). Many places also list some examples, one of which is ...
1
vote
0answers
48 views

Generalizing points on the x, y, and z planes

I am having a little trouble developing the intuition to understand where the points $P = (x,y,z)$ in $\mathbb{R}^3$ with planes only. For instance, the equation $ xyz = 0 $ represents just the ...
1
vote
1answer
29 views

Given a point $P$ and a hyperplane $H$ in $\mathbb{P}^n$ such that $P \in H$, there is $T$ linear such that $T(P)=(0:\cdots:0:1)$ and $H:X_0=0$

Show that given a point $P$ and a hyperplane $H \subseteq \mathbb{P}^n$ such that $P \in H$, there is a linear transformation $T$ such that $T(P)=(0:\cdots:0:1)$ and $H$ is given by the equation ...
0
votes
0answers
53 views

Product of Schemes and Open Subsets

Let $X$ be a scheme and $U$ an open subset, view $U$ as a scheme also. Let $X\times X$ be the product in the category of schemes. Show that there exists an open subset $V$ of this product, such that ...
4
votes
2answers
106 views

Modular curves over finite fields

I'm looking for a detailed reference for modular curves over finite fields, such as $X(N)$, $X_1(N)$, and $X_0(N)$. There seems to be a lot of literature dealing with them over $\mathbb{C}$, but I'm ...
1
vote
0answers
35 views

Difference between quadric and conic

What is the difference between a conic and a quadric? I'm guessing that this depends on your ambient space? I think that conics are just special quadrics and are a codimension 1 object and a quadric ...
2
votes
0answers
29 views

Base of homology on a Riemann surface and holomorphic differentials

I have two questions: 1) Given a Riemann surface $X$ of genus $g$ and an holomorphic differential $\omega$ on $X$, is it always possible to find a base $\{\delta_i\}_{i=1,\dots 2g}$ of ...
0
votes
0answers
40 views

An integrally closed subdomain of a polynomial ring

Let $\mathbb{C} \subset R \subset \mathbb{C}[x,y]$ be a noetherian integral domain. Further assume that: (1) $\mathbb{C}[x,y]$ is separable over $R$. (2) $\mathbb{C}[x,y]$ is algebraic over $R$ ...
3
votes
1answer
41 views

Zero-section as homomorphism of rings

Let $s : X \to E$ be the zero section of a vector bundle $E$ over a scheme $X$. Zariski-locally this corresponds to a homomorphism $Sym_A(M) \to A$ of $A$-algebras where $M$ is a finitely generated ...
0
votes
0answers
51 views

Computation of Riemann-Roch space L(kQ) to a specific Divisor D

I am trying to build a Reed-Solomon Code through a Goppa-Code Construction. I start with the projective line $\mathcal{X}$ $aX+bY+cZ=0$. The genus $g$ of this line is $0$. Futhermore, let ...
1
vote
1answer
44 views

Uses of stalks of sheaves and germs

I am trying to understand the motivation behind defining stalks of sheaves, but I suppose my complex geometry is a little weak. I know they are meant to represent germs of holomorphic functions at a ...
1
vote
1answer
31 views

Morphisms induced by effective divisors on $\mathbf P^1$

This question is about the proof of Theorem V.2.17 in Hartshorne's Algebraic Geometry. Here everything is defined over some algebraically closed field $k$. Define $\mathcal O = \mathcal O_{\mathbf ...
4
votes
1answer
58 views

Computing the sheaf of 1-forms on a toric variety

Consider projective space $P^{2}$ and its corresponding fan. We have the affine opens defined by $U_{\sigma_{0}} = Spec(\mathbb{C}[x,y])$, $U_{\sigma_{1}} = Spec(\mathbb{C}[x^{-1},x^{-1}y])$ and ...
2
votes
1answer
44 views

Calculating the coordinate ring and irreducible components

Consider the graded ring $S=(R/I)\oplus (I/I^2)\oplus (I^2/I^3)\oplus\cdots$ Take $R=k[X,Y],I=(X^2Y,XY^2)$. Then $S=k[X,Y]/(X^2Y,XY^2)\oplus(X^2Y,XY^2)/(X^2Y,XY^2)^2\oplus\cdots$. I am not sure ...