The tag has no wiki summary.

learn more… | top users | synonyms

31
votes
0answers
720 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 ...
17
votes
0answers
447 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$ ...
16
votes
0answers
559 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
355 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 ...
15
votes
0answers
394 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 ...
14
votes
0answers
240 views

Computability of Brauer groups

A friend of mine and I were talking about computable algebra, and this question came up. The answer may already be known, but I couldn't find it with Google: Suppose I have a countable field, $k$. ...
12
votes
0answers
401 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
305 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
726 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
153 views

K-theoretic version of Artin-Mazur formal groups?

An Artin-Mazur formal group is, when it exists, the deformation theory of ordinary cohomology of some degree, on some algebraic variety. My question here is: Has the generalization of the theory of ...
10
votes
0answers
172 views

“topological” Ochanine genus?

The Witten genus has famously been lifted to the string orientation of tmf ("topological Witten genus"). For the Ochanine genus I am aware of a lift to a "spin orientation of Tate K-theory", namely to ...
10
votes
0answers
387 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
254 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
163 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 ...
9
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
95 views

When is the projection of an induced fibration trivial on cohomology?

Let $p: E\to B$ be a fibration, and let $f: A\to B$ be a continuous map. In my applications, $E$ and $B$ are finite complexes, but $A$ need not be. Form the pullback $$ \begin{array}{ccc} W & \to ...
7
votes
0answers
385 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, ...
6
votes
0answers
195 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
209 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
164 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
134 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
527 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
178 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
352 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
606 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
327 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
79 views

A cdga for compactly supported cohomology (à la Sullivan's algebra of polynomial forms)

Let $M$ be a smooth manifold, and let $\Omega^\bullet(M)$ be the commutative dg-algebra of differential forms on $M$. It is quasi-isomorphic to the dg-algebra of singular cochains on $M$. If $M$ is no ...
5
votes
0answers
271 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
195 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
291 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
408 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
96 views

Complexes of arithmetic $\mathcal{D}$-modules with Frobenius structure

This is a question about the category $F\text{-}D^b_\mathrm{coh}(\mathscr{D}^\dagger_{\mathscr{X},\mathbb{Q}})$ of complexes of arithmetic $\mathscr{D}$-modules with Frobenius structure on a smooth ...
4
votes
0answers
167 views

Which ring spectra have some kind of exponential map turning addition into multiplication?

This accepted answer to the question about $BU_\otimes$ made me recall that I want to read about this general phenomenon for a long time. What will follow is sort of vernacular but whether it can be ...
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
223 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
302 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
180 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
379 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
378 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
109 views

Are there any useful Grothendieck topologies for which the H1 of $GL_n$ is not the set of rank $n$ vector bundles

Let n be a positive integer and X a scheme. Then for all the Grothendieck topologies I know (Zariski, etale, fppf) the set $H^1(X,GL_n)$ is the set of (isomorphism classes of) rank $n$ vector bundles. ...
3
votes
0answers
173 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
112 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
79 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
101 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
151 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
143 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
360 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
186 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$: ...