# Questions tagged [elliptic-cohomology]

The elliptic-cohomology tag has no usage guidance.

**5**

votes

**0**answers

48 views

### Does the theorem that genera vanishing on even-dim complex projective bundles are elliptic also apply for integral-valued genera?

Ochanine proved in this paper that for genera taking values in $\mathbb{Q}$-algebras, vanishing on even-dimensional projective bundles is equivalent to being an elliptic genus (i.e. a specialization ...

**8**

votes

**1**answer

542 views

### What's special about elliptic cohomology?

Apologies for any basic mistakes in this question; I'm a beginner to this theory and don't have anyone at my institution to consult for advice.
What I mean is, if you take an elliptic curve $E$ over $...

**8**

votes

**1**answer

223 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 \...

**19**

votes

**2**answers

1k views

### elliptic curves and group cohomology

Recently, I've been trying to understand Jacob Lurie's 2-equivariant elliptic cohomology a bit better than I had in the past.
From what I can tell, the fragment of the story that only deals with ...

**17**

votes

**0**answers

261 views

### “High-concept” explanation for proof of a theorem of Ochanine?

See Akhil Mathew's notes on Ochanine's theorem for elliptic genera here and here.
Let $\phi: \Omega_{SO} \to \Lambda$ be a genus. We might ask when $\phi$ satisfies the following multiplicative ...

**16**

votes

**0**answers

1k views

### How is an $S^1$-equivariant elliptic cohomology theory affected as we continuously vary the underlying elliptic curve?

Grojnowski constructs a $S^1$-equivariant cohomology theory over a complex elliptic curve $E$, designed to trivially satisfy: $$E^*_{S^1}(pt) = E$$
The functor $E^*_{S^1}(-)$ takes in a space $X$ ...

**11**

votes

**1**answer

543 views

### Can we construct a Baas-Sullivan presentation of TMF?

Quick Review:
The Baas-Sullivan construction cones off generators $\alpha_1, ..., \alpha_n \in \pi_*(MU)$ from $MU$ to get a new spectrum $MU/(\alpha_1, ..., \alpha_n)$, which is isomorphic to some ...

**18**

votes

**1**answer

897 views

### What are explicit obstructions to realizability of formal group laws as complex-oriented ring spectra?

Recall that a complex-oriented spectrum is a ring spectrum E with a map $MU \to E$.
Analogously, a ring with a (1-d commutative) formal group law is (represented by) a ring $R$ with a map $L \to R$ (...

**7**

votes

**1**answer

473 views

### What is an example of a formal group law that is Landweber-exact but not flat?

Quick Background: The $p$-series of $F$ (where $F$ is a formal group law over a graded ring $R$) will be of the form $[p](x) = px + v_1x^{p^1} + ... + v_nx^{p^n} + ...$ ; $(F, R)$ is Landweber-exact ...

**14**

votes

**2**answers

698 views

### What's an example of 2 elliptic curves with the same ground ring s.t. their associated cohomology theories detect different things?

My understanding is that a complex-oriented spectrum is a ring spectrum $E$ with a map $MU \to E$.
Analogously, a ring with a formal group law is a ring $R$ with a map $L \to R$ (where $L$ is the ...

**9**

votes

**1**answer

468 views

### Must we know $MU^*(X)$ in order to compute $Ell^*(X)$?

Let $Ell^*(X)$ be the elliptic cohomology theory (associated to a given elliptic curve $E$) of a nice space $X$.
Recall the Landweber-Ravenel-Stong construction:
$MU^*(X) \otimes_{MU^*} R \simeq Ell^...

**8**

votes

**0**answers

446 views

### Twisted equivariant modular forms?

I'd like to know where I can find information about a class of objects which I think deserve to be called twisted equivariant modular forms. Let me guess a definition, indicate how it can be made more ...

**34**

votes

**2**answers

2k views

### What do loop groups and von Neumann algebras have to do with elliptic cohomology?

Recall that complex $K$-theory is a cohomology theory on topological spaces, which can be described in several equivalent ways:
Given a finite complex $X$, $K^0(X)$ is the Grothendieck group of ...

**16**

votes

**1**answer

564 views

### Character of parity-twisted supersymmetric VOA module — question inspired by the Stolz-Teichner program

I'll begin with some background that is unnecessary for the actual question, but that might be interesting to the reader:
Topological modular forms ($TMF$) is a generalized cohomology theory whose ...

**8**

votes

**2**answers

640 views

### Elliptic genus for manifolds with boundary

Let M be a closed spin manifold of dimension $d$. One form of the elliptic genus of $M$ is
$$ F(q)=q^{-d/8} \hat A(M) {\rm ch} \otimes_{k=1/2,3/2,\cdots} \Lambda_{q^k}T \otimes_{\ell=1}^\infty S_{q^\...

**17**

votes

**2**answers

1k views

### Virasoro action on the elliptic cohomology

I'm trying to understand better the mathematical notion of elliptic cohomology. Note that I only know the physics definition of the elliptic genus given in Witten's paper.
Let $X$ be a Calabi-Yau ...

**13**

votes

**3**answers

1k views

### complex cobordism from formal group laws?

Reading Ravenel's "green book", I wonder about his question on p.15 "that the spectrum MU may be constructed somehow using formal group law theory without using complex manifolds or vector bundles. ...

**19**

votes

**3**answers

2k views

### What is a TMF in topology?

What is a topological modular form? How are they related to 'normal' (number-theoretic) modular forms?