Skip to main content
added 355 characters in body; added 1 characters in body
Source Link
xuros
  • 373
  • 1
  • 10

Question : are the continuous characters of the form

  • $\eta : \mathbb{Z}_p^* \to \mathbb{Z}_p^*$, or
  • $\eta : (1+p\mathbb{Z}_p)^{\times} \to \mathbb{Z}_p^*$ (i.e., on the principal units in $\mathbb{Z}_p^*$)

well understood? Can such characters be classified in either case ?

I'm hoping to find an analytic classification ; i.e. to describe such characters as functions, or more precisely, how the functions $z\mapsto z^s$ for $s\in\mathcal{O}_{\mathbb{C}_p}$ 'sit' inside the set of characters $\eta : (1 + p\mathbb{Z}_p)^\times \to \mathbb{Z}_p^*$ (i.e., how 'far' is a generic character from some character of this type ?).

Question : are the continuous characters of the form

  • $\eta : \mathbb{Z}_p^* \to \mathbb{Z}_p^*$, or
  • $\eta : (1+p\mathbb{Z}_p)^{\times} \to \mathbb{Z}_p^*$ (i.e., on the principal units in $\mathbb{Z}_p^*$)

well understood? Can such characters be classified in either case ?

Question : are the continuous characters of the form

  • $\eta : \mathbb{Z}_p^* \to \mathbb{Z}_p^*$, or
  • $\eta : (1+p\mathbb{Z}_p)^{\times} \to \mathbb{Z}_p^*$ (i.e., on the principal units in $\mathbb{Z}_p^*$)

well understood? Can such characters be classified in either case ?

I'm hoping to find an analytic classification ; i.e. to describe such characters as functions, or more precisely, how the functions $z\mapsto z^s$ for $s\in\mathcal{O}_{\mathbb{C}_p}$ 'sit' inside the set of characters $\eta : (1 + p\mathbb{Z}_p)^\times \to \mathbb{Z}_p^*$ (i.e., how 'far' is a generic character from some character of this type ?).

Less talk, more precise question
Source Link
xuros
  • 373
  • 1
  • 10

I'm reminded of an exercise in real analysis :

If $f:\mathbb{R} \to\mathbb{R}_{>0}$ is continuous, bounded on $[0,1]$, and satisfies $f(x+y)=f(x)f(y)$, then $f(x) = e^{cx}$ for some constant $c$.

This makes me wonder if something similar should be true in the case of $p$-adic units.

Question : are the continuous characters of the form

  • $\eta : \mathbb{Z}_p^* \to \mathbb{Z}_p^*$, or
  • $\eta : (1+p\mathbb{Z}_p)^{\times} \to \mathbb{Z}_p^*$ (i.e., on the principal units in $\mathbb{Z}_p^*$)

well understood? For example, does there exist a classification in terms of the $p$-adic logarithm in the second case, or classificationsCan such characters be classified in either case ?

I'm reminded of an exercise in real analysis :

If $f:\mathbb{R} \to\mathbb{R}_{>0}$ is continuous, bounded on $[0,1]$, and satisfies $f(x+y)=f(x)f(y)$, then $f(x) = e^{cx}$ for some constant $c$.

This makes me wonder if something similar should be true in the case of $p$-adic units.

Question : are the continuous characters of the form

  • $\eta : \mathbb{Z}_p^* \to \mathbb{Z}_p^*$, or
  • $\eta : (1+p\mathbb{Z}_p)^{\times} \to \mathbb{Z}_p^*$ (i.e., on the principal units in $\mathbb{Z}_p^*$)

well understood? For example, does there exist a classification in terms of the $p$-adic logarithm in the second case, or classifications in either case ?

Question : are the continuous characters of the form

  • $\eta : \mathbb{Z}_p^* \to \mathbb{Z}_p^*$, or
  • $\eta : (1+p\mathbb{Z}_p)^{\times} \to \mathbb{Z}_p^*$ (i.e., on the principal units in $\mathbb{Z}_p^*$)

well understood? Can such characters be classified in either case ?

added 43 characters in body; edited title
Source Link
xuros
  • 373
  • 1
  • 10

Classifying consintuouscontinuous characters $X \to \mathbb{Z}_p^*$, $X=\mathbb{Z}_p^*$ or $(1+p\mathbb{Z}_p)^{\times}$ ?

I'm reminded of an exercise in real analysis which said :

If $f:\mathbb{R} \to\mathbb{R}_{>0}$ is continuous, bounded on $[0,1]$, and satisfies $f(x+y)=f(x)f(y)$, then $f(x) = e^{cx}$ for some constant $c$.

WhichThis makes me wonder if something similar should be true in the case of $p$-adic units.

Question : are the continuous characters of the form

  • $\eta : \mathbb{Z}_p^* \to \mathbb{Z}_p^*$, or
  • $\eta : (1+p\mathbb{Z}_p)^{\times} \to \mathbb{Z}_p^*$ (i.e., on the principal units in $\mathbb{Z}_p^*$)

well understood? For example, does there exist a classification in terms of the $p$-adic logarithm in the second case, or classifications in either case ?

Classifying consintuous characters $X \to \mathbb{Z}_p^*$, $X=\mathbb{Z}_p^*$ or $(1+p\mathbb{Z}_p)^{\times}$ ?

I'm reminded of an exercise in real analysis which said :

If $f:\mathbb{R} \to\mathbb{R}_{>0}$ is continuous, bounded on $[0,1]$, and satisfies $f(x+y)=f(x)f(y)$, then $f(x) = e^{cx}$ for some constant $c$.

Which makes me wonder if something similar should be true in the case of $p$-adic units : are the continuous characters of the form

  • $\eta : \mathbb{Z}_p^* \to \mathbb{Z}_p^*$, or
  • $\eta : (1+p\mathbb{Z}_p)^{\times} \to \mathbb{Z}_p^*$ (i.e., on the principal units in $\mathbb{Z}_p^*$)

well understood? For example, does there exist a classification in terms of the $p$-adic logarithm in the second case ?

Classifying continuous characters $X \to \mathbb{Z}_p^*$, $X=\mathbb{Z}_p^*$ or $(1+p\mathbb{Z}_p)^{\times}$ ?

I'm reminded of an exercise in real analysis :

If $f:\mathbb{R} \to\mathbb{R}_{>0}$ is continuous, bounded on $[0,1]$, and satisfies $f(x+y)=f(x)f(y)$, then $f(x) = e^{cx}$ for some constant $c$.

This makes me wonder if something similar should be true in the case of $p$-adic units.

Question : are the continuous characters of the form

  • $\eta : \mathbb{Z}_p^* \to \mathbb{Z}_p^*$, or
  • $\eta : (1+p\mathbb{Z}_p)^{\times} \to \mathbb{Z}_p^*$ (i.e., on the principal units in $\mathbb{Z}_p^*$)

well understood? For example, does there exist a classification in terms of the $p$-adic logarithm in the second case, or classifications in either case ?

Source Link
xuros
  • 373
  • 1
  • 10
Loading