Estimation of the conformal factor under bounded Willmore energy

We prove for closed, orientable surfaces in $\ \mathbb{R }^3\ $ with Willmore energy less that $\ 8 \pi - \delta \ $ and whose conformal structures are compactly contained in moduli space that after applying appropriate Möbius transformations the conformal factors between the induced metrics and conformal metrics of constant curvature are uniformly bounded by constants depending only on $\ \delta > 0,$ the genus of the surfaces and the compact subset of the moduli space. Secondly, for a given sequence of closed, orientable surfaces as above, we prove that the conformal factor remains bounded without applying Möbius transformations if and only if no topology is lost. Similar estimates hold in higher codimension.     

Converting homotopies to isotopies and dividing homotopies in half in an effective way

We prove two theorems about homotopies of curves on two-dimensional Riemannian manifolds. We show that, for any \({\epsilon > 0}\) , if two simple closed curves are homotopic through curves of bounded length L, then they are also isotopic through curves of length bounded by \({L + \epsilon}\) . If the manifold is orientable, then for any \({\epsilon > 0}\) we show that, if we can contract a curve \({\gamma}\) traversed twice through curves of length bounded by L, then we can also contract \({\gamma}\) through curves bounded in length by \({L + \epsilon}\) . Our method involves cutting curves at their self-intersection points and reconnecting them in a prescribed way. We consider the space of all curves obtained in this way from the original homotopy, and use a novel approach to show that this space contains a path which yields the desired homotopy.     

Finding disjoint surfaces in 3-manifolds

Let M be a compact connected orientable 3-manifold, with non-empty boundary that contains no two-spheres. We investigate the existence of two properly embedded disjoint surfaces $S_{1}$ and $S_{2}$ such that $M - (S_{1} \cup S_{2})$ is connected. We show that there exist two such surfaces if and only if M is neither a $\mathbb Z _{2}$ homology solid torus nor a $\mathbb Z _{2}$ homology cobordism between two tori. In particular, the exterior of a link with at least three components always contains two such surfaces. The proof mainly uses techniques from the theory of groups, both discrete and profinite.     

Lattices, graphs, and Conway mutation

The d-invariant of an integral, positive definite lattice Λ records the minimal norm of a characteristic covector in each equivalence class $({\textup{mod} \;}2\varLambda)$ . We prove that the 2-isomorphism type of a connected graph is determined by the d-invariant of its lattice of integral flows (or cuts). As an application, we prove that a reduced, alternating link diagram is determined up to mutation by the Heegaard Floer homology of the link’s branched double-cover. Thus, alternating links with homeomorphic branched double-covers are mutants.     

Reducibility and Unitarily Equivalence for a Class of Analytic Multipliers on the Dirichlet Space

In this paper, we first prove that if $\phi $ is a finite Blaschke product with $N=2,3$ zeros, then $M_\phi $ is reducible on the Dirichlet space if and only if $\phi $ is equivalent to $z^N$ . Also, we prove that $M_\phi $ is unitary equivalent to Dirichlet shift of multiplicity $N$ if and only if $\phi =\lambda z^N$ for some unimodular constant $\lambda $ .     

On the rigidity of hypersurfaces into space forms

Our purpose is to study the rigidity of complete hypersurfaces immersed into a Riemannian space form. In this setting, first we use a classical characterization of the Euclidean sphere \(\mathbb S ^{n+1}\) due to Obata (J Math Soc Jpn 14:333–340, 1962) in order to prove that a closed orientable hypersurface \(\Sigma ^n\) immersed with null second-order mean curvature in \(\mathbb S ^{n+1}\) must be isometric to a totally geodesic sphere \(\mathbb S ^{n}\) , provided that its Gauss mapping is contained in a closed hemisphere. Furthermore, as suitable applications of a maximum principle at the infinity for complete noncompact Riemannian manifolds due to Yau (Indiana Univ Math J 25:659–670, 1976), we establish new characterizations of totally geodesic hypersurfaces in the Euclidean and hyperbolic spaces. We also obtain a lower estimate of the index of minimum relative nullity concerning complete noncompact hypersurfaces immersed in such ambient spaces.     

Exact Lagrangian immersions with one double point revisited

We study exact Lagrangian immersions with one double point of a closed orientable manifold $K$ into $\mathbb{C }^{n}$ . We prove that if the Maslov grading of the double point does not equal $1$ then $K$ is homotopy equivalent to the sphere, and if, in addition, the Lagrangian Gauss map of the immersion is stably homotopic to that of the Whitney immersion, then $K$ bounds a parallelizable $(n+1)$ -manifold. The hypothesis on the Gauss map always holds when $n=2k$ or when $n=8k-1$ . The argument studies a filling of $K$ obtained from solutions to perturbed Cauchy–Riemann equations with boundary on the image $f(K)$ of the immersion. This leads to a new and simplified proof of some of the main results of Ekholm and Smith (Exact Lagrangian immersions with a single double point 2011)). which treated Lagrangian immersions in the case $n=2k$ by applying similar techniques to a Lagrange surgery of the immersion, as well as to an extension of these results to the odd-dimensional case.     

