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

$\mathbb{C}$-points on a $\mathbb{Z}$-scheme

Let $\mathcal{X}$ be a "nice" scheme over $\mathbb{Z}$. We could assume $\mathcal{X}$ regular and $f: \mathcal{X} \rightarrow \mathbb{Z}$ flat and projective, but feel free to change these ...
12
votes
1answer
726 views

On limits, schemes and Spec functor

I have several related questions: Do there exist colimits in the category of schemes? If not, do there exist just direct limits? Do there exist limits? If not, do there exist just inverse limits? ...
4
votes
1answer
46 views

troubles showing existence of Clifford-algebra

We had the following definition in class: Let $V$ be a vector space, $K$ a field and $Q$ be a quadratic form. We call $(C(V,Q),j)=C$ a Clifford-algebra if: $C$ is an assoziative algebra with 1, ...
1
vote
1answer
53 views

Gluing Schemes, Closed Subschemes

Let $X$ be a scheme and $Y$ a closed subset. Take a covering of open subsets $U_i$ of $X$ which are affine. Say $U_i\simeq \text{spec } A_i$, choose $\mathfrak{a}_i$ to be the largest ideal with ...
0
votes
0answers
26 views

Isomorphism of polynomial rings [duplicate]

I am trying to do exercise 3.6.F in Ravil Vakil's algebraic geometry notes : http://math.stanford.edu/~vakil/216blog/FOAGapr2915public.pdf We fix a field $k$. It comes down (or so I think) to proving ...
1
vote
0answers
61 views

Algebraic methods to compute the cohomology ring of the complex topology of a variety?

Suppose $V$ is an affine (resp. projective) subvariety of the affine (resp. projective) space $\mathbb A_\mathbb C^n$ (resp. $\mathbb P_\mathbb C^n$) with vanishing ideal $I\subseteq\mathbb ...
-1
votes
0answers
37 views

Generalization of Singular locus and non-free locus to an algebra

Let $R$ be a commutative noetherian local ring with maximal ideal $\mathfrak{m}$ and $ \Lambda $ be a noetherian $ R $-algebra. Recall that: (1) The singular locus of $R$, denoted by $\mathsf{Sing} ...
1
vote
1answer
36 views

Non hyperelliptic curves of genus 5 form a family of dimension 12

Suppose $C$ is a complete intersection of three quadrics in $\mathbb{P}^4$, how to count naively the dimension of its parameter spaces? One needs $|O_{\mathbb{P^4}}(2)|=14$ parameters to describe one ...
7
votes
1answer
120 views

A movement requires 1 dimension, a rotation requires 2 dimensions, a what requires three dimensions?

Movement A zero-dimensional object cannot move. A one-dimensional object can move in one dimension (the x-axis). A two-dimensional object can move in two dimensions (the x-axis and y-axis). A three ...
1
vote
0answers
34 views

commutativity taking the complement and taking fibers

Let $\mathcal M \rightarrow S$ be a projective irreducible scheme over the spectrum of a DVR and $U\subset \mathcal M$ an open subscheme surjective on $S$. Is it true for both points (generic and ...
1
vote
1answer
54 views

Projective bundles

I am studying about projective bundles now. And I have the following doubts. 1) If we have an exact sequence of vector bundles over a scheme $X$, $0\longrightarrow E'\longrightarrow E\longrightarrow ...
2
votes
1answer
38 views

Attempt at understanding Weierstrass points

I'm reading through Springer - Riemann surfaces and Farkas and Kra - Riemann surfaces and theta functions. I'm attempting to get an understanding of Weierstrass points. I've come up with a (hopefully) ...
1
vote
2answers
67 views

Examples of base points of linear systems

I'm reading Fulton's algebraic curves book and we have the following definitions: A divisor $D=n_1P_1+\ldots,n_kP_k$ ($n_i$'s are integers and $P_i$'s are points) over a curve. A linear system as ...
1
vote
0answers
30 views

How many $g_3^1$ does a smooth $(3,3)$ type curve on $\mathbf{P^1}\times\mathbf{P^1}$ has?

Suppose $C$ is a smooth curve of type $(3,3)$ type curve on $\mathbf{P^1}\times\mathbf{P^1}$. Does the two projections provide all the $g_3^1$s for $C$?
3
votes
1answer
92 views

Compactifying $\mathcal{O}_{\mathbb{P}^1} (-2)$

I have the total space of $\mathcal{O}_{\mathbb{P}^1} (-2)$ and I see that a "standard" way to compactify is to add the trivial line bundle, $\mathcal{O}_{\mathbb{P}^1}$, and then projectivize. That ...
1
vote
1answer
40 views

