Questions tagged [formal-groups]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
9
votes
0answers
179 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
0answers
144 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
0answers
45 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
0answers
124 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
0answers
129 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 ...
3
votes
1answer
165 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
2answers
245 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 $...
0
votes
0answers
90 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
1answer
277 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
0answers
328 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
0answers
124 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
1answer
337 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
0answers
155 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
1answer
323 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
0answers
127 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
0answers
166 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
0answers
128 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
1answer
353 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
0answers
104 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
1answer
410 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
1answer
547 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
0answers
118 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
3answers
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
0answers
113 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
1answer
338 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
1answer
294 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
3answers
249 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 ...
8
votes
1answer
689 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
0answers
249 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
0answers
411 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
2answers
717 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 ...
4
votes
0answers
239 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
0answers
268 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
0answers
236 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
1answer
142 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
0answers
205 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
0answers
207 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
2answers
612 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
2answers
567 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
0answers
189 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
0answers
245 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
0answers
276 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
2answers
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
0answers
138 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
0answers
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
2answers
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,.....
22
votes
3answers
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
0answers
193 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 ...
5
votes
0answers
688 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$. ...
11
votes
0answers
413 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 ...