Uniqueness of homogeneous CAT(0) polygonal complexes

We provide a combinatorial condition on a finite connected graph, $L$ , for which there exists a unique CAT(0) polygonal complex such that the link at each vertex is $L$ . Under the further assumption that the polygons have an even number of sides we prove that this condition is also necessary, and that there are either one or a continuum of non-isomorphic such complexes.     

Free subalgebras of division algebras over uncountable fields

We study the existence of free subalgebras in division algebras, and prove the following general result: if $A$ is a noetherian domain which is countably generated over an uncountable algebraically closed field $k$ of characteristic $0$ , then either the quotient division algebra of $A$ contains a free algebra on two generators, or it is left algebraic over every maximal subfield. As an application, we prove that if $k$ is an uncountable algebraically closed field and $A$ is a finitely generated $k$ -algebra that is a domain of GK-dimension strictly less than $3$ , then either $A$ satisfies a polynomial identity, or the quotient division algebra of $A$ contains a free $k$ -algebra on two generators.     

Length spectra and strata of flat metrics

In this paper we consider strata of flat metrics coming from quadratic differentials (semi-translation structures) on surfaces of finite type. We provide a necessary and sufficient condition for a set of simple closed curves to be spectrally rigid over a stratum with enough complexity, extending a result of Duchin–Leininger–Rafi. Specifically, for any stratum with more zeroes than the genus, the \(\Sigma \) -length-spectrum of a set of simple closed curves \(\Sigma \) determines the flat metric in the stratum if and only if \(\Sigma \) is dense in the projective measured foliation space. We also prove that flat metrics in any stratum are locally determined by the \(\Sigma \) -length-spectrum of a finite set of closed curves \(\Sigma \) .     

Retraction closure property

We say that an algebra ${\mathcal{A}}$ has the retraction closure property (RCP) if the set of all retractions of ${\mathcal{A}}$ is closed with respect to fundamental operations of ${\mathcal{A}}$ applied pointwise. In this paper we investigate this property, both “locally” (one algebra) and “globally” (in some variety of algebras), especially emphasizing the case of groupoids. We compare the retraction closure property with the endomorphism closure property on both levels and prove that a necessary and sufficient condition for a variety V of algebras to have RCP is that V is a variety of entropic algebras that satisfy the diagonal identities.     

Staircase skew Schur functions are Schur P-positive

We prove Stanley??s conjecture that, if ?? _n is the staircase shape, then the skew Schur functions $s_{\delta_{n} / \mu}$ are non-negative sums of Schur P-functions. We prove that the coefficients in this sum count certain fillings of shifted shapes. In particular, for the skew Schur function $s_{\delta_{n} / \delta _{n-2}}$ , we discuss connections with Eulerian numbers and alternating permutations.     

Large collections of curves pairwise intersecting exactly once

Let \(\Omega =(\omega _{j})_{j\in I}\) be a maximum size collection of pairwise non-isotopic simple closed curves on the closed, orientable, genus \(g\) surface \(S_{g}\) , such that \(\omega _{i}\) and \(\omega _{j}\) intersect exactly once for \(i\ne j\) . We show that for \(g\ge 3\) , there exists atleast two such collections up to the action of the mapping class group, answering a question posed by Malestein, Rivin and Theran. As a consequence, we show that the automorphism group of the systole graph for \(S_{g}, g\ge 3\) (whose vertices are isotopy classes of simple closed curves, and whose edges correspond to pairs of curve intersecting once) does not act transitively on maximal complete subgraphs.     

Self-shrinkers for the mean curvature flow in arbitrary codimension

In this paper, we generalize Colding–Minicozzi’s recent results about codimension-1 self-shrinkers for the mean curvature flow to higher codimension. In particular, we prove that the sphere ${bf S}^{n}(\sqrt{2n})$ is the only complete embedded connected $F$ -stable self-shrinker in $\mathbf{R}^{n+k}$ with $\mathbf{H}\ne 0$ , polynomial volume growth, flat normal bundle and bounded geometry. We also discuss some properties of symplectic self-shrinkers, proving that any complete symplectic self-shrinker in $\mathbf{R}^4$ with polynomial volume growth and bounded second fundamental form is a plane. As a corollary, we show that there is no finite time Type I singularity for symplectic mean curvature flow, which has been proved by Chen–Li using different method. We also study Lagrangian self-shrinkers and prove that for Lagrangian mean curvature flow, the blow-up limit of the singularity may be not $F$ -stable.     

Pseudo-Riemannian geodesic foliations by circles

