Conditions for Solution to Pullback Equation on Forms?

  • Context: Graduate 
  • Thread starter Thread starter WWGD
  • Start date Start date
  • Tags Tags
    Conditions Forms
Click For Summary
SUMMARY

The discussion centers on the conditions necessary to solve the pullback equation \( q^* \beta = \omega \) for a 1-form \( \omega \) on a compact surface \( S \) with nonempty boundary, under the mapping torus defined by the quotient map \( q: S \times I / \sim \). The challenge arises from the induced map \( q^*: H^m(S \times I / \sim) \to S \times I \), which is not necessarily onto due to \( q \) not being a homeomorphism. The user ultimately resolves their query independently.

PREREQUISITES
  • Understanding of mapping tori in topology
  • Familiarity with 1-forms and pullback operations
  • Knowledge of cohomology and its applications
  • Basic concepts of quotient spaces and homeomorphisms
NEXT STEPS
  • Research the properties of mapping tori and their cohomological implications
  • Study the conditions under which pullback equations can be solved in differential geometry
  • Explore the role of homeomorphisms in the context of quotient maps
  • Investigate examples of 1-forms on compact surfaces and their pullbacks
USEFUL FOR

Mathematicians, particularly those specializing in topology and differential geometry, as well as graduate students exploring advanced concepts in cohomology and differential forms.

WWGD
Science Advisor
Homework Helper
Messages
7,803
Reaction score
13,106
Hi, All:

I have a quotient map given by the mapping torus (S,h) , where S is a compact surface with nonempty boundary, and h: S→S is a homeomorphism. Let I=[0,1].
The mapping torus ## S_h## of the pair (S,h) is defined as the quotient q: $$ q:S \times I/~$$ , where (x,0)~(h(x),1), i.e., we glue ## S \times I## along h.

Now, let ω be a 1-form on S . I'm trying to see under what conditions we can solve the pullback equation:
$$ q* β =ω $$ ,

i.e., I want to find a form β on ## S_f## which pulls-back to ω . Now, the problem is that the induced map ## q*: Hm( S \times I/~)→ S \times I##on cohomology is not necessarily onto -- q is not a homeomorphism, for one, tho the gluing map is almost as nice as can be, since it is a homeomorphism.

Can anyone think of conditions on ω under which there is a form β with ω= q* β ?

Thanks.
 
Last edited:
Physics news on Phys.org
Never mind, thanks, I got it.
 

Similar threads

  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 7 ·
Replies
7
Views
6K
  • · Replies 2 ·
Replies
2
Views
4K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 9 ·
Replies
9
Views
5K
  • · Replies 4 ·
Replies
4
Views
4K
  • · Replies 7 ·
Replies
7
Views
10K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 21 ·
Replies
21
Views
2K
  • · Replies 20 ·
Replies
20
Views
6K