Let $j$ be an integer. Does there exist an elliptic curve $E_j$ over $\mathbf{Q}$ with $j$-invariant equal to $j$ whose minimal discriminant we can write down in a practical way? For example, can we write down an elliptic curve $E_j$ as above for which we know the reduction over $\mathbf{Z}$ and we know a number […]

Is there a precise formula for the index of the congruence group $\Gamma_1(n)$ in SL$_2(\mathbf Z)$? I couldn’t find it in Diamond and Shurman, and neither could I find an explicit formula with a simple google search. Certainly, there should be some explicit expression, no?

In this paper by Minhyong Kim on p5, there is a variety $X$ defined over $\mathbb{Q}$, $G = \pi_1(X(\mathbb{C}),b)$ the topological fundamental group of the associated complex algebraic variety, and $G$^ the profinite completion of $G$. Kim states that $G$^ is a sheaf of groups for the etale topology on Spec($\mathbb{Q}$). Why is this? A […]

How to compute the genus of $ \{X^4+Y^4+Z^4=0\} \cap \{X^3+Y^3+(Z-tW)^3=0\} \subset \mathbb{P}^3$? We know that the genus of $ \{X^4+Y^4+Z^4=0\} \subset \mathbb{P}^3$ is 3 because the degree is 4. Now, I want to know the genus of the intersection as a curve. For that I have to use the adjunction formula and the fact that […]

I am looking for an introductive reference to the theory of derived categories. Especially I need to start from the very beginning and I need to know how to use this in examples which comes from algebraic geometry. I don’t want a too rigorous approach, made of a lot of definition and propositions but instead […]

This is question 7.2.3 in Liu’s book Algebraic Geometry and Arithmetic Curves and I have been trying with this for some time now. Let $f:X \rightarrow Y$ be a morphism of Noetherian schemes, and suppose that X and Y are integral and that f is finite surjective. We will let $Div(Y)$ resp. $Div(X)$ stand for […]

Is there known a number field $K$ and a curve $F(x, y) \in K(t)[x, y]$ such that $F(x, y)$ does not have points over the field of rational functions $K(t)$ but for all but finitely many positive integer values of $t$ the respective specialization has a point over $K$? (I expect the answer to be […]

Why a smooth surjective morphism of schemes admits a section etale-locally?

According to Bjorn Poonen’s notes here (§2.6), we should add the archimedean places of a number field $K$ to $\operatorname{Spec} \mathscr{O}_K$ in order to get a good analogy with smooth projective algebraic curves. This suggests that the archimedean places are infinite in the sense of being ‘points at infinity’ and not just because rational integers […]

I’ve been reading through Neukirch’s Algebraic Number Theory, and I’m a little puzzled about a possibility with ramification of primes. As usual, let $\mathcal{O}_K$ be a Dedekind domain with field of fractions $K$, let $L/K$ be a finite algebraic extension, and let $\mathcal{O}_L$ be the algebraic closure of $\mathcal{O}_K$ in $L$. Let $\mathfrak{p}$ be a […]

Intereting Posts

Any good Graduate Level linear algebra textbook for practice/problem solving?
Find $E(XY)$ assuming no independence with $E(X) = 4$, $E(Y) = 10$, $V(X) = 5$, $V(Y) = 3$, $V(X+Y) = 6$.
Intersection of finite number of compact sets is compact?
Calculus in ordered fields
Can the curl operator be generalized to non-3D?
Number of ways to put $n$ unlabeled balls in $k$ bins with a max of $m$ balls in each bin
The set of differences for a set of positive Lebesgue measure
Riemann integrals of abstract functions into Banach spaces
Any manifold other than $SO(n\geq 3)$ having $\mathbb{Z}_2$ as the fundamental group?
Is there a way to prove $\int {x^n e^x dx} = e^x \sum_{k = 0}^n {( – 1)^k \frac{{n!}}{{(n-k)!}}x^{n-k} } + C$ combinatorially?
How do I choose an element from a non-empty set?
Isomorphism between $I_G/I_G^2$ and $G/G'$
Fast methods to check linearity of differentials? Generalizing linearity?
Does every infinite group have a maximal subgroup?
Rectify image from congruent planar shape objects