The Exponential Function

Arun Ram
Department of Mathematics and Statistics
University of Melbourne
Parkville, VIC 3010 Australia
aram@unimelb.edu.au
and

Department of Mathematics
University of Wisconsin, Madison
Madison, WI 53706 USA
ram@math.wisc.edu

Last updates: 20 October 2009

The exponential function

Let $k\in {\mathbb{Z}}_{\ge 0}$ define $k$ factorial by $$0!=0\text{and}k!=k·\left(k-1\right)\cdots 3·2·1\text{if }k\in {\mathbb{Z}}_{>0}\text{.}$$

Let $n,k\in {\mathbb{Z}}_{\ge 0}$ with $k\le n$. Define $$\left(\genfrac{}{}{0ex}{}{n}{k}\right)=\frac{n!}{k!\left(n-k\right)!}\text{.}$$

Let $n,k\in {\mathbb{Z}}_{\ge 0}$ with $k\le n$.

1. Let $S$ be a set of cardinality $n$. Then ${\displaystyle \left(\genfrac{}{}{0ex}{}{n}{k}\right)}$ is the number of subsets of $S$ with cardinality $k$.
2. ${\displaystyle \left(\genfrac{}{}{0ex}{}{n}{k}\right)}$ is the coefficient of $x^k{y}^{n-k}$ in ${\left(x+y\right)}^n$.
3. ${\displaystyle \left(\genfrac{}{}{0ex}{}{n}{n}\right)=1}$, ${\displaystyle \left(\genfrac{}{}{0ex}{}{n}{0}\right)=1}$ and if $1\le k\le n-1$ then $$\left(\genfrac{}{}{0ex}{}{n}{k}\right)=\left(\genfrac{}{}{0ex}{}{n-1}{k-1}\right)+\left(\genfrac{}{}{0ex}{}{n-1}{k}\right)$$

The exponential function is the element $e^x$ of $\mathbb{Q}[[x]]$ given by $$e^x=\sum _{k\in {\mathbb{Z}}_{\ge 0}}\frac{x^k}{k!}=1+x+\frac{x^2}{2!}+\frac{x^3}{3!}+\cdots \text{.}$$

As an element of $\mathbb{Q}[[x,y]]$, $$e^x{e}^y=e^{\left(x+y\right)}\text{.}$$ [???] SO xy = yx ?

Define $$\ln \left(1+x\right)=\sum _{k\in {\mathbb{Z}}_{>0}}{\left(-1\right)}^{k-1}\frac{x^k}{k}\text{.}$$

Let $$G=\left\{p\left(x\right)\in 𝔽[[x]]|p\left(0\right)=1\right\}\text{and}𝔤=\left\{p\left(x\right)\in 𝔽[[x]]|p\left(0\right)=0\right\}\text{.}$$

1. $\ln \left(1+\left(e^x-1\right)\right)=e^{\ln \left(1+x\right)}-1=x$.
2. $G$ is an abelian group under multiplication, $𝔤$ is a commutative group under addition and $$\begin{array}{rcl}G& ⟶& 𝔤\\ p& ⟼& e^p-1\end{array}$$ is an isomorphism of groups.

References [PLACEHOLDER]

[BG] A. Braverman and D. Gaitsgory, Crystals via the affine Grassmanian, Duke Math. J. 107 no. 3, (2001), 561-575; arXiv:math/9909077v2, MR1828302 (2002e:20083)