Search

This paper is devoted to one-dimensional interpolation Gagliardo-Nirenberg-Sobolev inequalities. We study how various notions of duality, transport and monotonicity of functionals along flows defined by some nonlinear diffusion equations apply. We start by reducing the inequality to a much simpler dual variational problem using mass transportation theory. Our second main result is devoted to the construction of a Lyapunov functional associated with a nonlinear diffusion equation, that provides an alternative proof of the inequality. The key observation is that the inequality on the line is equivalent to Sobolev's inequality on the sphere, at least when the dimension is an integer, or to the critical interpolation inequality for the ultraspherical operator in the general case. The time derivative of the functional along the flow is itself very interesting. It explains the machinery of some rigidity estimates for nonlinear elliptic equations and shows how eigenvalues of a linearized problem enter in the computations. Notions of gradient flows are then discussed for various notions of distances. Throughout this paper we shall deal with two classes of inequalities corresponding either to p>2 or to p

We give a possible generalization of Lutz twist to all dimensions. This reproves the fact that every contact manifold can be given a non-fillable contact structure and also shows great flexibility in the manifolds that can be realized as cores of overtwisted families. We moreover show that $R^{2n+1}$ has at least three distinct contact structures. This version of the paper contains both the texts of the published version of the paper together with an Erratum to the published version appended to the end., Comment: 19 pages, 2 figures, and erratum to the published version of the paper

For a smooth projective curve, the cycles of e-secant k-planes are among the most studied objects in classical enumerative geometry and there are well-known formulas due to Castelnuovo, Cayley and MacDonald concerning them. Despite various attempts, surprisingly little is known about the enumerative validity of such formulas. The aim of this paper is to completely clarify this problem in the case of the generic curve C of given genus. Using degeneration techniques and a few facts about the birational geometry of moduli spaces of stable pointed curves we determine precisely under which conditions the cycle of e-secant k-planes in non-empty and we compute its dimension. We also precisely determine the dimension of the variety of linear series on C carrying e-secant k-planes. In a different direction, in the last part of the paper we study the distribution of ramification points of the powers of a line bundle on C having prescribed ramification at a given point., Comment: 25 pages. Numerous changes suggested by the referee, several proofs explained in more detail. To appear in the Journal of the London Mathematical Society

The mod two cohomology of the three connective covering of S3 has the form F2[X2n] ⊗ E(Sq1X2n) where x2n is in degree 2n and n = 2. If F denotes the homotopy theoretic fibre of the map S3 → B2S1 of degree 2, then the mod 2 cohomology of F is also of the same form for n = 1. Notice (cf. Section 7 of the present paper) that the existence of spaces whose cohomology has this form for high values of n would immediately provide Arf invariant elements in the stable stem. Hence, it is worthwhile to determine for what values of n the above algebra can be realized as the mod2 cohomology of some space. The purpose of this paper is to construct a further example of a space with such a cohomology algebra for n = 4 and to show that no other values of n are admissible. More precisely, we prove the following.

The paper is on the vanishing topology of singular Milnor fibres of holomorphic families of arbitrary square, symmetric and skew-symmetric matrices with sufficiently many parameters. We define vanishing cycles on such fibres, prove an extended form of the Damon-Pike $\mu=\tau$ conjecture about the families of a special type, and make first steps towards understading of the monodromy of matrix singularities. We also prove a Lyashko-Looijenga type theorem for simple matrix families, and point out a surprising relationship between certain Shephard-Todd groups, simple odd functions and a sporadic part of the Bruce-Tari simple matrix classification.

In this paper, we consider discrete groups in ${\rm PGL}_d(\mathbb{R})$ acting convex co-compactly on a properly convex domain in real projective space. For such groups, we establish an analogue of the well known flat torus theorem for ${\rm CAT}(0)$ spaces., Minor revisions, to appear in the Journal of the London Mathematical Society. 20 pages. Comments welcome

Let $\mathscr J$ be the set of inner functions whose derivative lies in the Nevanlinna class. In this paper, we discuss a natural topology on $\mathscr J$ where $F_n \to F$ if the critical structures of $F_n$ converge to the critical structure of $F$. We show that this occurs precisely when the critical structures of the $F_n$ are uniformly concentrated on Korenblum stars. The proof uses Liouville's correspondence between holomorphic self-maps of the unit disk and solutions of the Gauss curvature equation. Building on the works of Korenblum and Roberts, we show that this topology also governs the behaviour of invariant subspaces of a weighted Bergman space which are generated by a single inner function., 45 pages

