Umbral Calculus Derivation of the Bernoulli numbers

$$“(B-1)^n = B^n”$$

(B-1)^2 &= B^2\\
B^2 – 2B^1 + 1 &= B^2 \\
-2B^1+1 & = 0\\
B^1 &= \frac{1}{2} \\
B_1 &= \frac12

(B-1)^3 &= B^3\\
B^3 – 3B^2 + 3B^1 – 1 &= B^3 \\
B^3 – 3B^2 + 3B_1 – 1 &= B^3 \\
-3B^2 + 3(\frac{1}{2})-1& = 0\\
-3B_2 + \frac{1}{2} &= 0 \\
B_2 &= \frac{1}{6}

Thanks to Laurens Gunnarsen for showing me this strange trick.

I’ve finally understood the principle which allows us to lower the index. The step where we move $B^i$ to be $B_i$ is quite simple. As Rota and Roman say, one method of expressing an infinite sequence of numbers is by a transform method. That is, to define a linear transform $B$ such that $$B x^n = B_n$$

So, the above “lowering of the index” is actually using the relation $(X-1)^n = X^n$, and applying $B$ to both sides of it. To get $B(X-1)^n = B(X^n)$. Let’s look for example at the “lowering step” of the first calculation:
X^1 &= \frac{1}{2} \\
B (X_1) &= B(\frac12) \\
B_1 &= \frac12 B(1) = \frac12

How do I construct the Tits-Freudenthal magic square?

Thanks to Mia Hughes and John Huerta for the helpful discussions on this topic.

I am here taking another quick jab at trying to understand the construction of the Tits-Freudenthal Magic square. Let’s see if we can get into Vinberg’s mindset when he wrote down Vinberg’s construction.

Let’s say we knew the following theorem: $$\text{ the derivations of  } \mathcal{J}_3(\mathbb{O}) = f_4$$ We want to write down derivations of other algebras, $\mathbb{O} \otimes_{\mathbb{R}} \mathbb{D}$, where $\mathbb{D}$ is a division algebra.

Let’s see how we might derive the fact that $$\text{der}(\mathcal{J}_3(\mathbb{A})) \simeq a_3(\mathbb{A}) \oplus \text{der}(\mathbb{A})$$

where $a_3$ denotes the 3×3 trace-free antisymmetric matrices, and $$\text{der}(A) = \text{Lie}(\text{Aut}(A))$$

Continue reading How do I construct the Tits-Freudenthal magic square?

What does an algebraic integer have to be?

What does an integer have to be?

  • No matter how you extend $\mathcal{Q}$, the integers which lie in $\mathcal{Q}$ must lie in $\mathcal{Z}$.
  • If $\alpha$ is an integer, then so are its conjugates.
  • The sums and products of integers are also integers.

From this we may describe what an algebraic integer must be.

Start with a root $\alpha$.

Look at all of it’s conjugates. Continue reading What does an algebraic integer have to be?

Newspaper Ad: Looking for a Variety

Hello, my name is Catherine. I don’t want much, just looking for a nice Variety to spend my days with. If you apply, I’d like you to have a well understood group law that comes from some 3-fold symmetry, but I’m a simple girl, and I don’t need your group law to be all fancy and closed — a group chunk (group law which closed at least locally to the origin) is fine by me. I’ll have to put you through an interview process to see if your group chunk gives me a formal group law which is height 3, but don’t worry, it’ll be painless. Please let me know if you have a friend that matches this description! 

This post is mostly a set-up to an (ill-formed) question. It’s motivated by this question:

How do I construct a variety which gives me
a formal group law of height 3?

That is, I want it to have a nice kind of 3 fold symmetry which is reflected in it’s structure around a marked point.

I want this variety to not to be a bunch of copies of the additive or multiplicative group on $R^n$. I am trying to define an at least 3-dimensional variety with a group chunk (that is, a group law which is closed at least locally to the origin). I want this group chunk to not be isomorphic to an additive, multiplicative, or elliptic group, or products of such groups.

The previous variety I was looking at ended up being isomorphic to the additive group, though it was very pretty. Aaron and a few others derived a variety from the relationship between the lengths of the vertices to a point interior to an equilateral triangle, which I rederived with the help of Laurens. Unfortunately the group law Alex Mennen and I defined on the variety ended up being the additive formal group law. I didn’t recognize it at first because it had 2 layers of square roots as a disguise, but Jack Shotton pointed out that if we did a variable change to get rid of the square roots (a variable change I had been doing formally to make calculations easier) it became quite obviously isomorphic to the additive group.

It was also pointed out to me by Doug Ravenel that height 3 formal group laws cannot be dimension 2. For some reason to do with the symmetry of the Jacobian of a dimension 2 variety which I don’t understand. So, I look now to dimension 3. More specifically, I look at tetrahedrons — the analogue of the square lattice, in some sense.

We begin with the vague desire of deriving a variety from some relationship on a tetrahedron (hoping that this variety has both a group law, and that the group law is height 3). Inna suggested that I look at a right angled tetrahedron to make my life easier, so we will look there.


I had an idea for a group law on right-angled tetrahedrons: is a group in which each element is indexed by an angle, that is, the angle $\theta$ of the plane that intersects it symmetrically (to produce the tetrahedron).

0 (1)

Then, we might add their volumes. We now get a third volume. What is an angle which gives us a tetrahedron with this volume? Is it unique?

Inna and I talked about this and she referred me to a group law on angles of a tetrahedron, which looks multiplicative but involves $sin$, so perhaps is a bit more complicated. It looks something like this: $\alpha + \beta = \sin^2(\alpha)\sin^2(\beta)$. Where does this group law live? What variety has angles as points? Does the free abelian group generated by tetrahedra have a geometric structure we could use?

Another issue: We now have a group law, but no variety! The whole point was to define a group law close to the origin, but what is closeness in this group?

I stop writing with a question still quite ill-formed and fuzzy:

How might we derive a variety based on a tetrahedron which allows us to put an angle-y/volume-y group law on its points?