All Questions
2,494 questions
5
votes
1
answer
461
views
Given a branched cover with branch cycle description $(g_1,...,g_r)$, does $g_i$ generate some decomposition group?
Classically:
Let $a_1,...,a_r$ be points in $\mathbb{P}^1_{\mathbb{C}}$, and let $\alpha_1,...,\alpha_r$ be simple loops around the $a_i$, all counterclockwise, and none touching (so $\alpha_1...\...
- 5,929
9
votes
1
answer
566
views
algorithm for calculating the Chow groups of a variety over a finite field
Is there an algorithm for calculating the Chow groups of a variety over a finite field?
It is know that $H^{2i,i}_\mathrm{mot}(X,\mathbf{Z}) = CH^i(X)$. In how many cases does this help us?
user19475
2
votes
0
answers
255
views
Lang isogeny for group stacks
Let $G$ be a commutative algebraic group stack over $\mathbb{F}_q$ (I don't really care about the precise definition: I'm secretly thinking about the Picard stack of a projective curve). To what ...
- 3,605
3
votes
0
answers
213
views
Natural construction of Hodge (Phi,Gamma)-modules
I am looking for a functor from varieties $X/\mathbf{Z}_p$ to $(\varphi,\Gamma)$-modules over the Robba ring over $\mathbf{Q}_p$ (overconvergent ones) that is contructed by differential methods (...
2
votes
1
answer
223
views
density of conjugate of arithmetic subgroup
$K=Q(\sqrt{d} ) , d<0 $, $\Gamma $ an arithmetic subgroup of $G=SU(2,1)(K)$ . Is $\cup_{g\in G}(g^{-1}\Gamma g)$ dense in G for the complex topology?
- 709
10
votes
0
answers
323
views
The mod 3 reduction of some powers of delta
Let f in Z/3[[x]] be the mod 3 reduction of the Fourier expansion of the normalized weight 12 cusp form delta for the full modular group. The exponents appearing in f are all 1 mod 3. Fix
k>0 and ...
- 5,422
1
vote
0
answers
101
views
Points on the intersection of an affine quadric and cubic over a finite field
Are there absolute constants $N$ and $B$ such that the following is true?
Let $p>B$ be a prime. Let $q(x_0,\dotsc,x_n)$ and $c(x_0,\dotsc,x_n)$ be homogeneous of degree $2$ and $3$ with ...
- 3,142
2
votes
1
answer
513
views
normalization of a stack
Hi,
how is it defined the normalization of an algebraic stack $A$ inside another algebraic stack $B$. If you do not want to write the answer could you give to me some reference?
Thank you
- 31
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
1
vote
2
answers
327
views
Equidistribution in the unit interval of numbers in a real field with bounded Mahler measure
Let $K$ be a real number field, together with a fixed immersion in $\mathbb{R}$, and for each positive real number $M$ consider the set $S_M(K)$ of elements in $K \cap [0,1]$ having Mahler measure ...
- 1,269
11
votes
0
answers
1k
views
Do the Standard Conjectures imply parts of the "Weil II" Riemann Hypothesis?
It is known that Grothendieck's Standard Conjectures on algebraic cycles imply the Riemann Hypothesis of the original Weil Conjectures. However, do they also say something about the version of the ...
- 1,764
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
289
views
Does the Albanese map satisfy Torelli's theorem
Let $M_h$ be the moduli space of canonically polarized varieties with Hilbert polynomial $h$. Let $M_h \to A_g$ be the Albanese map, with $g$ an integer which depends on $h$ and $A_g$ the moduli space ...
- 381
2
votes
1
answer
245
views
Is there an easier argument to prove that almost all of these curves have no semi-stable reduction
Fix a number field $K$ and a polynomial $F(x)\in K[x]$ of degree at least $4$. For a squarefree integer $d$, define the curve $X_d$ over $K$ by the equation $dy^2 = F(x)$. Note that the curves $X_d$ ...
- 9,497
2
votes
0
answers
119
views
Bounds for the Tamagawa number of the Jacobian of a hyperelliptic curve
Let $R$ be a discrete valuation ring with fraction field $K$ and residue field $k$ and let $C$ be a hyperelliptic curve of genus $g$ defined over $K$ with Jacobian $J$.
Suppose that $C$ is given by ...
- 337
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?
1
vote
2
answers
438
views
global complete intersection and independence of $l$
Hello,
I remember reading that if $X/\mathbf F_q$ is a projective smooth global complete intersection, then the characteristic polynomial of the $\mathbf F_q$-linear Frobenius of $X$
on $H^i_{et}(X\...
- 2,842
4
votes
1
answer
533
views
An everywhere locally trivial line bundle
Is there a variety $X$ over $\mathbb{Q}$ and a line bundle $L$ over $X$ (other than the trivial line bundle $\mathcal{O}_X$ ) such that $L_v$ is the trivial line bundle over $X_v=X\times_{\mathbb{Q}}\...
- 18.7k
4
votes
0
answers
189
views
Does this space of mod 2 modular forms admit a (Z/8)* degree decomposition?
Fix an odd N>0. Let M consist of all odd elements of Z/2[[x]] that are the mod 2 reductions of elements of Z[[x]] arising as the Fourier expansions of modular forms for (Gamma_0)(N); it's easy to see ...
- 5,422
1
vote
1
answer
363
views
Manin-Drinfeld and constructing a finite morphism with two given ramification points
Fix a smooth projective connected curve $X$ over $\overline{\mathbf{Q}}$ of genus $g\geq 1$ and distinct points $x,y \in X$ such that $x-y$ has infinite order in the Jacobian.
Can we always find a ...
- 9,497
0
votes
1
answer
448
views
Bilinear system of Diophantine Equations
$\forall i,j \in$ $\{$$1, \cdots,n$$\},$ let $x_{i},y_{i}$ be unknowns and $n_{ij} \in \mathbb{Z}$ with $i \le j$ be the knowns.
Consider the following $\frac{n(n+1)}{2}$ with $n > 2$ ...
- 800
1
vote
0
answers
190
views
Compactifications of group schemes
Let $G$ be a group scheme over a scheme $S$ which is the spectrum of a discrete valuation ring. Let $\eta$ (resp. $s$) be the generic (resp. closed) point. Assume that the generic fiber $G_{\eta}$ is ...
- 41
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
7
votes
1
answer
730
views
Is there a category-theoretic definition of the arithmetic Grothendieck group
Let $X$ be a regular scheme which is flat over $\mathbf{Z}$. The arithmetic Grothendieck group $\hat{K}(X)$ is defined to be the quotient of $\hat{G}(X)$ by $\hat{G}^\prime(X)$. This is actually quite ...
- 9,497
4
votes
1
answer
627
views
Can the projection (tensor algebra) -> (symmetric algebra) be forced to split in char. p by factoring out p-th powers?
Question 1 (the weak and simple statement, which, I think, already is wrong): Let $p$ be a prime. Let $k$ be a field with characteristic $p$.
For any $k$-vector space $V$, consider the canonical ...
- 33.8k
11
votes
0
answers
855
views
Points of bounded height in a number field
Let $K$ be a number field of absolute degree $d$, let $B$ be a positive real number, and write $S(K, B) = \{x \in K : H(x) \leq B\}$. Here $H$ is the absolute multiplicative height of an algebraic ...
- 1,199
0
votes
1
answer
462
views
Vector bundles' conjectures [closed]
Hi,
I know the title sounds too much general.
Googling the question I have not found much material, so I decided to ask to experts.
I would like to know which are the most famous/important unsolved ...
- 51
1
vote
2
answers
393
views
Could the Kunneth decomposition of a motif depend on the choice of $l$?
Suppose that over some (algebraically closed) field $K$ of characteristic $p>0$ we have: numerical equivalence of cycles coincides with homological one with respect to ${\mathbb{Q}}_{l}$ and ${\...
- 16.9k
4
votes
1
answer
412
views
F_q-structures on schemes
Let $k|\mathbb{F}_q$ be a field extension. An $\mathbb{F}_q$-structure on a $k$-algebra $A$ is an $\mathbb{F}_q$-subalgebra $A _0$ of $A$ such that $A _0 \otimes _{\mathbb{F}_q} k \cong A$ via the ...
- 5,243
5
votes
1
answer
671
views
Why are cohomologically trivial cycles abundant?
Suppose X is a smooth projective variety, say over $\mathbb{Q}$ for simplicity. Let $F$ be a finite extension of $\mathbb{Q}$. Let $\mathrm {Ch}^{r}(X/F)$ denote the Chow group of codimension $r$ ...
- 13.1k
1
vote
1
answer
556
views
Poitou-Tate dualities for Galois representations into power series rings?
Suppose $K$ is a finite extension of $\mathbf{Q}_p$, $A=K[[T_1,\dots,T_n]]$, $V$ a finite-rank free $A$-module, and $\rho:G_{\mathbf{Q}} \to \mathrm{GL}(V)$ a continuous Galois representation. Are ...
- 13.1k
15
votes
0
answers
779
views
Lifting varieties from char. $p$ to char. 0 after alterations
The question is related to this MO question:
Lifting varieties to characteristic zero.
Let $X$ be a projective smooth variety over $k$ alg. closed field of char. $p.$ Does there always exist an ...
- 4,265
6
votes
1
answer
1k
views
Uniformization in algebraic/arithmetic geometry?
Jonah's question makes me wonder: What is with uniformization in algebraic/arithmetic geometry? E.g. this article by Faltings seems to be about that, the Shimura-Taniyama statement too, Mochizuki ...
- 10.8k
8
votes
0
answers
244
views
Corresponding notion of unramified for motives (or de Rham cohomology)
The etale cohomolgoy of a variety $X$ over a number field $K$ is a Galois representation of $\mathrm{Gal}(\overline K/K)$ with some properties coming from $X$, e.g., it is unramified outside $S$ if $X$...
- 381
2
votes
1
answer
278
views
What is the family derived from the absolute Frobenius on the Hilbert scheme?
Let $f$ be a Hilbert polynomial, and $X := Hilb_h(P^d_{F_p})$ a Hilbert scheme defined over $F_p$. Then there is an absolute Frobenius map $F: X \to X$. I'm even interested in the case $f \equiv 1$, ...
- 27.9k
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
9
votes
0
answers
560
views
Function fields of characteristic p modular curves, and mod p reductions of the classical modular equation
Let l and p be distinct primes, l>2. There are "characteristic p modular curves" X_0(l) and X(l), defined over an algebraic closure, K, of Z/p, solving moduli problems for elliptic curves with some ...
- 5,422
3
votes
1
answer
844
views
finite generation of the Mordell-Weil group over finitely generated fields
Does anyone know a reference for the proof of the finite generation of the Mordell-Weil group over finitely generated fields?
user19475
3
votes
0
answers
204
views
Hodge filtration over $\mathbb Z_p$
Let $p$ be a prime number.
Let $X\to\operatorname{Spec}\mathbb Z_p$ be smooth and proper. Is it true that
the map $H^i(X,\Omega^{\bullet\geq j}_{X/\mathbb Z_p})\to H^i(X,\Omega^\bullet_{X/\mathbb Z_p})...
- 2,842
5
votes
0
answers
240
views
Is the moduli space of genus three smooth quartics affine?
Non-hyperelliptic curves of genus three are smooth quartics. Is the moduli space of such curves affine?
I think this follows from a more general result on smooth complete intersections, but I'm ...
- 381
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
1
vote
0
answers
457
views
Why do twists of an algebraic group over k correspond to k-torsors over G
Let $G$ be an algebraic group over a field $k$. Let $k^s$ be the separable closure of $k$.
I can't seem to figure out why isomorphism classes of twists of $G$ correspond to $k$-torsors over $G$.
It'...
- 1,213
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
0
answers
201
views
extending truncated Barsotti-Tate group
Let $X$ be a smooth projective curve defined over a finite field of char $p$, let $G[1]$ be a truncated Barsotti-Tate grop of level-1. My question is : can $G[1]$ be extended to a truncated ...
- 709
1
vote
0
answers
103
views
degree of isogenies between Jacobians and Abelian Varieties
Let $K$ be a local field of characteristic zero and positive residual characteristic. Let $A$ be a simple abelian variety and assume we have an isogeny $f:Jac_C\rightarrow A$ with $C$ a smooth curve ...
- 11
6
votes
1
answer
393
views
finite quotients of fundamental groups in positive characteristic
For affine smooth curves over $k=\bar{k}$ of char. $p,$ Abhyankar's conjecture (proved by Raynaud and Harbater) tells us exactly which finite groups can be realized as quotients of their fundamental ...
- 4,265
3
votes
0
answers
315
views
Question about witt vector of some ring
Suppose $R=Z_p[t]$ , and $\hat{R}$ its p-adic completion, suppose we have Endormorphism $\Phi$ of $\hat{R}$, whose redution mop p is just the absolute Frobenius of $\hat{R}/p\hat{R}$. And $R_{\infty}=...
- 709
9
votes
1
answer
534
views
is there any way to bound the number of CM points by height functions?
It is known that if $X$ is a curve over a number field $F$ equipped with a flat regular model over $O_F$ the integer ring, one can define, using a suitable ample line bundle with an Hermitian metric, ...
- 1,305
2
votes
0
answers
120
views
Benchmark problems for computing rational points on varieties
Are there standard benchmark problem sets used for empirically evaluating algorithms designed for computing rational points on (various classes of) algebraic varieties?
If so, could you please point ...
2
votes
0
answers
445
views
Are torsors over unipotent groups trivial
I might have misunderstood something I heard somewhere.
Are torsors over unipotent groups trivial?
I couldn't find this in some standard references.
- 1,213