ith respect to the analytic‐algebraic dichotomy, the theory of Siegel modular forms of half‐integral weight is lopsided; the analytic theory is strong, whereas the algebraic lags behind. In this paper, we capitalise on this to establish the fundamental object needed for the analytic side of the Iwasawa main conjecture — the p ‐adic L ‐function obtained by interpolating the complex L ‐function at special values. This is achieved through the Rankin–Selberg method and the explicit Fourier expansion of non‐holomorphic Siegel Eisenstein series. The construction of the p ‐stabilisation in this setting is also of independent interest.

International audience; Orbital varieties are the irreducible components of the intersection between a nilpotent orbit and a Borel subalgebra of the Lie algebra of a reductive group. There is a geometric correspondence between orbital varieties and irreducible components of Springer fibers. In type A, a construction due to Richardson implies that every nilpotent orbit contains at least one smooth orbital variety and every Springer fiber contains at least one smooth component. In this paper, we show that this property is also true for the other classical cases. Our proof uses the interpretation of Springer fibers as varieties of isotropic flags and van Leeuwen's parametrization of their components in terms of domino tableaux. In the exceptional cases, smooth orbital varieties do not arise in every nilpotent orbit, as already noted by Spaltenstein. We however give a (nonexhaustive) list of nilpotent orbits which have this property. Our treatment of exceptional cases relies on an induction procedure for orbital varieties, similar to the induction procedure for nilpotent orbits.

Adjoint functor theorems give necessary and sufficient conditions for a functor to admit an adjoint. In this paper, we prove general adjoint functor theorems for functors between ∞‐categories. One of our main results is an ∞‐categorical generalization of Freyd's classical General Adjoint Functor Theorem. As an application of this result, we recover Lurie's adjoint functor theorems for presentable ∞‐categories. We also discuss the comparison between adjunctions of ∞‐categories and homotopy adjunctions, and give a treatment of Brown representability for ∞‐categories based on Heller's purely categorical formulation of the classical Brown representability theorem.

A biperiodic alternating link has an alternating quotient link in the thickened torus. In this paper, we focus on semi-regular links, a class of biperiodic alternating links whose hyperbolic structure can be immediately determined from a corresponding Euclidean tiling. Consequently, we determine the exact volumes of semi-regular links. We relate their commensurability and arithmeticity to the corresponding tiling, and assuming a conjecture of Milnor, we show there exist infinitely many pairwise incommensurable semi-regular links with the same invariant trace field. We show that only two semi-regular links have totally geodesic checkerboard surfaces; these two links satisfy the Volume Density Conjecture. Finally, we give conditions implying that many additional biperiodic alternating links are hyperbolic and admit a positively oriented, unimodular geometric triangulation. We also provide sharp upper and lower volume bounds for these links., 25 pages, 15 figures. V2: Minor changes. Added reference, fixed typos, and clarified proof of Theorem 5.1

Kato introduced the exotic nilpotent cone to be a substitute for the ordinary nilpotent cone of type C with cleaner properties. Here we describe the irreducible components of exotic Springer fibres (the fibres of the resolution of the exotic nilpotent cone), and prove that they are naturally in bijection with standard bitableaux. As a result, we deduce the existence of an exotic Robinson–Schensted bijection, which is a variant of the type C Robinson–Schensted bijection between pairs of same-shape standard bitableaux and elements of the Weyl group; this bijection is described explicitly in the sequel to this paper. Note that this is in contrast with ordinary type C Springer fibres, where the parametrisation of irreducible components, and the resulting geometric Robinson–Schensted bijection, are more complicated. As an application, we explicitly describe the structure in the special cases where the irreducible components of theexotic Springer fibre have dimension 2, and show that in those cases one obtains Hirzebruch surfaces.

Schottky groups are exactly those Kleinian groups providing the regular lowest planar uniformizations of closed Riemann surfaces and also the ones providing to the interior of a handlebody of a complete hyperbolic structure with injectivity radius bounded away from zero. The space parametrizing quasiconformal deformations of Schottky groups of a fixed rank $g \geq 1$ is the marked Schottky space ${\mathcal M}{\mathcal S}_{g}$; this being a complex manifold of dimension $3(g-1)$ for $g \geq 2$ and being isomorphic to the punctured unit disc for $g=1$. In this paper we provide a complete description of the real structures of ${\mathcal M}{\mathcal S}_{g}$, up to holomorphic automorphisms, together their real part.

