The formal-groups tag has no usage guidance.

**2**

votes

**0**answers

109 views

### Reduction “modulo $p$” of $\mathfrak{p}$-torsion points of CM elliptic curves

Let $E/L$ be an elliptic curve defined over a number field $L$. Assume moreover that $E$ has complex multiplication by an imaginary quadratic field $K$. Let $\mathfrak{p}$ be a prime ideal of $K$. ...

**1**

vote

**0**answers

71 views

### “Algebrazing” canonical subgroups of elliptic curves

I'm puzzled by a part of the construction of the canonical subgroup of a "not too supersingular" elliptic curve. In Katz's paper, one produces a subgroup of the formal group of the elliptic curve but ...

**3**

votes

**1**answer

79 views

### Functional equations associated with addition theorems for elliptic functions

I'm trying to read the article "Functional equations associated with addition theorems for elliptic functions and two-valued algebraic groups" by Bukhshtaber,V. M. Russian Mathematical Surveys(1990),...

**2**

votes

**0**answers

109 views

### Flat Quotients of Power Series Rings

I apologize if the question is too elementary. I did not get any response on math stackexchange.
I read the following statement in some algebraic topology notes and I want to know if it is true and, ...

**3**

votes

**0**answers

67 views

### Dieudonne modules and Cartier-Dieudonne module of a formal group

