All Questions
974 questions with no upvoted or accepted answers
4
votes
0
answers
320
views
Dieudonné modules over rings of charateristic zero
Dear Colleagues,
would appreciate if you could recommend references, if such a theory exits, for the following question.
Let $A$ be an Abelian scheme over $\text{Spec}(R)$, where $R$ is a subring of ...
- 185
4
votes
0
answers
282
views
Does semi-stable reduction behave well with Weil restriction of scalars
Let $A$ be an abelian variety over a number field $K$ with semi-stable reduction over $O_K$.
Does the Weil restriction $\textrm{Res}_{K/\mathbf{Q}}A$ of $A$ to $\mathbf{Q}$ have semi-stable reduction ...
- 1,213
4
votes
0
answers
413
views
On Stickelberger's Theorem over function fields
Here is the setup to Stickelberger's theorem over number fields (following Washington's book Intro. to cyclotomic fields).
Let $M/\mathbb{Q}$ be a finite abelian extension with galois group $G$. ...
- 293
4
votes
0
answers
269
views
Tate's theorem about abelian variteies in case of abelian scheme
For $k$ a finite field , $A,A'$ an abelian varieties over $k$, $G$ the Galois group of $k$, $l$ a prime number different from the characteristic of $k$ . Tate has proved that:
$Q_l\otimes Hom_k(A,A')...
- 709
4
votes
0
answers
409
views
Every curve is a Hurwitz space in infinitely many ways
Diaz, Donagi and Harbater proved that every curve over $\overline{\mathbf{Q}}$ is a Hurwitz space.
A Hurwitz space is a connected component of the curve $H_n$. The curve $H_n$ is (the ...
- 163
4
votes
0
answers
124
views
Detecting linear dependence on multiplicative groups
Let G = $\mathbb{G}_m^2/\mathbb{Q}$ and let $\Gamma \subseteq G(\mathbb{Q})$ be a free abelian group of rank 2. Assume that the set of primes $p$ for which $\Gamma \mod p$ is cyclic has positive ...
- 527
4
votes
0
answers
197
views
Inequalities between numerical invariants of nonsingular projective Varieties in positive Characteristic
It is well-known that Miyaoka and Yau-type inequalities do not hold in positive characteristic. In "a note on Bogomolov-Gieseker’s inequality in positive characteristic", however, we can ...
- 4,902
4
votes
0
answers
393
views
Motivic interpretation of genus 2 Siegel forms induced by lifts of Maass and Skoruppa
Background: There are several known lifts from integral weight modular forms to Siegel forms of genus 2, among them the Saito-Kurokawa lift. Another lift construction that is important for ...
- 1,704
4
votes
0
answers
623
views
A 'standard patching argument' in Mazur's Eisenstein Ideal paper
On pp 46 of his Eisenstein Ideal paper, Mazur states Theorem I.4 and in the discussion that follows, he mentions 'a standard patching argument' that completes the proof. I was wondering whether this ...
- 297
4
votes
0
answers
678
views
Soft proof of multiplicity one for character groups of Shimura curves?
Is it not possible to prove mutiplicity one type statements for character groups of quaternionic Shimura curves by simply using Raynaud's description for character groups at primes dividing the ...
- 1,141
4
votes
0
answers
390
views
Is there a reference that treats principal homogeneous spaces for (say) group varieties using schemes?
I was wondering if anyone could recommend a reference that discusses principal homogeneous spaces for general finite type group schemes over a field $k$ entirely in the language of schemes (or even ...
- 3,380
4
votes
0
answers
2k
views
How to learn about Shimura varieties?
Possible Duplicate:
What is a good roadmap for learning Shimura curves?
What's the best way (in your opinion) to learn the theory of Shimura varieties?
3
votes
0
answers
72
views
p-torsion in the Tate-Shafarevich group of supersingular elliptic curves
Let $E$ be a supersingular elliptic curve over $\mathbb{F}_p(t)$. Is something known on the $p$-torsion of the Tate–Shafarevich group in this case? In particular, I would like to know if (or if known ...
- 103
3
votes
0
answers
77
views
primes that ramify in division fields for hyperelliptic jacobians
Let $C$ be a hyperelliptic curve $y^2=f(x)$ of genus $g\geq 2$ and $\Delta$ the discriminant of $f(x)$. Let $\ell>2$ be a prime that divides $\Delta$ to the order $e:=\operatorname{ord}_\ell(\Delta)...
- 685
3
votes
0
answers
111
views
Weil pairing for an abelian variety uniformized as torus modulo lattice over a non-archimedean field
Suppose I have an abelian variety $A$ with split toric reduction over a non-archimedean field $K$, so that $A$ can be realized as $T / \Lambda$ where $\Lambda$ is a lattice in the torus $T$. Letting $...
- 1,298
3
votes
0
answers
150
views
$p$-adic points of open subschemes of complete intersections
I'm currently studying the $3\times 3$ magic square of squares problem for a research project. The variety is initially given by the intersection of $8$ quadrics in $\mathbb{P}^8$, but via Gröbner ...
- 31
3
votes
0
answers
241
views
Generating algebraic points on elliptic curves
Let $E$ be an elliptic curve over $\mathbf{Q}$. One has the modular parameterisation
\begin{align*}
\mathbf{H} \to X_0(N)(\mathbf{C}) \to E(\mathbf{C})
\end{align*}
where $X_0(N)$ is the modular curve ...
- 265
3
votes
0
answers
192
views
How can I prove this stronger version of Fedder's Criterion?
I was reading Fedder's original paper which proved what is now known as "Fedder's criterion". I noticed that the abstract stated something which is a priori stronger than what is proved in ...
- 317
3
votes
0
answers
174
views
On the sheaves-functions dictionary
Let $X$ be a variety over a finite field $k$. Let $\pi_{1}(X)$ be the arithmetic etale fundamental group of $X$, and $\rho:\pi_{1}(X)\to k^{\times}$ a continuous character. If $x: \text{Spec}(k)\to X$ ...
- 667
3
votes
0
answers
201
views
Cup product structure on Galois cohomology
Let $G_S$ denote the Galois group of the maximal extension of $\mathbb{Q}$ unramified outside a finite, non-empty set of primes, $S$. Let $p\in S$ and let $V, W$ be a pair of finite dimensional $p$-...
- 2,907
3
votes
0
answers
84
views
Practical way of computing bitangent lines of a quartic (using computers)
Are there known practical algorithms or methods to calculate the bitangent lines of a quartic defined by $f(u,v,t)=0$ in terms of the 15 coefficients? Theoretically you can set up $f(u,v,-au-bv)=(k_0u^...
- 101
3
votes
0
answers
141
views
Monodromy action on the period domain in the Lawrence-Venkatesh paper
Let $Y\longrightarrow X$ be a smooth proper map of smooth quasiprojective schemes over $\mathbb{Z}_p$.
In Lawrence and Venkatesh's paper on Mordell-Weil, the authors consider the $p$-adic period map: $...
- 2,907
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
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
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
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
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
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
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
3
votes
0
answers
185
views
Algebraic properties of Witt vectors $W(K^{\flat\circ})$, $K$ a characteristic 0 perfectoid field
Let $K$ be as in the title with tilt $K^\flat$. $W = W(K^{\circ\flat})$ satisfies a universal property: it is the unique $p$-adically complete $p$-torsion free $\mathbb{Z}_p$-algebra $A$ with $A / pA \...
- 658
3
votes
0
answers
288
views
Is the weight-monodromy conjecture known for unramified representations?
Let $X$ be a smooth proper variety over a number field $K$, $v$ a place of $K$ lying over a prime number $p \neq \ell$, and $V := H^n(X_{\overline{K}};\mathbb{Q}_{\ell})$. Suppose $V$ is unramified at ...
- 15.4k
3
votes
0
answers
171
views
Large 2-part of Tate–Shafarevich group over $\Bbb{Q}$ with small number of prime factor of discriminants
$\newcommand{\Sha}{\operatorname{Sha}}$Let $E/\mathbb{Q}$ be an elliptic curve, and let $\Sha(E/\mathbb{Q})$ denote the Tate–Shafarevich group of $E/\mathbb{Q}$. It is known that the 2-primary ...
- 1,541
3
votes
0
answers
215
views
Global class field theory and closure of unit groups
I'm looking for a reference for the following facts from global class field theory that I found without proofs. I will state them as questions, just in case I get the statement wrong. We fix $K$ a ...
- 85
3
votes
0
answers
227
views
Tate isogeny theorem over varieties?
Let $X$ be a nice scheme, $\pi:E\to X$ an elliptic curve, and $\ell$ a prime invertible on $K$. Then we can consider the "Tate module" $(R^1\pi_*\mathbb{Z}_{\ell})^\vee=\hbox{''}\varprojlim\...
- 371
3
votes
0
answers
132
views
How does the number of connected components of the Néron model change in a family of abelian varieties?
Given an elliptic curve $E/\mathbb{Q}_p$, it is known that the component group of the Néron model of $E$ is cyclic of order $-v(j(E))$ when $E$ has split multiplicative reduction, and in all other ...
- 333
3
votes
0
answers
161
views
Redefining connected Shimura datum
Firstly, let us fix a semisimple reductive linear algebriac group $G$ over $\mathbb{Q}$.
I am interested in seeing if I can bring the definition of connected Shimura datum (which is defined using some ...
- 831
3
votes
0
answers
170
views
Smoothness of height in Manin conjecture
Set up: Let $K$ be a number field. Let $M_K$ be the places of $K$, and define the standard height on $\mathbb{P}^n(K)$ as
$$H([x_0, \cdots, x_n]) = \prod_{v \in M_K} \max\{|x_0|_v, \cdots, |x_n|_v\}$$
...
- 267
3
votes
0
answers
177
views
Does every (ordinary) elliptic curve over a quite large prime field $\mathbb{F}_{p}$ have a lift to the function field with huge Mordell-Weil rank?
Ulmer (and then other authors) showed existence of elliptic curves $E$ over the function field $\mathbb{F}_{p}(t)$ (where $p$ is a prime) with huge Mordell-Weil ranks (i.e., depending on $p$). The ...
- 1,833
3
votes
0
answers
112
views
What are the possibilities of the general fibres in an Iitaka fibration?
This question is motivated by complex algebraic geometry.
If $X$ is a complex algebraic variety with Kodaira dimension in $[1,\dim X-1]$, then the Iitaka fibration (the rational map induced by the ...
- 9,501
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
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
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
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
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
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
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
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
3
votes
0
answers
123
views
points on non-hyperelliptic curves of genus 3
I have a non-hyperelliptic curve $C$ of genus 3 and I'm interested in finding the $K$-rational points on the curve with $K$ a fixed imaginary quadratic number field.
As $C$ is a non-hyperelliptic ...
- 31
3
votes
0
answers
127
views
Isogeny of elliptic curve over positive characteristic $p$ which does not come from characteristic $0$
Let $K$ be quadratic imaginary field. Let $E$ be an elliptic curve which has CM over $R_K$
($R_K$ is ring of integers of $K$).
According to SIlverman's ''ADvanced topics in the arithmetic of elliptic ...
- 1,541