The tag has no wiki summary.

learn more… | top users | synonyms

7
votes
2answers
277 views

A cohomology group which depends on the connection

Warning: I am not a differential geometer, so some of the following might not make sense. Background: Let $w: (T\Omega)^k \to \mathbb{R}$ be a $k$-tensor on $\Omega$, an open subset of ...
4
votes
1answer
148 views

Interpretations of differentials in hypercohomology spectral sequences as Yoneda products

I would like to know whether the differentials in a particular hypercohomology spectral sequence can each be interpreted, in some natural way, as Yoneda products between extension groups. More ...
7
votes
0answers
105 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 ...
5
votes
0answers
185 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 ...
9
votes
1answer
303 views

Is there a yoga of effectivity for motives and their realizations?

Inside the 'usual' categories of motives (Chow, Voevodsky ones) there are the categories of effective motives. Similarly, there are effective Hodge structures; they seem to be closely related with ...
3
votes
1answer
130 views

Can André–Quillen homology detect the property of being Gorenstein?

Let $(A,m,k)$ be commutative noetherian local ring. Can one detect if $A$ is a Gorenstein ring from the André–Quillen homologies $H_n(A,k,-)$?
6
votes
0answers
94 views

A cdga for compactly supported cohomology (à la Sullivan's algebra of polynomial forms)

Let $M$ be a smooth manifold, and let $\Omega^\bullet(M)$ be the commutative dg-algebra of differential forms on $M$. It is quasi-isomorphic to the dg-algebra of singular cochains on $M$. If $M$ is no ...
4
votes
2answers
260 views

Recommended textbooks for Hamiltonian group actions?

I am doing a project on Hamiltonian group actions on symplectic manifolds, and my supervisor was able to list several good books on Riemannian geometry to start me off, but he didn't know of any ...
10
votes
0answers
167 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 ...
19
votes
0answers
547 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$ ...
1
vote
0answers
231 views

Functors with Mayer-Vietoris Sequences

Let $F$ be a contravariant functor from some category of spaces (e.g. smooth manifolds or (compact?) topological Hausdorff spaces), to Abelian groups. Assume that for any open sets $U, V \subseteq X$ ...
1
vote
0answers
83 views

$D^{\infty}$ modules on analytic spaces

In Mebkhout's paper on Local Cohomology of Analytic Spaces, the following theorem is stated: Let $X$ be a complex smooth manifold and $Y$ is an analytic subspace of $X$. Then ...
1
vote
0answers
111 views

(Co)homology of classifying space of spin group $BSpin(n)$

In the answer for question: Homology of classifying space of spin group BSpin(n), it was shown that $H_i(BSpin(\infty),Z)$ is $0,0,0,Z$, for $i=1,2,3,4$. What is $H_i(BSpin(\infty),Z)$ or ...
15
votes
0answers
256 views

Computability of Brauer groups

A friend of mine and I were talking about computable algebra, and this question came up. The answer may already be known, but I couldn't find it with Google: Suppose I have a countable field, $k$. ...
4
votes
1answer
444 views

When does a cohomology class induce an isomorphism between homotopy groups?

A representative $\alpha$ of a cohomology class $[\alpha]\in H^n(X;\pi_n(X))$ is equivalent to a map from $X$ into an Eilenberg-Mac Lane space as $\alpha:X\to K(\pi_n(X),n)$. After applying a ...
10
votes
0answers
179 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 ...
1
vote
1answer
151 views

What are finite groups $H$ such that $H^n(H,\mathbb{Q/Z}) \cong H_n(G,\mathbb{Z})$?

Let $G$ be a finite group and $G^{\prime}$ be its commutator subgroup. Let $\mathbb{Z}$ and $\mathbb{Q}$ denote the integers and rationals. $\mathbb{Z}$ and $\mathbb{Q/Z}$ treated as trivial ...
3
votes
1answer
276 views

Compactly supported cohomology of homotopy equivalent manifolds

Are there examples of homotopy equivalent smooth, orientable manifolds $M$ and $N$ of the same dimension with non-isomorphic compactly supported cohomology rings?
3
votes
0answers
187 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
1answer
226 views

Group extensions isomorphic as groups

Let $G$ be a group and $A$ a $G$-module. It well know that there is a group isomorphism between the second cohomologoy group $H^2(G,A)$ and the abelian group $OpExt(G,A)$ of classes of extension ...
5
votes
0answers
348 views

Are there any cool applications of the generalized Atiyah-Hirzebruch(-Serre) spectral sequence?

Both the Atiyah-Hirzebruch and the Serre spectral sequence can be constructed from a skeletal filtration of a CW-complex: We can construct the Atiyah-Hirzebruch spectral sequence by filtering $X$ by ...
1
vote
2answers
229 views

A cohomology associated to a 1- form

In this question all objects are real analytic.(manifolds, differential forms..) Assume that $M$ is a compact manifold and $\alpha \in \Omega^{1}(M)$ is a one form. We define a map ...
2
votes
1answer
160 views

mixed Hodge structure on Cohomology with compact support

Let $X$ be a smooth quasi-projective variety of dimension $n$ over the complex numbers (let us assume it is the complement of a normal crossings divisor in a smooth projective variety). Then how does ...
8
votes
1answer
239 views

worked out examples in borel-moore homology

I'm trying to learn about BM homology. I've found a few references and they are all quite abstract and high-powered. I am actually familiar with derived categories and sheaves so I don't mind thinking ...
11
votes
2answers
456 views

Postnikov's algebraic reconstruction of cohomology from homotopy invariants

In his short paper (1951) and longer monograph (1955), Postnikov introduced what I believe are now called Postnikov systems or towers. It is my understanding that Postnikov systems have since then ...
0
votes
0answers
70 views

cohomology of a space from a map to affine plane

Suppose $X$ is an affine variety,complete intersection in $\mathbb{C}^{2n}$, but with a high dimension of singularities. I also have a surjective finite algebraic map $f:X\rightarrow \mathbb{C}^{d}$. ...
4
votes
1answer
164 views

The Borel construction of equivariant cobordism

In $K$ theory, the Borel construction of equivariant cohomology is somehow not the right one. The $G$-equivaraint $K$ theory of a point should be the representation ring of $G$, but $K(BG)$ is this ...
4
votes
2answers
563 views

Why is the derived tensor product only defined for bounded above derived categories?

In "Residues and Duality" by Hartshorne, the derived tensor $\otimes$ only defined for the bounded above categories (see Chapter I, section 4), that is one has $$\otimes: D^{-}(X) \times D^{-}(X) \to ...
7
votes
1answer
279 views

Log forms and Tate classes

Let $X$ be a smooth finite type variety over $\mathbb{C}$. Suppose that $\theta$ is a closed algebraic $1$-form whose cohomology class is weight $2$. Can we always express $\theta$ as $$\theta = ...
12
votes
2answers
347 views

Group cohomology without G-modules (a.k.a. what does this bar construction compute?)

Without any prior exposure to the cohomology of groups, one might naively proceed by replacing a group by a sort of resolution. For instance, let's take $G = \mathbb{Z}^2$, and "resolve": $$ 0 \to ...
2
votes
0answers
213 views

Cech cohomology.

Let us consider the scheme $X$ and the coherent sheaf $\cal F$ on it. We consider finitely many affine open covers $U_{\lambda}$ with $\lambda \in \Lambda$. When I calculate Cech cohomology with ...
35
votes
0answers
825 views

“Gross-Zagier” formulae outside of number theory

The Gross-Zagier formula and various variations of it form the starting point in most of the existing results towards the Birch and Swinnerton-Dyer conjecture. It relates the value at $1$ of the ...
3
votes
0answers
115 views

Cycle class map in non-smooth family of projective varieties

Let $\pi:\mathcal{X} \to T$ be a family of smooth projective complex varieties. Assume $T$ is quasi-projective, reduced, irreducible but not smooth and of positive dimension. Let $\mathcal{Z}$ be a ...
8
votes
1answer
451 views

Are $D^b_{coh}(X)$ and $D^b(Coh(X))$ derived equivalent?

Let $X$ be a variety. Let $D^b(Coh(X))$ be the derived category of bounded complexes of coherent sheaves on $X$, and $D^b_{coh}(X)$ be the derived category of bounded complexes of sheaves of ...
1
vote
1answer
218 views

A functorial property of higher right derived functors

Let $f:X \to Y$ be a projective morphism of complex Noetherian schemes. Assume $Y$ is smooth and for all $y \in Y$, $f^{-1}(y)$ is of pure dimension $1$. Let $\mathcal{F}_1, \mathcal{F}_2$ and ...
3
votes
2answers
249 views

Cohomology of the tangent sheaf of $\mathbb{P}(1,2,3)$

Using the exact sequence $$0\mapsto\mathcal{O}_{\mathbb{P}^{2}}\rightarrow\mathcal{O}_{\mathbb{P}^{2}}(1)^{\oplus 3}\rightarrow T_{\mathbb{P}^{2}}\mapsto 0$$ it is easy to compute ...
9
votes
0answers
293 views

Cohomology and impossible figures

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 figures": ...
2
votes
0answers
121 views

On a difference between $i_!$ and $i_*$ over $\mathbb{P}^1$

Let $X$ be a smooth projective surface in $\mathbb{P}^3$ containing a line $l$. Denote by $C$ the curve corresponding to the divisor $2l$. Let $p \in C$ be a closed point. Denote by $U:=C \backslash ...
1
vote
1answer
115 views

A formula for isotropy group $\pi_1(G_a)$

Let $G$ be a compact Lie group and $T$ be its maximal tours, and $a\in \mathfrak{g}^*$. and $G_a$ be the isotropy group of $G$ then $T\subset G_a$ and we know that $\pi_1(T)=\mathbb{Z}^n$. My ...
1
vote
1answer
74 views

Projection onto cocycles

Consider a finite simplicial complex $X$ and the simplicial cochain complex with real coefficients. The cochain groups are finite-dimensional vector spaces, they have a natural scalar product. The ...
5
votes
2answers
260 views

computing second cohomology $H^2(O_a,\mathbb{Z})\cong \mathbb{Z}^n$ of a generic coadjoint orbit

Let $G$ be a compact , connected and simply connected Lie group and $a\in\mathfrak{g}^*$ (dual of Lie algebra of Lie group $G$). Then let $O_a$ be a generic coadjoint orbit then can we say ...
3
votes
1answer
179 views

Cohomologically minimal spaces

Let $X$ be a compact connected Hausdorff topological space. We say $X$ is a cohomologicaly minimal space, briefly CM space, if $X$ satisfies the following property: "For every proper subset ...
-1
votes
1answer
160 views

A closed manifold with a subset with the same ring cohomology

Is there an example of a closed manifold $M$ with a proper subset $A\subset M$ such the inclusion $i:A \to M$ gives a ring isomorphism $i^{*}$ between $\mathbb{Z}$-cohomologies? In this question ...
1
vote
2answers
242 views

Cohomology of sheaf extended by zero

Let $X$ be a projective scheme of pure dimension $1$. Let $U$ be a open subscheme and $j:U \to X$ the open immersion. Let $\mathcal{F}$ be a coherent sheaf on $U$. Denote by $j_!(\mathcal{F})$ the ...
2
votes
1answer
104 views

Depth of Schubert cycles

For $a:a_1\geq \cdots\geq a_c$, let $\sigma_a$ be the corresponding Schubert cycle over $Gr(c,\infty)$. We say $a$ is of depth $k$ if $a_1-a_c=k$ ($c>1$). Let $a$ and $b$ be of depth $k_1$ and ...
2
votes
0answers
99 views

The transfer map $H_*(BSO(3))\rightarrow H_*(BO(2))$: reference request

All cohomology and homology will be $Z/2$ coefficient. The restriction map $H^*(BSO(3))\rightarrow H^*(BO(2))$ is well-known to be the inclusion of the Dickson invariant $Z/2[w_2,w_3]$ into the ...
0
votes
1answer
104 views

The Existence of Pure Resolutions, Given a Degree Sequence?

I have been trying to understand the proof of the following theorem for the last month, I read some basics of sheaves theory and their cohomology, but still can't get the idea of this important ...
0
votes
1answer
223 views

Example of non-vanishing of first cohomology of a torsion coherent sheaf on a curve

By a curve we mean a projective scheme of pure dimension one. Can some one give an example of a curve $C$ and a torsion coherent sheaf on $C$ such that its first cohomology group does not vanish? ...
1
vote
0answers
94 views

Surjectivity of global sections of sheaf of Kaehler differentials

By a curve I mean a scheme of pure dimension $1$. Let $C_1, C_2$ be a local complete intersection curve in $\mathbb{P}^3$ such that $C_1 \cap C_2$ are finitely many points. Assume further that ...
2
votes
1answer
282 views

Compare global sections of restriction and pullback of sheaves

Let $X$ be a projective scheme and $X \subset \mathbb{P}^n$ for some positive integer $n$. Let $j:Z \hookrightarrow X$ be a closed subscheme. Is it true that $H^0(j^*\mathcal{N}_{X|\mathbb{P}^n}) ...