The tag has no wiki summary.

learn more… | top users | synonyms

28
votes
0answers
614 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 ...
16
votes
0answers
549 views

What is classified by the (big) crystalline topos?

In his paper "Generic Galois Theory of Local Rings", G.C. Wraith states on p. 743 that the (big) crystalline topos "can be conveniently described in terms of the theory it describes". What exactly is ...
15
votes
0answers
392 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 ...
13
votes
0answers
325 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 ...
12
votes
0answers
387 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 ...
11
votes
0answers
296 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 ...
11
votes
0answers
691 views

Dolbeault cohomology of complex tori.

Let $T=\mathbb C^n/\Lambda$ a complex torus. It is completely elementary to prove that the de Rham cohomology of $T$ in degree $q$ is isomorphic to the $q$-th exterior power of the dual of $\mathbb ...
10
votes
0answers
363 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$. ...
9
votes
0answers
230 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": ...
9
votes
0answers
153 views

KK-theory by abelianized correspondences of smooth stacks?

Whith (Kasparov, bivariant) KK-theory I am left with the nagging feeling that the theory is "more fundamental", than has been made explicit, that there is a "more profound" universal characterization ...
8
votes
0answers
1k views

Is Witten's new method of quantization useful for geometric complexity theory?

The Kempf-Ness theorem (see e.g. arXiv:0912.1132) - that the algebraic quotient of geometric invariant theory is also a symplectic quotient - suggests (to me) that certain physical constructions used ...
7
votes
0answers
365 views

Integral decomposition of the diagonal (Chow motives)

Let $k$ be a field of characteristic zero and let $X$ be a smooth proper varity over $k$ of dimension $d$. The Künneth standard conjecture conjectures that there exist projectors $e_0, e_1, \ldots, ...
7
votes
0answers
146 views

References regarding a connection between recursion theory and sheaves

In Manin's A Course in Mathematical Logic for Mathematicians, he defines (p.201) a structure $(\mathcal{E},R)$ given an enumerable set $E \subset (\mathbb{Z}^+)^n$ by: $\mathcal{E}$ is the set of ...
6
votes
0answers
174 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 ...
6
votes
0answers
205 views

Real schubert calculus

Studying real enumerative questions I noticed, that the even-even Schubert varieties of the real Grassmannian $Gr:=Gr_{2k}(2n,\mathbb R)$ behave analogously to the complex case. I call a partition ...
6
votes
0answers
159 views

Evens norm as a derived functor

In the theory of cohomology of groups there are several important maps between cohomologies: restriction, inflation, transfer and Evens norm. The first three of them can be clearly seen on the level ...
6
votes
0answers
125 views

Is there a Hodge isomorphism theorem for part tangential, part normal, harmonic differential forms

Let $M$ be an oriented compact Riemannian $n$-manifold with boundary $\partial M$. A differential $p$-form $\omega$ on $M$ is normal if $i^* \omega = 0$ holds, tangential if $i^* \star \omega = 0$ ...
6
votes
0answers
493 views

Is there any “deep” relation between the localization theorem of equivariant cohomology and the localization theorem of equivariant K-theory

First let's consider equivariant cohomology: if a compact Lie group $G$ acts on a compact manifold $M$. We have the equivariant cohomology $ H_G(M)$ defined as the cohomology of the cochain complex ...
6
votes
0answers
170 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)$$ ...
6
votes
0answers
346 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) ...
6
votes
0answers
558 views

Why is the Nil-Hecke Algebra appearing?

The Nil-Hecke algebra is defined to be the subalgebra of the endomorphism ring of $\mathbb{C}[x_1,\ldots,x_n]$ generated by the operators of multiplication by $x_i$ and the divided difference ...
6
votes
0answers
315 views

