Skip to main content

Questions tagged [cohomology]

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, ...

471 questions with no upvoted or accepted answers
25 votes
0 answers
1k 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$ (...
Urs Schreiber's user avatar
24 votes
0 answers
787 views

Vector bundle $L$ admits connection if and only if degree of every direct summand of $L$ divisible by $\text{char}\,k$, intuition

Consider the following theorem of Atiyah. Let $X$ be a connected smooth projective curve over an algebraically closed field $k$. Then a vector bundle $L$ on $X$ admits a connection if and only if the ...
user avatar
22 votes
0 answers
805 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 ...
Alex R.'s user avatar
  • 4,912
21 votes
0 answers
845 views

Does the Witten genus determine $\mathrm{tmf}$ (or $\mathrm{TMF}$)?

$\newcommand\specfont[1]{\mathrm{#1}}$$\newcommand\MSpin{\specfont{MSpin}}\newcommand\KO{\specfont{KO}}\newcommand\KU{\specfont{KU}}\newcommand\MString{\specfont{MString}}\newcommand\tmf{\specfont{tmf}...
domenico fiorenza's user avatar
21 votes
0 answers
711 views

If $X\times Y$ is homotopy equivalent to a finite-dimensional CW Complex, are $X$ and $Y$ as well?

Is there a space $X$ that is not homotopy equivalent to a finite-dimensional CW complex for which there exists a space $Y$ such that the product space $X\times Y$ is homotopy equivalent to a finite-...
David Sykes's user avatar
18 votes
0 answers
395 views

Elliptic $\infty$-line bundles over $B G$

Theorem 5.2 in Jacob Lurie's "Survey of Elliptic Cohomology" (pdf) states the equivalence of two maps $$ B G \longrightarrow B \mathrm{GL}_1(A) $$ for $A$ an $E_\infty$-ring carrying an oriented ...
Urs Schreiber's user avatar
18 votes
0 answers
742 views

Steenrod algebra at a prime power

Let $n=p^k$ be a prime power. When $k=1$, the algebra of stable operations in mod $p$ cohomology is the Steenrod algebra $\mathcal{A}_p$. It has a nice description in terms of generators and ...
Mark Grant's user avatar
  • 35.5k
18 votes
0 answers
513 views

Cohomological characterization of CM curves

In his 1976 classical Annals paper on $p$-adic interpolation, N. Katz uses the fact that if $E_{/K}$ is an elliptic curve with complex multiplications in the quadratic field $F$, up to a suitable ...
Andrea Mori's user avatar
17 votes
0 answers
616 views

Which rings are cohomology rings?

Which rings can arise as cohomology rings of algebraic varieties? To be more specific, take a Weil cohomology theory $H^*$ with coefficients in a field $K$ of characteristic 0 defined for smooth ...
mana's user avatar
  • 171
16 votes
0 answers
909 views

Continuous cohomology of a profinite group is not a delta functor

Let $G$ be a profinite group, then there is a general notion of continuous cohomology groups $H^n_{\text{cont}}(G, M)$ for any topological $G$-module $M$ (I require topological $G$-modules to be ...
gdb's user avatar
  • 2,873
16 votes
0 answers
499 views

Are there smooth and proper schemes over $\mathbb Z$ whose cohomology is not of Tate type

Is there an example of smooth and proper scheme $X \to \mathrm{Spec}(\mathbb Z)$, and an integer $i$ such that $H^i(X, \mathbb Q)$ is not a Hodge structure of Tate type? Alternatively: such that $H^...
user114562's user avatar
16 votes
0 answers
611 views

To what extent does (co)homology of groups made discrete depend on set theory?

There's a well-known paper by Milnor, "On the homology of Lie groups made discrete," that discusses the relation between the homology of a Lie group $G$ and the underlying discrete group $G^\delta$. ...
Tyler Lawson's user avatar
  • 51.9k
15 votes
0 answers
366 views

Lurie's applications of $\infty$-topoi in topology

Lurie's book Higher Topos Theory is extremely interesting, but pretty overwhelming. I don't have the time to read it at the moment. However, the last chapter (7) gives applications of $\infty$-topoi ...
user1022117's user avatar
15 votes
0 answers
500 views

Direct comparison zig-zag between cochain theories

In the paper Cochain multiplication, Am. J. Math 124 (2002) pp 547–566, doi:10.1353/ajm.2002.0017 Mandell gives axioms for a cochain-level characterisation of ordinary cohomology theory, lifting ...
David Roberts's user avatar
  • 34.8k
15 votes
0 answers
692 views

Is there an expository account of homology of simplicial sets that does not assume prior familiarity with any variant of homology?

There are numerous expositions of simplicial homology in the literature. Munkres in “Elements of Algebraic Topology” develops the homology theory of simplicial complexes. Hatcher in “Algebraic ...
Dmitri Pavlov's user avatar

15 30 50 per page
1
2 3 4 5
32