Search

We confirm, to some extent, the belief that a projective variety X has the largest number (relative to the dimension of X) of independent commuting automorphisms of positive entropy only when X is birational to a complex torus or a quotient of a torus. We also include an addendum to an early paper though it is not used in the present paper., Comment: Mathematische Annalen (to appear)

This paper establishes an equivalence between existence of free involutions on $H{\Bbb C}P^3$ and existence of involutions on $S^6$ with fixed point set an imbedded $S^3$, then a family of counterexamples of the Smith conjecture for imbeddings of $S^3$ in $S^6$ are given by known result on $H{\Bbb C}P^3$. In addition, this paper also shows that every smooth homotopy complex projective 3-space admits no orientation preserving smooth free involution, which answers an open problem [Pe]. Moreover, the study of existence problem for smooth orientation preserving involutions on $H{\Bbb C}P^3$ is completed., Comment: 10 pages, final version

Let $G$ be a simply connected Lie group with Lie algebra $\mathfrak{g}$. We show that the following categories are naturally equivalent. The category $\mathsf{Mod}(C(G))$, of sufficiently smooth modules over the DG-algebra of singular chains on $G$. The category $\mathsf{Rep}(Tg)$ of representations of the DG-Lie algebra $T\mathfrak{g}$, which is universal for the Cartan relations. This equivalence extends the correspondence between representations of $G$ and representations of $\mathfrak{g}$. In a companion paper we show that in the compact case, the equivalence can be extended to an $\mathsf{A}_\infty$ equivalence of DG-categories., Changes in notation. Added references. All comments are welcome

Consider the free orthogonal quantum groups $O_N^+(F)$ and free unitary quantum groups $U_N^+(F)$ with $N \geq 3$. In the case $F = {\rm id}_N$ it was proved both by Isono and Fima-Vergnioux that the associated finite von Neumann algebra $L_\infty(O_N^+)$ is strongly solid. Moreover, Isono obtains strong solidity also for $L_\infty(U_N^+)$ . In this paper we prove for general $F \in GL_N(\mathbb{C})$ that the von Neumann algebras $L_\infty(O_N^+(F))$ and $L_\infty(U_N^+(F))$ are strongly solid. A crucial part in our proof is the study of coarse properties of gradient bimodules associated with Dirichlet forms on these algebras and constructions of derivations due to Cipriani--Sauvageot., Comment: Accepted for Mathematische Annalen

In this paper, we study strongly quasiconvex subgroups in a finitely generated $3$--manifold group $\pi_1(M)$. We prove that if $M$ is a compact, orientable $3$--manifold that does not have a summand supporting the Sol geometry in its sphere-disc decomposition then a finitely generated subgroup $H \le \pi_1(M)$ has finite height if and only if $H$ is strongly quasiconvex. On the other hand, if $M$ has a summand supporting the Sol geometry in its sphere-disc decomposition then $\pi_1(M)$ contains finitely generated, finite height subgroups which are not strongly quasiconvex. We also characterize strongly quasiconvex subgroups of graph manifold groups by using their finite height, their Morse elements, and their actions on the Bass-Serre tree of $\pi_1(M)$. This result strengthens analogous results in right-angled Artin groups and mapping class groups. Finally, we characterize hyperbolic strongly quasiconvex subgroups of a finitely generated $3$--manifold group $\pi_1(M)$ by using their undistortedness property and their Morse elements., Comment: 36 pages. Version 2 incorporates the referee's comments. To appear in Mathematische Annalen

In this paper, we introduce the enough $g$-pairs property for a principal coefficients cluster algebra, which can be understood as a strong version of the sign-coherence of the $G$-matrices. Then we prove that any skew-symmetrizable principal coefficients cluster algebra has the enough $g$-pairs property. As an application, we prove the positivity of denominator vectors for any skew-symmetrizable cluster algebra. In fact, we give complete answers to some long standing conjectures on denominator vectors of cluster variables (see Conjecture 1.1 below), which are proposed by Fomin and Zelevinsky in [Compos. Math. 143(2007), 112-164]. In addition, we prove that the seeds whose clusters contain particular cluster variables form a connected subgraph of the exchange graph of this cluster algebra. Lastly, a criterion to distinguish whether particular cluster variables belong to one common cluster is given., Comment: 23 pages

