The cohomology tag has no usage guidance.

**20**

votes

**0**answers

633 views

### Calabi-Yau cohomology?

My question here is going to be this -- but I'll give a bit of background to explain myself in a moment:
What has been done/what results are available on Calabi-Yau cohomology in degree $n \geq 3$ ...

**20**

votes

**0**answers

534 views

### Combinatorics of Quantum Schubert Polynomials

Let $S_n$ be the symmetric group. Let $s_i$ denote the adjacent transposition $(i \ i+1)$. For any permutation $w\in S_n$, an expression $w=s_{i_1}s_{i_2}\cdots s_{i_p}$ of minimal possible length is ...

**19**

votes

**0**answers

603 views

### What is classified by the (big) crystalline topos?

In his paper "Generic Galois Theory of Local Rings", G.C. Wraith states on p. 743 that the (big) crystalline topos "can be conveniently described in terms of the theory it describes". What exactly is ...

**16**

votes

**0**answers

275 views

### Elliptic $\infty$-line bundles over $B G$

Theorem 5.2 in Jacob Lurie's "Survey of Elliptic Cohomology" (pdf) states the equivalence of two maps
$$
B G \longrightarrow B \mathrm{GL}_1(A)
$$
for $A$ an $E_\infty$-ring carrying an oriented ...

**15**

votes

**0**answers

413 views

### Cohomological characterization of CM curves

In his 1976 classical Annals paper on $p$-adic interpolation, N. Katz uses the fact that if $E_{/K}$ is an elliptic curve with complex multiplications in the quadratic field $F$, up to a suitable ...

**13**

votes

**0**answers

464 views

### Steenrod algebra at a prime power

Let $n=p^k$ be a prime power.
When $k=1$, the algebra of stable operations in mod $p$ cohomology is the Steenrod algebra $\mathcal{A}_p$. It has a nice description in terms of generators and ...

**13**

votes

**0**answers

426 views

### To what extent does (co)homology of groups made discrete depend on set theory?

There's a well-known paper by Milnor, "On the homology of Lie groups made discrete," that discusses the relation between the homology of a Lie group $G$ and the underlying discrete group $G^\delta$. ...

**12**

votes

**0**answers

200 views

### K-theoretic version of Artin-Mazur formal groups?

An Artin-Mazur formal group is, when it exists, the deformation theory of ordinary cohomology of some degree, on some algebraic variety. My question here is:
Has the generalization of the theory of ...

**11**

votes

**0**answers

348 views

### Cohomological interpretations of quadratic form invariants over rings?

The standard approach to classifying of quadratic forms over $\Bbb Q$ is to use the Hasse (local-global) principle together with a system of standard invariants of quadratic forms over the local ...

**11**

votes

**0**answers

840 views

### Dolbeault cohomology of complex tori.

Let $T=\mathbb C^n/\Lambda$ a complex torus. It is completely elementary to prove that the de Rham cohomology of $T$ in degree $q$ is isomorphic to the $q$-th exterior power of the dual of $\mathbb ...

**10**

votes

**0**answers

193 views

### “topological” Ochanine genus?

The Witten genus has famously been lifted to the string orientation of tmf ("topological Witten genus"). For the Ochanine genus I am aware of a lift to a "spin orientation of Tate K-theory", namely to ...

**9**

votes

**0**answers

286 views

### Who first talked about “holes” in homology?

The question Why do the homology groups capture holes in a space better than the homotopy groups? and many others here use the idea that homology counts the ``holes'' in a space. The comments on this ...

**9**

votes

**0**answers

363 views

### Cohomology and impossible ﬁgures

In connection with the MO question Occurrences of (co)homology in other disciplines and/or nature I recalled Roger Penrose's “On the cohomology of impossible ﬁgures": ...

**9**

votes

**0**answers

187 views

### KK-theory by abelianized correspondences of smooth stacks?

Whith (Kasparov, bivariant) KK-theory I am left with the nagging feeling that the theory is "more fundamental", than has been made explicit, that there is a "more profound" universal characterization ...

**9**

votes

**0**answers

191 views

### Is there a Hodge isomorphism theorem for part-tangential, part-normal, harmonic differential forms?

Let $M$ be an oriented compact Riemannian $n$-manifold with boundary $\partial M$. A differential $p$-form $\omega$ on $M$ is normal if $i^* \omega = 0$ holds, tangential if $i^* \star \omega = 0$ ...

**9**

votes

**0**answers

1k views

### Is Witten's new method of quantization useful for geometric complexity theory?

The Kempf-Ness theorem (see e.g. arXiv:0912.1132) - that the algebraic quotient of geometric invariant theory is also a symplectic quotient - suggests (to me) that certain physical constructions used ...

**7**

votes

**0**answers

128 views

### When is the projection of an induced fibration trivial on cohomology?

Let $p: E\to B$ be a fibration, and let $f: A\to B$ be a continuous map. In my applications, $E$ and $B$ are finite complexes, but $A$ need not be. Form the pullback
$$
\begin{array}{ccc} W & \to ...

**7**

votes

**0**answers

186 views

