# Tagged Questions

A branch of algebraic topology concerning the study of cocycles and coboundaries. It is in some sense a dual theory to homology theory. This tag can be further specialized by using it in conjunction with the tags group-cohomology, etale-cohomology, sheaf-cohomology, galois-cohomology, lie-algebra-...

309 views

### Relation between cohomology of ordered and unordered configuration spaces

Let $M$ be a manifold. Then $F(M,k)/\Sigma_k$, the unordered configuration space of $k$ points, is obtained as a quotient of $F(M,k)$, the ordered configuration space of $k$ points, by the group ...
353 views

### Leray's theorem up to some degree

I am interested in the proof of Leray's theorem that relates Čech cohomology and sheaf cohomology. The theorem states that if we have a space $X$, a sheaf $\mathcal{F}$ and a covering of $X$ such ...
136 views

### cohomology algebra of unordered configuration space on Euclidean space

In Homology of $C_{n+1}$-spaces, $n\geq 0$, F.R. Cohen, Lecture Notes in Mathematics, Vol. 533, page 210 (the preface part before contents): Line 2: ... is used to compute the precise algebra ...
139 views

### cohomology of an intermediate extension of a local system

Let $V$ be affine $n$-space over a field $k$; and $j \colon U \to V$ an open subscheme of $V$. Let $L$ be an $\ell$-adic local system on $U$. Suppose the cohomology of $H^{\bullet}(U,L)$ does not ...
221 views

### The cohomology of an $S_{3}$ cover of an elliptic curve ramified in one point

Let $E/\mathbb{C}$ be an elliptic curve. Let $C \to E$ be a Galois cover with group $G = S_{3}$ (symmetric group on $3$ elements), ramified in one point. (To clarify: there is a unique point in $E$ ...
106 views

### Closed Invariant Forms on Complex Projective $k$-Space

Considering complex projective $k$-space as the homogeneous space $SU_k/U_{k-1}$, is it true that every $SU_k$-invariant form is closed?
119 views

516 views

### When did “Betti cohomology” come to be used the way it is today? (and how is it used)

This is sort of a mixture of a math and history question. First the math part: thinking about it, I do not actually know how to properly use the term "Betti cohomology". I know I should, but I don't....
315 views

285 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 ...
209 views

### generalized Atiyah-Hirzebruch spectral sequence from Postnikov truncation

The Atiyah-Hirzebruch spectral sequence \begin{equation*}E^2_{p,q}=H_p(B,h_q(F))\Rightarrow h_{p+q}(E),\end{equation*} computes the generalized homology $h$ of a total space $E$ of a Serre fibration ...
807 views

### Making $\mathbb{Q}$-cohomology integral

Let $X$ be an algebraic variety (say, smooth and projective) over $\mathbb{C}$, and fix $$\alpha\in H^i(X^{\text{an}}, \mathbb{Q})$$ with $i>0$. Does there always exist a variety $Y$ and a ...
312 views

201 views

### The cohomology groups of $\Omega U(n)$

Let $\Omega U(n)$ be the loop space of $U(n)$. Is it true that the cohomology groups $H^*(\Omega U(n); \mathbb{Z})$ are torsion-free? How can one calculate these groups?
234 views

### l-adic cohomology and perverse sheaves

Let consider the map $tr:\mathbb{G}_{m}^{n}\rightarrow\mathbb{A}^{1}_{\mathbb{F}_{q}}$ given by the sum of the coordinates and let $\psi:\mathbb{F}_{q}\rightarrow\mathbb{Q}_{l}^{*}$ a non trivial ...
58 views

### Which groups may be obtained as $K$-homology groups?

Recently I asked the following question, about the separability of the underlying $C^*$-algebra in the definition of $K$-homology: mathoverflow.net/questions/181361 As far as I understood, ...
192 views

142 views

### Are there any useful Grothendieck topologies for which the H1 of $GL_n$ is not the set of rank $n$ vector bundles

Let n be a positive integer and X a scheme. Then for all the Grothendieck topologies I know (Zariski, etale, fppf) the set $H^1(X,GL_n)$ is the set of (isomorphism classes of) rank $n$ vector bundles. ...
109 views

### Cohomology of a fibered surface

Let $R$ be a complete Henselian discrete valuation ring, $\pi:X \to \mathrm{Spec} (R)$ be a smooth, proper, integral, flat $\mathrm{Spec} (R)$-scheme of dimension $2$. Assume that the genus of the ...
135 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 ...
215 views

### What properties of line bundles can be detected cohomologically?

Let $X$ be a proper, finite type scheme over a field $k$. What useful properties of line bundles (e.g. amplitude, nefness) can be detected cohomologially? For example, in our setting we have the ...
212 views

### extension problem for the Atiyah-Hirzebruch spectral sequence

For a generalized homology theory $h$ and a Serre fibration $F\rightarrow E\rightarrow B$, we can define an Atiyah-Hirzebruch spectral sequenceE^2_{p,q}=H_p(B,h_q(F))\Rightarrow h_{p+q}...
336 views

### stability results for the Atiyah-Hirzebruch spectral sequence

For a generalized homology theory $h$ and a Serre fibration $F\rightarrow E\rightarrow B$, we can define an Atiyah-Hirzebruch spectral sequenceE^2_{p,q}=H_p(B,h_q(F))\Rightarrow h_{p+q}...
779 views

### What morphisms induce injective/surjective maps on (Weil) cohomology?

Let $k$ be a field, let $f \colon X \to Y$ be a morphism of $k$-varieties, and assume $X$ and $Y$ are smooth and projective. Let $H(\_)$ be a classical Weil cohomology theory (i.e. one of $\ell$-adic ...
### help with cohomology of $\mathbb{P}^n$ relative to a NCD
Let $H_0, \ldots, H_n$ be $n$ hyperplanes in $\mathbb{P}^n(\mathbb{C})$ with normal crossings and denote by $H$ the union of them. I am trying to understand why (1) $H^n(\mathbb{P}^n(\mathbb{C}), H)$...