Why $(n \times Id )_* O_{A\times A^\vee} = \oplus_{\tau \in A^\vee(S)} (Id\times \tau \circ \pi^\vee)^*P$

Consider an abelian scheme $\pi: A\rightarrow S$, with dual abelian scheme $\pi^\vee: A^\vee\rightarrow S$. The paper I am reading proved a lemma saying that $[n]_* O_A = \oplus_{\mu \in ...
1
vote
2answers
56 views

Dimension of linear system of divisor of two points on curve of genus greater than 2

This should not be hard, but I am stuck on it nonetheless, so I would much appreciate a solution. Suppose $C$ is a projective non-singular curve of genus $g\geq 2$ and $P,Q$ are distinct points on ...
1
vote
0answers
28 views

Elementary transformation of vector bundles - equivalent definition

The background is as follows: Let $S$ be a locally noetherian scheme, $E$ a vector bundle over $S$ of rank $N+1$. Let $X=\mathbb{P}(E)$ be the projective bundle and $\pi:X\longrightarrow S$ be the ...
1
vote
0answers
938 views

How do I calculate the area the Wigner Seitz cells cover in a square?

It's my first time here, so I appologise in advance if I break any rules through this post. So I have a Cartesian Lattice spanning across the Euclidean plane and a unit square. The lattice points ...
0
votes
0answers
61 views

Zeta function, how to solve a finite geomatry summation.

I wanted to solve the zeta function for an undifend period "$d$". So for every $d\ge2$. $$\zeta(-s)= \frac{1}{(d^{s+1}-1)}\sum_{m=1}^{\infty} \frac{1}{2^{m+1}}\sum^{m}_{j=1} ...
0
votes
0answers
44 views

What is $\overline{D(f)}$?

Let $A$ be a ring, $f\in A$. If $A$ is Noetherian, $\text{Spec}(A)$ has finitely many irreducible components, let us call them $\{Z_i\}_{i=1}^n$. So we write $$D(f)=\bigcup_{i=1}^n D(f)\cap Z_i. $$ ...
2
votes
2answers
82 views

Exercise 6.5.F in Ravi Vakil's notes: Showing conic $x^2 + y^2=z^2$ in $\mathbb{P}_k^2$ is isomorphic to $\mathbb{P}_k^1$

I have been stuck on Exercise 6.5.F in Ravi Vakil's notes for a little while now, and I would greatly appreciate any hints/comments/solutions! Let $k$ be a field that is not of characteristic $2$. I ...
7
votes
3answers
311 views

English translation or summary of “Relevements modulo $p^2$ et decomposition du complexe de de Rham. ”

I'm looking for either an English translation or summary of the article "Relevements modulo $p^2$ et decomposition du complexe de de Rham." by Deligne. I'm attempting to read this for background ...
8
votes
2answers
895 views

Connected components of a scheme are irreducible

Update 2: I posted an answer to this question. Update 1: Problem is now solved because of the excellent hint by Qil. So, if someone wants to post an answer just for the sake of closing this question ...
7
votes
1answer
200 views

Surfaces ruled over elliptic curves

Ground field $\Bbb{C}$. Algebraic category. Elliptic surfaces are those surfaces endowed with a morphism onto some smooth curve, with generic fiber an elliptic curve. Suppose $E$ is an elliptic ...
3
votes
1answer
55 views

Boundedness of the operator $[\Lambda, \Theta]$.

I am reading Griffiths-Harris book on algebraic geometry and in "Theorem B", where he proves (the analogue of Serre's vanishing theorem) that Let $M$ be a compact, complex manifold, $L\rightarrow ...
1
vote
1answer
33 views

Does every non trivial variety in $\mathbb{R}^n$ have empty interior?

By this question, we know that a non-trivial affine variety in $\mathbb{C}^n$ has empty interior. But the argument uses the (strong) fact that a holomorphic function vanishing in a non empty set $U$ ...
1
vote
1answer
68 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?
15
votes
1answer
257 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
1answer
43 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?
4
votes
2answers
233 views

How to show $\alpha_d : M_d \to \Gamma(X, \widetilde{M(d)})$ an isomorphism for sufficiently large $d$?

Let $S$ be a (positively) graded ring and $X = \operatorname{Proj} S$. Suppose $S$ is generated by $S_1$ as an $S_0$ - algebra and suppose further that $S_1$ is a finitely generated $S_0$ - module. ...
4
votes
1answer
71 views

Calculating eigenvalues of the induced action on $H^0(2 K_C)$

Given a (smooth) curve $C$ and an automorphism $\phi$ of $C$. In the first part of their paper On the Kodaira dimension of the moduli space of curves Harris and Mumford calculate the eigenvalues of ...
27
votes
5answers
3k views

Motivating Example for Algebraic Geometry/Scheme Theory

I am in the process of trying to learn algebraic geometry via schemes and am wondering if there are simple motivating examples of why you would want to consider these structures. I think my biggest ...
4
votes
1answer
54 views

Smooth Fano Polytopes and Hypersurfaces

This is a rather extended question, so I will try to make it as compact and readable as possible. I am trying to practice with the Macaulay2 software, in particular the polyhedra and ...
1
vote
0answers
54 views

Is the constant group scheme for $\mathbb{Z}$ affine?

Is the constant group scheme for $\mathbb{Z}$ affine? It is said no in Gille's notes "INTRODUCTION TO REDUCTIVE GROUP SCHEMES OVER RINGS" 3.1, but I don't see why!
4
votes
1answer
142 views

About why Danielewski surfaces are the counterexamples for cancellation problem

The Danielewski surfaces $xy^n=1-z^2$ are the famous counterexamples for cancellation problem for affine spaces. I'm asking where to find the articles telling the whole story. Especially how to ...
2
votes
1answer
62 views

What's wrong with this calculation involving pullbacks of divisors on surfaces?

Beauville, Complex Analytic Surfaces, Proposition I.8(b), reads: Let [S and] $S'$ be a surface, $g : S \to S'$ a generically finite morphism of degree $d$, and $D$ and $D'$ divisors on $S$. Then ...
3
votes
0answers
35 views

Three and a half basic questions on the Weil restriction of scalars

I am currently trying to get familiar with the Weil Restriction functor. For a finite field extension $L|K$ it associates a variety over $K$ to every variety $X$ over $L$ as the representing object ...
2
votes
0answers
34 views

Translate a geometric theorem into polynomial equations — Theorem of the orthocenter of a triangle

This is Exercise 13 of Chapter 6 of Ideals, Varieties, and Algorithms by Cox et al. The problem asks to translate the following geometric theorem into polynomials and using Groebner basis to test ...
0
votes
0answers
34 views

Open subscheme in special fiber

Let $X$ be a projective scheme over $R$ a discrete valuation ring with generic fiber irreducible. Can an open subscheme of $X$ be contained in the special fiber of $X$ ? Or is it true that every open ...
1
vote
1answer
35 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 ...
3
votes
0answers
33 views

An exact sequence of Chow groups

Let $X$ be a closed subscheme of $\mathbb{P}^n$, with canonical line bundle $O(1)$,let $V\subset \mathbb{A}^{n+1}$ be the affine cone over $X$. How to show there is an exact sequence ...
1
vote
0answers
27 views

Disk in analytic topology vs. the spectrum of a Henselian DVR in etale topology

In this informative and concise set of notes on vanishing cycles by Donu Arapura, it is stated that the theory of vanishing cycles ports nicely to the etale world if the role of the disk is replaced ...
4
votes
1answer
179 views

Limits and colimits in the category of schemes

What is the smallest category enlarging the category of schemes over a field $k$ which is: Complete? Cocomplete? Admits a cogenerator? generator? I admit there is some overlap with my previous ...
6
votes
1answer
491 views

Set that is not algebraic

I'd like some hints for the problem: Show that the following set is not algebraic: $$ \{ (\cos(t),\sin(t),t) \in \mathbb{A}^3 : t \in \mathbb{R} \} $$ Thanks.
4
votes
1answer
821 views

Finite morphisms of schemes are closed

I want to prove that finite morphisms of schemes are closed, but I cannot prove the affine case, namely: Given a finite morphism of rings $\varphi :B \to A$ prove that the induced morphism of ...
4
votes
2answers
162 views

Definitions in a Theorem of Lang

I'm trying to understand the following theorem due to Serge Lang (Algebraic Groups over Finite Fields, 1956, Theorem 2): Let $p$ be a prime, and let $k$ be a finite field of $q=p^n$ elements. Let ...
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 ...
7
votes
1answer
84 views

Tensor product of $\mathscr{O}_X$-modules which results in a presheaf.

Background: Over a locally ringed space $X$, if we define the tensor product of two $\mathscr{O}_X$-modules $\mathscr{F}$ and $\scr{G}$ naively as $U \mapsto \mathscr{F}(U) \otimes \mathscr{G}(U)$, we ...
2
votes
1answer
90 views

Geometric interpretation of cubic curve?

Lines and conics have clear geometric meanings that are coordinate-free, but cubics seem to rely entirely on cubic equations and coordinate systems. Are there ways to define cubic curves without cubic ...