The tag has no wiki summary.

learn more… | top users | synonyms

4
votes
1answer
159 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
490 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
278 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
331 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
206 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 ...
31
votes
0answers
752 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
114 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
417 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
209 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
225 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
265 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
114 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
247 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
176 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
156 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
235 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
102 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
97 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
103 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
214 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
93 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
240 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}) ...
6
votes
2answers
588 views

Faltings-Riemann-Roch Theorem

I found the famous Faltings book ``Lectures on arithmetic Riemann-Roch theorem". In the book, very analytic techniques such as Garding inequality or heat kernel are explained. I have no idea where ...
1
vote
2answers
373 views

Quantization by cohomology

Ok, so I have heard some cool stuff here and there about how to Quantize Yang-Mills via cohomology, can anyone refer any texts in the literature that have shed some light on this, I mean I have some ...
0
votes
0answers
142 views

Metalinear frame bundle on sphere or $\mathbb{C}P^n$

Let $M$ be a smooth manifold. A complex metalinear frame bundle $\tilde F(P)\to M$ of a rank $n$ complex vector bundle $P\to M$ is a principal $ML(n,\mathbb{C})$-bundle together with a covering map ...
0
votes
0answers
94 views

Dimension of the set of polarized sections

Let $M$ be a symplectic manifold. A subbundle $P\subset TM^{\mathbf{C}}$ of the complexified tangent bundle is called a complex polarization if $P$ is Lagrangian, i.e. Maximal isotroic, dim$P_m=n$, ...
24
votes
2answers
2k views

Why should I care about topological modular forms?

There seems to be a lot of recent activity concerning topological modular forms (TMF), which I gather is an extraordinary cohomology theory constructed from the classical theory of modular forms on ...
7
votes
0answers
207 views

Fomin-Kirillov algebras and Schubert calculus

In Fomin, Sergey; Kirillov, Anatol N. Quadratic algebras, Dunkl elements, and Schubert calculus. Advances in geometry, 147--182, Progr. Math., 172, Birkhäuser Boston, Boston, MA, 1999. MR1667680 ...
1
vote
1answer
128 views

lift of antiholomorphic involution of Riemann surface to its Jacobian's cohomology

Start from a connected closed Riemann surface $\Sigma_g,$ obtained as the (symmetric) covering of an open and/or unoriented surface $\Sigma,$ namely $\Sigma=\Sigma_g/\Omega,$ where $\Omega$ is an ...
16
votes
1answer
769 views

For which varieties is the natural map from the Chow ring to integral cohomology an isomorphism?

My apologies if this question is too naive. Let $X$ be a smooth projective complex variety. There is a natural map $A^{\bullet}(X) \to H^{2\bullet}(X)$ of graded rings from the Chow ring of $X$ to ...
2
votes
0answers
84 views

Vanishing theorems that work in positive characteristic

Let $X$ be a smooth projective variety over a field of characteristic $p>0$ of dimension at least $2$. I am looking for some examples when $H^2(\mathcal{O}_X)$ vanishes. Is there any standard way ...
3
votes
0answers
79 views

Additive basis for the cohomology of real flag manifolds

By Borel's description the mod 2 cohomology algebra of the flag manifold is the polynomial algebra on the Stiefel-Whitney classes of canonical vector bundles modulo ideal generated by the dual ...
0
votes
2answers
307 views

Global sections of the structure sheaf of a non-reduced projective scheme

Let $C$ be a curve in $\mathbb{P}^3$ which is of local complete intersection is some smooth surface in $\mathbb{P}^3$. Assume $C$ is non-reduced. What can we say about $h^0(\mathcal{O}_C)$? When can ...
4
votes
0answers
217 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 ...
1
vote
2answers
306 views

Isomorphism of connections on a complex line bundle

Reading an article I faced with the following theorem, please give me a reference to a proof of the fact which is stated without any reference in the article. Is it a well-known fact? Theorem. Let $E ...
2
votes
1answer
404 views

