All Questions
2,494 questions
1
vote
0
answers
144
views
Characterization of Selmer group in terms of two descent
This question is about p 337 of Silverman's book ''The arithmetic of elliptic curves'', p 337, http://www.pdmi.ras.ru/~lowdimma/BSD/Silverman-Arithmetic_of_EC.pdf.
Let $E:y^2=x^3+ax^2+bx$ and $E':Y^2=...
4
votes
1
answer
409
views
The notion of morphisms between two moduli problems in Katz-Mazur
I am reading Katz-Mazur Arithmetic Moduli of Elliptic Curves, and have some questions about the notion of morphisms between two moduli problems.
What is the proper definition of morphisms between two ...
- 149k
6
votes
1
answer
305
views
Definition of modular curve associated to $\Gamma(N)$
For a positive integer $N$, we define $$\Gamma(N)=\big \{ \begin{bmatrix} a & b \newline c & d\end{bmatrix}\in \operatorname{SL}_2(\mathbb{Z}): \begin{bmatrix} a & b \newline c & d\end{...
- 37k
2
votes
0
answers
142
views
$K(S,2)=\{b \in K^{\times}/{K^{\times}}^2\mid v(b)≡0 \bmod2, \forall v \notin S\}$ and Selmer group
This question is essentially related to the theory of elliptic curves (Selmer group), but this question itself is just a field theoretic one.
To calculate the Selmer group of given elliptic curve, we ...
- 1,541
6
votes
1
answer
685
views
Definition of locally symmetric space of reductive groups
This might seems like a bit of philosophical question and so maybe if I keep reading a bit more, I might get my answer. But, I ask nonetheless.
In my attempt to study Shimura varieties, I came across ...
- 5,429
0
votes
1
answer
107
views
Is there a method to check if two sections of an elliptic surface are dependent over the endomorphism ring or not?
Let $E\!: y^2 = x^3 + a(t)x + b(t)$ be an elliptic curve over the function field $\mathbb{F}_{q}(t)$ over a finite field $\mathbb{F}_{q}$ of characteristic $5$ or greater. For simplicity, let $E$ be ...
- 1,833
4
votes
1
answer
435
views
Étale group schemes and specialization
If $A$ is an abelian variety over a finite field $\mathbf{F}_q$, then $A(\mathbf{F}_q)$ (resp. $A(\overline{\mathbf{F}}_q)$) is a finite (resp. infinite torsion) group, but $A(\mathbf{F}_q(t))$ is a ...
- 28.8k
1
vote
0
answers
156
views
About the exact sequence $0\to $$Ш(E/\Bbb{Q})[\phi]\to Ш(E/\Bbb{Q})[2]\to Ш(E'/\Bbb{Q})[\hat{\phi}]$ in Silverman's book of elliptic curves
This question is about Silverman's book,$7$-th line from the bottom of $350$ page of 'The arithmetic of elliptic curves' (http://www.pdmi.ras.ru/~lowdimma/BSD/Silverman-Arithmetic_of_EC.pdf) .
Let $E$ ...
- 1,541
2
votes
1
answer
290
views
Flat scheme-theoretic closure
Suppose $R$ is a discrete valuation ring with fraction field $K$. Let $X\subset \mathbf{P}^n_{C_K}$ be a closed subscheme, flat over $C_K$, a smooth projective curve over $K$.
Let $C_R$ be a flat ...
- 20.5k
4
votes
0
answers
103
views
Boundary divisor of an equivariant compactification of a non-trivial twist of $\mathbb{G}_a^n$
Let $K$ be a non-perfect field of positive characteristic. Then there exist non-trivial forms of $\mathbb{G}_a^n$ which split over finite purely inseparable extensions of $K$, i.e., algebraic groups $...
3
votes
0
answers
94
views
Dimension of a kernel of a cocycle map
Inspired by a previous question (Dimension of a kernel of a linear map) and some of the answers I was given I thought wheter I can generalize the question to the following:
Compute the kernel (or at ...
- 911
0
votes
0
answers
124
views
Rank growth of elliptic curve $E:y^2=x^3-17$ in quadratic number field
Let $E:y^2=x^3-17$ be an elliptic curve.
It is known that rank$(E/\Bbb{Q})=0$.
(For example, prop $6.5$, $362$p in Silverman's book 'The arithmetic of elliptic curves')
Over $K=\Bbb{Q}(i)$, what is ...
- 1,541
3
votes
0
answers
115
views
The degree map is a positive definite quadratic form
It is known that if $E_1$ and $E_2$ are elliptic curves over some field $K$ then the degree map $\deg: Hom(E_1,E_2) \to \mathbb Z$ is a positive definite quadratic form. A reference for this is III.6....
- 2,224
6
votes
2
answers
830
views
Is it possible to classify all Weil cohomologies?
Weil cohomologies seem to be "natural" and useful cohomology theories. Wikipedia lists Betti, De Rham, 𝓁-adic étale, and crystalline cohomologies as examples of Weil cohomology. Do we have ...
- 12.9k
1
vote
0
answers
210
views
What is a definition of $A(P_v)$ in the definition of Brauer-Manin obstruction?
This is a question related to the definition of Brauer-Manin obstruction.
Let $K$ be a number field. $X/K$ be an algebraic variety over $K$.
Let $O_{X,P}$ be a local ring of $X$ at $P$. Let $Br(X)=\...
- 1,541
6
votes
1
answer
167
views
$\mathbb{Q}$-rank of the space of angles of pythagorean triples
A pythagorean triple is a triple of integers $(a,b,c)$ with $a^2 + b^2 = c^2$. Given a triple, $(a/c, b/c)$ is a point on the unit circle, so we may associate to it the normalized angle
$$\theta_{a,b} ...
- 79.9k
3
votes
0
answers
122
views
Torsion of Fermat hypersurfaces
An interesting invariant of a rationally chain-connected variety $X/k$ is the exponent of the group,
$$ \ker{(\mathrm{CH}_0(X_K) \xrightarrow{\deg} \mathbb{Z})} $$
where $K = k(X)$ is the function ...
- 3,730
1
vote
2
answers
416
views
Existence of rational points on generalized Fermat quintics
Do there exist integers $(x,y,z)\neq (0,0,0)$ such that
$$
(a) \quad 2x^5+3y^5=6z^5
$$
$$
(b) \quad x^5+3y^5=7z^5
$$
Here is a short motivation. Equation $ax^d + by^d=cz^d$ is trivial for $d=1$, ...
- 11.3k
4
votes
1
answer
490
views
Existence of rational points on some genus 3 curves
Do there exist a pair of rational numbers $(x,y)$ such that
$$
(a) \quad x^4+x^3+y^4+y-1=0
$$
$$
(b) \quad x^4+x^3+y^4+y^2-1=0
$$
Magma function IsLocallySoluble returns that both equations are ...
- 20.4k
17
votes
4
answers
2k
views
What are supersingular varieties?
For varieties over a field of characteristic $p$, I saw people talking about supersingular varieties.
I wanted to ask "why are supersingular varieties interesting". However, as I don't want to ask an ...
- 28.8k
3
votes
0
answers
87
views
Obstruction for points to be contained in smooth hypersurfaces in tterms of inseparability degree of residue field
Let $k$ be an imperfect field of char $p>0$ and
$x \in \mathbb{P}^n_k$ be closed point of projective space.
In this discussion Qing Liu wrote that
Over an imperfect field, a reduced point can not ...
- 619
0
votes
1
answer
204
views
Are degrees and ramification degrees preserved upon passing to the smooth compactification?
Let $\phi ：C_1\to C_2$ be morphism of projective singular curve. Let $\tilde{C}_1$ and $\tilde{C}_2$ be their smooth compactification.
Then $\phi$ extends to $\tilde{\phi} : \tilde{C}_1\to \tilde{C}...
- 1,541
1
vote
0
answers
215
views
$p$-adic étale cohomology group of open smooth varieties
Let $K$ be a finite extension of $\mathbb{Q}_p$ and let $X$ be a smooth variety over $K$.
Dr. Yamashita announced that he had proved the Galois representation of $p$-adic étale cohomology group $H^*_{\...
- 4,713
2
votes
1
answer
164
views
What is the sum operation on torsors induced by Weil uniformization?
Let $k$ be an algebraically closed field, $G$ a reductive group, and $C$ a curve. The algebraic version of the Weil uniformization theorem (see e.g. arXiv:1511.06271v2) says that groupoid of $G$-...
- 1,969
3
votes
1
answer
301
views
Given a smooth hyperplane section Y of a variety X there exists a Lefschetz pencil of hyperplane sections of X containing Y
Let $X$ be a variety contained in $\mathbb{P}^N$ and let $Y$ be a smooth hyperplane section of $X$. I have read in page 54 of Voisin's book "Hodge theory and complex algebraic geometry II" ...
- 39.3k
1
vote
0
answers
263
views
Implicit function theorem and compactification of algebraic curve
Let $C$ be a singular curve defined over a local field $K$.
Let $\tilde{C}$ be its smooth compactification(maybe this is not normalization).
Why $\tilde{C}(K)\neq \emptyset$ implies ${C}(K)\neq \...
- 1,541
6
votes
1
answer
786
views
B. W. Jordan's thesis on arithmetic of Shimura curves
I'm looking for Bruce W. Jordan's thesis: On the diophantine arithmetic of Shimura curves. Thesis, Harvard University, 1981.
I could not find the pdf at the following site.
https://www.math.harvard....
- 146
19
votes
2
answers
3k
views
Bertini theorems for base-point-free linear systems in positive characteristics
Suppose that $X$ is a smooth algebraic variety over an algebraically closed (uncountable if it helps) field of characteristic $p > 0$. Suppose that $L$ is a line bundle, probably ample or at least ...
- 1,446
3
votes
0
answers
105
views
Points with residue fields having big inseparability degree cannot be contained in smooth hypersurfaces
Let $X$ be a $k$-scheme over imperfect field $k$ and $x \in X $ some (reduced) point with residue field $\kappa(x) = \mathcal{O}_{X,x}/ \mathfrak{m}_x$. How to check that if $\kappa(x)$ has "big ...
- 619
3
votes
1
answer
167
views
How to compute Selmer set?
Let $X$ be an affine variety and $G$ an affine algebraic group (for example $\operatorname{PGL}_n$). How do I compute the Selmer set
$$ \operatorname{Sel}_\zeta(\mathbb{Q},G) = \{\tau \in H^1(\mathbb{...
3
votes
0
answers
145
views
A Galois equivariant Weil cohomology theory with coefficients in the rational numbers and a variation of the Tate/Hodge conjecture
A well-known example of Serre shows that there can be no Weil cohomology theory with $\mathbb Q$ coefficients for schemes over $\mathbb F_{p^2}$. However, this example is no obstruction to a Weil ...
- 7,746
2
votes
1
answer
243
views
Finite flat pullback of the diagonal
Let $X, Y$ be smooth projective connected complex varieties of the same pure dimension $d$ and $f : X\to Y$ a finite flat surjective morphism.
Let $\Delta_X$ be the closed subscheme of $X\times X$ ...
- 28.8k
4
votes
1
answer
273
views
Relation between rational Tate module and universal cover of a p-divisible group
We can associate two $\mathbb Q_p$ vector spaces to a $p$-divisible group, and I'm a little confused about the relation between these two groups. First of all, I think part of my problem is that when ...
- 113
13
votes
3
answers
2k
views
Is the map on étale fundamental groups of a quasi-projective variety, upon base change between algebraically closed fields, an isomorphism?
$\DeclareMathOperator\Spec{Spec}$Let $k \subset L$ be two algebraically closed fields of characteristic $0$. Let $U \subset \mathbb P^n_k$ be a smooth quasi-projective variety and let $U_L$ denote the ...
- 12.9k
5
votes
0
answers
387
views
Calculating étale fundamental groups from the usual fundamental group
$\newcommand{Spec}{\operatorname{Spec}}$Let $X$ be a connected affine smooth variety over $\mathbb{Q}$, with a point $x\in X(\Spec(\mathbb{Q})$.
For any algebraically closed field $K$ of ...
11
votes
1
answer
580
views
Do people prefer working on $\mathrm{GSp}$ and $\mathrm{GU}$ rather than $\mathrm{Sp}$ and $\mathrm{U}$, and why?
I am a new learner of Iwasawa theory and currently reading the famous paper by Skinner-Urban in 2014, and the following-up works by many other people. When reading these papers, I found that some ...
- 37k
7
votes
2
answers
636
views
Mordell curves with large rank
An elliptic curve is (for the purpose of this question) a cubic algebraic curve defined by an equation (short Weierstrass equation) of the form
$$\displaystyle E_{a,b} : y^2 = x^3 + ax + b, a, b \in \...
- 79.9k
4
votes
1
answer
240
views
Cycles contained in ample enough hypersurfaces
Let $X$ be an irreducible smooth projective variety of pure dimension $d$ over the complex numbers and $Z\subset X\times X$ a codimension $d$ irreducible smooth closed subvariety.
Is there a smooth ...
- 66.3k
2
votes
0
answers
483
views
Absolute Hodge cycles over $\mathbf{Q}$
In the 1986 notes by Milne "Hodge cycles on abelian varieties", Deligne defines the notion of absolute Hodge cycles.
For a smooth projective variety defined over $k\subset\mathbf{C}$ non ...
- 63.9k
1
vote
1
answer
88
views
Generic finite subgroups, associated to small finite fields, of reductive algebraic groups
Theorem 1 of [LS] Liebeck and Seitz - On the subgroup structure of exceptional groups says:
Let $X = X(q)$ be a quasisimple group of Lie type in characteristic $p$, and suppose that $X < G$, where ...
- 12.9k
2
votes
1
answer
272
views
System of two linear Diophantine equations
Let $n\in\mathbb{N}$ be a positive integer. Denote by $f(n)$ the number of integral solutions of the following system
$$
\left\lbrace\begin{array}{l}
\sum_{i=1}^nx_i = 3n; \\
\sum_{i=1}^n (2i-1)x_i = ...
- 5,624
0
votes
0
answers
97
views
Relation between divisibility problem of Shafarevich group and group structure of $Ш(E/K)$
For abelian variety $A/K$,
divisibility problem (i.e. $\forall n≧1$, $Ш(A/K)⊂p^nH^1(G_K,A)$ holds for fixed prime $p$?) was asked by Cassels in 1962 and even now discussed.
On the other hand, once ...
- 63.9k
1
vote
1
answer
139
views
Cohomology classes fixed by algebraic automorphism subgroups
Let $X$ be a smooth projective complex variety and $t\in H^{2p}(X,\mathbf{Q})(p)$ a rational cohomology class.
Assume that there exist
$$t_1,\ldots,t_N\in H^{2*}(X,\mathbf{Q})(*)$$
algebraic classes (...
- 81
2
votes
1
answer
236
views
Cup products and correspondences
Suppose $X$ is a smooth projective complex variety, connected of dimension $n$.
Let $a$ be an algebraic correspondence in $A^n(X\times X)$, the group of cycles modulo homological equivalence in $H^{2n}...
- 28.8k
30
votes
2
answers
1k
views
On determinants of Laplacians on Riemann surfaces
History of the formula: In their famous paper "On determinants of Laplacians on Riemann surfaces" (1986), D'Hoker and Phong computed the determinant of the Laplacian $\Delta_n^+$ on the ...
- 63.9k
12
votes
1
answer
944
views
Comparing singular cohomology with algebraic de Rham cohomology
Let $X$ be a smooth projective variety over a number field $K$. Then there are two cohomology groups we can attach to $X$: the algebraic de Rham cohomology group
$H^k_{\text{dR}}(X/K), $
which is a ...
- 1,949
3
votes
0
answers
110
views
Local global principle over infinite extension of $\Bbb{Q}$ which is not algebraically closed
Let $A$ be an algebraic variety over a field $K$, which is finite extension of $ \Bbb{Q}$.
We say local global principle holds if $A(K_v) \neq \emptyset$ implies $A(K) \neq \emptyset$, where $K_v$ is ...
- 1,541
4
votes
0
answers
226
views
The coarse moduli schemes of the "Shimura stacks" are the canonical models of the corresponding Shimura varieties
Let $F$ be a number field, $B$ a central simple algebra over $F$, $*$ a positive involution on $B$ which fixes $F$, and
$O_B$ a maximal $O_F$-order of $B$ which is stable under $*$.
Assume that $(B, *)...
- 1,364
3
votes
0
answers
96
views
Descent obstruction of an open curve in an elliptic curve
Let $E$ be an elliptic curve over a number field $k$, and for an extension $K/k$ we denote by $E_K$ the base change $E \times_k K$. By fixing an embedding $k \hookrightarrow \mathbb{C}$, the etale ...
- 895
4
votes
0
answers
179
views
Reference for Iwahori-Hecke algebras
I recently came across the notion of an Iwahori-Hecke algebra. I would like to learn the basics about this type of algebras (mainly to get an intuition about them, as they seem to be related to some ...
- 541