Skip to main content
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
Results tagged with
Search options not deleted user 2191

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. …
Mikhail Bondarko's user avatar
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
Mikhail Bondarko's user avatar
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$. …
Mikhail Bondarko's user avatar
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
Mikhail Bondarko's user avatar
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)? …
Mikhail Bondarko's user avatar
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 …
Mikhail Bondarko's user avatar
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? …
Mikhail Bondarko's user avatar
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 …
Mikhail Bondarko's user avatar
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? …
Mikhail Bondarko's user avatar
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 $ …
Mikhail Bondarko's user avatar
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 …
Mikhail Bondarko's user avatar
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. …
Mikhail Bondarko's user avatar
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 …
Mikhail Bondarko's user avatar
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 …
Mikhail Bondarko's user avatar
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 …
Mikhail Bondarko's user avatar

15 30 50 per page