# Questions tagged [formal-groups]

The tag has no usage guidance.

95 questions
Filter by
Sorted by
Tagged with
267 views

### What are the unsolved problems in Formal groups and $L$-functions?

In the 1st page of the introduction of Hazewinkel's Formal Groups and Applications book, there are two ways of constructing formal groups (law): $\bullet$ Given a Lie group $G$, one can define a ...
• 870
593 views

### With 6 inverted, is the ring of Weierstrass curves a quotient of the Lazard ring by a regular sequence?

Let $L$ be the Lazard ring, i.e., the underlying ring of the universal one-dimensional formal group law. Let $M$ be the ring $\mathbb{Z}[c_4, c_6, 1/6]$ of Weierstrass curves over $\mathbb{Z}[1/6]$. ...
• 465
1 vote
30 views

### Does there exist an upper triangular set of gens of $k[[X]]$ for a unipotent formal group acting on $\operatorname{Spec}(k[[X]])$?

For this post I define a formal group to be a group object in the category of formal schemes. Let $G$ be a linear algebraic group with affine coordinate ring $k[G]$. If $\mathfrak{m}_{e}$ is ...
• 789
415 views

### Is there anything special about the Honda formal group?

The "standard" Morava E-theory $E_n$ (at a prime $p$) is typically defined using the so-called "Honda formal group law", the unique FGL $\Gamma_n$ over $\mathbb{F}_{p^n}$ ...
74 views

### Conditions for a $p$-divisible group to be represented by a formal Lie group

Let $S$ be a scheme where $p$ is locally nilpotent and let $G$ be a $p$-divisible group over $S$. Is connectedness of $G$ equivalent to $G[p] := \ker(p : G \to G) \to S$ radicial (universally ...
• 41
265 views

### Generating the coordinate ring of the Lubin-Tate formal group

Let $K$ be a $p$-adic local field with uniformizer $\pi \in \mathcal{O}_{K}$ and residue field $k = \mathcal{O}_{K}/\pi$. Let $G$ be a Lubin-Tate formal $\mathcal{O}_{K}$-module and $G_{0}$ its ...
• 2,177
70 views

• 1,457
1 vote
171 views

• 1,457
176 views

### Relation between division point of elliptic curve and formal group of elliptic curve, $\Bbb{Q}_p(E[p])＝\Bbb{Q}_p(\hat{E}[p])$

Let $E/ \Bbb{Q}_p$ be an elliptic curve over $\Bbb{Q}_p$. $\hat{E}$ denote the corresponding formal group of $E$. I want to prove $\Bbb{Q}_p(E[p])＝\Bbb{Q}_p(\hat{E}[p])$. $\hat{E}[p]$ denotes $p$ ...
• 1,457
252 views

### Is there any use for n-dimensional formal group laws in chromatic homotopy?

Chromatic homotopy tends to mainly focus on $1$-dimensional (commutative) FGLs. From a geometric perspective, this is because line bundles form a group and n-plane bundles don't, so the first Chern ...
724 views

### Can we use formal groups to recover Lie-theoretic representation theory in characteristic p?

In differential geometry, Lie's theorems allow us to integrate any Lie algebra representation to a Lie group representation. The algebraic version of this is more complicated (and I'm not terribly ...
1 vote
77 views

2k views

### Completed tensor product and power series rings

I want to know if the notion of completed tensor product in Stacks Project Tag 0AMU is the one that yields $$k[[x]] \widehat{\otimes} k[[y]]≅k[[x,y]].$$ Here I should be considering the inverse limit ...
• 571
335 views

• 517
1k views

### Characterizing positivity of formal group laws

The formal group law associated with a generating function $f(x) = x + \sum_{n=2}^\infty a_n \frac{x^n}{n!}$ is $$f(f^{-1}(x) + f^{-1}(y)).$$ In my thesis, I found a large number of examples of ...
• 528
132 views

### Formal Group Laws in a lined topos

I am aware of the following: in the context of synthetic differential geometry (SDG) one obtains a Lie algebra by exponentiating a microlinear group by a standard infinitesimal object and taking the ...
374 views

### What is the essential image of $AbVar$ in $p-div$?

Given an abelian variety $A$ over a base scheme $\text{Spec } \mathcal{O}_{K_p}$, we define the functor $P$ as taking $A \mapsto \text{colim}_n A[p^n]$, its associated $p$-divisible group. What is the ...
• 3,529
342 views

• 18.4k
536 views

### Geometry underlying a comparison of Dieudonné theories

Maybe these hypotheses aren't necessary, but for me $\mathbb G$ will be a smooth formal group of dimension 1 and finite height over a perfect field $k$. There are several presentations of the ...
• 6,248
830 views

### How to compute the formal group law of a Shimura variety (using its invariant differentials)?

I have a 3 dimensional abelian variety whose formal group law breaks into a formal summand where one of the pieces is one-dimensional. I am desperately wondering how to compute the $p$-series of ...
• 3,529
320 views

### Definition of logarithm for universal vector extension

Let $S$ be a topological $\mathbb{Z}_p$-algebra and $R\to S$ a surjection (where $R$ has $p$ nilpotent) with topologically nilpotent kernel which has a PD structure. We know that if $G/R$ is a $p$-...
• 833
### 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$. ...