Characters of $mathbbG_m$ The Next CEO of Stack OverflowAre there always nontrivial primitive elements in a Hopf algebra?Isomorphism of affine group schemes of rank 2Identities that connect antipode with multiplication and comultiplicationCocommutative k-Hopf algebra finite as k-vector space represents a constant group functorDo complete Hopf algebras have an antipode?Primitive elements of finite dimensional Hopf algebrasComultiplication in Convolution algebra: Where is the mistake?A (higher) categorical approach to representation theoryHopf Ideal and Normal Hopf idealgroup-like elements of a Hopf algebra and the group algebra
How can I open an app using Terminal?
Why doesn't a table tennis ball float on the surface? How do we calculate buoyancy here?
India just shot down a satellite from the ground. At what altitude range is the resulting debris field?
What's the point of interval inversion?
Rotate a column
Can I equip Skullclamp on a creature I am sacrificing?
How do scammers retract money, while you can’t?
What is the purpose of the Evocation wizard's Potent Cantrip feature?
How to start emacs in "nothing" mode (`fundamental-mode`)
Opposite of a diet
What makes a siege story/plot interesting?
When Does an Atlas Uniquely Define a Manifold?
What does "Its cash flow is deeply negative" mean?
What is the point of a new vote on May's deal when the indicative votes suggest she will not win?
Why were Madagascar and New Zealand discovered so late?
If the heap is initialized for security, then why is the stack uninitialized?
Does it take more energy to get to Venus or to Mars?
Inappropriate reference requests from Journal reviewers
How to write papers efficiently when English isn't my first language?
How do I solve this limit?
How to make a software documentation "officially" citable?
How to get regions to plot as graphics
Can a caster that cast Polymorph on themselves stop concentrating at any point even if their Int is low?
MAZDA 3 2006 (UK) - poor acceleration then takes off at 3250 revs
Characters of $mathbbG_m$
The Next CEO of Stack OverflowAre there always nontrivial primitive elements in a Hopf algebra?Isomorphism of affine group schemes of rank 2Identities that connect antipode with multiplication and comultiplicationCocommutative k-Hopf algebra finite as k-vector space represents a constant group functorDo complete Hopf algebras have an antipode?Primitive elements of finite dimensional Hopf algebrasComultiplication in Convolution algebra: Where is the mistake?A (higher) categorical approach to representation theoryHopf Ideal and Normal Hopf idealgroup-like elements of a Hopf algebra and the group algebra
$begingroup$
Fix a field $k$. Let $mathbbG_m$ be the multiplicative affine group scheme over $k$. A $k-$character $chi$ of $mathbbG_m$ is an endomorphism of affine group schemes $mathbbG_m to mathbbG_m$, or, equivalently, the data of a group homomorphisms $chi_R: R^times to R^times$ for each $k-$algebra $R$ such that for each map of $k-$algebras $f: R to S$, we have $f circ chi_R = chi_S circ f$.
Another approach, which uses the Hopf algebra representing $mathbbG_m$, is to look for group-like elements $P in k[mathbbG_m]:=k[X,X^-1]$. These are invertible elements such that $Delta(P)=Potimes P$. Since $Delta$ is a map of $k-$algebras satisfying $Delta(X)=X otimes X$, if we write
$$P = sum_i=-m^n a_iX^i,$$
the above condition translates to
$$Delta(P) = sum_i=-m^n a_iX^iotimes X^i overset!= sum_i,j=-m^n a_ia_jX^iotimes X^j = P otimes P.$$
By comparing coefficients, we see immediately that $P=X^i$ for some $i in mathbbZ$, which tells us that $chi$ is exponentiation to some integer power. Hence, the characters of $mathbbG_m$ are in bijection with $mathbbZ$.
My question is: is this fact true also if $k$ is not a field? In particular: my proof uses the fact that $k$ is a field when comparing coefficients. In a general ring $k$, there can be zerodivisors and idempotents that are not $0$ or $1$.
abstract-algebra representation-theory hopf-algebras group-schemes
$endgroup$
add a comment |
$begingroup$
Fix a field $k$. Let $mathbbG_m$ be the multiplicative affine group scheme over $k$. A $k-$character $chi$ of $mathbbG_m$ is an endomorphism of affine group schemes $mathbbG_m to mathbbG_m$, or, equivalently, the data of a group homomorphisms $chi_R: R^times to R^times$ for each $k-$algebra $R$ such that for each map of $k-$algebras $f: R to S$, we have $f circ chi_R = chi_S circ f$.
Another approach, which uses the Hopf algebra representing $mathbbG_m$, is to look for group-like elements $P in k[mathbbG_m]:=k[X,X^-1]$. These are invertible elements such that $Delta(P)=Potimes P$. Since $Delta$ is a map of $k-$algebras satisfying $Delta(X)=X otimes X$, if we write
$$P = sum_i=-m^n a_iX^i,$$
the above condition translates to
$$Delta(P) = sum_i=-m^n a_iX^iotimes X^i overset!= sum_i,j=-m^n a_ia_jX^iotimes X^j = P otimes P.$$
By comparing coefficients, we see immediately that $P=X^i$ for some $i in mathbbZ$, which tells us that $chi$ is exponentiation to some integer power. Hence, the characters of $mathbbG_m$ are in bijection with $mathbbZ$.
My question is: is this fact true also if $k$ is not a field? In particular: my proof uses the fact that $k$ is a field when comparing coefficients. In a general ring $k$, there can be zerodivisors and idempotents that are not $0$ or $1$.
abstract-algebra representation-theory hopf-algebras group-schemes
$endgroup$
$begingroup$
If $k$ is a direct product of two nontrivial rings $A$ and $B$, then you also have grouplike elements $P$ of the form $P = left(X^a, X^bright)$ for two different integers $a$ and $b$, where the $left(X^a, X^bright)$ roughly means "acts as $X^a$ on the first factor and as $X^b$ on the second". (Note that any $k$-algebra splits into an "$A$-part" and a "$B$-part", and that $k$-algebra homomorphisms respect this decomposition.) So some conditions on $k$ will likely be unavoidable.
$endgroup$
– darij grinberg
Mar 18 at 13:29
add a comment |
$begingroup$
Fix a field $k$. Let $mathbbG_m$ be the multiplicative affine group scheme over $k$. A $k-$character $chi$ of $mathbbG_m$ is an endomorphism of affine group schemes $mathbbG_m to mathbbG_m$, or, equivalently, the data of a group homomorphisms $chi_R: R^times to R^times$ for each $k-$algebra $R$ such that for each map of $k-$algebras $f: R to S$, we have $f circ chi_R = chi_S circ f$.
Another approach, which uses the Hopf algebra representing $mathbbG_m$, is to look for group-like elements $P in k[mathbbG_m]:=k[X,X^-1]$. These are invertible elements such that $Delta(P)=Potimes P$. Since $Delta$ is a map of $k-$algebras satisfying $Delta(X)=X otimes X$, if we write
$$P = sum_i=-m^n a_iX^i,$$
the above condition translates to
$$Delta(P) = sum_i=-m^n a_iX^iotimes X^i overset!= sum_i,j=-m^n a_ia_jX^iotimes X^j = P otimes P.$$
By comparing coefficients, we see immediately that $P=X^i$ for some $i in mathbbZ$, which tells us that $chi$ is exponentiation to some integer power. Hence, the characters of $mathbbG_m$ are in bijection with $mathbbZ$.
My question is: is this fact true also if $k$ is not a field? In particular: my proof uses the fact that $k$ is a field when comparing coefficients. In a general ring $k$, there can be zerodivisors and idempotents that are not $0$ or $1$.
abstract-algebra representation-theory hopf-algebras group-schemes
$endgroup$
Fix a field $k$. Let $mathbbG_m$ be the multiplicative affine group scheme over $k$. A $k-$character $chi$ of $mathbbG_m$ is an endomorphism of affine group schemes $mathbbG_m to mathbbG_m$, or, equivalently, the data of a group homomorphisms $chi_R: R^times to R^times$ for each $k-$algebra $R$ such that for each map of $k-$algebras $f: R to S$, we have $f circ chi_R = chi_S circ f$.
Another approach, which uses the Hopf algebra representing $mathbbG_m$, is to look for group-like elements $P in k[mathbbG_m]:=k[X,X^-1]$. These are invertible elements such that $Delta(P)=Potimes P$. Since $Delta$ is a map of $k-$algebras satisfying $Delta(X)=X otimes X$, if we write
$$P = sum_i=-m^n a_iX^i,$$
the above condition translates to
$$Delta(P) = sum_i=-m^n a_iX^iotimes X^i overset!= sum_i,j=-m^n a_ia_jX^iotimes X^j = P otimes P.$$
By comparing coefficients, we see immediately that $P=X^i$ for some $i in mathbbZ$, which tells us that $chi$ is exponentiation to some integer power. Hence, the characters of $mathbbG_m$ are in bijection with $mathbbZ$.
My question is: is this fact true also if $k$ is not a field? In particular: my proof uses the fact that $k$ is a field when comparing coefficients. In a general ring $k$, there can be zerodivisors and idempotents that are not $0$ or $1$.
abstract-algebra representation-theory hopf-algebras group-schemes
abstract-algebra representation-theory hopf-algebras group-schemes
asked Mar 18 at 12:54
57Jimmy57Jimmy
3,470422
3,470422
$begingroup$
If $k$ is a direct product of two nontrivial rings $A$ and $B$, then you also have grouplike elements $P$ of the form $P = left(X^a, X^bright)$ for two different integers $a$ and $b$, where the $left(X^a, X^bright)$ roughly means "acts as $X^a$ on the first factor and as $X^b$ on the second". (Note that any $k$-algebra splits into an "$A$-part" and a "$B$-part", and that $k$-algebra homomorphisms respect this decomposition.) So some conditions on $k$ will likely be unavoidable.
$endgroup$
– darij grinberg
Mar 18 at 13:29
add a comment |
$begingroup$
If $k$ is a direct product of two nontrivial rings $A$ and $B$, then you also have grouplike elements $P$ of the form $P = left(X^a, X^bright)$ for two different integers $a$ and $b$, where the $left(X^a, X^bright)$ roughly means "acts as $X^a$ on the first factor and as $X^b$ on the second". (Note that any $k$-algebra splits into an "$A$-part" and a "$B$-part", and that $k$-algebra homomorphisms respect this decomposition.) So some conditions on $k$ will likely be unavoidable.
$endgroup$
– darij grinberg
Mar 18 at 13:29
$begingroup$
If $k$ is a direct product of two nontrivial rings $A$ and $B$, then you also have grouplike elements $P$ of the form $P = left(X^a, X^bright)$ for two different integers $a$ and $b$, where the $left(X^a, X^bright)$ roughly means "acts as $X^a$ on the first factor and as $X^b$ on the second". (Note that any $k$-algebra splits into an "$A$-part" and a "$B$-part", and that $k$-algebra homomorphisms respect this decomposition.) So some conditions on $k$ will likely be unavoidable.
$endgroup$
– darij grinberg
Mar 18 at 13:29
$begingroup$
If $k$ is a direct product of two nontrivial rings $A$ and $B$, then you also have grouplike elements $P$ of the form $P = left(X^a, X^bright)$ for two different integers $a$ and $b$, where the $left(X^a, X^bright)$ roughly means "acts as $X^a$ on the first factor and as $X^b$ on the second". (Note that any $k$-algebra splits into an "$A$-part" and a "$B$-part", and that $k$-algebra homomorphisms respect this decomposition.) So some conditions on $k$ will likely be unavoidable.
$endgroup$
– darij grinberg
Mar 18 at 13:29
add a comment |
0
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',
autoActivateHeartbeat: false,
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%2f3152747%2fcharacters-of-mathbbg-m%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
0
active
oldest
votes
0
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.
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%2f3152747%2fcharacters-of-mathbbg-m%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
$begingroup$
If $k$ is a direct product of two nontrivial rings $A$ and $B$, then you also have grouplike elements $P$ of the form $P = left(X^a, X^bright)$ for two different integers $a$ and $b$, where the $left(X^a, X^bright)$ roughly means "acts as $X^a$ on the first factor and as $X^b$ on the second". (Note that any $k$-algebra splits into an "$A$-part" and a "$B$-part", and that $k$-algebra homomorphisms respect this decomposition.) So some conditions on $k$ will likely be unavoidable.
$endgroup$
– darij grinberg
Mar 18 at 13:29