No Arabic abstract
Given a null-homologous knot $K$ in a rational homology 3-sphere $M$, and the standard infinite cyclic covering $tilde{X}$ of $(M,K)$, we define an invariant of triples of curves in $tilde{X}$, by means of equivariant triple intersections of surfaces. We prove that this invariant provides a map $phi$ on $Al^{otimes 3}$, where $Al$ is the Alexander module of $(M,K)$, and that the isomorphism class of $phi$ is an invariant of the pair $(M,K)$. For a fixed Blanchfield module $(Al,bl)$, we consider pairs $(M,K)$ whose Blanchfield modules are isomorphic to $(Al,bl)$, equipped with a marking, {em i.e.} a fixed isomorphism from $(Al,bl)$ to the Blanchfield module of $(M,K)$. In this setting, we compute the variation of $phi$ under null borromean surgeries, and we describe the set of all maps $phi$. Finally, we prove that the map $phi$ is a finite type invariant of degree 1 of marked pairs $(M,K)$ with respect to null Lagrangian-preserving surgeries, and we determine the space of all degree 1 invariants of marked pairs $(M,K)$ with rational values.
Suppose that $n eq p^k$ and $n eq 2p^k$ for all $k$ and all primes $p$. We prove that for any Hausdorff compactum $X$ with a free action of the symmetric group $mathfrak S_n$ there exists an $mathfrak S_n$-equivariant map $X to {mathbb R}^n$ whose image avoids the diagonal ${(x,xdots,x)in {mathbb R}^n|xin {mathbb R}}$. Previously, the special cases of this statement for certain $X$ were usually proved using the equivartiant obstruction theory. Such calculations are difficult and may become infeasible past the first (primary) obstruction. We take a different approach which allows us to prove the vanishing of all obstructions simultaneously. The essential step in the proof is classifying the possible degrees of $mathfrak S_n$-equivariant maps from the boundary $partialDelta^{n-1}$ of $(n-1)$-simplex to itself. Existence of equivariant maps between spaces is important for many questions arising from discrete mathematics and geometry, such as Knesers conjecture, the Square Peg conjecture, the Splitting Necklace problem, and the Topological Tverberg conjecture, etc. We demonstrate the utility of our result applying it to one such question, a specific instance of envy-free division problem.
We develop a theory of equivariant group presentations and relate them to the second homology group of a group. Our main application says that the second homology group of the Torelli subgroup of the mapping class group is finitely generated as an $Sp(2g,mathbb{Z})$-module.
For G a finite group and X a G-space on which a normal subgroup A acts trivially, we show that the G-equivariant K-theory of X decomposes as a direct sum of twisted equivariant K-theories of X parametrized by the orbits of the conjugation action of G on the irreducible representations of A. The twists are group 2-cocycles which encode the obstruction of lifting an irreducible representation of A to the subgroup of G which fixes the isomorphism class of the irreducible representation.
Our main point of focus is the set of closed geodesics on hyperbolic surfaces. For any fixed integer $k$, we are interested in the set of all closed geodesics with at least $k$ (but possibly more) self-intersections. Among these, we consider those of minimal length and investigate their self-intersection numbers. We prove that their intersection numbers are upper bounded by a universal linear function in $k$ (which holds for any hyperbolic surface). Moreover, in the presence of cusps, we get bounds which imply that the self-intersection numbers behave asymptotically like $k$ for growing $k$.
Every link in the 3-sphere has a projection to the plane where the only singularities are pairwise transverse triple points. The associated diagram, with height information at each triple point, is a triple-crossing diagram of the link. We give a set of diagrammatic moves on triple-crossing diagrams analogous to the Reidemeister moves on ordinary diagrams. The existence of n-crossing diagrams for every n>1 allows the definition of the n-crossing number. We prove that for any nontrivial, nonsplit link, other than the Hopf link, its triple-crossing number is strictly greater than its quintuple-crossing number.