As far as I understand, there are Dieudonne modules defined through the homomorphisms to Witt covector scheme and Cartier-Dieudonne modules defined by curves. Am I right that the latter sometimes (for ...

**7**

votes

**2**answers

269 views

### $p$-torsion of an abelian variety of $p$-rank $0$

Let $k$ be an algebraically closed field of characteristic $p > 0$ and let $A$ be an abelian variety over $k$ such that $A[p](k) = 0$, i.e., such that $A$ has $p$-rank $0$. If I am not mistaken, ...

**10**

votes

**2**answers

364 views

### Infinitesimal deformations of the formal group of $\mathbb{G}_m$

For a commutative ring $R$, consider the formal group $\widehat{\mathbb{G}}_m$ over $R$ that is the completion of $\mathbb{G}_{m, R}$ along its identity section (naively, $\widehat{\mathbb{G}}_m$ is ...

**3**

votes

**0**answers

123 views

### Efficiently computing (plethysm-like?)substitutions of symmetric functions

This is a rather technical question, it arose in connection of some calculations that I need to have better grasp of the question Formal group law over $\mathbb{F}_p$ and my own older one What is ...

**9**

votes

**0**answers

185 views

### Unicity of Johnson-Wilson Theories

Let $E$ be a ring spectrum with a $p$-typical complex orientation. Then we call $E$ a form of $BP\langle n\rangle$ or a generalized $BP\langle n\rangle$ if the induced map
$$\mathbb{Z}_{(p)}[v_1,\...

**5**

votes

**0**answers

221 views

### Legendre polynomials and formal groups

Let $P_n(x)$ be Legendre polynomials:
$$\frac{1}{\sqrt{1-2tx+t^2}}=\sum\limits_{n=0}^{\infty}P_n(x)t^n.$$
Usual arguments from the theory of formal groups allow to
prove that for any $n$
$$P_n(x)=Q_n(...

**12**

votes

**2**answers

791 views

### Formal group law over $\mathbb{F}_p$

Let $p$ be a prime. For each $n > 0$ there is a unique 1-dimensional commutative formal group law $F$ over $\mathbf{Z}$, $F(X, Y) = X + Y + \dots \in \mathbf{Z}[[X, Y]]$, whose logarithm function ...

**1**

vote

**0**answers

115 views

### Skew symmetry for the Hilbert symbol

Let $K$ be a local field containing the group $\mu_n$ of $n$th roots of 1 and the $\theta_K:K^*\to G_K^{ab}$ be the reciprocity map. The we know that the Hilbert symbol $$K^*\times K^*\to \mu_n$$ $$(a,...

**2**

votes

**0**answers

52 views

### Continuity of the solutions of an isogeny in a formal group

Notation for the problem:
Let $E/\mathbb{Q}_P$ be a local field, and $\mu_E$ its maximal ideal. Let $K=E\{\{T\}\}$ be the standard 2-dimensional local field equipped with the Parshin topology and let ...

**8**

votes

**2**answers

505 views

### Formal group law is a group object in …?

A formal group law over a commutative ring $R$, (by nLab) is a sequence of power srires
$$
f_1,...,f_n\in R[[x_1,...,x_n,y_1,...,y_n]]
$$
such that, using the notation
$$
x=(x_1,...,x_n),y=(y_1,.....

**22**

votes

**3**answers

2k views

### Is there a better proof of this fact in number theory/formal group theory?

Let $\Phi_n$ be the $n$'th cyclotomic polynomial, and put
\begin{align*}
a_n &= \Phi_n(1) \\
b_n &= \gcd\left(\left(\begin{array}{c} n \\ 1\end{array}\right),\dotsc,\left(\begin{array}{c} n ...

**4**

votes

**0**answers

154 views

### Continuity of the Hilbert pairing

I would like to know if the Kummer pairing (or the analogue of the Hilbert Symbol) for a one dimensional group defined over the ring of integers of a higher-dimensional local field is continuous (with ...

**4**

votes

**0**answers

320 views

### formal group laws of Abelian varieties in positive characteristic

Let $G$ be an algebraic group defined over an (algebraically closed) field $k$. Then one can obtain a formal group law by completing the multiplication map $m: G \times G \to G$ at the unit of $G$.
...

**9**

votes

**0**answers

165 views

### Are automorphisms of abelian varieties detected by the formal group?

Let $A$ be an abelian variety of dimension $g$ over an algebraically closed field $k$.
Assume $k$ has characteristic $p$ and denote by $A(p)$ the $p$-divisible group of dimension $g$ associated with ...

**2**

votes

**0**answers

145 views

### Formal n-buds from BU(n) rather than SU(n)

It's known, from Ravenel's green book, as well as other sources, that we build formal group laws over a ring from n-buds, where an n-bud is essentially a truncated formal group law (sometimes called a ...

**31**

votes

**2**answers

2k views

### What is known about the sum x^{n^2}/n?

It follows from a general theorem of Honda that the formal group with the logarithm
$$
x+x^{2^s}/2+x^{3^s}/3+x^{4^s}/4+\cdots
$$
has integer coefficients. I became interested in it because its $p$-...

**7**

votes

**2**answers

517 views

### Is it possible to construct a formal group law from a Lie group without choosing coordinates?

There is a three-way correspondence between:
Real (connected and simply connected) Lie groups of dimension $n$;
$\mathbb R$-Lie algebras of dimension $n$;
Formal group laws in $n$ variables over the ...

**9**

votes

**1**answer

433 views

### Cohomology of Formal Groups

Lubin and Tate, in discussing moduli of 1-dimensional formal groups construct a cohomology theory of formal groups, at least in degrees 0,1 and 2. Does their result about deformations actually follow ...

**1**

vote

**0**answers

118 views

### Isogenies in multidimensional formal groups

Let $K/\mathbb{Q}_p$ be a local field, $A$ the ring of integers of K, $\pi$ a uniformizer element for $A$, $F$ an n-dimensional formal group with coefficients in $A$ and $f$ an endomorphism of $F$. ...

**9**

votes

**1**answer

424 views

### Generalizing detropicalization

Given an identity in max,plus arithmetic, are there ways to turn it into an ordinary algebraic identity it other than by replacing addition by multiplication and replacing max by series-plus or by ...

**2**

votes

**0**answers

104 views

### Lazard's $\Gamma_n(f)$ as cocycle

In Michel Lazard's "Commutative Formal Groups" Springer Lecture Notes, he defines an operator on a polynomial 3-cochain $f$ denoted $\Gamma_n(f)$, which defines as the $n^{th}$ homogeneous piece of ...

**6**

votes

**0**answers

152 views

### Schwede's DB spectra and MU

In Stefan Schewede's paper Formal groups and stable homotopy of commutative rings, he introduces $\Gamma$-rings (ring spectra) $DB$ for any commutative ring $B$ such that the the set of 1-dimensional ...

**1**

vote

**1**answer

212 views

### Is every (one dimensional) n-bud of total degree n also a formal group law?

This is essentially a request for counterexamples, since I know so few $n$-buds (or as some might say, formal group law $n$-chunks). One notices that the only $1$-bud of maximal degree 1 is the ...

**6**

votes

**0**answers

252 views

### Non-commutative Formal Group Laws

Does anyone know of a good, complete reference for non-commutative formal group laws (i.e. construction of a "Lazard ring," discussion of non-commutative formal groups, perhaps some discussion of ...

**13**

votes

**1**answer

964 views

### What do formal group laws of height $\geq 3$ look like?

By the classification of formal groups in characteristic $p$, we know that isomorphism classes of connected smooth $1$-dimensional formal groups, equivalently group scheme structures on $\operatorname{...

**0**

votes

**0**answers

205 views

### The formal Group of the dual Abelian Variety

For an abelian variety $A$ with formal group $F$, how is the formal group $F^\ast$ of the dual abelian variety $A^{\vee}$ related to $F$? In general, for a formal group $F$, is there a concept of dual ...

**14**

votes

**1**answer

612 views

### Is there an algebro-geometric description of $\nu$?

Motivation: According to the "chromatic" picture of stable homotopy, we should think of the moduli stack $M_{FG}$ of formal groups as a "good approximation" to the stable homotopy category (more ...

**3**

votes

**0**answers

239 views

### Formal non-CM in local fields

An elliptic curve $E$ with complex multiplication by an imaginary quadratic field $F$ has $\ell$-adic Galois representations that essentially encode the class field theory of $F$ - in other words, the ...

**13**

votes

**0**answers

503 views

### Lubin-Tate vs cohomological approach to local CFT

Local class field theory ("local CFT") can be developed in various ways, among them is a cohomological approach and an explicit approach due to Lubin and Tate (both can be found in Milne's CFT notes ...

**10**

votes

**0**answers

289 views

### Galois invariants in a ring of fractional power series over a finite field

Let $\mathbf{F}_q$ be a finite field, and let $A=\mathbf{F}_q [[ x^{1/q^\infty} ]]$ be the completion of $\mathbf{F}_q[x^{1/q^\infty}]$ with respect to the $x$-adic topology. Then the $q$th power ...

**2**

votes

**2**answers

243 views

### Different Lie group structures on a vector space with the same Lie algebra structure

This is an eccentric question: recall that a smooth Lie group structure on $\mathbb R^n$ is uniquely identified by a triple $(\mu,\iota,e)$ where $\mu:\mathbb R^n\times\mathbb R^n\to\mathbb R^n$ is ...

**4**

votes

**2**answers

408 views

### Reference request: Spec A_* is the automorphism group of the additive formal group law

Dear all,
I'm seeking a reference for a claim made in lecture 8 of Jacob Lurie's chromatic homotopy theory notes (http://www.math.harvard.edu/~lurie/252xnotes/Lecture8.pdf). More particularly, ...

**5**

votes

**0**answers

502 views

### Formal groups in the supersingular reduction case

Let $E/\mathbb{Q}$ be an elliptic curve with potential good supersingular reduction at $p$. Thus, there is a finite extension $K/\mathbb{Q}_p$ such that $E/K$ has good supersingular reduction. Let us ...

**11**

votes

**1**answer

565 views

### Obstructions to formally integrating vector fields in characteristic p?

Let $M$ be a smooth scheme over some field $k$ of characteristic $p$, and $\vec X$ a vector field on it. Equivalently, $\vec X$ gives a map $Spec\ k[\epsilon]/\langle \epsilon^2 \rangle \times M \to M$...

**4**

votes

**2**answers

641 views

### Reference request: equivalence of formal group laws and Lie algebras in characteristic zero

Let $k$ be a field of characteristic zero. Wikipedia states that the natural functor from finite-dimensional formal group laws over $k$ to finite-dimensional Lie algebras over $k$ is an equivalence of ...

**13**

votes

**3**answers

858 views

### Isomorphism between two universal p-typical formal group laws

EDIT: I've tried to alter the question so that its basic nature is clearer, as it's been unclear to a number of people now.
At any prime p, there is a graded polynomial ring $V \cong {\mathbb Z}_{(p)}...

**8**

votes

**2**answers

1k views

### Extending methods from Lubin-Tate theory

The first lemma in Lubin-Tate theory says the following:
Let $K$ be a local field, $A$ its ring
of integers, and $f\in A[[T]]$ be such
that $f(0) = 0$, $f'(0)$ is a
uniformizer, and $f$ ...

**4**

votes

**1**answer

420 views

### Relation of Lie Groups and Cohmology Theories via Formal Group Laws

There is a standard process (for example explained here) to obtain a formal group law form a complex oriented cohomology theory.
For a Lie group G one can choose coordinates at the unit and expand ...

**15**

votes

**1**answer

985 views

### Formal-group interpretation for Lin's theorem?

Background
For compact Lie groups, Atiyah and Segal proved a strong relationship between Borel-equivariant K-theory, defined in terms of the K-theory of $X \times_G EG$, and the equivariant K-theory ...

**4**

votes

**0**answers

223 views

### When do equivariant sheaves on a formal neighborhood extend?

Suppose that $X$ is a variety (in char 0) with an action of an affine algebraic group $G$. Let $Y \subset X$ be a subvariety fixed by $G$--the action map agrees with projection upon restriction to $Y$...

**57**

votes

**16**answers

11k views

### f(f(x))=exp(x)-1 and other functions “just in the middle” between linear and exponential

The question is about the function f(x) so that f(f(x))=exp (x)-1.
The question is open ended and it was discussed quite recently in the comment thread in Aaronson's blog here http://scottaaronson....