All Questions
100 questions
1
vote
0
answers
264
views
Are there connections between Calabi-Yau manifolds and number theory?
I am interested in understanding whether there are any significant connections between Calabi-Yau manifolds and number theory. Calabi-Yau manifolds are central objects in algebraic geometry and string ...
6
votes
1
answer
407
views
Good reduction for the universal elliptic curve
Let $X$ be a modular curve, i.e. a quotient of the upper half plane $\mathbb{H}$ by a congruence subgroup $\Gamma$. When $\Gamma=\Gamma_0(N)$, it is known that $X$ has a smooth model denoted $\mathcal{...
- 2,907
3
votes
2
answers
342
views
Reference Request: Beilinson-Bloch conjecture in terms of Beilinson regulator isomorphism
I'm looking for a reference that provides a concise statement of the Beilinson-Bloch conjecture, specifically formulated in terms of an isomorphism under the Beilinson regulator map.
More precisely, I'...
- 2,907
5
votes
1
answer
228
views
Lifting mod $p$ representations of arithmetic fundamental groups of a non-affine scheme over a finite field of characteristic $p$
Let $X$ be a geometrically irreducible scheme (not necessarily affine) over $\mathbb{F}_{p}$ and let $ \pi_{1}(X) $ be the arithmetic etale fundamental group of $ X $. Let $ \overline{\mathbb{F}}_{p} $...
- 863
11
votes
0
answers
373
views
Example of abelian variety over finite field which doesn't lift
What is an example of an abelian variety over a finite field $\mathbb{F}_p$ which doesn't lift to $\mathbb{Z}_p$? This question seems to hint that they should exist, but no example is given.
Note that ...
- 21.3k
5
votes
2
answers
349
views
Geometric interpretation of Iwasawa algebras: $\mathbb{Z}_p[[T]]$ as a disk?
I am a student learning Iwasawa theory. I am so sorry if this post is too trivial for this site. I posted it on math.stackexchange yesterday but obtained no responce.
A quite basic object is the ...
- 639
4
votes
0
answers
135
views
Analog of a theorem on equidistribution in adeles
Is there a reference anywhere for the analog of Theorem 6 in chapter XV of Langs Algebraic Number Theory for global function fields?
In my research I have been using this theorem to prove density ...
- 337
10
votes
1
answer
550
views
Igusa's $\chi_{10}$ and Borcherds products
Igusa defined a genus 2 Siegel modular form $\chi_{10}$, which vanishes on the Humbert surface $G_{1}$ (the image of a "degenerate" Hilbert modular surface, the product of modular curves, ...
- 3,309
2
votes
0
answers
197
views
Mumford's computation of the determinant of cohomology of a relative curve
In Integral Grothendieck-Riemann-Roch theorem, Pappas mentions that Mumford computed the determinant of cohomology of $f:X\to S$ a relative curve integrally, and thus proved an integral version of GRR ...
- 2,044
12
votes
2
answers
2k
views
What is the Perrin-Riou logarithm (or regulator)?
Recently I've been rewatching some recordings of old talks on L-functions and explicit reciprocity laws (in particular, the series of talks by Loeffler and Zerbes given at this workshop at the CRM in ...
- 3,309
1
vote
2
answers
349
views
Rational solutions to $P(x,y)=0$ for $P$ reducible over ${\mathbb C}$
There are facts in Mathematics that are so "obvious" and "well-known" that no-one includes a proper proof. An example is:
Theorem: If polynomial $P(x,y)$ with rational coefficients ...
- 7,182
7
votes
0
answers
307
views
Number of rational points over finite fields mod $q$ is birational invariant
I heard that if $\mathbf F_q$ is a finite field, $X, Y$ are birational smooth proper variety over $\mathbf F_q$, then $\#(X(\mathbf F_q)) \equiv \#(Y(\mathbf F_q)) \pmod q$, and I heard that the proof ...
- 988
3
votes
0
answers
150
views
When is the Fermat Catalan surface a rational surface?
Related to Fermat Catalan conjecture and scholar.google.com didn't return any results.
Define the Fermat Catalan surface
$$ S_{m,n,k}: x^m+y^n=z^k$$
Where $\frac1m+\frac1n+\frac1k < 1$.
Q1 When is ...
- 25.4k
2
votes
0
answers
480
views
About derived divided power envelope
Assume $A$ is a $\mathbb{Z}_{(p)}$-algebra with ideal $I$ and $A,A/I$ are $p$-torsionfree.
In this survey, Akhil Mathew defines the derived divided power envelope $LD_I(A)$ in Construction 7.15, after ...
- 121
5
votes
0
answers
524
views
Generalization of Weil Conjectures
is there a reference in English, besides Deligne's original publication: "La conjecture de Weil: II", not synthetic but complete that deals with the original argument of the generalization ...
- 51
15
votes
0
answers
673
views
Exposition of Drinfeld's proof of function field Langlands for GL(2)
I know, or think I know, the vague outline of the proof: the Galois-to-automorphic direction is "classical," i.e. follows from converse theorems due to Grothendieck et al., and for the ...
- 311
8
votes
1
answer
855
views
What is the motivation for excellent rings?
First of all I am not formally educated in mathematics so pardon my ignorance if this is obvious and I am skipping something vital, but I am interested nonetheless in what the original motivation and ...
- 81
14
votes
0
answers
358
views
How do we deduce the Jacquet-Langlands correspondence from Fargues' two towers?
In trying to understand the geometric proof of the local-Langlands and Jacquet-Langlands correspondence which uses Fargues's two tower theorem, I am having trouble finding a nice source on this, and I ...
- 3,539
4
votes
1
answer
264
views
Reference request: Long exact sequence in profinite Galois cohomology up through $H^2$
I'm looking for a reference of the following statement. Let $G$ be the Galois group of a Galois extension $L/K$, not necessarily finite. Let $A,B,C$ be groups with a continuous $G$-action, and let
$$1\...
- 7,527
3
votes
1
answer
220
views
Reference request: relationship between discriminant and smoothness of a conic over arbitrary fields
I'm looking for an (ideally modern) reference of the relationship between the discriminant and smoothness of projective conics over arbitrary fields (including those of characteristic 2). Let $k$ be a ...
- 7,527
19
votes
1
answer
1k
views
Deligne's letter to Bhargava from March 2004
I am quite interested in moduli spaces for Rings and Ideals, a letter from Deligne to Bhargava is cited in Melanie Wood's thesis Moduli spaces for Rings and Ideals (pdf), studying the minimal free ...
- 461
5
votes
0
answers
354
views
Modern reference for Andre Weil's 'Sur les courbes algébriques et les variétés qui s'en déduisent'
I'm currently interested in the cardinality of the set of values of a polynomial over a finite field.
I found a paper
Saburo Uchiyama, Sur le Nombre des Valeurs Distinctes d'un Polynome a ...
- 1,013
3
votes
0
answers
145
views
Gauss-Manin and Hilbert modular forms
There is a geometric formulation of Hilbert modular forms (HMFs) that parallels that for classical modular forms (sections of a line bundle over the moduli space of Hilbert-Blumenthal Abelian ...
- 949
0
votes
0
answers
132
views
Final step in Coppersmith?
In the final step in Coppersmith technique we have $n$ polynomials (possibly non-homogeneous) in $\mathbb Z[x_1,\dots,x_m]$ where $m\leq n$ and using elimination theory we extract the common integer ...
- 13.9k
27
votes
3
answers
3k
views
Where's the best place for an algebraic geometer to learn some algebraic number theory?
There are lots of introductions to number theory out there, but typically they are streamlined to assume as little prerequisite knowledge as possible. I'm looking for a text which does the opposite -- ...
- 63.9k
20
votes
1
answer
1k
views
Curves over number fields with everywhere good reduction
My question is the following:$\newcommand{\Q}{\Bbb Q}
\newcommand{\Z}{\Bbb Z}$
What is known about number fields $K$ fulfilling the condition
$C_{g,K}$ "there is a smooth projective curve of ...
- 1,742
5
votes
0
answers
156
views
Reference Request: Cohomology and limits of coherent topoi. (Non-abelian case)
SGA 4 VI Discusses finiteness conditions one can impose on topoi to make limits behave correctly. I am not that familiar with SGA but it is my impression that this expose only discusses abelian ...
- 435
10
votes
0
answers
286
views
Published reference on the automorphism group of modular curves $X_1(N)$?
I wish to cite that the automorphism groups of $X_1(N)$ have already been completely calculated, and what they are, but I am having difficulty finding this calculation in the literature.
I have ...
- 3,539
19
votes
3
answers
1k
views
Points of elliptic curves over cyclotomic extensions
Let $E$ be an elliptic curve over $\mathbb Q$. Let's look at the group of points of this elliptic curve over $\mathbb Q(1^{1/\infty})$ which we get after adding all roots of unity to $\mathbb Q$. It ...
- 2,305
6
votes
2
answers
781
views
Books building up to the Gross-Zagier formula
I am an undergrad extremely interested in some applications of the Gross-Zagier formula for elliptic curves. I have a strong foundation in group theory and abstract algebra, and an understanding of ...
- 169
13
votes
1
answer
760
views
Infinitely many integer solutions to $X^4+Y^4-18Z^4= -16$
We found infinitely many integer solutions to
$$X^4+Y^4-18Z^4= -16 \qquad (1)$$.
The interesting part in this diophantine equation is the sum of
the reciprocals of the degrees is $3/4 < 1$, which ...
- 25.4k
2
votes
2
answers
509
views
Question about Zeta Function of Singular Plane Curve
I am working on a project which involves learning about the zeta function (weil zeta function) for plane curves, but I do not know much algebraic geometry. (I do not know anything about schemes).
I ...
- 53
2
votes
1
answer
217
views
Diagonalising a symmetric matrix with polynomial entries
Suppose I have a symmetric $2$ by $2$ matrix $M$ whose $(i,j)$-th entry $F_{i,j}(\mathbf{x})$ belongs to $\mathbb{R}[x_1, \ldots, x_n]$ for each $i,j$. I know that for each $\mathbf{x} \in \mathbb{R}^...
- 3,625
9
votes
2
answers
2k
views
Any simple concrete proof of Faltings theorem?
Are there simple proofs of some concrete special cases of Faltings's theorem? Any help would be appreciated.
- 3,094
7
votes
3
answers
925
views
Lefschetz fixed-point theorem for the Frobenius map
Where can one find a proof of Lefschetz fixed-point theorem for the Frobenius map on elliptic curves over algebraic closures of $F_{p}$ ?
This could immediately follow if their coholomogies (for the ...
- 305
12
votes
3
answers
1k
views
Chow Groups of varieties over number fields
I believe that there is a conjecture that for any smooth projective variety $X$ over a number field $K$, its Chow groups $CH^i(X)$ (or at least $CH^i(X)\otimes_{\mathbf Z} \mathbf Q$) are finitely ...
- 2,923
2
votes
0
answers
519
views
Good place to learn about arithmetic schemes?
Where is a good place to learn about arithmetic schemes? There is discussion in Eisenbud-Harris's book The Geometry of Schemes (and also Mumford's red book) and I hear that there is discussion in Liu'...
- 21
7
votes
1
answer
858
views
Teichmuller groupoids in Grothendieck's esquisse d'un programme
Grothendieck in his Esquisse d'un programme mentioned without any precise definition and construction that the absolute Galois group $Gal(\overline{\mathbb{Q}}/\mathbb{Q})$ acts on the whole "tower" ...
- 21.8k
7
votes
1
answer
1k
views
Szpiro's conjecture for function fields and Mochizuki's approach to the number field case
Where can I find more details on the proof of Szpiro's conjecture for function fields, as mentioned in Minhyong Kim's answer to this MO question?
I am looking at this in the context of Mochizuki's ...
- 3,309
2
votes
1
answer
212
views
When will the value of automorphic function $f(x)$ satisify an algebraic equation?
When will the value of automorphic function $f(x)$ satisfy an algebraic equation? Or what is the value of $x$ such that the value of automorphic function $f(x)$ is algebraic?
If the question is too ...
- 3,094
11
votes
0
answers
324
views
Why is the CM-type preserved after base changing from char 0 to char p?
There is a transition in the theory of complex multiplication which seems to be glossed over in all expositions I can find. I would like to explicitly find a theorem that allows me to do this.
...
- 3,539
5
votes
0
answers
327
views
Is there a concrete way to show the existence of canonical model for non-modular Shimura curves?
I am trying to read Carayol's article on the construction of Galois representations associated to Hilbert modular forms (http://archive.numdam.org/article/CM_1986__59_2_151_0.pdf). The main geometric ...
- 2,842
2
votes
0
answers
100
views
Quasi-algebraically closed fields reference request
I am looking for a road to understanding what quasi-algebraically closed fields are with the ultimate goal of understanding the paper by Lang 1952.
My current background is the first 6 chapters from ...
- 87
4
votes
0
answers
392
views
On nearby cycle sheaves and a 2-fibered product of topoi
In SGA7 Exposé XIII, Deligne introduces an algebraic theory of nearby cycle sheaves and vanishing cycle sheaves on schemes over the $S$, where $S$ is the spectrum of a Henselian discrete valuation ...
- 181
12
votes
1
answer
563
views
reference request: rational points on the unit sphere
I wonder what would be a good/early reference for the fact:
rational points on the unit sphere (centered at the origin) are dense.
Stereographic projection (from a rational point in the sphere) ...
- 10.7k
0
votes
0
answers
197
views
'Adelic torus' not arising from a rational torus
Let $G$ be a reductive group over a global field $F$, and $\gamma$ a strongly regular semi-simple element of $G(F)$. Then the centralizer $G_\gamma$ is defines an $F$-torus $T$, and hence by base ...
- 3,799
9
votes
0
answers
910
views
Grothendieck's motivation of crystalline cohomology
Here Illusie mentions Grothendieck's observation that using Gauss-Manin connection one can give a non-canonical isomorphism between de Rham cohomology of smooth schemes over $W(k)$ with isomorphic ...
- 7,377
5
votes
1
answer
1k
views
Reference to "bounds of Weil and Deligne"
In the this paper by Friedlander and Iwaniec, it is said that they are "able to avoid much of the high-powered technology frequently used in modern analytic number theory such as the bounds of Weil ...
- 1,890
5
votes
0
answers
328
views
Definition of logarithm for universal vector extension
Let $S$ be a topological $\mathbb{Z}_p$-algebra and $R\to S$ a surjection (where $R$ has $p$ nilpotent) with topologically nilpotent kernel which has a PD structure.
We know that if $G/R$ is a $p$-...
- 843
19
votes
1
answer
1k
views
Ehresmann's theorem over the $p$-adics
I am looking for a version of Ehresmann's theorem for analytic manifolds over the $p$-adic numbers $\mathbb{Q}_p$ or, more generally, local fields. I follow the conventions from Serre's book "Lie ...
- 21.3k