All Questions
Tagged with local-fields ag.algebraic-geometry
27 questions
4
votes
0
answers
228
views
The definition of complex multiplication on K3 surfaces
I am reading this paper on the complex multiplication of K3 surfaces. It seems that this is only defined for complex K3 surfaces, or K3 surfaces over number fields. Is there a more general defintion ...
- 141
0
votes
0
answers
175
views
Why $k((x,t))$ can not be a local field?
If $k$ is a finite field, then $k((x))$ is a local field, and we can define a discrete valuation on $k((x))$ with respect to which it is complete. It is sometimes called a 1-dimensional local field.
I ...
- 930
0
votes
1
answer
211
views
Some questions about splitting of sequence $0\to I\to\mathrm{Gal}_K\to\mathrm{Gal}_k\to 0$ for Henselian val field $K$
I have a couple of questions about following proof by Peter Scholze on splitting of the ses (...does it have a name?...)
$$0\to I\to\mathrm{Gal}_K\to\mathrm{Gal}_k\to 0$$
for $K$ henselian valuation ...
- 149k
2
votes
0
answers
74
views
Arbitrary base change of a parahoric subgroup in split case
Assume $R\subset R'$ are henselien discretly valued rings with fraction field $K$ and $K'$, $G$ is a semisimple split group over $K$. Consider the parahoric group scheme $\mathcal{P}_F$ over $R$ ...
- 6,349
3
votes
1
answer
296
views
$p$-power torsion of semiabelian variety
Let $K$ be a finite extension field of $\mathbb{Q}_p$. Let us consider a semiabelian variety $G$ defined over $K$, i.e there exists an extension of an abelian variety $B$ and a torus $T$ defined over $...
- 7,377
13
votes
1
answer
765
views
Does $0\to I\to\mathrm{Gal}_K\to\mathrm{Gal}_k\to 0$ always split?
Let $K$ be a henselian valuation field with residue field $k$, then the decomposition group surjects onto Galois group of the residue field, with kernel the inertia subgroup, namely we have short ...
- 21.3k
3
votes
1
answer
188
views
Is the set of hyperelliptic curves with a K-point closed?
I am actually interested in the same question for more general kinds of curves, but I will be specific.
Let $K$ be a field and $\overline{K}$ be an algebraic closure of $K$. Let's say that a "...
- 19.6k
1
vote
0
answers
105
views
Algebraic morphisms of affine varieties in positive characteristic
Let $\Omega$ be a completion of an algebraic closure of $\mathbb F_q\left(\left(\frac1T\right)\right)$ for the valuation $-\deg$.
Consider two matrices $M_1,M_2$ in $\mathcal M_2(\Omega)$ that are $\...
- 4,745
1
vote
1
answer
210
views
isogenies between elliptic curves with multiplicative reduction
Let $ K $ be a $ p $-adic field. Suppose we have an isogeny of elliptic curves $ \phi : E \to E' $ defined over $ K $, where $ E $ and $ E' $ both have multiplicative reduction.
1) Is there anything ...
- 8,945
4
votes
0
answers
157
views
Reference request - conjugacy classes over local fields
Is there a nice reference for reductive groups over local fields, which for example contains discussion of things such as: Given a semisimple element in $G(F)$, its $G(F)$-conjugacy class is closed in ...
- 63.9k
3
votes
0
answers
135
views
Conjugation action of $Gal(\bar{s}/s)$ on the tame ramification group
There is a statement in SGA 7-1 Exposé 1 (P. Deligne, Résumé des premiers exposés de A. Grothendieck, pdf of SGA7-1), (0.3.1):
$S$ is a Henselian trait (i.e. the spectrum of a henselian discrete ...
CommunityBot
- 1
5
votes
1
answer
1k
views
Torsion subgroup of the group of points of an elliptic curve over local field
Let $K$ be a local field with residue field $k$ and $E/K$ an elliptic curve. I'm interested for which $K$ and $E$ the group of torsion points on the curve is finite. I can prove that this group is ...
CommunityBot
- 1
9
votes
1
answer
617
views
Characters of simply connected semsimple algebraic groups over local fields
Let $G$ be a semisimple algebraic group over $\mathbb{Q}_p$. Then by definition $G$ admits no non-trivial algebraic characters, i.e. homomorphisms $G \to \mathbb{G}_m$.
However, it is quite possible ...
- 14.2k
2
votes
0
answers
258
views
Is a reductive group scheme always parahoric?
Let $R$ be complete (or, more generally, Henselian) discrete valuation ring with fraction field $K$. Let $G$ be a reductive $R$-group scheme. Is $G$ a parahoric in the sense of Bruhat-Tits? If so, ...
- 407
5
votes
1
answer
516
views
Reference for Local class field theory via witt vectors
I would like to find some books or lecture notes on geometric local class field theory via Witt vectors. I can't find any good paper on this subject.All approaches in the books to local class field ...
CommunityBot
- 1
6
votes
0
answers
370
views
What happens to Neron-Ogg-Shfarevich when characteristic of the residue field equals the prime at which Tate module is considered?
Neron-Ogg-Shafarevich criterion states that an elliptic curve $E$ over a local field $K$ has a good reduction if and only if the Tate module $T_{\ell}(E)$ is unramified for some prime $\ell$ which ...
- 3,625
2
votes
0
answers
115
views
Converging sequence of base change
Here is a natural question that I hope will be of interest to some.
Let $\mathbf{F}_p(\!(T)\!)$ be the field of formal Laurent series over $\mathbf{F}_p$. An automorphism of $\mathbf{F}_p(\!(T)\!)$ ...
- 1,017
2
votes
1
answer
414
views
Why is $\mathbb{Q}_p(p^{1/p^\infty})$ a complete topological field?
In Matthias Wulkau's exposition of Scholze's thesis, the term perfectoid field is defined as follows:
Let $K$ be a field endowed with a non-archimedian absolute value $\lvert\cdot\rvert$, and let $\...
- 17.6k
10
votes
0
answers
409
views
Higher Adeles of a scheme and related topics
Let $X$ be a noetherian scheme. I will describe a construction of a simplicial ring which I think is called the Bellinson higher Adeles complex (or something similar).
Consider the augmented ...
- 7,799
6
votes
3
answers
523
views
Argument of Zariski density to prove rationality of a regular map
Question: I want to know if the following result is correct:
Let $k$ be a number field and $k_v$ be a completion of $k$ at some place $v$, denote $K_v$ an algebraic closure of $k_v$.
Proposition.(...
- 968
5
votes
0
answers
299
views
A relative version of Hensel's lemma?
Let $k$ be a $p$-adic field with integer ring $\mathcal{O}_k \subseteq k$, maximal ideal $m_k \subseteq \mathcal{O}_k$ and residue field $\mathbb{F}_q = \mathcal{O}_k/m_k$. Let $X$ be a smooth, ...
- 9,491
3
votes
1
answer
245
views
Is $G \rightarrow G/P$ surjective on $K$-points over a local field?
Let $K$ be a local field, $G$ a (connected) reductive $K$-group, and $P \le G$ a parabolic subgroup. Is the map $G(K) \rightarrow (G/P)(K)$ necessarily surjective, and, if so, then why?
- 8,866
2
votes
2
answers
552
views
Compact elements in $G(K)$ for a reductive group $G$ over a nonarchimedean local field $K$
Let $K$ be a nonarchimedean local field and $G$ a (connected) reductive group over $K$, so that $G(K)$ carries a natural topology. An element $g \in G(K)$ is compact if it is contained in a compact ...
- 1,285
1
vote
0
answers
101
views
Relation between 1-dimensional and 2-dimensional reciprocity maps
Let $M/L/\mathbb{Q}_p$ be a finite galois abelian extension of local fields and define
$\mathcal{M}=M\{\{T\}\}=\{\sum_{i\in \mathcal{Z}}a_iT^i : a_i\in M, \min_{i\in \mathcal{Z}} v(a_i)>-\infty, \...
- 33
2
votes
0
answers
72
views
Continuity of the solutions of an isogeny in a formal group
Notation for the problem:
Let $E/\mathbb{Q}_P$ be a local field, and $\mu_E$ its maximal ideal. Let $K=E\{\{T\}\}$ be the standard 2-dimensional local field equipped with the Parshin topology and let ...
- 21
9
votes
1
answer
448
views
Showing that $2c_1(f_*\mathscr O_X)=-f_*R_f$ on curves, maybe by local fields
I originally asked this question on Mathematic StackExchange, but it did not seem to be attracting any attention, so now I am trying mathoverflow. I hope it is not too simple or unappropriate a ...
- 2,011
4
votes
0
answers
1k
views
Cartan decomposition for upper triangular matrices
Due to the comments, I have the impression that I have to be more precise.
Consider $G= GL_n(F)$ for a non-Archimedean field $F$ with ring of integers $o$.
Let $K= GL_n(o)$ and let $I$ the Iwahori ...
- 11.2k