2
$\begingroup$

In his Paper The Euler Characteristic of acyclic Categories Kazunori Noguchi gives the following definition:

Let $f(t)$ be a formal power series over $\mathbb{Z}$. If there exists a rational function $g(t)/h(t)$, such that $f(t)=g(t)/h(t)$, then define $$f_{|_{t=-1}} = g(-1)/h(-1)$$ if $h(-1)\not= 0$

Now - given my pretty limited knowledge about formal power series - I'd assume that $f(t)=g(t)/h(t)$ yields $f_{|_{t=-1}} = g(-1)/h(-1) = f(-1)$ which makes me wonder why he's using the quotient construction in the first place, instead of just evaluating $f(t)$ at $t=-1$ (provided f(t) converges at $t=-1$).

  • 1
    The possibility of non-convergence of the formal power series for $f$ is exactly the issue.2012-10-31
  • 0
    @paul Yeah, I thought about that, but the construction seems unnecessary complicated to me if it's only purpose is to state that f(t) converges at $t=-1$.2012-10-31
  • 2
    Ah, but as in GEdgar's answer, the series for $f$ need not converge to be evaluable. This is a kind of "algebraic" analytic continuation.2012-10-31

1 Answers 1

3

Example. $f(x) = \sum_{n=0}^\infty x^n$, $g(x)=1$, $h(x) = 1-x$. Then $f(x) = g(x)/h(x)$, but $f(x)$ diverges at $-1$. Nevertheless, we want to plug in $-1$ in the rational function and get $$ f_{|_{t=-1}} = g(-1)/h(-1)=1/(1+1)=1/2. $$ But despite this, we do not write this calculation as $$ f(-1) = 1 - 1 + 1 - 1 + 1 - 1 + \dots = \frac{1}{2} $$

  • 0
    But $\sum_{n=0}^\infty = \frac{1}{1-x}$ only holds for $\left|x\right|<1$. So $f(x)\not=g(x)/h(x)$ for $\left|x\right|\ge 1$ and thus the prerequisites for the definition aren't satisfied in the first place.2012-10-31
  • 0
    @roman: Dear roman, You are missing the point. The defintion means that $f(x) = g(x)/h(x)$ *as formal expressions in $x$*; the whole point is to apply it in situations where the power series doesn't converge at $x = -1$. Regards,2012-10-31
  • 0
    What matt said. $f(x) = g(x)/h(x)$ as formal power series. Convergence not required. We could similarly set up a case where the radius of convergence of $f$ is strictly less than $1$, so that $-1$ is not even on the boundary of the disk of convergence.2012-10-31
  • 0
    Ah ok, I see. Thank you.2012-11-01