Tagged Questions

The tag has no wiki summary.

learn more… | top users | synonyms

2
votes
1answer
356 views

equivariant cohomology

In this question we consider only cohomology with rational coefficients. All groups will be connected Lie groups. All group actions will be smooth. Let $M$ be a manifold. Let $G$ be a group acting on ...
2
votes
1answer
359 views

system of local coefficients on X, locally constant sheaves and orientation sheaves

Hi, I try to understand the orientation sheaves. When searching it in the google, i meet new areas such as local coefficient system and locally constant sheaves. I realize that any system of local ...
3
votes
0answers
189 views

Cohomologies of polyvector fields of a toric variety.

Hello. I am sorry if this is a totally trivial question. I am interested in computing cohomologies of polyvector fields of an arbitrary complete (algebraic) toric variety (assume smooth if otherwise ...
18
votes
2answers
962 views

How to Draw Complex Line Bundles

I am giving a presentation soon on the Classification of Complex Line Bundles and I would like to have some very "basic" visualizations to use as examples. Background and Context I am considering ...
6
votes
0answers
190 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)$$ ...
1
vote
1answer
214 views

Are these connecting homomorphisms commutative?

Are the connecting homomorphism induced by Kummer sequence and that of localization sequence commutative? In other words, is the following statement true? If it is true, then, how can one prove it? ...
2
votes
0answers
336 views

The cohomology of the relative dualizing sheaf of a relative curve

Let $X\to S$ be a curve over $S=\mathrm{Spec} \ \mathbf{Z}$. Let $\omega$ be the relative dualizing sheaf of $X\to S$. Let $g$ be the genus of the generic fibre. Assume that $g\geq 2$. I know that ...
3
votes
1answer
838 views

injectivity of the pull-back via a finite map

Let $f:X \to Y$ be a finite map of (smooth, compact) complex algebraic varieties. Then a map $f^*$ is defined at the level of Chow and cohomology rings. Say that for simplicity we work with rational ...
11
votes
1answer
950 views

Is it true that all real projective space $RP^n$ can not be smoothly embedded in $R^{n+1}$ for n >1

So first for n even, $RP^n$ is not orientable, hence can not be embedded in $\mathbb{R}^{n+1}$. For odd n, $RP^{n}$ is orientable, hence the normal bundle is trivial. Now using stiefel-Whitney ...
3
votes
1answer
221 views

What is known about formality of flag varieties?

Let $G$ be a connected, complex reductive algebraic group and $X=G/P$ a (partial) flag variety. For example by "Real homotopy theory of Kähler manifolds", we know that its cohomology with real ...
14
votes
5answers
2k views

de Rham vs Dolbeault Cohomology

For a complex manifold $M$, one can consider (A) its de Rham cohomology, or (B) its Dolbeault cohomology. I'm looking for some motivation as to why one would bother introducing Dolbeault cohomology. ...
3
votes
1answer
265 views

Reference for the converse of Cartan's Theorem B

Cartan's theorem B states that every coherent analytic sheaf on a Stein manifold is acyclic. Hartshorne claims that the converse to this theorem also holds, but doesn't supply a reference. Does ...
4
votes
1answer
179 views

determinant of periods

Let $X$ be a projective, smooth algebraic variety defined over the field of algebraic numbers. Consider algebraic de Rham cohomology $H_{dR}(X)$ and singular cohomology of $X(\mathbb{C})$ with ...
0
votes
0answers
222 views

Kunneth formula (finite group cohomology) for non trivial action of group

Is there a Kunneth formula relating $H^i(k[G],A)\otimes_k H^i(k[G],B)$ and $H^i(k[G],A\otimes_k B)$ where $A\otimes_k B$ is given the diagonal $G$ action ?
7
votes
4answers
1k views

Program for computing group cohomology

Is there any computer program with which I can compute the group cohomology H^n(G,V) for a group G acting linearly on a vector space? I mainly care about infinite groups.
4
votes
0answers
225 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 ...
1
vote
1answer
166 views

How can one bound 'the lower perverse degree' for a constant sheaf on a variety that is smooth in high codimension?

