Questions tagged [formal-groups]
The formal-groups tag has no usage guidance.
82
questions
9
votes
2
answers
558
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
0
answers
41
views
Definition of formal group functors
In the book by Demazure "Lectures on $p$-Divisible Groups" a formal group functor over a field $k$ is defined in II.4 as a functor $\operatorname{Mf}_k \to \operatorname{Grp}$ where $\...
5
votes
1
answer
304
views
Question about log and exp of a formal group law
Let $K$ be a finite extension of $\mathbb{Q}_p$. Let $F$ be a Lubin–Tate formal group law defined over $K$ with endomorphism $f(T)$ corresponding to $\pi$ (a uniformizer of $K$). Then one can define ...
12
votes
1
answer
222
views
Is every complex oriented ring spectrum with additive FGL an Eilenberg-Maclane spectrum?
Suppose $E$ is a complex-oriented ring spectrum whose formal group law is isomorphic to the additive one. As the title suggests, we might as well change the complex orientation so that the formal ...
10
votes
0
answers
253
views
Classification of derived formal group laws
Denote by $SCR$ the $\infty$-category of "simplicial commutative rings" (i.e. the nonabelian derived category of the category of finitely generated polynomial rings). Given $R \in SCR$, one ...
4
votes
0
answers
176
views
Ramification behavior of field given by adjoining $p$-torsion point on formal group of abelian variety
Setup. Let $p > 2$ be a prime, let $K$ be the completion of the maximal unramified extension of $\mathbb{Q}_p$, and fix an algebraic closure $\overline{K}$ of $K$. Let $A/K$ be an abelian variety ...
4
votes
0
answers
54
views
The unit root subspace of a genus-2 odd degree hyperelliptic curve of semistable reduction
Let $K$ be a finite extension of $\mathbb{Q}_p$. If $A_K$ is a semistable Abelian variety over $K$, then we have a Frobenius endomorphism on $H_{dR}^1(A_K)$, whose definition depends on a choice of a ...
5
votes
0
answers
191
views
Group-like elements of universal enveloping algebra
Suppose $\mathfrak{g}$ is a finite-dimensional Lie algebra over $\mathbb C$. Take $A=U(\mathfrak g[[t]])$, a universal enveloping algebra of $\mathfrak g[[t]]$ over $\mathbb C[[t]]$.
Then we may ...
4
votes
0
answers
138
views
Preorientation of additive formal group
In "A Survey of Elliptic Cohomology", Section 3.2, Lurie asserts that the preorientations of the additive formal group $\widehat{\mathbf G}_a$ over $\mathbf Z$ are classified by the $\mathbb ...
4
votes
1
answer
502
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 ...
3
votes
2
answers
296
views
Some special subgroups of formal groups
Let $G$ be a 1-dimensional, commutative formal group over a ring $R$. Give $G$ a coordinate $x$ and let $A\subset R$ be the subring generated by the coefficients of the corresponding formal group law $...
1
vote
0
answers
101
views
Reference for the $3$-series of an elliptic formal group law
The $3$-series of the formal group law of the Weierstrass curve $y^2 = x^3 + a_2 x^2 + a_4 x$ begins
$$
[3](z) = 3 z - 8 a_2 z^3 + (24 a_2^2 - 96 a_4) z^5 - (72 a_2^3 - 288 a_2 a_4) z^7 + (216 a_2^4 - ...
4
votes
1
answer
345
views
When is a formal group smooth?
This is a question that I suspect is simply a matter of technical issues written down or clarified somewhere in the literature, but which I can't find.
Suppose we're working over an arbitrary base ...
6
votes
0
answers
337
views
Coherent cohomology of the generic fiber of Lubin-Tate space vs. of Lubin-Tate space considered rationally?
I am trying to compare the coherent cohomology of the generic fiber of Lubin-Tate space to the coherent cohomology of Lubin-Tate space considered rationally, and I am going in circles! I would be very ...
2
votes
0
answers
174
views
Cartier duality and Frobenius on Witt vector schemes
Suppose for simplicity we are working over $\mathbb{F}_p$. Cartier duality is an antiequivalence between formal groups and affine group schemes over $Spec(\mathbb{F}_p)$. Let $\mathbb{W}_p(-)$ denote ...
3
votes
1
answer
358
views
Is the formal completion of an affine group necessarily a formal group?
Notation and Setting: let $\operatorname{Aff}$ denote the category of affine schemes whose objects are covariant representable functors $\operatorname{X}:\operatorname{Ring}\rightarrow\operatorname{...
1
vote
0
answers
220
views
Compatiblity of completion and fibre products. (Formal completion and formal groups)
Let $S$ be a scheme (not necessarily locally noetherian), $X$ a smooth separated group scheme over $S$, and $\hat{X}$ be the formal completion along with the identity section.
Then does the group ...
8
votes
1
answer
373
views
Is there something "Koszul dual" to formal groups?
The Lie operad is Koszul dual to the commutative operad. In some sense, the data of a formal group is an "elaboration" of the data of a Lie algebra. Is there some corresponding "elaboration" of the ...
1
vote
0
answers
133
views
Formal group as a limit of its finite subgroups
I'm reading Manin's article on formal groups and I have a problem with Lemma 1.1.
Consider $k$ a prefect ring of characteristic $p$ and $(A,m,k)$ a noetherian complete local ring of the same ...
7
votes
0
answers
170
views
Meaning of Elliptic Irregular Primes
The Bernoulli numbers are defined by the equation
$$
\frac{t}{e^t-1}=\sum_k b_k \frac{t^k}{k!}.
$$
A prime number $p$ is irregular if it divides the numerator of one of the even Bernoulli numbers up ...
6
votes
0
answers
154
views
Classification of one dimensional (non-commutative) formal group laws over $k[\epsilon]/(\epsilon^n)$
It's well-known that any one dimensional formal group law over a $\mathbb Q$-algebra or a reduced ring is commutative, but there are one dimensioal non-commutative formal group laws over rings like $k[...
7
votes
1
answer
449
views
What are the modularity properties of Weierstrass sigma function?
I'm a little confused at the sigma orientation of tmf, see e.g. Witten genus and its references. The Weierstrass sigma function can be written as
$$\sigma_L(z)(q)=\frac{z}{\exp\left(\sum_{k\ge 2} G_k(...
2
votes
0
answers
110
views
Exercise on formal group laws over an algebraically closed field
There is an exercise in Weinstein's notes on Lubin--Tate theory, namely show that there is a unique (up to isomorphism) one-dimensional formal group law of given finite height $h$ over an ...
1
vote
1
answer
419
views
Formal group law and Koenigs function conjecture?
Let $f(x,y)$ be a symmetric real function and a formal group law
$$G(x + y) = f(G(x),G(y)). \tag{1}$$
Consider the equation
$$ h(2x) = f(h(x),h(x)) = A(h(x)). \tag{2}$$
This equation has many ...
9
votes
1
answer
596
views
Nontrivial p-divisible groups over $\mathbb Z$ for general prime $p$
In Tate's famous paper about $p$-divisible groups, for a prime number $p$ he asks whether there exists a $p$-divisible group $G$ over $\mathbb Z$ such that $G$ is not a direct sum of $\mu_{p^\infty}$ ...
1
vote
0
answers
126
views
Geometric intuition and computation for Cartier theory
I am learning Cartier theory of commutative formal groups by the book of Zink. It is a powerful tool but I don't understand it's motivation. The Cartier module of a formal group $G$ over a $\mathbb{Z}...
40
votes
3
answers
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 ...
7
votes
0
answers
115
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 ...
9
votes
1
answer
356
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 ...
11
votes
1
answer
310
views
(Pre)orientation vs. formal completion
Let $\mathbb G$ be an abelian vatiety over an $\mathbb E_\infty$-ring $A$. That is to say, it consists of an abelian group object in the $\infty$-category of relative schemes $\mathbb G\to \...
5
votes
3
answers
267
views
Morphisms of formal group laws $\,F_a \rightarrow F_m\,$ and $\,F_m\to F_m$
While studying cohomology theories on the stable homotopy setting, I have come up with the following basic question:
Consider the additive formal group law, $F_a$, and the multiplicative formal group ...
9
votes
1
answer
778
views
deformation theory in positive characteristic
The idea "Formal deformation theory in characteristic zero is controlled by a differential graded Lie algebra (dgla)" goes back to Goldman-Millson, Deligne, Drinfeld among others; see Lurie's ICM talk....
3
votes
0
answers
285
views
Rational cohomology of formal multiplicative group
Let $\hat{\mathbb G}$ be a formal group over a field $k$, and let $V$ be a finite dimensional algebraic representation of $\hat{\mathbb G}$ (meaning we have fixed a homomorphism of algebraic groups $\...
14
votes
0
answers
453
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 ...
10
votes
2
answers
749
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 ...
5
votes
0
answers
275
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$-...
2
votes
0
answers
303
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$. ...
2
votes
0
answers
255
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
169
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
220
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
216
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
679
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, ...
13
votes
2
answers
606
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 ...
4
votes
0
answers
197
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
254
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,\...
6
votes
0
answers
280
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(...
15
votes
2
answers
1k
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
142
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
67
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 ...
15
votes
2
answers
1k
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,.....