1. algebraic geometry
  2. algebraic topology
  3. analysis of PDEs
  4. category theory
  5. classical analysis and ODEs
  6. combinatorics
  7. commutative algebra
  8. complex variables
  9. differential geometry
  10. dynamical systems
  11. functional analysis
  12. general mathematics
  13. general topology
  14. geometric topology
  15. group theory
  16. information theory
  17. K-theory and homology
  18. logic
  19. mathematical physics
  20. metric geometry
  21. number theory
  22. numerical analysis
  23. operator algebras
  24. optimization and control
  25. probability
  26. quantum algebra
  27. representation theory
  28. rings and algebras
  29. spectral theory
  30. statistics theory
  31. symplectic geometry

Looking for a better counterexample

This post is doubling my old question asked on Mathoverflow.

Let X be a smooth projective complex variety of dimension d, and let Y\subset X be an ample irreducible divisor. Recall that a cohomology class b\in H^k(X,\mathbf{Q}) is called Y-primitive, if b\smile c_1(Y)^{d-k+1} =0. Here, c_1(Y)\in H^{2}(X,\mathbf{Q}) is the first Chern class of the line bundle associated to Y. We denote by H^k_{\mathrm{prim}}(X,\mathbf{Q}) \subset H^k(X,\mathbf{Q}) the subset of primitive elements.

Let denote …