Search Results
Search type | Search syntax |
---|---|
Tags | [tag] |
Exact | "words here" |
Author |
user:1234 user:me (yours) |
Score |
score:3 (3+) score:0 (none) |
Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
Views | views:250 |
Code | code:"if (foo != bar)" |
Sections |
title:apples body:"apples oranges" |
URL | url:"*.example.com" |
Saves | in:saves |
Status |
closed:yes duplicate:no migrated:no wiki:no |
Types |
is:question is:answer |
Exclude |
-[tag] -apples |
For more details on advanced search visit our help page |
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-cohomology, motivic-cohomology, equivariant-cohomology, ...
3
votes
0
answers
90
views
Are local complete intersections of small codimension necessarily (global) complete intersec...
If any counterexamples (that is, local set-theoretic complete intersections of small codimension that are not complete intersections) are known, I would like to know their lower cohomology. …
3
votes
0
answers
42
views
How would you call morphisms of varieties that induce isomorphisms on etale cohomology in lo...
text we have several statements of the following sort: for a certain morphism $f:X\to Y$ of varieties over an (algebraically closed) field of characteristic $p$ and some $c>0$ the corresponding etale cohomology …
3
votes
0
answers
318
views
Motives (and examples) of projective bundles over projective spaces
If a projective bundle $Y$ over a variety $X$ is obtained from a vector bundle $E/X$ then the cohomology and the motif of $Y$ is known to be closely related to that of $X$. …
2
votes
Accepted
Lefschetz hyperplane section theorem for intersection homology
, if $Y$ is singular then you surely don't have transversality and probably don't have the isomorphism in question (as far as I remember, the intersection homology of $X$ is isomorphic to its "usual" cohomology …
2
votes
0
answers
275
views
Can one compute the (etale) cohomology with support at a point for a "big" regular $k$-schem...
Étale cohomology with support and functoriality). … Still, does there exist a method for "computing" this relative cohomology (preferably by relating to the cohomology of some $\mathbb{C}$-varieties)? …
2
votes
1
answer
187
views
On countable homotopy colimits in (the derived categories of) AB3 abelian categories
If $h_i:A_i\to A_{i+1}$ is a countable chain of morphisms in an abelian category $A$ that is AB3 then one can consider the (Bökstedt-Neeman) homotopy colimit of $A_i$ in $D^b(A)$. This is a two-term c …
3
votes
2
answers
294
views
Is the "inverse" (i.e., the "cohomological") numeration for singular (i.e., $H\mathbb{Z}$-)h... [closed]
Certainly, the usual way to switch the numeration is to consider $H^i=H_{-i}$; yet in topology one never calls singular homology a cohomology theory!
See Homology or cohomology? …
13
votes
1
answer
587
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 eff …
1
vote
0
answers
114
views
A certain 'coniveau-like' filtration for cohomology: what can one say about the intersection...
subvarieties of $X$ of dimension $m$ (here $H^\ast$ is singular or etale cohomology)? Did anybody study this filtration (for fixed $X,i$, when $m$ varies) before? …
2
votes
0
answers
194
views
A nice way to verify whether the Neron-Severi group of a smooth affine variety is zero
Unfortunately, I don't know how to compute the cohomology of my $S$; I only know that it has 'many holes' in it (i.e. it is 'very far from being projective'), and it is finite over a variety $X$ with $ …
2
votes
0
answers
326
views
Voevodsky's 'split standard triple' argument: an explanation; does it work with $Z/nZ$-coeff...
One says that a triple is split over $U$ if a certain line bundle is trivial (see Definition 11.11); this has certain consequences for cohomology of varieties with coefficients in a homotopy invariant …
4
votes
1
answer
337
views
For a finite flat (etale?) morphism $f:Y\to X$, is $f_*1_Y-\deg f . 1_X$ nilpotent in $A^0(X...
Let $A^\ast$ be an algebraic oriented cohomology theory (i.e. it is equipped with certain push-forwards for projective morphisms of smooth varieties over the base field $k$; see section 2 of http://www.math.uiuc.edu … It seems sufficient to prove the latter for $A^\ast$ being the algebraic cobordism (as defined by Levine and Morel), since this is the universal algebraic oriented cohomology theory. …
1
vote
1
answer
239
views
How can one bound 'the lower perverse degree' for a constant sheaf on a variety that is smoo...
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 she …
5
votes
1
answer
2k
views
The Gysin long exact sequence for the complement of the zero section of a line bundle over a...
Note that one can compute the cohomology of $U$ as the hypercohomology $H^*(Z,Rpr'_\ast\mathbb{Z}/l^n\mathbb{Z}_U)$, where $pr': U\to Z$ is the corresponding prinicple $G_m$-bundle. … Cf. https://mathoverflow.net/questions/89171/on-the-cohomology-of-g-m-bundles-and-purity-for-singular-varieties …
6
votes
4
answers
644
views
(Co)homological characterization of homotopy pullbacks
Certain examples and http://ncatlab.org/nlab/show/fiber+sequence#LongSequCoh
seem to suggest that the cohomology of $D$ should be something like $H^*(B)\otimes_{H^*(A)}H^\ast(C)$ (in lower cohomological …