The aim of this paper is to introduce and investigate a new class of separable Banach spaces modeled after an example of Garling from 1968. For each 1≤p

It is known that the weights of a complex weighted homogeneous polynomial $f$ with isolated singularity are analytic invariants of $(\mathbb C^d,f^{-1}(0))$. When $d=2,3$ this result holds by assuming merely the topological type instead of the analytic one. G. Fichou and T. Fukui recently proved the following real counterpart: the blow-Nash type of a real singular non-degenerate convenient weighted homogeneous polynomial in three variables determines its weights. The aim of this paper is to generalize the above-cited result with no condition on the number of variables. We work with a characterization of the blow-Nash equivalence called the arc-analytic equivalence. It is an equivalence relation on Nash function germs with no continuous moduli which may be seen as a semialgebraic version of the blow-analytic equivalence of T.-C. Kuo.

We implement the program outlined in Section 7 of our earlier paper [J. Amer. Math. Soc. 27 (2014) 1147–1168] extending to the case of nonsimply laced simple Lie algebras the construction of solutions of q-difference Toda equations from geometry of quasimaps' spaces. To this end we introduce and study the twisted zastava spaces.

A Newton-Okounkov body is a convex body constructed from a polarized variety with a valuation on its function field. Kaveh (resp., the first author and Naito) proved that the Newton-Okounkov body of a Schubert variety associated with a specific valuation is identical to the Littelmann string polytope (resp., the Nakashima-Zelevinsky polyhedral realization) of a Demazure crystal. These specific valuations are defined algebraically to be the highest term valuations with respect to certain local coordinate systems on a Bott-Samelson variety. Another class of valuations, which is geometrically natural, arises from some sequence of subvarieties of a polarized variety. In this paper, we show that the highest term valuation used by Kaveh (resp., by the first author and Naito) and the valuation coming from a sequence of specific subvarieties of the Schubert variety are identical on a perfect basis with some positivity properties. The existence of such a perfect basis follows from a categorification of the negative part of the quantized enveloping algebra. As a corollary, we prove that the associated Newton-Okounkov bodies coincide through an explicit affine transformation.

Weak amenability of discrete groups was introduced by Haagerup and co-authors in the 1980's. It is an approximation property known to be stable under direct products and free products. In this paper we show that graph products of weakly amenable discrete groups are weakly amenable (with Cowling-Haagerup constant 1). Along the way we construct a wall space associated to the word length structure of a graph product and also give a method for extending completely bounded functions on discrete groups to a completely bounded function on their graph product.

Stable subgroups and the Morse boundary are two systematic approaches to collect and study the hyperbolic aspects of finitely generated groups. In this paper we unify and generalize these strategies by viewing any geodesic metric space as a countable union of stable subspaces: we show that every stable subgroup is a quasi--convex subset of a set in this collection and that the Morse boundary is recovered as the direct limit of the usual Gromov boundaries of these hyperbolic subspaces. We use this approach, together with results of Leininger--Schleimer, to deduce that there is no purely geometric obstruction to the existence of a non-virtually--free convex cocompact subgroup of a mapping class group. In addition, we define two new quasi--isometry invariant notions of dimension: the stable dimension, which measures the maximal asymptotic dimension of a stable subset; and the Morse capacity dimension, which naturally generalises Buyalo's capacity dimension for boundaries of hyperbolic spaces. We prove that every stable subset of a right--angled Artin group is quasi--isometric to a tree; and that the stable dimension of a mapping class group is bounded from above by a multiple of the complexity of the surface. In the case of relatively hyperbolic groups we show that finite stable dimension is inherited from peripheral subgroups. Finally, we show that all classical small cancellation groups and certain Gromov monster groups have stable dimension at most 2., Updated with comments from the referee. To appear in the Journal of the London Mathematical Society. 28 pages, 1 figure

We show that a semibounded Wiener-Hopf quadratic form is closable in the space $L^2({\Bbb R}_{+})$ if and only if its integral kernel is the Fourier transform of an absolutely continuous measure. This allows us to define semibounded Wiener-Hopf operators and their symbols under minimal assumptions on their integral kernels. Our proof relies on a continuous analogue of the Riesz Brothers theorem obtained in the paper.

