4 added 5 characters in body

The interesting question seems to me not what a perfect number is but what an arithmetic function is (generalizing the divisor function, the sum-of-divisors, totient, etc.) over a number field.

One answer is as follows. My opinion is that arithmetic functions should not be thought of as having domain $\mathbb{N}$ but as having domain the poset of nonzero ideals in $\mathbb{Z}$ (which can be identified with $\mathbb{N}$ under division, but my point is that the additive structure of $\mathbb{N}$ does not enter into this). Dirichlet convolution $$f \ast g = \sum_{d | n} f(d) g (n/d)$$

can then be seen as a special case of the multiplication in a subalgebra of the incidence algebra of the poset of ideals (the subalgebra which assigns the same number to an interval $[a, b]$ as it does to the interval $[1, \frac{b}{a}]$). The assignment of a Dirichlet series $$\sum \frac{f(n)}{n^s}$$

to an arithmetic function merely instantiates this algebra as an actual algebra of functions. Now, the poset of nonzero ideals in $\mathbb{Z}$ is a product of posets, one for each prime, and the arithmetic functions which are multiplicative (in the sense that $f(mn) = f(m) f(n)$ if $(m, n) = 1$) are just the ones that are built from corresponding functions on each factor. In the Dirichlet series picture this is reflected in the existence of an Euler product $$\sum \frac{f(n)}{n^s} = \prod_p \left( \sum_{k \ge 0} \frac{f(p^k)}{p^{ks}} \right).$$

The generalization to number fields is as follows. In any Dedekind domain $D$, we may consider the incidence algebra of the poset of nonzero ideals in $D$. This algebra has a subalgebra of functions which assign the same number to an interval $[I, J]$ as to the interval $[1, I^{-1} J]$, and this gives us the appropriate generalization of Dirichlet convolution $$(f \ast g)(K) = \sum_{IJ = K} f(I) g(J)$$

where $I, J, K$ are ideals. When $D$ is the ring of integers in a number field, we can define norms $N(I)$ of ideals and also assign Dirichlet series. This assignment $$\sum_I \frac{f(I)}{N(I)^s}$$

is now not faithful as there can be different ideals with the same norm, but it is still true that the multiplicative functions (the ones such that $f(IJ) = f(I) f(J)$ if $I, J$ generate the unit ideal) admit an Euler product $$\sum_I \frac{f(I)}{N(I)^s} = \prod_P \left( \sum_{k \ge 0} \frac{f(P^k)}{N(P)^{ks}} \right)$$

where the product is now over all prime ideals in $D$.

This is all a long-winded way of setting the stage for what I actually wanted to say:

For number fields, an arithmetic function now manifestly has different domain and codomain: it takes input an ideal and returns a number.

In particular, to me the correct generalization of the divisor sum-of-divisors function is the function $\sigma(I)$ which counts sums the number norms of ideals dividing a given ideal $I$, and it no longer makes sense to ask whether this is equal to $I$ or $2I$. Of course there are other interesting questions to ask regarding comparing different functions, e.g. one might ask whether $\sigma(I) = c N(I)$ for some constant $c$ (this reduces to the perfect number question over $\mathbb{Q}$ taking $c = 2$, but I think from this perspective it is now clear that there is nothing special about $c = 2$).

3 deleted 146 characters in body

The interesting question seems to me not what a perfect number is but what an arithmetic function is (generalizing the divisor function, the sum-of-divisors, totient, etc.) over a number field.

One answer is as follows. My opinion is that arithmetic functions should not be thought of as having domain $\mathbb{N}$ but as having domain the poset of nonzero ideals in $\mathbb{Z}$ (which can be identified with $\mathbb{N}$ under division, but my point is that the additive structure of $\mathbb{N}$ does not enter into this). Dirichlet convolution $$f \ast g = \sum_{d | n} f(d) g (n/d)$$

can then be seen as a special case of the multiplication in a subalgebra of the incidence algebra of the poset of ideals (the subalgebra which assigns the same number to an interval $[a, b]$ as it does to the interval $[1, \frac{b}{a}]$). The assignment of a Dirichlet series $$\sum \frac{f(n)}{n^s}$$

to an arithmetic function merely instantiates this algebra as an actual algebra of functions. Now, the poset of nonzero ideals in $\mathbb{Z}$ is a product of posets, one for each prime, and the arithmetic functions which are multiplicative (in the sense that $f(mn) = f(m) f(n)$ if $(m, n) = 1$) are just the ones that are built from corresponding functions on each factor. In the Dirichlet series picture this is reflected in the existence of an Euler product $$\sum \frac{f(n)}{n^s} = \prod_p \left( \sum_{k \ge 0} \frac{f(p^k)}{p^{ks}} \right).$$

