The modular curve $Y^1(N)$ parametrises pairs $(E,P)$, where $E$ is an elliptic curve and $P$ is a point of order $N$ on $E$, up to isomorphism. A unit on the affine curve $Y^1(N)$ is a holomorphic function that is nowhere zero and I will mention some applications of the group of units in the talk.
The main result is a way of generating generators (sic) of this group using a recurrence relation. The generators are essentially the defining equations of $Y^1(N)$ for $n < (N + 3)/2$. This result proves a conjecture of Maarten Derickx and Mark van Hoeij.[-]

In the first part of the talk we will survey known results concerning Fibonacci numbers whose digital representations in base 10 display some interesting patterns. In the second part of the talk we will give the main steps of the proof of a recent result which states that $b = 4$ is the only integer ≥ 2 such that there are two Fibonacci numbers larger than 1 which are repunits in base b. In this case, $F_{5}=(4^{2}-1)/(4-1)$ and $F_{8}=(4^{3}-1)/(4-1)$. This is joint work with C. A. Gomez and J. C. Gomez from Cali, Colombia.[-]

Recently several papers appears on ArXiv, on various topics apparently unrelated such as: spin system observable (T. Helmuth, A. Shapira), Fibonacci polynomials (A. Garsia, G. Ganzberger), fully commutative elements in Coxeter groups (E. Bagno, R. Biagioli, F. Jouhet, Y. Roichman), reciprocity theorem for bounded Dyck paths (J. Cigler, C. Krattenthaler), uniform random spanning tree in graphs (L. Fredes, J.-F. Marckert). In each of these papers the theory of heaps of pieces plays a central role. We propose a walk relating these topics, starting from the well-known loop erased random walk model (LERW), going around the classical bijection between lattice paths and heaps of cycles, and a second less known bijection due to T. Helmuth between lattice paths and heaps of oriented loops, in relation with the Ising model in physics, totally non-backtracking paths and zeta function in graphs. Dyck paths, these two bijections involve heaps of dimers and heaps of segments. A duality between these two kinds of heaps appears in some of the above papers, in relation with orthogonal polynomials and fully commutative elements. If time allows we will finish this excursion with the correspondence between heaps of segments, staircase polygons and q-Bessel functions.[-]