All Questions
2,494 questions
3
votes
0
answers
186
views
Is Hasse-witt map isomorphism?
Fix a level $N \geq 3$ and denote by $\Gamma(N)\subset SL(2,\mathbb{Z})$ the subgroup of matrices which are congruent to the identity modulo $N$. The open modular curve $Y(N)$ corresponding to $\Gamma(...
- 31
0
votes
1
answer
294
views
a question of Galois cohomology
Let $R$ be a complete DVR with algebraically closed residue field $k$ and fractional field $K$ , $PGL(2)$ the automorphic group of projective line over $\overline K$.
My question is:
When $H^{1}(Gal(...
- 43
2
votes
1
answer
239
views
morphism between two elliptic curves over a local field
Let $X,Y$ be two elliptic curves over $K:=K(R)$ which have good models over $R$, Char($K$)=$0$, where $R$ complete DVR with algebraically residue field $k$.
If $L$ is a finite extension of $K$, such ...
- 1,921
2
votes
2
answers
1k
views
are moduli stacks deligne-mumford stacks in general
Let M be your favorite moduli stack over the field of complex numbers.
Is it reasonable to expect M to be a Deligne-Mumford stack?
I know this is true for the moduli space of curves of genus g, ppav'...
- 246
4
votes
1
answer
369
views
Gauss mapping in finite characteristic
Suppose that $X\subset\mathbb P^n$ is a $d$-dimentional smooth projective variety (not a linear subspace) over an algebraically closed field. If $\gamma\colon X\to\mathrm{Gr}(d,\mathbb P^n)$ is Gauss ...
- 1,939
4
votes
0
answers
290
views
Is Normalization of log smooth scheme smooth?
Let $f:Y\rightarrow X$ be a finite flat morphism between smooth schemes over $Spec k$, where $k$ is a perfect field. Let $D$ be an irreducible and smooth divisor of $X$, $U=X\setminus D$ the ...
- 93
1
vote
1
answer
257
views
arithmetic group over function fields and its fundamental domain
Let $G$ be a semi-simple algebraic group defined over a global function field $K$.
Let $S$ be a finite set of places of $K$. For a place $v$ of $K$ let $K_v$ be the completion under $v$. We take $K_S=\...
- 853
2
votes
0
answers
220
views
Bound for the degree of the field of definition for a closed point of a variety
While attempting to prove some existence theorem for matrices over $\mathbb{F}_{2^k}$ I've come across the following problem concerning fields of definition for closed point of, say affine, varieties.
...
- 351
2
votes
0
answers
606
views
Kawamata-Viehweg Vanishing Theorem for Excellent Surfaces
Is there any version of Kawamata-Viehweg vanishing theorem that holds for excellent surfaces? I will be very glad if there is one such, but if not then is it at least true for a surface over a non ...
- 165
3
votes
1
answer
626
views
Heegner Points on $X_0(N)$ when some primes dividing $N$ are inert in the imaginary quadratic field
If $K = \mathbb{Q}(\sqrt{-D})$ is a imaginary quadratic field with discriminant $-D$, then we get Heegner points on $X_0(N)$ as long as there exists $\mathfrak{n} \subset \mathcal{O}_K$ such that $\...
- 585
4
votes
3
answers
4k
views
reduction types of elliptic curves
Let $E/K$ be an elliptic curve, where $K$ is a complete local field with residue field $k$ and char$(k) = p$. I'm trying to make sense of Kodaira symbols and Tate's algorithm.
My current ...
- 585
4
votes
0
answers
814
views
Adjunction Formula for Weil Divisors on a Normal Variety X
Let $X$ be a normal variety over an algebraically closed field $k$ of characteristic $p>0$ and $S$ be a prime Weil divisor on $X$ which is normal too. Now if $K_X+S$ is NOT $\mathbb{Q}$-Cartier, ...
- 165
4
votes
0
answers
136
views
A subring of the Serre Swinnerton -Dyer ring of level N modular power series
Suppose ell is prime and (N,ell)=1. Consider those power series over Z that are expansions at infinity of modular forms for gamma_0 (N) of weight a multiple of ell-1. I'll say that an element of (Z/...
- 5,422
4
votes
2
answers
2k
views
When is the determinant of the push-forward of an ample line bundle ample
Let $f:X\to S$ be a "nice" morphism of "nice" schemes. Let $L$ be an ample line bundle on $X$.
When is $\det f_\ast L$ also ample?
A "nice" morphism could be anything from "finite type separated" to ...
5
votes
1
answer
374
views
Inertia subgroup in the ordinary reduction case when $p=2$
Dear MO,
Let $K/\mathbb{Q}_2$ be a finite extension, and let $E/K$ be an elliptic curve with good ordinary reduction, and such that $\mathbb{Q}_2(j(E))=K$. Let $\rho:\operatorname{Gal}(\overline{K}/K)...
- 1,694
8
votes
0
answers
315
views
simple proof of relation between H^1 crystalline and Dieudonne module?
Hi,
Let $k$ be a perfect field of characteristic $p > 0$. Let $A/k$ be an abelian variety. Then the first crystalline cohomology group of $A$ with respect to $W(k)$ (= Witt vectors) is canonically ...
- 2,842
6
votes
1
answer
485
views
Local Norm Mapping for Abelian Varieties
Let $A/K$ be an abelian variety defined over a nonarchimedean local field $K$ of characteristic $0$ and let $L$ be a finite extension of $K$. Consider the norm map $$A(L)\xrightarrow{N_{L/K}}A(K)$$ I ...
- 297
0
votes
1
answer
265
views
Are period domains ever contractible
Which simply-connected period domains are contractible?
Examples. Siegel upper-half space? Poincare upper-half plane? Universal cover of a Shimura variety?
Are these contractible?
- 19
4
votes
1
answer
307
views
scheme of generalizations
Hi,
I have the following problem. Let $\mathcal{O}$ be a valuation ring and $S=Spec(\mathcal{O})$, denote with $s$ the closed point and with $\eta$ the generic one. Let $X\rightarrow S$ be a proper, ...
- 43
6
votes
0
answers
673
views
Isogenous elliptic curves have same conductor
Let $E/K, E'/K$ be elliptic curves defined over a number field $K$. Let $\phi: E \to E'$ be a non-constant isogeny defined over $K$. Why must the conductors be equal?
I know that this is an ...
- 585
1
vote
1
answer
241
views
Tricks to produce examples of hypersurfaces with index greater than $1$
Recall, index of an algebraic scheme $X$ is defined to be the greatest common divisor of the degrees of the space of zero cycles on $X$. I am interested in examples of hypersurfaces in $\mathbb{P}^n_K$...
- 2,032
12
votes
2
answers
2k
views
Status of Beilinson conjectures?
(I hesitate to post that question here, but I received on answer on FB:)
Does anyone know how the current status of work on them is? And how the possible generalizations etc. which one thinks ...
2
votes
2
answers
215
views
Possible reasons why the image of 0 in the modular parametrization would always be O for a family of quadratic twists of elliptic curves
Let $E$ be an elliptic curve and $E_n$ be its quadratic twist by $n$. Let $\phi_n: X_0(N_n) \to E_n$ be the normalized modular parametrization of $E_n$ ($\infty \to O$)
For some particular curves $E$...
- 585
2
votes
0
answers
218
views
The etale cohomology``ring" structure of torsion sheaves on varieties
For a topological manifold $M$, one can speak of the cohomology ring structure $H^*(M, k)$ where $k$ is a ring. If one replace $M$ by an arithmetic schemes $X$ over a base ring $S$, and replace $k$ by ...
- 1,160
6
votes
1
answer
489
views
Simple field extension and rational points
Let $F$ be an infinite field and $f$ a homogeneous form on $F$ such that $f$ has no non-trivial zero in $F$. Let $F'$ be a finite extension of $F$ such that $f$ has a non-trivial zero in $F'$. Is it ...
- 2,032
5
votes
2
answers
586
views
Quotient of a reductive group by a non-smooth subgroup
This is a continuation of my question Quotient of a reductive group by a non-smooth central finite subgroup.
Let $G$ be a smooth, connected, reductive $k$-group over a field $k$ of characteristic $p&...
- 14.2k
5
votes
2
answers
253
views
computing the order of the image of 0 under the modular parametrization map for an elliptic curve
Let $E/\mathbb{Q}$ be an elliptic curve of rank 0, with modular parametrization $\phi: X_0(N) \to E$. Let $\Omega_0$ be the least positive real period. A paper I'm reading (Yoshida, Some variants of ...
- 585
7
votes
1
answer
804
views
Overconvergent/infinitesimal site, base change and six operations
This question is about 6 operations formalism for 'crystalline' cohomology theories - more specifically the infinitesimal cohomology of smooth $\mathbb{C}$-varieties, and the overconvergent cohomology ...
- 1,838
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 ...
1
vote
0
answers
301
views
How to Construct a ''Nice'' Birational Model in Characteristic $p>0$?
Let $X={\rm Spec} A$ be a normal affine variety of dimension $n$ over an algebraically closed field $k$ of characteristic $p>0$. Also, assume that $S\subset X$ is a prime Weil-divisor on $X$.
Now,...
- 165
22
votes
5
answers
7k
views
Rational points on a sphere in $\mathbb{R}^d$
Call a point of $\mathbb{R}^d$ rational if all its $d$ coordinates are rational numbers.
Q1.
Are the rational points dense on the unit sphere $S :\; x_1^2 +\cdots+ x_d^2 = 1$, i.e. does $S$ ...
- 151k
24
votes
2
answers
2k
views
Have we ever proved any non-solvable case of reciprocity without the Langlands program ?
The reciprocity of the title is the following not completely well-posed problem:
Fix $P(X)$ a monic irreducible polynomial of degree $n$, with coefficients in $\mathbb Z$. "Describe"
(in some sense) ...
- 26.1k
3
votes
1
answer
642
views
Decomposition theorem for polarized abelian varieties in positive characteristic
In characteristic zero we have the following decomposition theorem for polarized abelian varieties: it gives an isomorphism between a PPAV and a product of PPAV's of lower dimension and is valid (as ...
- 614
3
votes
1
answer
393
views
On explicit examples of the Parshin Construction
In the Proof of Mordell Conjecture by Gerd Faltings, it is famous that Parshin constructed a curve $C_P$ for each $\mathbb{Q}$-rational point $P$ on the given curve $C$ over $\mathbb{Q}$ such that the ...
8
votes
1
answer
1k
views
Where was the arithmetic zeta function of a scheme first defined?
Let $X$ be an arithmetic scheme, that is, a scheme of finite type over the integers. We denote the set of closed points of $X$ by $|X|$. For every $x\in|X|$, write $N(x)$ for the cardinality of the ...
- 1,063
0
votes
0
answers
144
views
cohomological criterion of triviality
Hi,
let $X$ be a proper curve, not necessarily smooth, but reduced and connected and $E$ a vector bundle on $X$ of rank $r$.
For a line bundle $L$ it is true that the conditions $h^0(X,L)>0$ and ...
- 19
5
votes
0
answers
387
views
Are these empirical discoveries about the Serre Swinnerton-Dyer ring of prime level modular power series actual theorems?
In this question Joel Bellaiche constructed an algebra, M, of modular forms for
gamma_0 (N) in finite characteristic (which he called p, but I'll call ell) and asked to know its structure. Matt ...
- 5,422
2
votes
1
answer
303
views
Lifting vector fields to its resolution in char $p$
In this paper 4.7, the authors showed that on a normal variety $X$, if there is a tangent vector field on its smooth locus, then it can be lifted as a logarithmic tangent vector field on a log ...
- 656
8
votes
2
answers
1k
views
How to see the geometry and arithmetic of tannakian fundamental groups?
The etale fundamental group is an inverse limit of automorphism groups of finite etale coverings. We can see the geometry of etale fundamental group very well from etale coverings just like ...
- 1,921
2
votes
1
answer
533
views
S-arithmetic subgroup question
I've been reading a proof concerning S-arithmetic subgroups of algebraic groups and I'm having trouble determining why the following step should be true. First, the setup:
Let $G$ be a connected ...
- 47
2
votes
0
answers
143
views
Dualizing sheaf in mixed characteristic for regular schemes.
I've been looking many places, but everything I find seems to either talk about (a) varieties or (b) extremely general situations with dualizing complexes. As I am not in the situation of (a) (i.e. ...
- 419
9
votes
1
answer
391
views
Which level structures on elliptic curves are twist-invariant?
Let $N \geq 5$ be a prime, and $H$ a subgroup of $GL_2(\mathbb{F}_N)$. As shown in Chapter IV of [DeRap], there is a curve $X_H(N)$, defined over $K_N := \mathbb{Q}(\zeta_N)^{\det H}$, which is a ...
- 2,827
15
votes
1
answer
1k
views
Status of Grothendieck's conjecture on homomorphisms of abelian schemes
In [1] Grothendieck posits the following:
Conjecture. Let $S$ be a reduced connected scheme, locally of finite type over Spec($\mathbf{Z}$) or a field $k$, $A$ and $B$ two abelian schemes over $S$, $...
- 1,376
2
votes
1
answer
307
views
On a Strongly F-regular Pair (X, \Delta)
Let $X$ be a normal projective variety over a field of characteristic $p>0$ and $(X, \Delta\geq 0)$ be a pair such that $K_X+\Delta$ is $\mathbb{Q}$-Cartier whose index is not divisible by $p$. ...
- 165
18
votes
3
answers
1k
views
Do isogenies with rational kernels tend to be surjective?
Dear MO Community,
this is a pretty vague title, so let me tell you the precise observation I have made.
Consider the family of elliptic curves over $\mathbf{Q}$ having a rational $5$-torsion point ...
- 841
7
votes
1
answer
667
views
Results and conjectures on bounds on degrees of isogenies
given an isogeny between two abelian varieties $\varphi: A\rightarrow B$ (everything definied over a number field $K$), we can factor $\varphi$ through a multiplication-by-$n$-endomorphism on $A$ and ...
- 841
1
vote
0
answers
411
views
a question about Beauville-Laszlo
Hi,
let $V$ be a complete DVR with uniformizer $\pi$. Let $m$ be a NON zero integer, $a\in V[[u,v]]/(uv-\pi)^{\times}$ and $f=\pi^{m}a$. Consider $F$ as the kernel of the diagram
$$
V[[u,v]]/(uv-\pi)...
- 11
5
votes
0
answers
1k
views
Grothendieck monodromy theorem for l-adic sheaves
Hi,
Suppose that $F$ is a local field, $G_F$ its Galois group, $I$ the inertia subgroup, $k$ its residue field.
Let $X$ be a finite type scheme over $k$. Let $C$ be a constructible $l$-adic sheaf on $...
- 2,842
6
votes
1
answer
1k
views
weight monodromy conjecture for curves?
Hi,
Is there a simple proof of the weight monodromy conjecture in the case of a curve over a mixed characteristic local field?
Thanks!
- 2,842
7
votes
0
answers
286
views
Level p characteristic 2 modular forms and thetas
BACKGROUND
Let p be an odd prime. An element of Z/2[[x]] is "modular of level p" if it is the mod 2 reduction of a g in Z[[x]] with g the Fourier expansion of a modular form for gamma_0(p). In ...
- 5,422