Is the higher direct image sheaf of a locally free sheaf over $\mathbb{P}^1$ locally free?

Let $f:X \to \mathbb{P}^1$ be a projective flat morphism, $X$ is a projective scheme. Let $\mathcal{F}$ be a locally free sheaf on $X$. Are the higher direct image sheaves $R^if_*\mathcal{F}$ locally ...
5
votes
1answer
393 views

Are the Kahler Identities for a Holomorphic Vector Bundle Actually Interesting?

For a Kahler manifold $M$, and a smooth vector bundle $E$ over $M$, let us denote by $A^{(p,q)} := \Omega^{(p,q)} \otimes E$ the bundle of forms with values in $E$. Now with respect to a choice of ...
7
votes
2answers
229 views

Is there a cohomology for magmas?

Is there a cohomology theory for magmas? Or cohomology theories for any class of non-associative algebras (other than Lie and maybe Jordan)?
15
votes
0answers
369 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 ...
0
votes
1answer
483 views

Exact sequences of the cohomology induced by fiber bundle

I'm reading section 2.1 of Lawson's book, Spin Geometry. The book states the following fact. Let $X$ be a manifold and $E$ a vector bundle over it. Equip $E$ with a Riemannian structure. Let $P_O$ be ...
3
votes
2answers
223 views

1st cech cohomology groups on ringed sites

Let $(C, O)$ be a ringed site -- i.e., $C$ is a small category with a grothendieck topology $\tau$ and $O$ a sheaf of rings on the site $(C,\tau)$. In this context, for any object $U$ of $C$ one can ...
2
votes
0answers
191 views

“Extended” Weil Cohomology Theories

According to Wikipedia, a Weil cohomology theory is a functor from the category of smooth projective varieties over a field $k$, to graded algebras over a field $K$ of characteristic zero, together ...
0
votes
0answers
69 views

Hit problem and $\left( \mathbb{F}_2 \otimes_{A} P_6 \right)_{10}$

I try to determine the $\left(\mathbb{F}_2 \otimes_{A} P_6 \right)_{10}$ as a $\mathbb{F}_2$- vector space, in which $P_6$ is polynomial algebra $\mathbb{F}_2[x_1,x_2,\dots,x_6]$ and $A$ is Steenrod ...
1
vote
0answers
197 views

What is your expectation of the depth?

Let $S=k[x_1,...,x_9]$ be a polynomial ring over field $k$. Set $q_1=(x_1,x_2,x_5,x_6)$, $q_2=(x_1,x_2,x_6,x_7)$, $q_3=(x_2,x_3,x_7,x_8)$, $q_4=(x_1,x_5,x_6,x_7)$, $q_5=(x_1,x_6,x_7,x_8)$, ...
0
votes
1answer
328 views

A generalization of cochain complex: quasi-cochain complex

It appears that we can generalize cochain complex to quasi-cochain complex, that still allow us to define cohomology. Definition: A quasi-cochain complex is a sequence of commutative monoids $M_n$ ...
4
votes
2answers
287 views

How does Tate cohomology fit into a derived categories framework?

I've read through one class field theory text after another, but there's something very non-intuitive for me about cohomology that makes it hard for me to understand why Tate cohomology was invented. ...
1
vote
1answer
124 views

first cohomology of exterior power of tangent bundle

suppose G is a Grassmannian manifold, and TG is the tangent bundle. By Bott's theorem $H^1(G, T_G)=0$. Is it true that $H^1(G, \bigwedge^i T_G)=$, for i>0. I saw some vanishing result by lepotier, ...
2
votes
2answers
200 views

Confusion about two statements about cohomology of curves with automorphisms

Let $\pi :C\rightarrow \mathbb{P}^{1}$ be a cyclic cover of degree $m$ of $\mathbb{P}^{1}$. So $C$ has an action of $\mathbb{Z}/m\mathbb{Z}$. Let $\xi$ be a primitive $m$-th root of unity. Consider ...