In this paper, we study homological dimensions of algebras linked by recollements of derived module categories, and establish a series of new upper bounds and relationships among their finitistic or global dimensions. This is closely related to a longstanding conjecture, the finitistic dimension conjecture, in representation theory and homological algebra. Further, we apply our results to a series of situations of particular interest: exact contexts, ring extensions, trivial extensions, pullbacks of rings, and algebras induced from Auslander-Reiten sequences. In particular, we not only extend and amplify Happel’s reduction techniques for finitistic dimenson conjecture to more general contexts, but also generalise some recent results in the literature.

We investigate the first moment of the difference between $\psi(x;q,a)$ and Vaughan's approximation, in a certain range of $q$. We show that this last approximation is significantly more precise than the classical $x/\phi(q)$, and that it captures the discrepancies of the distribution of primes in arithmetic progressions found in an earlier paper of the author.

This paper studies a partial order on the general linear group GL(V) called the absolute order, derived from viewing GL(V) as a group generated by reflections, that is, elements whose fixed space has codimension one. The absolute order on GL(V) is shown to have two equivalent descriptions, one via additivity of length for factorizations into reflections, the other via additivity of fixed space codimensions. Other general properties of the order are derived, including self-duality of its intervals. Working over a finite field F_q, it is shown via a complex character computation that the poset interval from the identity to a Singer cycle (or any regular elliptic element) in GL_n(F_q) has a strikingly simple formula for the number of chains passing through a prescribed set of ranks., Comment: 26 pages. v2: Minor edits; Question 6.3 and some references added

In this paper, we first prove the metric approximation property for weighted mixed-norm L (p1,...,pn) w spaces. Using Gabor frame representation, this implies that the same property holds in weighted modulation and Wiener amalgam spaces. As a consequence, Grothendieck’s theory becomes applicable, and we give criteria for nuclearity and r-nuclearity for operators acting on these spaces as well as derive the corresponding trace formulae. Finally, we apply the notion of nuclearity to functions of the harmonic oscillator on modulation spaces.

We show that there exists an infinite family of knots, each of which has, for each integer k>=0, a destabilized (2k+5)-bridge sphere. We also show that, for each integer n>=4, there exists a knot with a destabilized 3-bridge sphere and a destabilized n-bridge sphere., 20 pages, 17 figures, v2: minor corrections throughout the paper

We investigate suitable conditions for a C0-semigroup (T(t))t≥0 of Hilbert space contractions to be unitarily equivalent to the restriction of the adjoint shift semigroup (S∗γ(t))t≥0 to an invariant subspace of the standard weighted Bergman space Aγ−2(C+,K). It turns out that (T(t))t≥0 admits a model by (S∗γ(t))t≥0 if and only if its cogenerator is γ-hypercontractive and limt→0T(t)=0 in strong operator topology. We then discuss how such semigroups can be characterized without involving the cogenerator. A sufficient condition is that, for each t>0, the operator T(t) is γ-hypercontractive. Surprisingly, this condition is necessary if and only if γ is integer. The paper is concluded with a conjecture that would imply a more symmetric characterization. (Less)

This paper proves nontrivial bounds for short mixed character sums by introducing estimates for Vinogradov's mean value theorem into a version of the Burgess method., 20 pages

In this paper, we count factorizations of Coxeter elements in well-generated complex reflection groups into products of reflections. We obtain a simple product formula for the exponential generating function of such factorizations, which is expressed uniformly in terms of natural parameters of the group. In the case of factorizations of minimal length, we recover a formula due to P. Deligne, J. Tits and D. Zagier in the real case and to D. Bessis in the complex case. For the symmetric group, our formula specializes to a formula of D. M. Jackson., Comment: 38 pages, including 18 pages appendix. To appear in Journal of the London Mathematical Society. v3: minor changes and corrected references; v2: added extended discussion on the definition of Coxeter elements

The paper is motivated by an analogy between cluster algebras and Kac-Moody algebras: both theories share the same classification of finite type objects by familiar Cartan-Killing types. However the underlying combinatorics beyond the two classifications is different: roughly speaking, Kac-Moody algebras are associated with (symmetrizable) Cartan matrices, while cluster algebras correspond to skew-symmetrizable matrices. We study an interplay between the two classes of matrices, in particular, establishing a new criterion for deciding whether a given skew-symmetrizable matrix gives rise to a cluster algebra of finite type., Comment: 20 pages. In version 3, some new material is added in the end of section 2, discussing the classification and characterizations of positive quasi-Cartan matrices. In final version 4, Proposition 2.9 is corrected and its proof expanded. To appear in J. London Math. Soc. In version 5 only typos in the arXiv data fixed