Skip to main content

All Questions

13 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
9 votes
0 answers
640 views

Does Stokes theorem have anything to do with adjoint functors?

I notice some similarity between Stokes theorem in differential geometry and the definition of adjoint functors: in both cases, there is a 2-placed function (the $\operatorname{hom}$ functor, or the ...
Benaya's user avatar
  • 91
9 votes
0 answers
347 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$ ...
Enok's user avatar
  • 91
6 votes
0 answers
156 views

Geometric theory for cohomology groups $H^p(M;\mathbb{Z})$

An excerpt from the book Loop Spaces, Characteristic Classes and Geometric Quantization by Jean-Luc Brylinski is mentioned below: Characteristic classes are certain cohomology classes associated ...
Praphulla Koushik's user avatar
5 votes
0 answers
248 views

Algebraic de Rham cohomology with torus coefficients

Let $X$ be a smooth projective variety over $\mathbb{C}.$ On page 3 in this preprint of Simpson, it is stated that Notice first of all that the algebraic de Rham theory is not going to work well in ...
lzww's user avatar
  • 123
4 votes
0 answers
109 views

Generalized de Rham cohomology on product bundle giving specified cohomology

Given a compact, smooth manifold $M$ and a real vector bundle $E \to M$ (in general not flat). There already have been numerous questions about how to equip the space $\bigoplus_k \Gamma(\Lambda^k T^* ...
user avatar
3 votes
0 answers
96 views

L^1 gradient bounds for potentials of weakly closed forms

Context: The Poincaré-lemma is a central statement in differential geometry. It shows that a k-form is closed iff it is exact. A special case is as follows: Let $\omega\in\Omega^k(U)$ with $\omega=\...
MrVolt16's user avatar
2 votes
0 answers
241 views

Monodromy group action on de Rham cohomology

Let $f : Y \longrightarrow X := \mathbb{P}^1\setminus\{0,1,\infty\}$ be the smooth proper morphism associated to the Legendre family, which is an elliptic fibration of the punctured line, with fibre ...
kindasorta's user avatar
  • 2,907
2 votes
0 answers
130 views

Interpreting the Higher-order Hodge-Laplace Operator

As an operator on functions, one intuitive way to think about the Laplacian seems to be as an operator that returns the average difference between a function's value at a point and the values of its ...
richokicked800goals's user avatar
2 votes
0 answers
152 views

When are automorphisms of the cohomology ring realized by isometries?

Let $(M,g)$ be a closed smooth Riemannian manifold, and denote by $G$ a closed subgroup of its isometry group. By considering the maps $g^*$ induced by elements $g\in G$ in the (de Rham) cohomology $H^...
Renato G. Bettiol's user avatar
2 votes
0 answers
327 views

Suppose that two cohomologous forms agree on every restriction. Do they agree?

Let $\eta$, $\omega$ be two $(1,1)$-forms on $\mathbb{C}^m \times Y$, where $Y$ is a compact Kahler manifold with vanishing first Chern class, i.e., a Calabi-Yau manifold. Suppose that for all $z \in \...
AmorFati's user avatar
  • 1,379
2 votes
0 answers
190 views

What is known about this type of generalisation of de Rham cohomology?

I will describe a certain generalisation of de Rham cohomology; things could be generalised further but I will stick to a concrete example. A $0$-double-form is a function on the complex plane $\...
Josh Kirklin's user avatar
1 vote
0 answers
82 views

Projection to trivial reduced cohomology class in $L^2(\mathbb{R})$

Given that I have had no success on the mathematics stackexchange (see here), I've decided to try my luck here. I am attempting to solve the following exercise (original formulation here), which to my ...
Pastudent's user avatar
  • 111
0 votes
0 answers
85 views

Existence of covering space with trivial pullback map on $H^1$

I have seen somewhere the following claim (but can't remember where): let $M$ be a connected orientable closed smooth manifold with $b_1(M)=1$, then there exists a connected covering space $p:\tilde{M}...
F. Müller's user avatar