Intereting Posts

How to evaluate this integral$\int_{-\infty}^\infty\dfrac{\omega^\alpha e^{i\omega t}}{(\omega_0^2-\omega^2)^{2}+4(\zeta\omega_0\omega)^2}\,d\omega$
Definite integral, quotient of logarithm and polynomial: $I(\lambda)=\int_0^{\infty}\frac{\ln ^2x}{x^2+\lambda x+\lambda ^2}\text{d}x$
How to show that this set is compact in $\ell^2$
Integer solutions for $x^3+2=y^2$?
$-1$ is a quadratic residue modulo $p$ if and only if $p\equiv 1\pmod{4}$
Bhattacharya Distance (or A Measure of Similarity) — On Matrices with Different Dimensions
Is there an explanation for these gaps?
Prime factor of $14 \uparrow \uparrow 3 + 15\uparrow \uparrow 3$ wanted
Solve recurrence equation $T(n)=2T(n-1)-4$
How do I calculate the odds of a given set of dice results occurring before another given set?
In an abelian group, the elements of finite order form a subgroup.
Prove: the function series, $\sum_{n=0}^{\infty}\frac{(-1)^{n-1}x^2}{(1+x^2)^n}$ uniformly converges
Can you help me understand this definition for the limit of a sequence?
Determining the Smith Normal Form
is a one-by-one-matrix just a number (scalar)?

Suppose $S$ is a closed surface with genus greater than $1$. Give an example of two loops on $S$ which are not homotopic, but are homologous to each other.

I need help solving this question. I have read the Wikipedia page on it and I realize that it does not contain the necessary knowledge to visualize this problem.

And I was also wondering the relation between the fundamental group $\pi_1(S)$ and the first homology group $H_1(S)$? Some restrictions is that $S$ is a closed surface and the genus is greater than $1$.

- Practicing Seifert van Kampen
- What is this space homeomorphic/homotopy equivalent to?
- If $M$ is a nonorientable $3$-manifold, why is $H_1(M, \mathbb{Z})$ infinite?
- Motivation for the mapping cone complexes
- $I^2$ does not retract into comb space
- Homology - why is a cycle a boundary?

- An intuitive idea about fundamental group of $\mathbb{RP}^2$
- Abelianization of free product is the direct sum of abelianizations
- What is an intuitive explanation of the Hopf fibration and the twisted Hopf fibration?
- Hatcher: S^2 having a CW complex of 5/6 vertices
- Original Papers on Singular Homology/Cohomology.
- Can $\mathbb RP^2$ cover $\mathbb S^2$?
- Triangulation of Torus in three different ways, but two of them are wrong.
- Extending to a disc means fundamental group is trivial
- Homology of surface of genus $g$
- Covering space of a non-orientable surface

As OP seems to require further elaboration on the torus case, here are some details. Consider the standard presentation of the torus:

The tricky thing to realize is that the loop $ABA^{-1}B^{-1}$ going around the square is actually homotopic to the constant loop by scaling the loop down into the top left corner, say. In the same spirit, you can find a homotopy between $AB$ and $BA$ by pulling the loop across the square.

But this only worked because we used all of the $2g = 2$ generators and considered the loop around the full polygon. For example, consider the $g=2$ case that we have in the following image:

We can again scale down the full loop $a_1b_1a_1^{-1}b_1^{-1}a_2b_2a_2^{-1}b_2^{-1}$ down to one of the points. But there is clearly no homotopy between $a_1b_1$ and $b_1a_1$. You’ll get stuck across the polygon when you try to homotope these two.

The homology group $H_1(S)$ is the abelianization of the fundamental group. So for instance, on the two-holed torus, draw it as an octogon with the usual gluing rules, i.e. the edges go $e_1 e_2 e_1^{-1} e_2^{-1} e_3 e_4 e_3^{-1} e_4^{-1}$.

Then $e_1e_2$ is homologous to $e_2e_1$ but not homotopic.

If $\alpha,\beta$ are loops which are not homotopic as based maps from the circle, then the product (in fundamental group terms) $\alpha\beta^{-1}$ is not homotopic to the constant loop. Let’s suppose that $[\alpha]$ and $[\beta]$ also do not commute (which is the case for generating elements of surface groups with genus greater than $1$).

The relationship between the fundamental group and the first homology group of a (connected) space is that $\pi_1(X)^{ab}=\pi_1(X)/[\pi_1,\pi_1]\cong H_1(X)$ where $[\pi_1,\pi_1]=\langle xyx^{-1}y^{-1}\mid x,y\in\pi_1(X) \rangle^{\pi_1(X)}$. That is, the first homology group is the abeliantisation of the fundamental group.

Given the first sentence then, $\alpha\beta\alpha^{-1}\beta^{-1}$ is not homotopic to the constant loop unless the fundamental group possibly has $2$-torsion which doesn’t occur for orientable surfaces. But note that abelianised we have $$\mbox{ab}([\alpha\beta\alpha^{-1}\beta^{-1}])=\mbox{ab}([\alpha][\beta][\alpha^{-1}][\beta^{-1}])=0$$ and so the loop $\alpha\beta\alpha^{-1}\beta^{-1}$ is homologous to the constant loop.

- Proof that $\mathbb{R}^+$ is a vector space
- Show $\sum\limits_{n=0}^{\infty}{2n \choose n}x^n=(1-4x)^{-1/2}$
- An example of prime ideal $P$ in an integral domain such that $\bigcap_{n=1}^{\infty}P^n$ is not prime
- If G is a group of even order, prove it has an element $a \neq e$ satisfying $a^2 = e$.
- Prove that the space has a countable dense subset
- Subset $A\subset\mathbb R$ such that for any interval $I$ of length $a$ the set $A\cap I$ has Lebesgue measure $a/2$
- How can this be proved $\lim_{x\to\infty}(f(x)+f'(x))=l$
- Theorems implied by Yoneda's lemma?
- How would you evaluate $\liminf\limits_{n\to\infty} \ n \,|\mathopen{}\sin n|$
- Can $S^0 \to S^n \to S^n$ become a fiber bundle when $n>1$?
- If $\int_A f\,dm = 0$ for all $A$ having some fixed measure $C$, then $f = 0$ almost everywhere
- Finding the homology group of $H_n (X,A)$ when $A$ is a finite set of points
- Conditions for intersection of parabolas?
- Closed form for the sequence defined by $a_0=1$ and $a_{n+1} = a_n + a_n^{-1}$
- Locally continuously differentiable implies locally Lipschitz