Is singular cohomology representable by a (Voevodsky's) motivic complex?

For any $c>0$ does there exist an object $C$ of Voevodsky's $DM^{eff}_-$ (over the field of complex numbers) such that for any $i\le c$ and any smooth variety $X$ the $i$-th singular cohomology of ...
5
votes
0answers
203 views

Are there any cool applications of the generalized Atiyah-Hirzebruch(-Serre) spectral sequence?

Both the Atiyah-Hirzebruch and the Serre spectral sequence can be constructed from a skeletal filtration of a CW-complex: We can construct the Atiyah-Hirzebruch spectral sequence by filtering $X$ by ...
5
votes
0answers
191 views

Which pure categories related with Weil cohomology theories are semi-simple?

As far as I understand, the category of pure polarizable Hodge modules is semi-simple, whereas the cohomology of the corresponding schemes is graded polarizable. Is it true that one doesn't have any ...
5
votes
0answers
288 views

Generalized Hodge conjecture for cohomology of smooth non-proper varieties?

Is there such a statement known i.e. does there exist a conjectural description of the coniveau filtration for singular cohomology of a smooth non-proper variety over the field of complex numbers (in ...
5
votes
0answers
400 views

Is there a direct way to compute the higher derived image sheaves of a family of $\mathbb{P}^n$s?

Let $V\rightarrow Y$ be a vector bundle of rank $n+1$ over $Y$, with $Y$ reasonably nice (I care about the case of smooth, irreducible affine). Let $X=\mathbb{P}(V)$ be the projectivization of $V$, so ...
4
votes
0answers
215 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 ...
4
votes
0answers
215 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 ...
4
votes
0answers
300 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 ...
4
votes
0answers
178 views

cohomological dimension for coarser/finer topologies

Given a sheaf $\mathcal{F}$ with respect to some Grothendieck topology, is the cohomological dimension for this sheaf less than or equal to the cohomological dimension of a finer topology? Example: ...
4
votes
0answers
370 views

Cohomology of Real algebraic Varieities

I understand Serre's GAGA theorem as saying that equations over algebraically closed fields can be studied equally from the algebraic and analytic points of view, at least with respect to cohomology. ...
4
votes
0answers
375 views

What is the right notion of equivariant Cech cohomology?

What is the right definition of equivariant Cech cohomology is so that given a $G$-space $X$, $H^1_G(X;H)$ classifies $G$-equivariant principal $H$-bundles on $X$?
3
votes
0answers
145 views

Cohomology of BG, algebraically

Let $k$ be a field (algebraically closed if you will) and $G$ be a connected reductive group over $k$. I would like to know a purely algebraic computation of the cohomology of $BG$, as the quotient ...
3
votes
0answers
107 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 ...
3
votes
0answers
68 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 ...
3
votes
0answers
96 views

consistent orientation for functorial pull-push in generalized cohomology

Given a correspondence $X_{\mathrm{in}} \stackrel{i_{\mathrm{in}}}{\leftarrow} X \stackrel{i_{\mathrm{out}}}{\to} X_{out}$ of suitable "spaces" of sorts, and given a (generalized) cohomology theory ...
3
votes
0answers
141 views

In the cohomology of Thom spectrum over LoopS^{2} and p-adic characteristic classes

Let $T$ denote the thom spectrum over $\Omega S^{2}$ defined by the map $1+3: \Omega S^{2} \to BG_{3}$ where $1 +3$ is a unit in $3$-adics. Here $G_{3}$ is the unit component of ...
3
votes
0answers
142 views

For a finite flat (etale?) morphism $f:Y\to X$, is $f_*1_Y-\deg f . 1_X$ nilpotent in $A^0(X)$, where $A^*$ is the algebraic cobordism?

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 ...
3
votes
0answers
353 views

Finite Field Varieties and the de Rham Complex of Kähler Differentials

In an answer to a previous question I asked, where the Kahler differentials of a variety over a finite field were discussed, it was stated that: You can certainly define de Rham cohomology using ...
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 ...
3
votes
0answers
182 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
151 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$: ...
3
votes
0answers
496 views

Untwisting the Cohomology with Twisted Coefficients

This question is set on a finite $2$-group $G$ and a subgroup $H$ of index $2$ (but perhaps the question could be answered for arbitrary orders/indexes). It was asked here on MO whether ...
3
votes
0answers
271 views

Two definitions of Čech cohomology

Hello, I have found different definitions of Čech complex for sheaf $F$ od abelian groups on topological space $X$ with respect to the cover $\mathcal U$. One in Gelfand-Manin says to take product of ...
3
votes
0answers
347 views

Cohomology and tensor product

Let $G$ be a profinite group, $A$ a free $\mathbb{Z}_p$-module of finite rank with a continuous action of $G$ and $B$ any $\mathbb{Z}_p$-module (I am not supposing it to be free), with the trivial ...
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 ...
2
votes
0answers
77 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 ...
2
votes
0answers
71 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 ...
2
votes
0answers
164 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 ...
2
votes
0answers
212 views

Global sections of a coherent sheaf in terms of a presentation

Let $A$ be a graded ring satisfying the usual finiteness conditions of EGA II (for example $A_0$ is noetherian, $A_1$ is finite over $A_0$ and $A$ is generated by finitely many elements of $A_1$ as an ...