Questions tagged [ramification]
The ramification tag has no usage guidance.
31
questions with no upvoted or accepted answers
8
votes
0
answers
849
views
Elementary proof of the Hurwitz formula
I am aware of two forms of the Hurwitz formula. The first is more common, and deals only with the degrees. So if $f:X \rightarrow Y$ is a non-constant map of degree $n$ between two projective non-...
7
votes
0
answers
206
views
Unicritical rational functions on curves in characteristic $p$
Let $k$ be an algebraically closed field of positive characteristic $p$, and let $X_{/k}$ be a smooth projective connected curve. Let $x_0$ be a point of $X(k)$.
How precisely can one describe the ...
6
votes
0
answers
130
views
Finiteness of wildly ramified cohomology
$\newcommand\p[1]{\left(#1\right)}\newcommand\Char{\operatorname{char}}\newcommand\Gal{\operatorname{Gal}}\newcommand\b[1]{\left\{#1\right\}}$
Let $K$ be a global field. All cohomology below is fppf-...
6
votes
0
answers
609
views
analog for the discriminant of number fields in the function field case?
Is there a nice algebraic way of determining the ramification of a morphism between curves? Ie, some analog of the discriminant of number fields?
Specifically, I'm trying to prove that if $X$ is a ...
5
votes
0
answers
163
views
defining the upper ramification numbering
Given a local field $K$ with absolute Galois group $\Gamma$. Is it "possible" to define the upper numbering on $\Gamma$ without using the lower numbering?
In other words, given $\gamma \in \...
5
votes
0
answers
161
views
Traces in finite extensions of integrally closed domains
$\def\fp{\mathfrak{p}}\def\fq{\mathfrak{q}}$I'm looking for a reference for the following commutative algebra fact.
Let $A$ be an integrally closed integral domain, with field of fractions $K$. Let $...
5
votes
0
answers
198
views
Is the moduli space of curves arising from wild ramification smooth?
Fix a natural number $g$, a prime $p$, and a $p$-group $P$.
Let $C$ be a smooth projective curve of genus $g$ with a faithful action of $P$ and an isomorphism $C / P \cong \mathbb P^1$ such that $P$ ...
4
votes
1
answer
404
views
Number fields with finite maximal unramified $p$-extensions
As discussed in the question number fields with no unramified extensions, it is an open question that whether there are an infinite number of number fields that have no unramified extensions. Inspired ...
4
votes
0
answers
401
views
Is there a Galois theory for deformations of curves?
I have some general questions about the deformations of Galois covers of curves. Suppose we are given a $G$-Galois cover $k[[z]]/k[[x]]$, where $k$ is algebraically closed of characteristic $p>0$. ...
4
votes
0
answers
337
views
What to call the following variant of tame ramification
Suppose that $R \subseteq S$ is a generically separable extension of 1-dimensional normal domains (you can assume that $R$ is local if you'd like) of equal-characteristic $p > 0$ (for simplicity, ...
3
votes
0
answers
131
views
What direction does the derivation of an inseparable algebraic variable point in?
I've been thinking about the geometry of inseparable field extensions lately, since I'm studying smoothness in commutative rings in an advanced topics course this semester. I've generally come to the ...
3
votes
0
answers
170
views
Wildly ramified extension field
Given an algebraically closed complete valued field $(k,|.|)$ with characteristic 0, such that the residue field $\tilde{k}$ has a positive characteristic, and consider the complete extension $(\...
3
votes
0
answers
179
views
branch divisor of this map
We consider the blow up $Bl(\mathbb{P}^2)_p$ of $\mathbb{P}^2$ in $p:=|1:0:0|$ and the following surface:
$Y:=\{(|y_1: y_2:y_3:y_4|, |x_0:x_1:x_2|) \in \mathbb{P}^3\times \mathbb{P}^2: rk(\begin{...
3
votes
0
answers
138
views
Values of Grössencharacter attached to CM elliptic curve
I am trying a cross-post here, as my previous post on stackexchange was not as fruitful as I hoped. The link to the older post is: https://math.stackexchange.com/questions/3327269/values-of-...
3
votes
0
answers
521
views
Ramification concept in complex analysis and algebraic number theory
I have a question about the connection between the concept of ramification/branching out for Riemann surfaces and algebraic number theory:
In the theory of Riemann surfaces we have following ...
3
votes
0
answers
194
views
Formally unramified morphisms and open diagonals
Let $R\to S$ be a commutative unital $R$-algebra with dual arrow $X\to Y$. If I understand correctly, an open diagonal $\Delta_{X/Y}:X\to X\times _YX$ always implies $X\to Y$ is formally unramified, ...
3
votes
0
answers
406
views
Relation between ramification index and length of filtration of ramification groups
Given a complete valued field $K$ with a discrete value group $\mathbb{Z}$, consider a totally ramified finite Galois extension $L$ of $K$ with its Galois group $G$. Let $O_L$ be the valuation integer ...
2
votes
0
answers
81
views
What is the relationship between ramification in central simple algebras and in fields?
Suppose $K$ is the field of fractions of a Dedekind domain $R$, and let $L$ be a finite extension of $K$. There is a notion of ramification of primes of $K$ in $L$, which describes how $\mathfrak p \...
2
votes
0
answers
99
views
Weierstrass points in Artin-Schreier extensions of the rational function field in characteristic $p$
I encountered a problem when proving a result regarding the orders at non-Weierstrass points ($n$ is an order of the point $P$ if there is some holomorphic differential $\omega$ with order $n$ at $P$) ...
2
votes
0
answers
941
views
Unramified extensions of a given degree
Let $K \neq \mathbb{Q} $ be a finite extension of $\mathbb{Q}$. For a given integer $n$, how to construct an unramified extension of $K$ of degree $n$ ?
EDIT: If not then under what conditions on $K$,...
2
votes
0
answers
196
views
Degeneracy divisor of the "trace" morphism
Let $f\colon X\to Y$ be a finite morphism of smooth curves over an alg. closed field of characteristic zero. I recently asked how methods reminiscent of basic algebraic number theory can be used to ...
2
votes
0
answers
200
views
Two different definitions of $\sigma$-L-spaces in Kottwitz I and II
In his papers "Isocrystals with additional structure" I and II, Kottwitz defines the notion of $\sigma$-$L$-spaces. In the first one the situation is the following
$k$ an algebraically closed field ...
1
vote
0
answers
76
views
Inflation-restrction sequence for maximal $S$-ramified extension
Let $K$ be a number field. Let $G_K$ be an absolute Galois group of $K$. Let $M$ be a $G_K$-module and $L/K$ be a finite extension.
There is a inflation-restriction exact sequence,
$0\to H^1(Gak(L/K), ...
1
vote
0
answers
182
views
Is the following local map unramified?
Let $(R,m)$ and $(S,n)$ be two local rings, $R \subseteq S$, $R$ regular, $S$ a finitely generated and flat $R$-algebra, and $mS=n$.
In comments to this question it was claimed that in such situation ...
1
vote
0
answers
79
views
A question about Hitchin discriminant
Let $X$ be a smooth projective curve over $\mathbb{C}$, $\mathcal{M}$ be moduli space of Higgs bundle of rank $r\geq2$ and degree $d$ on $X$, $W=\bigoplus_{i=2}^{r}H^{0}(X,K_{X}^{\otimes i})$, and $H\...
1
vote
0
answers
268
views
Computing the kernel of some Artin-Map
let $K = \mathbb{Q}(\sqrt{-5})$ and $L = K(i)$. $\mathcal{O}_K$ is the ring of integers of K.
I would like to show that the kernel of the Artin-Map $\phi_{L/K}: I_K \rightarrow Gal(L/K)$ is $P_K$, ...
1
vote
0
answers
56
views
Infinite Non Abelian Extensions Unramified Outside p
Let $K$ be a number field and $p$ be a fixed odd prime. Suppose $\mathfrak{p}\mid p$ is the only prime prime above $p$ in $K$, and that $p$ does not divide the class number of $K$ (I am okay with ...
1
vote
0
answers
143
views
Reference request about what ramification looks like etale locally
Specifically, I'm looking for the proof of the following statement:
If $X\rightarrow Y$ is a finite map of degree $n$ of curves over $\mathbb{C}$, and $P\in X$ maps to $Q\in Y$ with degree of ...
1
vote
0
answers
149
views
Existence of infinite or bad places that ramify in $K(p^{-1}E(K))/K$ where $p$ is a prime of good reduction
Let $E$ be an elliptic curve, $K$ a number field so that $\operatorname{rank}_{K}(E)\geq 1,$ $p$ a prime of $\mathbb{Q}$ at which $E$ reduces well.
We know (see for instance Silverman, The Arithmetic ...
0
votes
0
answers
50
views
The decomposition forms of primes in $A_5$-fields
Let $K$ be a number field of degree $5$ whose Galois closure (over $\mathbb{Q}$) has the Galois group $A_5$, the alternating group of degree five. Is there any result concerning the decomposition ...
0
votes
0
answers
546
views
Ramified covering interpretation of an elliptic curve
Let $E:y^2=x(x-1)(x-\lambda)$ be the Legendre form of an elliptic curve $E$ defined over $\mathbb{C}$. The ramified covering $E\to \mathbb{P}_{1}$ defined so that $(x,y)\mapsto x$ has two branches and ...