# Tagged Questions

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. ...

19 views

### Is there genera for algebraic cobordism?

For real and complex manifolds, we can form the (oriented) cobordism ring $\Omega$, and a genus is defined to be a ring homomorphism $$\varphi:\Omega\otimes\mathbb{Q}\to R$$ where $R$ is any ...
9 views

### Groebner basis over rings

Let $I$ be an ideal in $A[x_1, \ldots, x_n]$, where $A$ is a Noetherian commutative ring, such that w.r.t some monomial order it has a Groebner basis $G = \{g_1, \ldots, g_t\}$ with all the leading ...
12 views

23 views

### Derivative of the Klein j-invariant

To prove that the field of meromorphic functions on $X(1)$ is generated by the Klein j-invariant, we need to show that the derivative of $j(\tau)$ does not vanish. (It only has simple zeroes). But I ...
29 views

### Can a separable isogeny of elliptic curves have an inseparable dual?

Let $\phi: E_1\to E_2$ be an isogeny of elliptic curves over a field $K$ of characteristic $p>0$. Suppose that $\phi$ is separable and let $\hat{\phi}: E_2\to E_1$ denote the dual isogeny. Then ...
72 views

### Intersection of algebraic curves at a point with given multiplicity

I don't know if this question is too basic for MO, so I put it here, but if you think I should migrate the question to MathOverflow please suggest me. Let $C/k$ be a smooth curve over a perfect ...
35 views

### Number of $\mathbb{F}_q$-rational points on a smooth variety

From the proof of Weil's conjectures it follows that $|q^k - \# X(\mathbb{F}_{q^k})| = O(q^{k(n - \frac{1}{2})})$, where $X$ is a smooth variety over $\mathbb{F}_q$ and $n = \dim X$ (see for example ...
30 views

### reference for “wonderful compactification”

I am trying to learn about the wonderful compactification for (adjoint) semisimple groups. Are there any good references that sketches out the full construction other than ...
23 views

### why does the regular action of the structure group not imply triviality of a fibre system?

Let $P$ and $X$ be algebraic varieties, $\pi:P\to X$ a morphism and $G$ an algebraic group acting on $P$. Serre calls the triple $(G,P,X)$ a fibre system an proves that if it is locally isotrivial ...
36 views

53 views

### About birational map between curves of the form $y^{2}=g(x)$

I'm trying to solve the following exercise but I'm stuck after trying for a long time. Suppose that $g(x)=ax^{4}+bx^{3}+cx^{2}+dx+e\in{k[x]}$ and similarly ...
33 views

### Extension of Leray spectral sequence, Vakil's 23.4 H

If you have a morphism $$(X,\mathscr{O}_X) \xrightarrow {\pi} (Y, \mathscr{O}_Y)$$ for every $\mathscr{O}_X$-module $\mathscr{F}$, there is a spectral sequence with $E_2$ ...
29 views

### tangent space of a curve in projective space

Suppose we have the curve $Z\subset \mathbb{P}^2$ given by the equation $y^2z-x^3=0.$ I have to find a basis for the tangent space at $(0:0:1)$, but I find the definition hard: Let $X$ be a variety ...
9 views

### How to determine the angle from a point and the plane tangent points in a sphere

I have an UAV modeled in three dimensions with let's say position coordinates $p_{uav} = (x_1,y_1,z_1)$ that is moving in a direction $d = (d_x,d_y,d_z)$ and a moving obstacle modeled as a sphere with ...
68 views

### Proof of Chapter 2 Proposition 2.6a in Silverman Arithmetic of Elliptic Curves

The following is Proposition 2.6(a) in Silverman's AEC: "Let $\phi: C_1 \rightarrow C_2$ be a nonconstant rational map of smooth (projective) curves over an algebraically closed field $K$. Then ...
63 views

### Fibers of extension of scalars to algebraic closure of an affine variety is of dimension 0.

Let $X$ be an affine variety over $k$ and $\overline{k}$ be the algebraic closure of $k$. Then the projection morphism $X_\overline{k} = X \times _k \overline{k} \to X$ has dimension 0 fibers. ...
54 views

### If a divisor $D$ satisfies that $D^{2}=1$, is it true that the morphism induced by $|D|$ is birational?

Let $X\subset \mathbb{P}^{5}$ be a non-degenerate algebraic surface. Let us suppose that $D\subset X$ is a curve such that $D^{2}=1$. I would like to know if the rational map induced by the complete ...
15 views

### Number of zero-solutions for two bivariate polynomials $p$ and $q$

If I consider two bivariate polynomials $p,q \in \mathbb{C}\left[ x,y \right]$ where $p$ has total degree $m$ and $q$ has total degree $n$. To keep things simple I'm not interested in special cases ...
Let $X$ be a projective, smooth curve over an algebraically closed field, $Y = X\times X$ and $\mathcal{l}= pt\times X$ where $pt$ is a closed point of $X$. Can one say that the intersection number ...