All Questions
2,494 questions
3
votes
0
answers
157
views
Examples of curves $C$ with $\operatorname{Jac}(C) \cong E^3$, $E$ a CM elliptic curve
Let $k$ be a field of your choice— I'm particularly interested in algebraically closed fields. Are there explicit examples of curves over $k$ whose Jacobian is isogenous to the product of three copies ...
- 531
1
vote
0
answers
117
views
Second group cohomology of a twisted fundamental group
Let $X$ be a smooth hyperbolic projective curve defined over $\mathbb{Z}[1/S]$, where $S$ is a finite set of primes, and let $\pi:=\pi_1^{\text{ét}}(X, \overline{b})$ denote its étale fundamental ...
- 2,907
7
votes
1
answer
549
views
Finiteness of the Brauer group for a one-dimensional scheme that is proper over $\mathrm{Spec}(\mathbb{Z})$
Let $X$ be a scheme with $\dim(X)=1$ that is also proper over $\mathrm{Spec}(\mathbb{Z})$. In Milne's Etale Cohomology, he states that the finiteness of the Brauer group $\mathrm{Br}(X)$ follows from ...
user122877
5
votes
0
answers
211
views
Motivic $L$-functions came from automorphic representations
Langlands in his 1978 ICM talk made a conjecture that all motivic $L$-functions should arise as automorphic $L$-functions. A part of this conjecture, namely for some Hasse-Weil $\zeta$ functions is a ...
- 617
17
votes
1
answer
783
views
Injective ring homomorphism from $\mathbb{Z}_p[[x,y]]$ to $\mathbb{Z}_p[[x]]$
Is there an injective $\mathbb{Z}_p$-ring homomorphism from $\mathbb{Z}_p[[x,y]]$ to $\mathbb{Z}_p[[x]]$?
- 2,907
1
vote
0
answers
47
views
Absolute irreducibility implies free action on framed universal deformation ring
Let $\overline{\rho}: G\longrightarrow \text{GL}_n(\mathbb{F}_p)$ be a residual representation of the Galois group of a number field. Let $R_{\overline{\rho}}^{\square,\text{univ}}$ be the universal ...
- 2,907
3
votes
0
answers
336
views
The local global principle for differential equations
Are there any good reference to tackle the problem below?
Or, are there any know result?
Problem
Let $f_1...f_n\in \mathbb{Z}[x_1,..,x_n]$ and $V:\mathbb{R}^n\rightarrow \mathbb{R}^n$ be a vector ...
- 328
2
votes
0
answers
175
views
Bounding dimensions of Galois cohomology
Let $G$ be the absolute Galois group of the rationals, and $V$ a finite dimensional $p$-adic representation.
Is there a way to provide a general bound on $H^i(G, V)$ in terms of $\dim_{\mathbb{Q}_p} V$...
- 2,907
3
votes
0
answers
177
views
A relative Abel-Jacobi map on cycle classes
I have a question about relativizing a classical cohomological construction that I think should be easy for someone well versed in such manipulations.
Background:
Suppose $X$ is a smooth projective ...
- 7,746
2
votes
1
answer
148
views
Galois action on étale path torsors
TLDR: How is the Galois action on étale path torsors defined?
Let $X$ be a smooth proper scheme, over a field $k$, and let $x,y\in X(k)$ be a pair of points. Let $\pi_1^{\text{ét}}(\overline{X},\...
- 2,907
21
votes
3
answers
808
views
Examples when quantum $q$ equals to arithmetic $q$
First, as a disclaimer, I should say that this post is not about any specific propositions, but is more of some philosophical flavor.
In the world of quantum mathematics, the letter $q$ is a standard ...
- 1,391
3
votes
1
answer
260
views
Etale cohomology of relative elliptic curve
Let $E_a: y^2 = x(x-1)(x-a)$ be a smooth proper relative elliptic curve over $\text{Spec}(A)$, with $a\in A$, and assume $\text{Spec}(A)$ is a $\text{Spec}(\mathbb{Q}_p)$-scheme.
Let $R^1f_*\mathbb{Q}...
- 2,907
3
votes
0
answers
82
views
When is a coherent sheaf on an algebraizable space algebraizable?
Let $\mathcal{X}$ denote an algebraizable rigid analytic space over $\text{Spm}(\mathbb{Q}_p)$,
i.e. there exists a finite type $\mathbb{Q}_p$-scheme $X$ such that $\mathcal{X}$ is its rigid ...
- 2,907
1
vote
0
answers
127
views
Multiplicities of Galois representations in the semisimplification of the reduction of a Tate module
Let $C$ be a smooth proper curve, of genus $g$ over a number field $K$. Let $v$ be a prime of good reduction for $C$ above $p>2$, and let $T_pJ$ denote the $p$-adic Tate module of $J$, the Jacobian ...
- 2,907
8
votes
0
answers
221
views
Elkies' family of elliptic curves of rank 19
There is a widely cited fact that Elkies had found that infinitely many curves of rank 19 in 2006, in "Z^28 in E(Q), etc. Email to the number theory mailing list
at [email protected]&...
- 161
2
votes
1
answer
154
views
Non-torsion points of Tate curves
Let $E$ be a Tate curve over a $p$-adic field $K$. Then there exists $q \in K^*$ with the valuation $v(q)>0$ such that $E(\overline{K})= \overline{K}^*/\left< q \right>$. So it is easy to see ...
- 247
2
votes
0
answers
113
views
Singularities of curves over DVRs with non-reduced special fibre
Let $R$ be a complete DVR of mixed characteristic with fraction field $K$ of characteristic $0$ and residue field $k$ of characteristic $p>0$. Suppose that $\mathcal{X}$ is a normal $R$-curve such ...
- 305
1
vote
0
answers
56
views
Frobenius pullback of an integrable connection on a quasi-projective scheme
Let $X_k$ be a smooth quasi-projective scheme over a finite field $k$. Let $X_K$ be a smooth lift of $X_k$ to characteristic $0$, and let $(X_K)^{\text{an}}$ denote the rigid analytic space associated ...
- 2,907
1
vote
1
answer
120
views
Frobenius action on the trivial connection
Let $F$ denote the absolute Frobenius acting on a smooth quasiprojective scheme $X$ over a finite field $k$.
Denote the trivial connection on $\mathcal{O}_X$ by $d$. Denote its pullback by Frobenius ...
- 2,907
4
votes
0
answers
249
views
Is it always true that the complement of an ample divisor is affine?
Consider a proper and integral scheme $X\rightarrow\operatorname{Spec}(A)$ over a Noetherian ring $A$ and $D\in\operatorname{Div}(X)$ an effective ample Cartier divisor on $X$. Is it true that its ...
- 41
1
vote
0
answers
64
views
$F$-structure implies regular singularities + unipotent local monodromy?
Let $(\mathcal{E},\nabla)$ be a vector bundle with an integrable connection on a smooth quasi-projective $K$ scheme $X$, with $K$ a $p$-adic number field of characteristic $0$. Let $F$ denote a semi-...
- 2,907
3
votes
1
answer
212
views
Isocrystal with no $F$-structure
$\DeclareMathOperator\Isoc{Isoc}$Let $X_k$ be a quasiprojective $k$ scheme, with $k$ finite, and let $X_K$ be the rigid analytic space lifting it to the fraction field of its Witt ring, which I denote ...
- 2,907
1
vote
0
answers
52
views
Frobenius acting by autoequivalence on $\text{Isoc}(X/K)$
Let $X_k$ be a smooth quasiprojective scheme over a finite field $k$. Let $X_K$ be a smooth lift of $X_k$ to the fraction field of the Witt ring of $k$, which I denote by $K$.
In various papers I read ...
- 2,907
4
votes
1
answer
335
views
Equivalence between vector bundles with integrable connections to isocrystals
Let $k$ be a perfect field, $W(k)$ its Witt ring, and $K$ the fraction field of $W(k)$. Let $X_k$ be a smooth proper curve over $k$, and let $X_K$ be the schematic generic fibre of a smooth proper ...
- 2,907
2
votes
0
answers
141
views
A relative cycle class map
Suppose I have a smooth projective morphism $p: X \to S$ between varieties, and a relative cycle $Z \subset X \to S$ which is assumed to be as nice as can be (rquidimensional with fibers of dimension $...
- 7,746
4
votes
0
answers
108
views
Shafarevich conjecture for Abelian varieties over global function fields
Let $S$ be a finite set of places of a global function field $K$. Are there finitely many Abelian varieties over $K$ with good reduction outside $S$? What if we exclude isotrivial families?
- 679
1
vote
0
answers
78
views
Etale local systems and proper base change
I am looking for a reference, or a proof, of the following statement:
Let $f:Y\longrightarrow X$ be a smooth proper map of quasiprojective $K$ schemes, and let $\overline{f}:\overline{Y}\...
- 2,907
2
votes
1
answer
106
views
Does a polynomial $P(X,Y)$ that specializes to a polynomial $P(x_0,Y)$ with distinct roots in $\overline{k}$ have distincts roots in $\overline{k(X)}$
Let $k$ be a field, $P\in k[X][Y]$ be a monic polynomial of degree $n$ in $Y$.
I am looking for a simple proof of the following fact.
"If there exists $x_0\in k$ such that $P(x_0,Y) \in k[Y]$ has ...
- 2,521
2
votes
0
answers
270
views
Proof of Remark 6.14(b) of Milne's Arithmetic duality theorems'
Let $E/\mathbb{Q}$ be an elliptic curve.Let $\operatorname{Sha}(E/\Bbb{Q})$ be a Tate-Shafarevich group.
Milne's 'Arithmetic Duality Theorems' Remark 6.14(b) describe the following exact sequence.
...
- 1,541
0
votes
0
answers
81
views
Potential typo in "Complete Systems of Two Addition Laws for Elliptic Curves" by Bosma and Lenstra
Here is a link to the article: https://www.sciencedirect.com/science/article/pii/S0022314X85710888?ref=cra_js_challenge&fr=RR-1.
Pages 237-238 give polynomial expressions $X_3^{(2)}, Y_3^{(2)}, ...
- 658
3
votes
1
answer
230
views
"General position" on $\mathbb{P}^1\times\mathbb{P}^1$
On $\mathbb{P}^2$ we have the notion of general positions: no 3 points on a line, no 6 on a conic, etc. In particular, blowing up points (up to 8) in general positions give ample anti-canonical class, ...
- 101
4
votes
0
answers
135
views
Nilpotent orbits in characteristic $0$ vs. positive characteristics
Let $G_\mathbb{C}$ be a connected reductive group over $\mathbb{C}$ with Lie algebra $\mathfrak{g}_{\mathbb{C}}$. For any algebraically closed field $k$, let $G_k$ denote the connected reductive group ...
- 2,751
2
votes
0
answers
109
views
Extensions of $F$-isocrystals
Let $X$ be a smooth affine scheme over $k$, a finite field. Let $W(k)$ denote the Witt ring, and $K$ its fraction field. Fix a smooth lift of $X$ to $K$ and denote it by $X_K$.
Let $b\in X(k)$ denote ...
- 2,907
1
vote
0
answers
111
views
Ramification of mod $\ell$ representation of elliptic curves [closed]
Let $E$ be an elliptic curve over $\mathbb{Q}$, and let $p,\ell$ be two prime numbers.
Consider the mod $\ell$ representation $$\rho:Gal(\mathbb{\overline{Q}}/\mathbb{Q})\to Aut(E[\ell])= GL(2,\ell).$$...
- 622
1
vote
0
answers
88
views
Extensions in the category $F\text{-Isoc}(X)$
Let $X$ be a smooth affine scheme over a finite field $k$, let $W(k)$ denote its Witt ring, and by $K$ its fraction field.
Let $F\text{-Isoc}(X/K)$ denote the category of convergent $F$-isocrystals on ...
- 2,907
2
votes
0
answers
63
views
Fibre functors of the category $F\text{-Isoc}(X)$
Let $X$ be a smooth affine scheme over a finite field $k$. Denote its Witt ring by $W(k)$, and the fraction field of its Witt ring by $K$. Let $F\text{-Isoc}(X)$ denote the category of convergent $F$-...
- 2,907
3
votes
0
answers
230
views
A Brauer group of a double covering of a "well-understood" variety
Let $k$ be a field (it is possible to assume that $k = \mathbb{Q}$ or $= \overline{\mathbb{Q}}$) and $X, Y$ nice varieties over $k$.
Let $f \colon Y \to X$ be a finite flat surjective morphism of ...
- 1,364
10
votes
1
answer
535
views
How is Taylor-Wiles patching "horizontal Iwasawa theory"?
I have recently been reading into the proof of modularity of semistable elliptic curves, in particular (what is now known as) the Taylor-Wiles patching argument used to prove the $R=T$ theorem in the ...
- 28.2k
3
votes
0
answers
192
views
Congruences between Eisenstein series and cusp forms
Let $k\geq 4$ be an even integer. Let $p>k$ be a prime
such that $p\mid B_k$, the $k$th Bernoulli number. Then there is a primitive cusp form $f=\sum_{n\geq1}c(n, f)q^n$
of weight $k$ and level $1$ ...
- 347
1
vote
1
answer
116
views
Full Tannakian subcategories and surjection of fundamental groups
Let $(\mathcal{T},w)$ be a neutral Tannakian category over a field $k$, with fundamental group $G$, and $w$ a fibre functor.
Let $(\mathcal{S},w|_{\mathcal{S}})$ be a full Tannakian sub-category (i.e. ...
- 2,907
1
vote
0
answers
102
views
Bounding dimension of $H^1(G_{\mathbb{Q}}, (V_pE)^{\otimes n})$
Let $E$ be an elliptic curve over $\mathbb{Q}$, let $p$ be a prime of good reduction, $T_pE$ is its $p$-adic Tate module, $V_pE = T_pE\otimes \mathbb{Q}_p$, and $(V_pE)^{\otimes n}$ its $n$'th tensor ...
- 2,907
3
votes
0
answers
174
views
Computing basis of $\mathrm{Pic}(\bar{X})$ for a Del Pezzo surface
Say we are given a degree 2 del Pezzo $X$ given by $w^2=Q(x,y,z)$ where $Q(x,y,z)$ is degree 4. We can compute the exceptional lines by computing the 28 bitangent lines of $Q$ and look at the ...
- 31
3
votes
0
answers
156
views
Taylor-Wiles systems for higher dimensional deformation rings
Let $R$ be a deformation ring and $M$ be a finitely generated $R$-module.
A strategy for proving the theorems $R=T$ is to associate with $(R,M)$ a Taylor-Wiles system denoted $(R_{Q},M_{Q})$. Here I'm ...
- 1,270
2
votes
0
answers
161
views
What is the Galois representation structure of $B_{\text{cris}}^+/(t)$?
In $p$-adic Hodge theory, there is a nice exact sequence for quotients of $B_{\text{dr}}^+$. Denote by $t$ the typical uniformizer of $B_{\text{dr}}^+$ (the cyclotomic character), then there is a $G_{\...
- 2,907
2
votes
0
answers
68
views
The Weil height on a generic fiber of family of abelian variety
In the paper Canonical heights on varieties with morphisms by Joseph H. Silverman, in page 184 (which is page 23 in the PDF) Silverman uses Lang's Fundamentals of Diophantine Geometry to show that
$$|...
- 463
2
votes
0
answers
190
views
Connection on relative topological periodic cyclic homology
I have been looking Bhatt-Morrow-Scholze's paper:
https://arxiv.org/pdf/1802.03261.pdf
and came to a naive question. Let $C$ be a dg-category (with assumptions?) over $\mathbb{F}_p[[z]]$ and view this ...
- 3,758
2
votes
0
answers
213
views
Using the Dold-Thom Theorem to define \'etale cohomology
For reasonable spaces $X$, the Dold-Thom Theorem states that $\pi_i(SP(X)) \cong \tilde{H}_i(X)$ where $SP(X) = \bigsqcup_i \mathrm{Sym}^i(X)$. There is a purely algebro-geometric realization of this ...
- 7,746
4
votes
0
answers
183
views
Characters of finite fields - Reference request
Let $\mathbf{F}_q$ ($q=p^f$) be a finite field. We are interested in the characters $\chi: \mathbf{F}_q\rightarrow \mathbf{K}$ ($\chi(0)=0$) where the $ \mathbf{K}$ is an alg.closed field of ...
- 41
5
votes
0
answers
110
views
Equidistribution of Hecke points and Steinitz classes
Let $K$ be a number field and $\mathcal{P}$ be a prime ideal of $K$. Let $k_{\mathcal{P}}$ be the residue field $\mathcal{O}_K/\mathcal{P}$.
Consider the following construction used very often in ...
- 885
0
votes
1
answer
232
views
Variants of the classical Satake classfication
Let us fix a connected split reductive group $G$ over a local non-archimedean field $K$ with maximal torus $T$, then most notes including that of [Gross] describes as a consequence of the Satake ...
- 831