Image of a character remains the same when restricting to a totally ramified extension
up vote
1
down vote
favorite
Problem I want to prove: Let $chi: G_K to mathbb{C}^*$ be an unramified character and let $L/K$ be a cyclic totally ramified extension. Then $chi(G_K)=chi(G_L)$.
All I managed to do was considering all definitions and characterizations (without further success):
Definition 1: Let $G_K$ be the absolute Galois group of a local field $K$. We will call a group homomorphism $chi: G_K to mathbb{C}^*$ with finite image a character on $K$.
Remark: Since every finite subgroup of $mathbb{C}^*$ is cyclic, it is generated by a primitive root of unity. So in our case, every character $chi$ corresponds to a unique cyclic Galois extension $F/K$ of degree $n$, the cardinality of the image of $chi$, and an isomorphism
$$bar{chi}: operatorname{Gal}(F/K) xrightarrow{sim} langle xi_n rangle subseteq mathbb{C}^*$$
where $xi_n$ is a primitive $n$-th root of unity. We also say that $chi$ cuts out the extension $F/K$.
Definition 2: We call a character $chi: G_K to mathbb{C}^*$
unramified if the restriction of $chi$ to $F$ is the trivial map, i.e. $chi|_F(sigma)=1$ for all $sigma in G_F$, and
totally ramified if $chi(I_K) = chi(G_K)$ where $I_K$ denotes the inertia subgroup of $K$.
Remark A character $chi$ which cuts out an extension $F/K$ is unramified (resp. totally ramified) if and only if $F/K$ is unramified (resp. totally ramified). Another characterization for $chi$ being unramified (resp. totally ramified) is that the order of $chi(I_K)$ (also called the ramification index of $chi$) is equal to $1$ (resp. $[F:K]$) where $I_K$ denotes the inertia subgroup of $K$.
The intuitive approach for the Problem should somehow deal with the fact that the residue fields (resp. the inertia subgroups) remain the same when going from $K$ to $L$. But I am not able to proceed with the technical proof.
Could you please help me with my problem? Thank you in advance!
abstract-algebra group-theory algebraic-number-theory local-field ramification
asked Nov 20 at 0:38
Diglett
851520
add a comment |
up vote
1
down vote
favorite
Problem I want to prove: Let $chi: G_K to mathbb{C}^*$ be an unramified character and let $L/K$ be a cyclic totally ramified extension. Then $chi(G_K)=chi(G_L)$.
All I managed to do was considering all definitions and characterizations (without further success):
Definition 1: Let $G_K$ be the absolute Galois group of a local field $K$. We will call a group homomorphism $chi: G_K to mathbb{C}^*$ with finite image a character on $K$.
Remark: Since every finite subgroup of $mathbb{C}^*$ is cyclic, it is generated by a primitive root of unity. So in our case, every character $chi$ corresponds to a unique cyclic Galois extension $F/K$ of degree $n$, the cardinality of the image of $chi$, and an isomorphism
$$bar{chi}: operatorname{Gal}(F/K) xrightarrow{sim} langle xi_n rangle subseteq mathbb{C}^*$$
where $xi_n$ is a primitive $n$-th root of unity. We also say that $chi$ cuts out the extension $F/K$.
Definition 2: We call a character $chi: G_K to mathbb{C}^*$
unramified if the restriction of $chi$ to $F$ is the trivial map, i.e. $chi|_F(sigma)=1$ for all $sigma in G_F$, and
totally ramified if $chi(I_K) = chi(G_K)$ where $I_K$ denotes the inertia subgroup of $K$.
Remark A character $chi$ which cuts out an extension $F/K$ is unramified (resp. totally ramified) if and only if $F/K$ is unramified (resp. totally ramified). Another characterization for $chi$ being unramified (resp. totally ramified) is that the order of $chi(I_K)$ (also called the ramification index of $chi$) is equal to $1$ (resp. $[F:K]$) where $I_K$ denotes the inertia subgroup of $K$.
The intuitive approach for the Problem should somehow deal with the fact that the residue fields (resp. the inertia subgroups) remain the same when going from $K$ to $L$. But I am not able to proceed with the technical proof.
Could you please help me with my problem? Thank you in advance!
abstract-algebra group-theory algebraic-number-theory local-field ramification
asked Nov 20 at 0:38
Diglett
851520
A definition of unramified character $chi$ is that $chi$ kills the inertia subgroup. Using this definition I think it should be obvious? $L/K$ being cyclic should be irrelevant. I'm also wondering if $F/K$ is necessarily cyclic? I feel you wanted to say that $F = K(zeta_n)$, which is not necessarily cyclic, isn't it?
– dyf
Nov 20 at 20:37
@dyf: Thank you for your response? "Using this definition (of yours) I think it should be obvious?" It might be but I do not see it immediately. Could you please elaborate this point?
– Diglett
Nov 20 at 20:44
@dyf: I also think that $L/K$ being cyclic is irrelevant, but I just mentioned it because it appears to be cyclic in one of my problems. "I'm also wondering if $F/K$ is necessarily cyclic?" I think this must be true because every finite subgroup of $mathbb{C}^*$ must be cyclic, otherwise we would not have the correspondence for the characters.
– Diglett
Nov 20 at 20:45
For the former, I thought if if $F/L/K$, then $I_{F/L} subset I_{F/K}$, now now that I think of it, I am not even sure this is right (sorry to disappoint you). For the latter, I see what you mean now, I subtly used Kronecker-Weber to think of $F$ as $K(zeta_n)$, but indeed I should not have done that. (Thanks!)
– dyf
Nov 20 at 21:04
add a comment |
up vote
1
down vote
favorite
up vote
1
down vote
favorite
Problem I want to prove: Let $chi: G_K to mathbb{C}^*$ be an unramified character and let $L/K$ be a cyclic totally ramified extension. Then $chi(G_K)=chi(G_L)$.
All I managed to do was considering all definitions and characterizations (without further success):
Definition 1: Let $G_K$ be the absolute Galois group of a local field $K$. We will call a group homomorphism $chi: G_K to mathbb{C}^*$ with finite image a character on $K$.
Remark: Since every finite subgroup of $mathbb{C}^*$ is cyclic, it is generated by a primitive root of unity. So in our case, every character $chi$ corresponds to a unique cyclic Galois extension $F/K$ of degree $n$, the cardinality of the image of $chi$, and an isomorphism
$$bar{chi}: operatorname{Gal}(F/K) xrightarrow{sim} langle xi_n rangle subseteq mathbb{C}^*$$
where $xi_n$ is a primitive $n$-th root of unity. We also say that $chi$ cuts out the extension $F/K$.
Definition 2: We call a character $chi: G_K to mathbb{C}^*$
unramified if the restriction of $chi$ to $F$ is the trivial map, i.e. $chi|_F(sigma)=1$ for all $sigma in G_F$, and
totally ramified if $chi(I_K) = chi(G_K)$ where $I_K$ denotes the inertia subgroup of $K$.
Remark A character $chi$ which cuts out an extension $F/K$ is unramified (resp. totally ramified) if and only if $F/K$ is unramified (resp. totally ramified). Another characterization for $chi$ being unramified (resp. totally ramified) is that the order of $chi(I_K)$ (also called the ramification index of $chi$) is equal to $1$ (resp. $[F:K]$) where $I_K$ denotes the inertia subgroup of $K$.
The intuitive approach for the Problem should somehow deal with the fact that the residue fields (resp. the inertia subgroups) remain the same when going from $K$ to $L$. But I am not able to proceed with the technical proof.
Could you please help me with my problem? Thank you in advance!
abstract-algebra group-theory algebraic-number-theory local-field ramification
asked Nov 20 at 0:38
Diglett
851520
Problem I want to prove: Let $chi: G_K to mathbb{C}^*$ be an unramified character and let $L/K$ be a cyclic totally ramified extension. Then $chi(G_K)=chi(G_L)$.
All I managed to do was considering all definitions and characterizations (without further success):
Definition 1: Let $G_K$ be the absolute Galois group of a local field $K$. We will call a group homomorphism $chi: G_K to mathbb{C}^*$ with finite image a character on $K$.
Remark: Since every finite subgroup of $mathbb{C}^*$ is cyclic, it is generated by a primitive root of unity. So in our case, every character $chi$ corresponds to a unique cyclic Galois extension $F/K$ of degree $n$, the cardinality of the image of $chi$, and an isomorphism
$$bar{chi}: operatorname{Gal}(F/K) xrightarrow{sim} langle xi_n rangle subseteq mathbb{C}^*$$
where $xi_n$ is a primitive $n$-th root of unity. We also say that $chi$ cuts out the extension $F/K$.
Definition 2: We call a character $chi: G_K to mathbb{C}^*$
unramified if the restriction of $chi$ to $F$ is the trivial map, i.e. $chi|_F(sigma)=1$ for all $sigma in G_F$, and
totally ramified if $chi(I_K) = chi(G_K)$ where $I_K$ denotes the inertia subgroup of $K$.
Remark A character $chi$ which cuts out an extension $F/K$ is unramified (resp. totally ramified) if and only if $F/K$ is unramified (resp. totally ramified). Another characterization for $chi$ being unramified (resp. totally ramified) is that the order of $chi(I_K)$ (also called the ramification index of $chi$) is equal to $1$ (resp. $[F:K]$) where $I_K$ denotes the inertia subgroup of $K$.
The intuitive approach for the Problem should somehow deal with the fact that the residue fields (resp. the inertia subgroups) remain the same when going from $K$ to $L$. But I am not able to proceed with the technical proof.
Could you please help me with my problem? Thank you in advance!
abstract-algebra group-theory algebraic-number-theory local-field ramification
abstract-algebra group-theory algebraic-number-theory local-field ramification
asked Nov 20 at 0:38
Diglett
851520
asked Nov 20 at 0:38
Diglett
851520
edited Nov 20 at 20:42
asked Nov 20 at 0:38
Diglett
851520
asked Nov 20 at 0:38
Diglett
851520
asked Nov 20 at 0:38
Diglett
851520
851520
A definition of unramified character $chi$ is that $chi$ kills the inertia subgroup. Using this definition I think it should be obvious? $L/K$ being cyclic should be irrelevant. I'm also wondering if $F/K$ is necessarily cyclic? I feel you wanted to say that $F = K(zeta_n)$, which is not necessarily cyclic, isn't it?
– dyf
Nov 20 at 20:37
@dyf: Thank you for your response? "Using this definition (of yours) I think it should be obvious?" It might be but I do not see it immediately. Could you please elaborate this point?
– Diglett
Nov 20 at 20:44
@dyf: I also think that $L/K$ being cyclic is irrelevant, but I just mentioned it because it appears to be cyclic in one of my problems. "I'm also wondering if $F/K$ is necessarily cyclic?" I think this must be true because every finite subgroup of $mathbb{C}^*$ must be cyclic, otherwise we would not have the correspondence for the characters.
– Diglett
Nov 20 at 20:45
For the former, I thought if if $F/L/K$, then $I_{F/L} subset I_{F/K}$, now now that I think of it, I am not even sure this is right (sorry to disappoint you). For the latter, I see what you mean now, I subtly used Kronecker-Weber to think of $F$ as $K(zeta_n)$, but indeed I should not have done that. (Thanks!)
– dyf
Nov 20 at 21:04
add a comment |
A definition of unramified character $chi$ is that $chi$ kills the inertia subgroup. Using this definition I think it should be obvious? $L/K$ being cyclic should be irrelevant. I'm also wondering if $F/K$ is necessarily cyclic? I feel you wanted to say that $F = K(zeta_n)$, which is not necessarily cyclic, isn't it?
– dyf
Nov 20 at 20:37
@dyf: Thank you for your response? "Using this definition (of yours) I think it should be obvious?" It might be but I do not see it immediately. Could you please elaborate this point?
– Diglett
Nov 20 at 20:44
@dyf: I also think that $L/K$ being cyclic is irrelevant, but I just mentioned it because it appears to be cyclic in one of my problems. "I'm also wondering if $F/K$ is necessarily cyclic?" I think this must be true because every finite subgroup of $mathbb{C}^*$ must be cyclic, otherwise we would not have the correspondence for the characters.
– Diglett
Nov 20 at 20:45
For the former, I thought if if $F/L/K$, then $I_{F/L} subset I_{F/K}$, now now that I think of it, I am not even sure this is right (sorry to disappoint you). For the latter, I see what you mean now, I subtly used Kronecker-Weber to think of $F$ as $K(zeta_n)$, but indeed I should not have done that. (Thanks!)
– dyf
Nov 20 at 21:04
A definition of unramified character $chi$ is that $chi$ kills the inertia subgroup. Using this definition I think it should be obvious? $L/K$ being cyclic should be irrelevant. I'm also wondering if $F/K$ is necessarily cyclic? I feel you wanted to say that $F = K(zeta_n)$, which is not necessarily cyclic, isn't it?
– dyf
Nov 20 at 20:37
A definition of unramified character $chi$ is that $chi$ kills the inertia subgroup. Using this definition I think it should be obvious? $L/K$ being cyclic should be irrelevant. I'm also wondering if $F/K$ is necessarily cyclic? I feel you wanted to say that $F = K(zeta_n)$, which is not necessarily cyclic, isn't it?
– dyf
Nov 20 at 20:37
@dyf: Thank you for your response? "Using this definition (of yours) I think it should be obvious?" It might be but I do not see it immediately. Could you please elaborate this point?
– Diglett
Nov 20 at 20:44
@dyf: Thank you for your response? "Using this definition (of yours) I think it should be obvious?" It might be but I do not see it immediately. Could you please elaborate this point?
– Diglett
Nov 20 at 20:44
@dyf: I also think that $L/K$ being cyclic is irrelevant, but I just mentioned it because it appears to be cyclic in one of my problems. "I'm also wondering if $F/K$ is necessarily cyclic?" I think this must be true because every finite subgroup of $mathbb{C}^*$ must be cyclic, otherwise we would not have the correspondence for the characters.
– Diglett
Nov 20 at 20:45
@dyf: I also think that $L/K$ being cyclic is irrelevant, but I just mentioned it because it appears to be cyclic in one of my problems. "I'm also wondering if $F/K$ is necessarily cyclic?" I think this must be true because every finite subgroup of $mathbb{C}^*$ must be cyclic, otherwise we would not have the correspondence for the characters.
– Diglett
Nov 20 at 20:45
For the former, I thought if if $F/L/K$, then $I_{F/L} subset I_{F/K}$, now now that I think of it, I am not even sure this is right (sorry to disappoint you). For the latter, I see what you mean now, I subtly used Kronecker-Weber to think of $F$ as $K(zeta_n)$, but indeed I should not have done that. (Thanks!)
– dyf
Nov 20 at 21:04
For the former, I thought if if $F/L/K$, then $I_{F/L} subset I_{F/K}$, now now that I think of it, I am not even sure this is right (sorry to disappoint you). For the latter, I see what you mean now, I subtly used Kronecker-Weber to think of $F$ as $K(zeta_n)$, but indeed I should not have done that. (Thanks!)
– dyf
Nov 20 at 21:04
add a comment |
active
oldest
votes
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3005760%2fimage-of-a-character-remains-the-same-when-restricting-to-a-totally-ramified-ext%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3005760%2fimage-of-a-character-remains-the-same-when-restricting-to-a-totally-ramified-ext%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
A definition of unramified character $chi$ is that $chi$ kills the inertia subgroup. Using this definition I think it should be obvious? $L/K$ being cyclic should be irrelevant. I'm also wondering if $F/K$ is necessarily cyclic? I feel you wanted to say that $F = K(zeta_n)$, which is not necessarily cyclic, isn't it?
– dyf
Nov 20 at 20:37
@dyf: Thank you for your response? "Using this definition (of yours) I think it should be obvious?" It might be but I do not see it immediately. Could you please elaborate this point?
– Diglett
Nov 20 at 20:44
@dyf: I also think that $L/K$ being cyclic is irrelevant, but I just mentioned it because it appears to be cyclic in one of my problems. "I'm also wondering if $F/K$ is necessarily cyclic?" I think this must be true because every finite subgroup of $mathbb{C}^*$ must be cyclic, otherwise we would not have the correspondence for the characters.
– Diglett
Nov 20 at 20:45
For the former, I thought if if $F/L/K$, then $I_{F/L} subset I_{F/K}$, now now that I think of it, I am not even sure this is right (sorry to disappoint you). For the latter, I see what you mean now, I subtly used Kronecker-Weber to think of $F$ as $K(zeta_n)$, but indeed I should not have done that. (Thanks!)
– dyf
Nov 20 at 21:04