All Questions
2,494 questions
17
votes
0
answers
1k
views
Katz--Mazur for abelian varieties
Over $\mathbb Z$, there is a smooth DM stack $A_g$ classifying abelian varieties.
Over $\mathbb Z[\frac 1N]$, there is finite etale cover $A_g(N)_{\mathbb Z[\frac 1N]}\to A_g\otimes\mathbb Z[\frac 1N]...
- 18.7k
3
votes
1
answer
753
views
Elliptic units and Euler system
Maybe this question is quite obscure and ambiguous. I am really sorry for such ambiguity.
My question is, what is the good thing we get from defining elliptic units and Euler system? There are lots ...
- 601
14
votes
1
answer
1k
views
Do varieties with ample canonical bundle have finite automorphism group in small characteristic?
Suppose $X$ is a smooth projective variety over a field $k$, with ample canonical bundle. If $\operatorname{char}(k)=0$ or $\operatorname{char}(k)>\dim(X)$ and $X$ lifts to $W_2(k)$ (thanks ...
- 23k
15
votes
0
answers
2k
views
Why was it so difficult to define the relative de Rham-Witt complex?
In Illusie's original article, the de Rham-Witt complex is defined for a smooth scheme over a perfect characteristic $p$ base $S$, without reference to $S$. Some 25 years later, Langer and Zink ...
- 16.2k
11
votes
1
answer
832
views
The Sato-Tate conjecture for hypersurfaces?
The Sato-Tate conjecture for elliptic curves $E$ predicts the distribution of the eigenvalues of Frobenius at $p$ on the Tate module of $E$ as $p$ varies in terms of the distribution of the ...
- 118k
15
votes
1
answer
1k
views
Number of curves over a finite field
Let $K$ be a finite field. Is there a formula for the number of isomorphism classes of genus $g$ smooth curves over $K$?
In other words does there exists a formula for the number of rational points ...
- 8,998
7
votes
2
answers
2k
views
Faltings height of a CM abelian variety
Let A be a CM abelian variety, say simple of dimension g, with $End(A) = O_K$, where $K$ is a CM field
of degree $2g$.
Is there an upper bound for the Faltings height $h(A)$ in terms of the ...
- 547
3
votes
1
answer
328
views
How do ideal sheaves behave on the special fibers of the projective line over the integers?
Let $X=\mathbb{P}^1_{\mathbb{Z}}$ and $Y\subset X$ be a local complete intersection of codimension two with Ideal sheaf $I_Y$.
(I'm mostly interested in the case where $Y$ is a single point $x$ ...
- 251
1
vote
0
answers
120
views
Vanishing theorems that work in positive characteristic
Let $X$ be a smooth projective variety over a field of characteristic $p>0$ of dimension at least $2$. I am looking for some examples when $H^2(\mathcal{O}_X)$ vanishes. Is there any standard way ...
- 1,981
2
votes
0
answers
434
views
algebraicity of Néron-Tate canonical height for Abelian varieties over global function fields
(transcendence of canonical heights)
Is the Néron-Tate canonical height for an Abelian variety $A$ over a global function field $K$, $\hat{h}: A(K) \times A^\vee(K) \to \mathbf{R}$ known to always ...
user19475
3
votes
2
answers
530
views
isogeny and congruence subgroup
Let $G_1$ and $G_1$ be two semisimple algebraic groups defined over $\mathbb{Q}$, suppose we have a surjective homomorphism $f: G_1\to G_2$, with finite kernel contained in the center of $G_1$.
By ...
- 699
2
votes
1
answer
791
views
Branching rule for classical Lie algebras in positive characteristic
The restriction of an irreducible $\mathfrak{sl}_n(\mathbb{C})$-module to $\mathfrak{sl}_{n-1}(\mathbb{C})$ is described by a branching rule which says that if $L(\lambda)$ is the simple $\mathfrak{sl}...
- 2,721
3
votes
1
answer
244
views
Etale covers of products of curves
Is a finite etale cover of a product of curves again a product of curves?
The answer is no in general. Here's one way to construct an example. Take the product $A$ of two elliptic curves and an ...
- 31
4
votes
1
answer
286
views
Is there a formula for a hyperelliptic curve over QQ, such that its Jacobian contains a rational torsion point of extact order n, for any given n?
Given a positive integer $n$, is there an algorithm (or even better a closed formula) that provides me with a hyperelliptic curve $C/\mathbb Q$, such that its Jacobian $J:=Jac(C)$ possesses a $\mathbb ...
- 841
11
votes
1
answer
677
views
Pro-algebraic versus continuous Galois cohomology, and schematic homotopy types
I've been thinking about Bertrand Toen's approach to studying the homotopy theory of schemes, and I've come across an inconsistency in my understanding of the subject that I was hoping somebody might ...
- 1,838
9
votes
3
answers
2k
views
How many integer points does my favorite ellipse go through?
The equation of the ellipse interpolating the six lattice points $(0,0)$, $(1,0)$, $(0,1)$, $(d-1,d)$, $(d,d)$, $(d,d-1)$ in the plane for a fixed $d$ (at least 3) is
$$
x^2+y^2 - \frac{2(d-1)}{d}xy-x-...
- 174
3
votes
2
answers
185
views
Lattice-point-free buffers around circles
Let $C(r)$ be the origin-centered circle of radius $r$,
and let $\beta(r)$ be the exterior buffer around $C(r)$:
the distance from $C(r)$ to the closest lattice point exterior to $C(r)$:
&...
- 151k
6
votes
1
answer
1k
views
Comparison of cycle maps
Let $X$ be an algebraic variety over $\bar{\mathbb{Q}}$ of dimension $d$, then there is the l-adic cycle map $\mathrm{cl}_{et}:\mathrm{CH}^i(X)\rightarrow\mathrm{H}^{2i}(X,\mathbb{Q}_\ell(i))$ from ...
- 273
7
votes
0
answers
205
views
Lattice radial-step (ratchet) spirals
(30Oct13: Now solved; see Addendum.)
Define a curve, a ratchet spiral, $S(r_0,\epsilon)$ as follows, where $r_0 > 0$ and $\epsilon < 1$.
$S(r_0,\epsilon)$ begins with the arc ...
- 151k
9
votes
0
answers
582
views
Kernels and cokernels for morphisms of abelian schemes up to isogenies
For $S$ a noetherian scheme, let $\mathcal{A}(S)$ be the additive category of abelian schemes over $S$ and $\mathcal{A}_{\mathbb{Q}}(S)$ be the category of abelian schemes up to isogenies, i.e. ...
- 1,606
6
votes
1
answer
905
views
How many combinations of intersections of n hyperplanes there are in which a hyperplane is not crossed more than k times?
Consider you have $n$ hyperplanes with dimension $k$ that are not coplanar. Each hyperplane intersects the others $n-1$ times. Any intersection of $k$ such hyperplanes produces a vector. The number of ...
4
votes
2
answers
394
views
Colon property of Gorenstein rings
Let $(R, \mathfrak{m})$ be a Gorenstein local ring of characteistic $p>0$. Let $x_1,...,x_d$ be a system of parameters of $R$. Let $I$ be an $\mathfrak{m}$-primary ideal containg $(x_1,...,x_d)$. ...
- 2,773
11
votes
0
answers
351
views
Purity for abelian schemes up to $p$-isogenies
Let $S$ be a noetherian excellent regular scheme and $U\subset S$ an everywhere dense open of codimension $\geq 2$. For some fibered categories of geometric objects, it makes sense to ask whether the ...
- 1,606
17
votes
2
answers
3k
views
Deligne Weil II
Deligne's Weil I has been published under the title "La conjecture de Weil: I" in 1974, and Weil II in 1980. So did Deligne know in 1974 that there would be a Weil II, and can one explain the period ...
user19475
3
votes
1
answer
182
views
Section on $\mathcal{X}(1)$ induced by a cusp of $X(1)$
I'm reading the article Generalized arithmetic intersection numbers of U. Kuehn. At the beginning of section 4.12 "Modular forms over $\mathbb{Z}$" we are in the following situation.
Let $\Gamma(1) \...
0
votes
0
answers
694
views
"Descending cohomology, geometrically" by Mazur:
(Exist texts of that talk or related texts: http://ttv.mit.edu/collections/harris60/videos/13881-problem-session-barry-mazur ?) Article: http://www.math.harvard.edu/~mazur/papers/page37.pdf
- 10.8k
2
votes
0
answers
244
views
Descent theory of line bundles on abelian varieties under isogenies (in char p>0)
I have a couple of questions regarding the descent theory of line bundles on abelian varieties under isogenies in positive characteristic.
Let $X$ be an abelian variety and $L\in Pic(X)$ a line ...
- 614
3
votes
0
answers
593
views
"Extended" Weil Cohomology Theories
According to Wikipedia, a Weil cohomology theory is a functor from the category of smooth projective varieties over a field $k$, to graded algebras over a field $K$ of characteristic zero, together ...
- 1,838
4
votes
0
answers
185
views
Are these subspaces of $\mathbb{Z}/3[[x]]$ stable under the shallow Hecke algebra?
This is a characteristic $3$ analog of part of my earlier question, "Are these two subspaces of $\mathbb{Z}/2[[x]]$ the same?"
Notation
Fix a prime $N$ other than $3$. Let $F,G \in \mathbb{Z}/3[[x]]$...
- 5,422
6
votes
1
answer
693
views
Nagata's conjecture in positive characteristic
For a $\mathbb C P^2$ is known a result: if through the generic points $p_1,p_2,\dots p_n$ with multiplicities $m_1,m_2\dots, m_n$ correspondingly a degree $d$ irreducible reduced curve passes then $d^...
- 5,063
9
votes
0
answers
270
views
Relation between the arithmetic Frobenius and the Frobenius of the $\varphi$-module of an unramified representation
Let $K$ be a complete discrete valuation field of mixed characteristic $(0,p)$ with perfect residue field $k$. Suppose $V$ is an unramified representation with associated continuous homomorphism $\rho:...
- 379
12
votes
1
answer
2k
views
Why A. Weil considered elimination theory to be eliminated?
It is well known that André Weil declared, in the 1940's, that elimination theory must be eliminated from algebraic geometry. I would like to understand his mathematical reasons to adopt such an ...
- 1,422
1
vote
0
answers
118
views
Rational solutions of equations of the form $y^2 x = f(x)$
Let $k$ be any number field, and suppose we want to study the $k$-rational points on
$$y^2 x = f(x),$$ where $f$ is a polynomial of degree greater or equal than 3. In other words, $y^2 x = f(x)$ is a ...
user40810
5
votes
1
answer
724
views
Cubic forms and Hasse Principle
It's well-known that quadratic forms over the rational numbers $\mathbf{Q}$ satisfy the Hasse-Minkowski theorem. This is to say that they are isotropic over $\mathbf{Q}$ if and only if they are ...
- 3,625
4
votes
0
answers
193
views
Shimura varieties and Maximal conditions
Working with Shimura varieties, I have been convinced to call them (or the families giving rise to them especially in $A_{g}$) somehow the "maximal" families. The motivation of this, has been for ...
- 2,221
7
votes
3
answers
752
views
Does every linear group admit a subgroup of dimension 1?
Suppose that $G$ is a linear group of positive dimension, defined over some field $k$. Is that true, that $G$ admits a (closed) one-dimensional subgroup?
I'm pretty much sure this is true in ...
- 267
9
votes
0
answers
315
views
congruences of level 1 and level p modular forms
I've been carrying out some experiments on the computer and I noticed the following congruence phenomenon: fixing a prime $p$, it seems that any modular form over $SL_2(\mathbb{Z})$ and of weight $k \...
- 597
3
votes
1
answer
424
views
Are Isom-schemes geometrically connected
This question is about properties of Isom-schemes that are well-known over algebraically closed fields.
Let $K$ be a field of characteristic zero, let $C$ be a smooth projective geometrically ...
- 123
17
votes
1
answer
875
views
How fast can we numerically calculate Kloosterman sums?
Define the usual Kloosterman sum by $$S(m,n;c) = \sum_{\substack{x \pmod{c} \\ (x,c) = 1}} e\Big(\frac{mx + n\overline{x}}{c}\Big),$$
where $x \overline{x} \equiv 1 \pmod{c}$, and $e(x) = e^{2 \pi i x}...
- 4,671
9
votes
1
answer
627
views
Do all varieties have only finitely many etale covers of fixed degree
I've been wondering about the following "finiteness statement" concerning etale covers for a while.
Let $K$ be a field of characteristic zero, not necessarily algebraically closed. A variety over $K$ ...
- 123
4
votes
0
answers
164
views
Is there an analogue of distributions in characteristic p?
Some motivation: When working over $\mathbb{C}$, distributions (in the sense of generalized functions) act as natural generators for $D$-modules (in the sense that any regular holonomic $D$-module is ...
- 1,488
1
vote
0
answers
193
views
Existence of a curve with no points over finite separable field extensions
Does there exist a field $K$, and a smooth projective geometrically connected curve $C$ over $K$ such that, for all finite separable field extensions $L/K$ the curve $C$ has no $L$-rational points?
I ...
- 51
1
vote
0
answers
111
views
topological invariance of direct image in the \'etale topology
Let $R$ be a complete local ring (even of dimension one if it helps) and write it as limit of artinian rings $R_n$. Let $X\rightarrow S=Spec(R)$ be proper, finite type even smooth outside the maximal ...
- 11
18
votes
1
answer
1k
views
Why does $H^i(X_{ét},\mathbb{Q}_p)$ have a Hodge-Tate structure?
Let $X$ be a variety over a $p$-adic field $K$.
Is there a simple or intuitive explanation of why the $G_K$ representation $H^i(X_{ét},\mathbb{Q}_p)$ is Hodge-Tate? More precisely, why do the powers ...
- 527
9
votes
2
answers
449
views
Rational points on circular spirals
Is it the case that every unit-radius circular spiral,
$$x = \cos(t)$$
$$y = \sin(t)$$
$$z = c \cdot t$$
for $c \in \mathbb{R}^+$
is dense in rational-coordinate points
(i.e., all three coordinates ...
- 151k
2
votes
1
answer
304
views
Purely additive reduction of Jacobian of Hyperelliptic curve
For general, let X be an abelian variety of dimension g.
We say that X has 'purely additive reduction' at prime p if the dimension of the unipotent radical of the special fiber of the Neron Model of ...
- 41
3
votes
2
answers
459
views
Cohen-Macaulay and descent
Let $X$ be a Cohen-Macaulay scheme and $f:X\rightarrow Y$ a morphism. Under which "non trivial conditions" on $f$ can we conclude that $Y$ is also Cohen-Macaulay? By "trivial conditions" I mean smooth+...
- 31
5
votes
1
answer
455
views
$(\varphi, \Gamma)$-module of dimension 2 modulo $p$
Let $p$ be a prime number $\geq 3$. Let $V$ be a representation of $Gal(\bar{\mathbb{Q}}_p/ \mathbb{Q}_p)$ with coefficients in $\mathbb{F}_p$. Assume $V$ is a non-split extension of two characters $\...
- 477
1
vote
1
answer
202
views
Normality and descent
Let $R$ be a normal noetherian domain. Write it as intersection of discrete valued domains $\bigcap_p R_p$. Assume I have schemes $X_p\rightarrow \operatorname{Spec}(R_p)$. Via the inclusion $B_{p,p^{\...
- 11
3
votes
1
answer
561
views
curves with good reduction everywhere
It seems to be a folklore that for any genus $g$, there is a number field $K$ and a curve $X$ over $K$, such that $X$ has good reduction at all the places of $K$. Are any simple proofs of this?
- 125