### Evens norm as a derived functor

In the theory of cohomology of groups there are several important maps between cohomologies: restriction, inflation, transfer and Evens norm. The first three of them can be clearly seen on the level ...

**7**

votes

**0**answers

823 views

### Why is the Nil-Hecke Algebra appearing?

The Nil-Hecke algebra is defined to be the subalgebra of the endomorphism ring of $\mathbb{C}[x_1,\ldots,x_n]$ generated by the operators of multiplication by $x_i$ and the divided difference ...

**7**

votes

**0**answers

458 views

### Integral decomposition of the diagonal (Chow motives)

Let $k$ be a field of characteristic zero and let $X$ be a smooth proper varity over $k$ of dimension $d$. The Künneth standard conjecture conjectures that there exist projectors $e_0, e_1, \ldots, ...

**6**

votes

**0**answers

259 views

### Real schubert calculus

Studying real enumerative questions I noticed, that the even-even Schubert varieties of the real Grassmannian $Gr:=Gr_{2k}(2n,\mathbb R)$ behave analogously to the complex case.
I call a partition ...

**6**

votes

**0**answers

723 views

### Is there any “deep” relation between the localization theorem of equivariant cohomology and the localization theorem of equivariant K-theory

First let's consider equivariant cohomology: if a compact Lie group $G$ acts on a compact manifold $M$. We have the equivariant cohomology $ H_G(M)$ defined as the cohomology of the cochain complex ...

**6**

votes

**0**answers

210 views

### When is the cohomology cross product square nonzero?

Let $X$ be a finite CW complex, and $A$ an abelian group. Given a nonzero class in singular cohomology $$x\in H^k(X;A),$$ when is its cross product square $$x\times x\in H^{2k}(X\times X;A\otimes A)$$ ...

**6**

votes

**0**answers

361 views

### Cohomology of a space with coefficients in a Lie group?

The following is a very naive construction, and I am almost embarrassed to ask questions about it.
Suppose I have a connected simple graph $\Gamma = (\Gamma_0,\Gamma_1)$ (i.e., vertex set, edge set) ...

**6**

votes

**0**answers

374 views

### Is singular cohomology representable by a (Voevodsky's) motivic complex?

For any $c>0$ does there exist an object $C$ of Voevodsky's $DM^{eff}_-$ (over the field of complex numbers) such that for any $i\le c$ and any smooth variety $X$ the $i$-th singular cohomology of ...

**5**

votes

**0**answers

76 views

### configuration space of Riemannian manifolds with a parameter on the distance of distinct points