In this paper, we will explain a conceptual reformulation and inductive formula of the Siegel series. Using this, we will explain that both sides of the local intersection multiplicities of [GK93] and the Siegel series have the same inherent structures, beyond matching values. As an application, we will prove a new identity between the intersection number of two modular correspondences over Fp and the sum of the Fourier coefficients of the Siegel-Eisenstein series for Sp_4 of weight 2, which is independent of p (> 2). In addition, we will explain a description of the local intersection multiplicities of the special cycles over F_p on the supersingular locus of the `special fiber' of the Shimura varieties for GSpin(n; 2), n, 52 pages

The purpose of this paper is to prove that the Hermitian Curvature Flow (HCF) on an Hermitian manifold $(M,g,J)$ preserves many natural curvature positivity conditions. Following Wilking, for an $Ad\,{GL(T^{1,0}M)}$-invariant subset $S\subset End(T^{1,0}M)$ and a ncie function $F\colon End(T^{1,0}M)\to\mathbb R$ we construct a convex set of curvature operators $C(S,F)$, which is invariant under the HCF. Varying $S$ and $F$, we prove that the HCF preserves Griffiths positivity, Dual-Nakano positivity, positivity of holomorphic orthogonal bisectional curvature, lower bounds on the second scalar curvature. As an application, we prove that periodic solutions to the HCF can exist only on manifolds $M$ with the trivial canonical bundle on the universal cover $\widetilde{M}$., 20 pages, 1 figure

In this paper we study the moduli space of properly Alexandrov-embedded, minimal annuli in $\mathbb{H}^2 \times \mathbb{R}$ with horizontal ends. We say that the ends are horizontal when they are graphs of $\mathcal{C}^{2, \alpha}$ functions over $\partial_\infty \mathbb{H}^2$. Contrary to expectation, we show that one can not fully prescribe the two boundary curves at infinity, but rather, one can prescribe the bottom curve, but the top curve only up to a translation and a tilt, along with the position of the neck and the vertical flux of the annulus. We also prove general existence theorems for minimal annuli with discrete groups of symmetries., Comment: 56 pages, 12 Figures. This final version has been accepted for publication in Math. Annalen

We study complete, finite volume $n$-manifolds $M$ of bounded nonpositive sectional curvature. A classical theorem of Gromov says that if such $M$ has negative curvature then it is homeomorphic to the interior of a compact manifold-with-boundary, and we denote this boundary $\partial M$. If $n\geq 3$, we prove that the universal cover of the boundary $\widetilde{\partial M}$ and also the $\pi_1M$-cover of the boundary $\partial\widetilde M$ have vanishing $(n-2)$-dimensional homology. For $n=4$ the first of these recovers a result of Nguyen Phan saying that each component of the boundary $\partial M$ is aspherical. For any $n\geq 3$, the second of these implies the vanishing of the first group cohomology group with group ring coefficients $H^1(B\pi_1M;\mathbb Z\pi_1M)=0$. A consequence is that $\pi_1M$ is freely indecomposable. These results extend to manifolds $M$ of bounded nonpositive curvature if we assume that $M$ is homeomorphic to the interior of a compact manifold with boundary. Our approach is a form of "homological collapse" for ends of finite volume manifolds of bounded nonpositive curvature. This paper is very much influenced by earlier, yet still unpublished work of Nguyen Phan., Comment: 30 pages, 4 figures

Let F(X_d) be a smooth Fano variety of lines of a hypersurface X_d of degree d. In this paper, we prove the Griffiths group Griff_1(F(X_d)) is trivial if the hypersurface X_d is of 2-Fano type. As a result, we give a positive answer to a question of Professor Voisin about the first Griffiths groups of Fano varieties in some cases. Base on this result, we prove that CH_2(X_d)=\mathbb{Z} for a complex smooth $3$-Fano hypersurface X_d whose Fano variety of lines is smooth., Comment: Appear in Mathematische Annalen September 2016, 28 pages

Let $G$ be a simple algebraic group over an algebraically closed field $K$ of characteristic $p\geqslant 0$, let $H$ be a proper closed subgroup of $G$ and let $V$ be a nontrivial irreducible $KG$-module, which is $p$-restricted, tensor indecomposable and rational. Assume that the restriction of $V$ to $H$ is irreducible. In this paper, we study the triples $(G,H,V)$ of this form when $G$ is a classical group and $H$ is positive-dimensional. Combined with earlier work of Dynkin, Seitz, Testerman and others, our main theorem reduces the problem of classifying the triples $(G,H,V)$ to the case where $G$ is an orthogonal group, $V$ is a spin module and $H$ normalizes an orthogonal decomposition of the natural $KG$-module., Comment: 40 pages; to appear in Math. Annalen

Consider $G=\SL_{ d }(\mathbb R)$ and $ \Gamma=\SL_{ d }(\mathbb Z)$. It was recently shown by the second-named author \cite{s} that for some diagonal subgroups $\{g_t\}\subset G$ and unipotent subgroups $U\subset G$, $g_t$-trajectories of almost all points on all $U$-orbits on $G/\Gamma$ are equidistributed with respect to continuous compactly supported functions $\varphi$ on $G/\Gamma$. In this paper we strengthen this result in two directions: by exhibiting an error rate of equidistribution when $\varphi$ is smooth and compactly supported, and by proving equidistribution with respect to certain unbounded functions, namely Siegel transforms of Riemann integrable functions on $\R^d$. For the first part we use a method based on effective double equidistribution of $g_t$-translates of $U$-orbits, which generalizes the main result of \cite{km12}. The second part is based on Schmidt's results on counting of lattice points. Number-theoretic consequences involving spiraling of lattice approximations, extending recent work of Athreya, Ghosh and Tseng \cite{agt1}, are derived using the equidistribution result., Comment: minor compilation issue fixed

Let $M$ be a Riemannian $2$-sphere. A classical theorem of Lyusternik and Shnirelman asserts the existence of three distinct simple non-trivial periodic geodesics on $M$. In this paper we prove that there exist three simple periodic geodesics with lengths that do not exceed $20d$, where $d$ is the diameter of $M$. We also present an upper bound that depends only on the area and diameter for the lengths of the three simple periodic geodesics with positive indices that appear as minimax critical values in the classical proofs of the Lyusternik-Shnirelman theorem. Finally, we present better bounds for these three lengths for "thin" spheres, when the area $A$ is much less than $d^2$, where the bounds for the lengths of the first two simple periodic geodesics are asymptotically optimal, when ${A\over d^2}\longrightarrow 0$., Comment: 29 pages, 17 figures

In this paper, we first prove that any closed simply connected 4-manifold that admits a decomposition into two disk bundles of rank greater than 1 is diffeomorphic to one of the standard elliptic 4-manifolds: $\mathbb{S}^4$, $\mathbb{CP}^2$, $\mathbb{S}^2\times\mathbb{S}^2$, or $\mathbb{CP}^2\#\pm \mathbb{CP}^2$. As an application we prove that any closed simply connected 4-manifold admitting a nontrivial singular Riemannian foliation is diffeomorphic to a connected sum of copies of standard $\mathbb{S}^4$, $\pm\mathbb{CP}^2$ and $\mathbb{S}^2\times\mathbb{S}^2$. A classification of singular Riemannian foliations of codimension 1 on all closed simply connected 4-manifolds is obtained as a byproduct. In particular, there are exactly 3 non-homogeneous singular Riemannian foliations of codimension 1, complementing the list of cohomogeneity one 4-manifolds., Comment: 24 pages, final version, to appear in Math. Ann

This paper describes an approach to global smoothing problems for non-dispersive equations based on ideas of comparison principle and canonical transformation established in authors' previous paper, where dispersive equations were treated. For operators $a(D_x)$ of order $m$ satisfying the dispersiveness condition $\nabla a(\xi)\neq0$ for $\xi\not=0$, the global smoothing estimate $$ \|\langle x\rangle^{-s}|D_x|^{(m-1)/2}e^{ita(D_x)} \varphi(x)\|_{L^2(\mathbb R_t\times\mathbb R^n_x)} \leq C\|\varphi\|_{L^2(\mathbb R^n_x)} \quad {\rm(}s>1/2{\rm)} $$ is well-known, while it is also known to fail for non-dispersive operators. For the case when the dispersiveness breaks, we suggest the estimate in the form $$ \|{\langle{x}\rangle^{-s}|\nabla a(D_x)|^{1/2} e^{it a(D_x)}\varphi(x)}\|_{L^2({\mathbb R_t\times\mathbb R^n_x})} \leq C\|{\varphi}\|_{L^2({\mathbb R^n_x})}\quad{\rm(}s>1/2{\rm)} $$ which is equivalent to the usual estimate in the dispersive case and is also invariant under canonical transformations for the operator $a(D_x)$. We show that this estimate and its variants do continue to hold for a variety of non-dispersive operators $a(D_x)$, where $\nabla a(\xi)$ may become zero on some set. Moreover, other types of such estimates, and the case of time-dependent equations are also discussed., Comment: 24 pages; the paper is to appear in Math. Ann. arXiv admin note: substantial text overlap with arXiv:math/0612274

We provide new examples of acylindrically hyperbolic groups arising from actions on simplicial trees. In particular, we consider amalgamated products and HNN-extensions, 1-relator groups, automorphism groups of polynomial algebras, 3-manifold groups and graph products. Acylindrical hyperbolicity is then used to obtain some results about the algebraic structure, analytic properties and measure equivalence rigidity of groups from these classes., The published version of this paper contained a gap which is explained and partially fixed in the erratum arXiv:1711.09486. For the benefit of the readers, we have incorporated all necessary changes in this version

The aim of this paper is to give upper bounds for the Euclidean minima of abelian fields of odd prime conductor. In particular, these bounds imply Minkowski's conjecture for totally real number fields of conductor p^r, where p is an odd prime and r is at least 2., Comment: To appear in Mathematische Annalen

Examples suggest that there is a correspondence between L-spaces and 3-manifolds whose fundamental groups cannot be left-ordered. In this paper we establish the equivalence of these conditions for several large classes of such manifolds. In particular, we prove that they are equivalent for any closed, connected, orientable, geometric 3-manifold that is non-hyperbolic, a family which includes all closed, connected, orientable Seifert fibred spaces. We also show that they are equivalent for the 2-fold branched covers of non-split alternating links. To do this we prove that the fundamental group of the 2-fold branched cover of an alternating link is left-orderable if and only if it is a trivial link with two or more components. We also show that this places strong restrictions on the representations of the fundamental group of an alternating knot complement with values in Homeo_+(S^1)., Comment: 30 pages, 4 figures, uses colour

In this paper, we prove that on every Finsler $n$-sphere $(S^n, F)$ for $n\ge 6$ with reversibility $\lambda$ and flag curvature $K$ satisfying $(\frac{\lambda}{\lambda+1})^2, Comment: 18 pages

The classical Mason-Stothers theorem deals with nontrivial polynomial solutions to the equation $a+b=c$. It provides a lower bound on the number of distinct zeros of the polynomial $abc$ in terms of the degrees of $a$, $b$ and $c$. We extend this to general analytic functions living on a reasonable bounded domain $\Omega\subset\mathbb C$, rather than on the whole of $\mathbb C$. The estimates obtained are sharp, for any $\Omega$, and a generalization of the original result on polynomials can be recovered from them by a limiting argument., Comment: This is a retitled and slightly revised version of my paper arXiv:1004.3591

The general aim of this paper is to study which are the solvable Lie groups admitting an Einstein left invariant metric. The space N of all nilpotent Lie brackets on R^n parametrizes a set of (n+1)-dimensional rank-one solvmanifolds, containing the set of all those which are Einstein in that dimension. The moment map for the natural GL(n)-action on N evaluated in a point of N encodes geometric information on the corresponding solvmanifold, allowing us to use strong and well-known results from geometric invariant theory. For instance, the functional on N whose critical points are precisely the Einstein solvmanifolds is the square norm of this moment map. We also use a GL(n)-invariant stratification for the space N following essentially a construction given by F. Kirwan and show that there is a strong interplay between the strata and the Einstein condition on the solvmanifolds. As applications, we obtain several examples of graded (even 2-step) nilpotent Lie algebras which are not the nilradicals of any standard Einstein solvmanifold, as well as a classification in the 7-dimensional 6-step case and an existence result for certain 2-step algebras associated to graphs., Comment: Final version to appear in Math. Annalen

In earlier papers we studied direct limits $${(G,\,K) = \varinjlim\, (G_n,K_n)}$$ of two types of Gelfand pairs. The first type was that in which the G n /K n are compact Riemannian symmetric spaces. The second type was that in which $${G_n = N_n\rtimes K_n}$$ with N n nilpotent, in other words pairs (G n , K n ) for which G n /K n is a commutative nilmanifold. In each we worked out a method inspired by the Frobenius–Schur Orthogonality Relations to define isometric injections $${\zeta_{m,n}: L^2(G_n/K_n) \hookrightarrow L^2(G_m/K_m)}$$ for m ≧ n and prove that the left regular representation of G on the Hilbert space direct limit $${L^2(G/K) := \varinjlim L^2(G_n/K_n)}$$ is multiplicity-free. This left open questions concerning the nature of the elements of L 2(G/K). Here we define spaces $${\mathcal{A}(G_n/K_n)}$$ of regular functions on G n /K n and injections $${\nu_{m,n} : \mathcal{A}(G_n/K_n) \to \mathcal{A}(G_m/K_m)}$$ for m ≧ n related to restriction by $${\nu_{m,n}(f)|_{G_n/K_n} = f}$$ . Thus the direct limit $${\mathcal{A}(G/K) := \varinjlim \{\mathcal{A}(G_n/K_n), \nu_{m,n}\}}$$ sits as a particular G-submodule of the much larger inverse limit $${\varprojlim \{\mathcal{A}(G_n/K_n), {\rm restriction}\}}$$ . Further, we define a pre Hilbert space structure on $${\mathcal{A}(G/K)}$$ derived from that of L 2(G/K). This allows an interpretation of L 2(G/K) as the Hilbert space completion of the concretely defined function space $${\mathcal{A}(G/K)}$$ , and also defines a G-invariant inner product on $${\mathcal{A}(G/K)}$$ for which the left regular representation of G is multiplicity-free.

In this paper we obtain a noncommutative multivariable analogue of the classical Nevanlinna-Pick interpolation problem for analytic functions with positive real parts on the open unit disc. As consequences, we deduce some results concerning operator-valued analytic interpolation on the unit ball on C^n., Comment: 20 pages

In this paper, we proved that any closed orientable 3-manifold 1-dominates at most finitely many geometric 3-manifolds.

We prove in this paper that the action of the mapping class group on the complex of curves has noncommensurable stabilizers. Following a method due to Burger and de la Harpe, this action leads to constructions of irreducible unitary representations of the mapping class group., Comment: 14 pages, 1 figure, see http://math.u-bourgogne.fr/topolog/paris/index.htlm

In this paper we describe the complement of real line arrangements in the complex plane in terms of the boundary three-manifold of the line arrangement. We show that the boundary manifold of any line arrangement is a graph manifold with Seifert fibered vertex manifolds, and depends only on the incidence graph of the arrangement. When the line arrangement is defined over the real numbers, we show that the homotopy type of the complement is determined by the incidence graph together with orderings on the edges emanating from each vertex., Comment: Latex, 22 pages, 15 figures

The Atiyah conjecture predicts that the L2-Betti numbers of a finite CW-complex with torsion-free fundamental group are integers. We show that the Atiyah conjecture holds (with an additional technical condition) for direct and inverse limits of directed systems of groups for which it is true. As a corollary it holds for residually torsion-free solvable groups, e.g. for pure braid groups or for positive 1-relator groups with torsion free abelianization. Putting everything together we establish a new class of groups for which the Atiyah conjecture holds, which contains all free groups and in particular is closed under taking subgroups, direct sums, free products, extensions with elementary amenable quotient, and under direct and inverse limits of directed systems. This is a corrected version of an older paper with the same title. The proof of Proposition 2.1 of the earlier version contains a gap, as was pointed out to me by Pere Ara. This gap could not be fixed. Consequently, in this new version everything based on this result had to be removed. Please take the errata to "L2-determinant class and approximation of L2-Betti numbers" into account, which are added, rectifying some unproved statements about "amenable extension". As a consequence, throughout, amenable extensions should be extensions with normal subgroups., 25 pages, one unclear sentence in Abstract changed. v3: errata to "L2-determinant class and approximation of L2-Betti numbers" added which require to replace some of the results by apparently slightly weaker versions

Canonical heights and Arakelov geometry on semi-abelian varieties. In this paper, we propose a construction of the canonical heights on an extension of an abelian variety by the multiplicative group, in the framework of Arakelov geometry. These canonical heights are the sum of some height coming from the abelian variety and something we call a relative height. We finally give some complements about the points whose relative height is zero., 19 pages

Consider a polarized abelian variety $(A,L)$ over the field of complex numbers. Following Demailly, one can associate to $(A,L)$ a real number $\epsilon(A,L)$, its {\em Seshadri constant}, which in effect measures how much of the positivity of $L$ can be concentrated at any given point of $A$. There has been considerable recent interest in finding bounds on the Seshadri constants of abelian varieties and on smooth projective varieties in general. In the present paper we first generalize an approach of Buser and Sarnak to give a lower bound on the minimal period length of $(A,L)$ in terms of the type of the polarization, which by a recent result of Lazarsfeld leads to a lower bound on the Seshadri constant of $(A,L)$. Secondly, we consider Prym varieties and show that they have small Seshadri constants and therefore unusually small periods. Finally, we obtain refined results for the case of abelian surfaces, which imply in particular the surprising fact that Seshadri constants are always rational in this case.