Hello everybody,(adsbygoogle = window.adsbygoogle || []).push({});

I've been puzzling over something (quite simple I assume).

Take S^1. Now consider the action of a Z_2 which takes x to -x, where x is a natural coordinate on the cylinder ( -1< x <1). Now we mod out by this action. The new space is an orbifold: smooth except at x=0. It is diffeomorphic to the line internal. We can take 0< x <1 as a coordinate on S^1/Z_2.

Take the set of functions on S^1, call it F_s. To find the set of functions on S^1/Z_2, we should restrict F_s to the the functions which are invariant under the Z_2 action. I.e. they should be symmetric under the reflection. These functions all have f '(0)=f '(1) = 0. These are Neumann boundary conditions on the boundary of S^1/Z_2.

Firstly, correct any errors I have made here. My question is: why must there be Neumann boundary conditions on functions on the line interval? Is this a generic property of manifolds with boundaries? Why are Dirichlet conditions not possible here? Is the singularity important in this example?

Comments welcome. Thank you!

**Physics Forums | Science Articles, Homework Help, Discussion**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Neumann boundary conditions on S^1/Z_2

**Physics Forums | Science Articles, Homework Help, Discussion**