Let $V$ be a variety (or a Whitney stratified space); $C$ is a constant etale ('topological') sheaf on it. Let $t$ denote the middle perverse t-structure for the corresponding derived category (of ...
3
votes
1answer
584 views

The Gysin long exact sequence for the complement of the zero section of a line bundle over a (possibly) singular base

Let $pr:X\to Z$ be a line bundle of (possibly) singular varieties (that could be reducible) over a characteristic $p$ field ($p$ could be zero); $U$ is the complement to the zero section $Z\to X$. ...
5
votes
4answers
383 views

(Co)homological characterization of homotopy pullbacks

For a commutative square of spaces (of manifolds, or of simplicial sets): $$S=\left(\begin{array}{ccc} A & \to & B \newline \downarrow & & \downarrow \newline C & \to & ...
1
vote
1answer
204 views

Criteria for acyclicity

Let $X$ be a smooth projective variety. Let $E$ be a line bundle (or, more generally, a vetor bundle) on $X$. Are there any nice criteria for acyclicity of $E$ (that is, for the property $H^i(X,E)=0$ ...
1
vote
0answers
200 views

What can one say about a smooth variety whose lower cohomology is trivial?

Let $X$ be a smooth (quasi-affine) complex variety; suppose that its cohomology (say, with integral coefficients) is trivial in degrees $0 < i\le s$ (for some $s>0$). What can one say about such ...
2
votes
1answer
547 views

Notions related to De Rham Cohomology

In R^2, we have the following abelian groups, some of which have R vector space structures, or even C vector space structures. Closed forms/exact forms real parts of analytic functions/harmonic ...
2
votes
2answers
236 views

Kodaira type vanishing for an ample divisor + effective divisor with SNC support

Norimatsu's lemma says that on a smooth projective complex variety $X$ of dimension $n$, then we have $H^i(X,\mathcal O_X(-A-E))=0$ for $i < n$ when $A$ is an ample divisor and $E$ is a simple ...
3
votes
2answers
537 views

Stiefel-Whitney classes of a projective space bundle

Hi! Let $\gamma_1$ denote the twisted line bundle over $S^1$ and add a trivial $(2k-1)$-bundle $\mathbb{R}^{2k-1}$. Consider the projective bundle $P(\gamma_1 \oplus \mathbb{R}^{2k-1})$ over $S^1$. ...
2
votes
0answers
195 views

Cohomology of a projective limit

If we consider an oriented locally finite graphs $X$, and we suppose that $X$ is the projective limit of a familly of oriented locally finite graphs : ...
6
votes
1answer
310 views

Continuous and smooth Lie groupoid cohomology

In the paper by Weinstein and Xu: Extensions of symplectic groupoids and quantization, J. Reine Angew. Math. 417 (1991), there are two versions of Lie groupoid cohomology. The same differential ...
1
vote
1answer
274 views

Coboundary map on the cochain complex of abelian cosimplicial groups?

Maybe I'm looking at the wrong places, but I can't find a definition of the coboundary map on the cochain complex of abelian cosimplicial groups. What I have in mind is something similar to the ...
9
votes
1answer
525 views

The coproduct on the cohomology of a Hopf algebra

If $H$ is a Hopf algebra over a field $k$, the Hopf algebra cohomology $\mathrm{Ext}_H(k,k)$ is —as usual— an algebra, but the Hopfness of $H$ turns it into a Hopf algebra. Is there a reference ...
2
votes
1answer
241 views

Do cohomologically trivial line bundles affect morphisms?

Assume we have a locally free sheaf $R$ of associative $O_S$-algebras of rank $r^2$, possibly noncommutative, where $S=\mathbb{P}^2$ over $\mathbb{C}$. Furthermore given a locally free $O_S$-module ...
1
vote
1answer
354 views

vanishing of cohomology sheaves with supports and values in the multiplicative group

Let $X$ be a locally noetherian regular scheme and $Y$ be a closed subscheme of codimension $d > 0$ in every point. Why does it "immédiatement" (Grothendieck, Groupe de Brauer III, §6, p. 133 f.) ...
3
votes
0answers
187 views

limit of étale cohomology with supports

I would like to know if the following generalisation of Milne Étale Cohomology, Lemma III.1.16, p. 88 holds: (all cohomology groups with respect to the étale topology) Let $Y \hookrightarrow X$ ...
3
votes
0answers
153 views

Branched Covers of a Two-sphere with Infinite Degree

I would like to ask the following question: Let us consider the following branched cover $X_n$ of $\mathbb{P}^1$ that can be thought as a hyper-surface of $\mathbb{P}^1 \times \mathbb{P}^1$: ...
1
vote
1answer
800 views

Penner's formula for volume of the Moduli Space

In his paper "Weil-Petersson Volumes" Penner gives the following formula for the integral of a top-dimensional cohomology class $\omega$ on the moduli space $\mathcal M_g^s$ of $s$-punctured riemann ...
1
vote
1answer
178 views

combination of two duality theorems

For a variety $X$ over a finite field $k$, one combines étale Poincaré duality for $X \times_k \bar{k}$ with duality for $k$ ($H^0(k,M) \times H^1(k,M^\vee) \to H^1(k,\mathbf{Z}/n) = \mathbf{Z}/n$) to ...
6
votes
0answers
355 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) ...
4
votes
1answer
396 views

Formal Group Laws on Ring Spectra?

Given a (graded) ring $R$, to define a formal group law it is equivalent to define a ring homomorphism $\phi:L\to R$ where $L$ is Lazard's ring. Is there any notion of defining a formal group law on ...
5
votes
2answers
723 views

Are there 'cohomology' functors that respect all Eilenberg-Steenrod axioms except homotopy invariance?

What goes wrong in the axiomatic definition of a generalized (co)homology theory if one drops the axiom of homotopy invariance i.e. that homotopic maps should induce the same map in (co)homology? Or ...
2
votes
1answer
335 views

Which (reducible) projective varieties could be presented as 'relatively smooth' hyperplane sections of irreducible (normal) ones?

Are there any restrictions known on a (complex reducible) projective variety $Y$ that can be presented as $Z\cap H$, where $Z$ is a normal (or just irreducible) closed subvariety of a smooth ...
3
votes
1answer
378 views

Are Kazhdan-Lusztig $R$-polynomials the Poincare polynomials of the corresponding affine varieties

Let $x$ and $y$ be two elements of $S_n$. Let $U(x,y)$ be the intersection $(BxB \cap B_{-} y B)/B$ inside the flag variety. Here $B$ and $B_{-}$ are the groups of upper and lower-triangular matrices ...
2
votes
0answers
306 views

understanding Milne's article “Duality in the flat cohomology of a surface”

I have trouble understanding a point of Milne's article "Duality in the flat cohomology of a surface" http://jmilne.org/math/articles/1976a.pdf see the "Alternatively" on p. 177, paragraph before ...
0
votes
3answers
377 views

Cohomology of complexes

I sometimes see cohomologies of complexes of sheaves. What is the definition of these? Say if $\mathcal F^* $ is a complex of sheaves on $C$, what is $H^i(C,\mathcal F^*) $?
3
votes
1answer
307 views

Does the (torsion) Zariski cohomology of a (singular) hyperplane section of a smooth projective variety vanish (in small degrees)?

Let $P$ be a smooth connected projective variety (say, over complex numbers); $H$ is its smooth hyperplane section. What can be said about the Zariski cohomology of $H$ with constant coefficients? It ...
4
votes
0answers
304 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 ...
5
votes
3answers
607 views

Continuous cohomology of semi-simple Lie group.

Let $G$ be a real connected semi-simple Lie group. Let $M$ be a finite dimensional representation of it. Are there general criteria when the continuous cohomology groups $H_{cont}^q(G,M)$ vanish? A ...
3
votes
2answers
670 views

Group Cohomology of Symmetric Powers

Let $G$ be a finite group and $V$ be an integral representation of $G$, i.e. a free abelian group of finite rank with $G$-action. Now consider the symmetric power $Sym(V)$ of $V$ over $\mathbb{Z}$, ...
4
votes
4answers
837 views

Cohomology groups of homogeneous spaces

Is there a general method to calculate the cohomology groups of homogeneous spaces ($G/H$), such as $\frac{U(4)}{U(2)\times U(2)}$, $\frac{U(5)}{U(2)\times U(3)}$, $U(4)/U(2)$, etc. If yes, could you ...
3
votes
2answers
492 views

Alexander duality theorem for CW-complexes and stable homotopy theory

In Adams, J.F. Infinite Loop Spaces Princ. Univ. Press. page 9 he states Alexander duality theorem Theorem:[Alexander Duality] $$ H^r(X,G)=H_{n-r+1}(S^n-X,G)$$ for finite CW-complexes with a "nice ...
3
votes
1answer
245 views

Large modules with non-trivial cohomology

Let $p$ be a prime and $F$ algebraic closer of $F_p$. I want to know if it is possible to construct family of groups $\{G_i\}_{i=1}^{\infty}$ and a family of simple modules $V_i$ over $F[G_i]$ of ...
11
votes
0answers
315 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 ...
6
votes
2answers
294 views

Cohomology of fixed point subspaces

Suppose $M$ is a smooth manifold and $\phi : M \to M$ is a homeomorphism whose fixed point set is a smooth submanifold $M_{\phi}$. Is there any relation between the cohomology ring of $M_{\phi}$ and ...