Let $M$ be a Riemannian manifold. For any $\epsilon\geq 0$, we define the $k$-th ($k=1,2,\cdots$) "$\epsilon$-configuration space" as
$$
F(M,k,\epsilon)=\{(x_1,\cdots,x_k)\in M^k\mid d(x_i, ...

**5**

votes

**0**answers

140 views

### Are all these K3 surfaces supersingular?

Consider all the smooth K3 surfaces given by $X^4+W^2X^2+XW^3 = f(Y,Z,W)$ or $X^4+XW^3 = g(Y,Z,W)$ over $\mathbb F_{2}$ with $f$ or $g$ homogenous of degree 4. There are a lot of choices for $f$ and ...

**5**

votes

**0**answers

205 views

### For which quiver varieties is Kirwan surjectivity known?

The cohomology of Nakajima quiver varieties is a quite interesting object. It's equipped with some natural classes given by the Chern classes of the tautological bundles associated to the spaces in ...

**5**

votes

**0**answers

124 views

### The action of Steenrod squares on the indeterminate in Bullett-Macdonald identities

The Bullet-Macdonald identity (c.f. On the Adem relations)is the following:
$$P(s^2+st)P(t^2)=P(t^2+st)P(s^2).$$
where we have $P(s)=\Sigma _s s^iSq^i$. This is known to be equivalent to the
Adem ...

**5**

votes

**0**answers

201 views

### Which ring spectra have some kind of exponential map turning addition into multiplication?

This accepted answer to the question about $BU_\otimes$ made me recall that I want to read about this general phenomenon for a long time.
What will follow is sort of vernacular but whether it can be ...

**5**

votes

**0**answers

198 views

### Which pure categories related with Weil cohomology theories are semi-simple?

As far as I understand, the category of pure polarizable Hodge modules is semi-simple, whereas the cohomology of the corresponding schemes is graded polarizable. Is it true that one doesn't have any ...

**5**

votes

**0**answers

310 views

### Generalized Hodge conjecture for cohomology of smooth non-proper varieties?

Is there such a statement known i.e. does there exist a conjectural description of the coniveau filtration for singular cohomology of a smooth non-proper variety over the field of complex numbers (in ...

**5**

votes

**0**answers

413 views

### What is the right notion of equivariant Cech cohomology?

What is the right definition of equivariant Cech cohomology is so that given a $G$-space $X$, $H^1_G(X;H)$ classifies $G$-equivariant principal $H$-bundles on $X$?

**5**

votes

**0**answers

447 views

### Is there a direct way to compute the higher derived image sheaves of a family of $\mathbb{P}^n$s?

Let $V\rightarrow Y$ be a vector bundle of rank $n+1$ over $Y$, with $Y$ reasonably nice (I care about the case of smooth, irreducible affine). Let $X=\mathbb{P}(V)$ be the projectivization of $V$, so ...

**4**

votes

**0**answers

101 views

### cohomology ring of stable configuration spaces

Let $M$ be a compact Riemannian manifold without boundary. Distinct $k$-points $x_1,\cdots,x_k\in M$ are called stable if the potential energy given by coulomb forces among $k$ electrons reaches ...

**4**

votes

**0**answers

162 views

### Hochschild Cohomology of the Quantum Torus

I would like some advice on how to compute directly, or by a higher powered method the Hochschild Cohomology groups of the quantum torus using the stated complex I have found. I think there are ...

**4**

votes

**0**answers

167 views

### cohomology algebra of unordered configuration space with coefficients the finite fields

in the paper The cohomology algebra of unordered configuration spaces (Y. Félix, D. Tanré, J. London Math. Soc., 2005), Theorem 4:
Let $M$ be an odd-dimensional, compact, closed, oriented manifold. ...

**4**

votes

**0**answers

125 views

### Complexes of arithmetic $\mathcal{D}$-modules with Frobenius structure

This is a question about the category $F\text{-}D^b_\mathrm{coh}(\mathscr{D}^\dagger_{\mathscr{X},\mathbb{Q}})$ of complexes of arithmetic $\mathscr{D}$-modules with Frobenius structure on a smooth ...

**4**

votes

**0**answers

214 views

### Cohomology of BG, algebraically

Let $k$ be a field (algebraically closed if you will) and $G$ be a connected reductive group over $k$. I would like to know a purely algebraic computation of the cohomology of $BG$, as the quotient ...

**4**

votes

**0**answers

232 views

### extension of cohomology theories

In Rudyak's book it is proved (3.22 page 160) that every additive cohomology theory (in the sense of Eilenberg-Steenrod) defined on the category of finite dimensional pointed CW complexes can be ...

**4**

votes

**0**answers

160 views

### consistent orientation for functorial pull-push in generalized cohomology

Given a correspondence $X_{\mathrm{in}} \stackrel{i_{\mathrm{in}}}{\leftarrow} X \stackrel{i_{\mathrm{out}}}{\to} X_{out}$ of suitable "spaces" of sorts, and given a (generalized) cohomology theory ...

**4**

votes

**0**answers

233 views

### Cech cohomology and set theory

Can anyone point me to places in the literature where modern set theory has been applied to say something about the Cech cohomology of connected non-metrizable compacta? I'm looking for something ...

**4**

votes

**0**answers

309 views

### Determinant line does not depend on the differential

Let $\pi:X\rightarrow S$ be a proper morphism of schemes over $\mathbf{C}$ and $\mathcal{E}$ a vector bundle on $X$ with a relative flat connection $\nabla_{X/S}$. Is it true that the determinant line ...

**4**

votes

**0**answers

185 views

### cohomological dimension for coarser/finer topologies

Given a sheaf $\mathcal{F}$ with respect to some Grothendieck topology, is the cohomological dimension for this sheaf less than or equal to the cohomological dimension of a finer topology?
Example: ...

**4**

votes

**0**answers

396 views

### Cohomology of Real algebraic Varieities

I understand Serre's GAGA theorem as saying that equations over algebraically closed fields can be studied equally from the algebraic and analytic points of view, at least with respect to cohomology.
...

**3**

votes

**0**answers

145 views

### What is the formula for the homology class represented by the diagonal?

Let $M$ be a compact oriented manifold and $\{\mu_{i}\}$ a basis
for the homology $H_*(M, \mathbb{Z})$ (we are ignoring any torsion).
Now consider the diagonal $\Delta_{M}$ inside $M\times M$. ...

**3**

votes

**0**answers

157 views

### Brauer group of a rational variety

This is a follow-up question to this question. There and here $X$ is a normal projective rational surface over $\mathbb{C}$ with finitely generated divisor class group $\text{Cl}(X)$. My question is:
...

**3**

votes

**0**answers

141 views

### Possible Betti numbers of smooth complex varieties

Given a smooth projective complex variety $X$ of dimension $n$, there are various restrictions on its sequence of Betti numbers $b_0, b_1, ..., b_{2n}$. Of course, $b_0=b_{2n}=1$ and $b_i=b_{2n-i}$ by ...

**3**

votes

**0**answers

80 views

### Crossed homomorphisms between power series groups

Consider the group $\mathbb{C}[[z]]_1$ of the power series of the form $a_1 z + a_2 z^2 + \cdots$, with $a_1\neq 0$, under the operation of composition, and $\mathbb{C}[[z]]$ as a ...

**3**

votes

**0**answers

94 views

### Action of automorphisms on cohomology with supports

Let $x$ be the closed point of an $n$-dimensional local scheme $X$, essentially smooth over a field $k$. Let $M$ be a sheaf on the category of smooth $k$-varieties (in either Zariski or Nisnevich ...