We investigate under which assumptions an orientable pseudo-Riemannian geodesic foliations by circles is generated by an S ¹-action. We construct examples showing that, contrary to the Riemannian case, it is not always true. However, we prove that such an action always exists when the foliation does not contain lightlike leaves, i.e. a pseudo-Riemannian Wadsley’s Theorem. As an application, we show that every Lorentzian surface all of whose spacelike/timelike geodesics are closed, is finitely covered by ${S^1 \times \mathbb{R}}$ . It follows that every Lorentzian surface contains a nonclosed geodesic.     

Functions whose set of critical points is an arc

Let $M$ be a $C^{\infty }$ connected closed manifold with $\mathrm{dim }(M)\ge 2$ . Using tools developed by Körner in (J Lond Math Soc (2) 38(3):442–452, 1988) we prove that the subset of functions $f$ in $C^1(M,\mathbb R )$ such that the set of critical points of $f$ is an arc is dense in $C^{0}(M,\mathbb R )$ . We then present applications in dynamics.     

Algebraic quotient modules and subgroup depth

In Kadison J Pure Appl Alg 218:367–380, (2014) it was shown that subgroup depth may be computed from the permutation module of the left or right cosets: this holds more generally for a Hopf subalgebra, from which we note in this paper that finite depth of a Hopf subalgebra \(R \subseteq H\) is equivalent to the \(H\) -module coalgebra \(Q = H/R^+H\) representing an algebraic element in the Green ring of \(H\) or \(R\) . This approach shows that subgroup depth and the subgroup depth of the corefree quotient lie in the same closed interval of length one. We also establish a previous claim that the problem of determining if \(R\) has finite depth in \(H\) is equivalent to determining if \(H\) has finite depth in its smash product \(Q^* \# H\) . A necessary condition is obtained for finite depth from stabilization of a descending chain of annihilator ideals of tensor powers of \(Q\) . As an application of these topics to a centerless finite group \(G\) , we prove that the minimum depth of its group \(\mathbb {C}\,\) -algebra in the Drinfeld double \(D(G)\) is an odd integer, which determines the least tensor power of the adjoint representation \(Q\) that is a faithful \(\mathbb {C}\,G\) -module.     

Compactification de Chabauty de l’espace des sous-groupes de Cartan de {\text{ SL}}_n(\mathbb{R })

Let $G$ be a real semisimple Lie group with finite center, with a finite number of connected components and without compact factor. We are interested in the homogeneous space of Cartan subgroups of $G$ , which can be also seen as the space of maximal flats of the symmetric space of $G$ . We define its Chabauty compactification as the closure in the space of closed subgroups of $G$ , endowed with the Chabauty topology. We show that when the real rank of $G$ is 1, or when $G={\text{ SL}}_3(\mathbb{R })$ or ${\text{ SL}}_4(\mathbb{R })$ , this compactification is the set of all closed connected abelian subgroups of dimension the real rank of $G$ , with real spectrum. And in the case of ${\text{ SL}}_3(\mathbb{R })$ , we study its topology more closely and we show that it is simply connected.     

Finite frames,P-frames and basically disconnected frames

Let \({\mathcal{P}}\) be an ideal of closed quotients of a completely regular frame L and \({\mathcal{R}_{\mathcal{P}}(L)}\) the collection of all functions in the ring \({\mathcal{R}(L)}\) whose support belong to \({\mathcal{P}}\) . We show that \({\mathcal{R}(L)}\) is a Noetherian ring if and only if \({\mathcal{R}(L)}\) is an Artinian ring if and only if L is a finite frame. Using this result, we next show that if \({\mathcal{P}}\) is the ideal of all compact closed quotients of L and L is \({\mathcal{P}}\) -continuous, then \({\mathcal{R}_{\mathcal{P}}(L)}\) is a Noetherian ring if and only if L is finite. Moreover, we show that L is a P-frame if and only if each ideal of \({\mathcal{R}(L)}\) is of the form \({\mathcal{R}_{\mathcal{P}}(L)}\) for some choice of \({\mathcal{P}}\) . We furnish equivalent conditions for \({\mathcal{R}_{\mathcal{P}}(L)}\) to be a prime ideal, a free ideal, and an essential ideal of \({\mathcal{R}(L)}\) separately in terms of the cozero elements of L. Finally, we show that L is basically disconnected if and only if \({\mathcal{R}(L)}\) is a coherent ring.     

Discrete subgroups of locally definable groups

We work in the category of locally definable groups in an o-minimal expansion of a field. Eleftheriou and Peterzil conjectured that every definably generated abelian connected group $G$ in this category is a cover of a definable group. We prove that this is the case under a natural convexity assumption inspired by the same authors, which in fact gives a necessary and sufficient condition. The proof is based on the study of the zero-dimensional compatible subgroups of $G$ . Given a locally definable connected group $G$ (not necessarily definably generated), we prove that the $n$ -torsion subgroup of $G$ is finite and that every zero-dimensional compatible subgroup of $G$ has finite rank. Under a convexity hypothesis, we show that every zero-dimensional compatible subgroup of $G$ is finitely generated.