The generalization to number fields is as follows. In any Dedekind domain $D$, we may consider the incidence algebra of the poset of nonzero ideals in $D$, which in particular consists of functions $f(I)$ of ideals (the codomain is not terribly important but we can take it to be the complex numbers). D$. This algebra has a subalgebra of functions which assign the same number to an interval$[I, J]$as to the interval$[1, I^{-1} J]$, and this gives us the appropriate generalization of Dirichlet convolution $$(f \ast g)(K) = \sum_{IJ = K} f(I) g(J)$$ where$I, J, K$are ideals. When$D$is the ring of integers in a number field, we can define norms$N(I)$of ideals and also assign Dirichlet series. This assignment $$\sum_I \frac{f(I)}{N(I)^s}$$ is now not faithful as there can be different ideals with the same norm, but it is still true that the multiplicative functions (the ones such that$f(IJ) = f(I) f(J)$if$I, J$generate the unit ideal) admit an Euler product $$\sum_I \frac{f(I)}{N(I)^s} = \prod_P \left( \sum_{k \ge 0} \frac{f(P^k)}{N(P)^{ks}} \right)$$ where the product is now over all prime ideals in$D$. This is all a long-winded way of setting the stage for what I actually wanted to say: For number fields, an arithmetic function now manifestly has different domain and codomain: it takes input an ideal and returns a number. In particular, to me the correct generalization of the divisor function is the function$\sigma(I)$which counts the number of ideals dividing a given ideal$I$, and it no longer makes sense to ask whether this is equal to$I$or$2I$. Of course there are other interesting questions to ask regarding comparing different functions, e.g. one might ask whether$\sigma(I) = c N(I)$for some constant$c$(this reduces to the perfect number question over$\mathbb{Q}$taking$c = 2$, but I think from this perspective it is now clear that there is nothing special about$c = 2$). 2 deleted 71 characters in body; added 24 characters in body The interesting question seems to me not what a perfect number is but what an arithmetic function is (generalizing the divisor function, the sum-of-divisors, totient, etc.) over a number field. One answer is as follows. My opinion is that arithmetic functions should not be thought of as having domain$\mathbb{N}$but as having domain the poset of nonzero ideals in$\mathbb{Z}$(which can be identified with$\mathbb{N}$under division, but my point is that the additive structure of$\mathbb{N}$does not enter into this). Dirichlet convolution $$f \ast g = \sum_{d | n} f(d) g (n/d)$$ can then be seen as a special case of the multiplication in a subalgebra of the incidence algebra of the poset of ideals (the subalgebra which assigns the same number to an interval$[a, b]$as it does to the interval$[1, \frac{b}{a}]$). The assignment of a Dirichlet series $$\sum \frac{f(n)}{n^s}$$ to an arithmetic function merely instantiates this algebra as an actual algebra of functions. Now, the poset of nonzero ideals in$\mathbb{Z}$is a product of posets, one for each prime, and the arithmetic functions which are multiplicative (in the sense that$f(mn) = f(m) f(n)$if$(m, n) = 1$) are just the ones that are built from corresponding functions on each factor. In the Dirichlet series picture this is reflected in the existence of an Euler product $$\sum \frac{f(n)}{n^s} = \prod_p \left( \sum_{k \ge 0} \frac{f(p^k)}{p^{ks}} \right).$$ The generalization to number fields is as follows. In any Dedekind domain$D$, we may consider the incidence algebra of the poset of nonzero ideals in$D$, which in particular consists of functions$f(I)$of ideals (the codomain is not terribly important but we can take it to be the complex numbers). This algebra has a subalgebra of functions which assign the same number to an interval$[I, J]$as to the interval$[1, I^{-1} J]$, and this gives us the appropriate generalization of Dirichlet convolution $$(f \ast g)(K) = \sum_{IJ = K} f(I) g(J)$$ where$I, J, K$are ideals. When$D$is the ring of integers in a number field, we can define norms$N(I)$of ideals and also assign Dirichlet series. This assignment $$\sum_I \frac{f(I)}{N(I)^s}$$ is now not faithful as there can be different ideals with the same norm, but it is still true that the multiplicative functions (the ones such that$f(IJ) = f(I) f(J)$if$I, J$generate the unit ideal) admit an Euler product $$\sum_I \frac{f(I)}{N(I)^s} = \prod_P \left( \sum_{k \ge 0} \frac{f(P^k)}{N(P)^{ks}} \right)$$ where the product is now over all prime ideals in$D$. This is all a long-winded way of setting the stage for what I actually wanted to say: For number fields, an arithmetic function now manifestly has different domain and codomain: it takes input an ideal and returns a number. (But again, in my opinion this was already true over$\mathbb{Q}$.) In particular, to me the correct generalization of the divisor function is the function$\sigma(I)$which counts the number of ideals dividing a given ideal$I$, and it no longer makes sense to ask whether this is equal to$I$or$2I$. Of course there are other interesting questions to ask regarding comparing different functions, e.g. one might ask whether$\sigma(I) = c N(I)$for some constant$c$(this reduces to the perfect number question over$\mathbb{Q}$taking$c = 2$, but I think from this perspective it is now clear that there is nothing special about$c = 2\$).

1