Search

The main goal of this article is to connect some recent perspectives in the study of 4 4 -manifolds from the vantage point of singularity theory. We present explicit algorithms for simplifying the topology of various maps on 4 4 -manifolds, which include broken Lefschetz fibrations and indefinite Morse 2 2 -functions. The algorithms consist of sequences of moves, which modify indefinite fibrations in smooth 1 1 -parameter families. These algorithms allow us to give purely topological and constructive proofs of the existence of simplified broken Lefschetz fibrations and Morse 2 2 -functions on general 4 4 -manifolds, and a theorem of Auroux–Donaldson–Katzarkov on the existence of certain broken Lefschetz pencils on near-symplectic 4 4 -manifolds. We moreover establish a correspondence between broken Lefschetz fibrations and Gay–Kirby trisections of 4 4 -manifolds, and show the existence and stable uniqueness of simplified trisections on all 4 4 -manifolds. Building on this correspondence, we also provide several new constructions of trisections, including infinite families of genus- 3 3 trisections with homotopy inequivalent total spaces, and exotic same genera trisections of 4 4 -manifolds in the homeomorphism classes of complex rational surfaces.

We study the list decodability of different ensembles of codes over the real alphabet under the assumption of an omniscient adversary. It is a well-known result that when the source and the adversary have power constraints $ P $ and $ N $ respectively, the list decoding capacity is equal to $ \frac{1}{2}\log\frac{P}{N} $. Random spherical codes achieve constant list sizes, and the goal of the present paper is to obtain a better understanding of the smallest achievable list size as a function of the gap to capacity. We show a reduction from arbitrary codes to spherical codes, and derive a lower bound on the list size of typical random spherical codes. We also give an upper bound on the list size achievable using nested Construction-A lattices and infinite Construction-A lattices. We then define and study a class of infinite constellations that generalize Construction-A lattices and prove upper and lower bounds for the same. Other goodness properties such as packing goodness and AWGN goodness of infinite constellations are proved along the way. Finally, we consider random lattices sampled from the Haar distribution and show that if a certain number-theoretic conjecture is true, then the list size grows as a polynomial function of the gap-to-capacity., Comment: Significantly revised

We determine the 2-fusion systems of J-component type in which the centralizer of some fully centralized involution has a maximal J-component that is the 2-fusion system of U 3 ( 3 ) .

The submonoid of the 3-strand braid group B 3 generated by σ 1 and σ 1 σ 2 is known to yield an exotic Garside structure on B 3 . We introduce and study an infinite family ( M n ) n ≥ 1 of Garside monoids generalizing this exotic Garside structure, i.e., such that M 2 is isomorphic to the above monoid. The corresponding Garside group G ( M n ) is isomorphic to the ( n , n + 1 ) -torus knot group–which is isomorphic to B 3 for n = 2 and to the braid group of the exceptional complex reflection group G 12 for n = 3 . This yields a new Garside structure on ( n , n + 1 ) -torus knot groups, which already admit several distinct Garside structures. The ( n , n + 1 ) -torus knot group is an extension of B n + 1 , and the Garside monoid M n surjects onto the submonoid Σ n of B n + 1 generated by σ 1 , σ 1 σ 2 , … , σ 1 σ 2 ⋯ σ n , which is not a Garside monoid when n > 2 . Using a new presentation of B n + 1 that is similar to the presentation of G ( M n ) , we nevertheless check that Σ n is an Ore monoid with group of fractions isomorphic to B n + 1 , and give a conjectural presentation of it, similar to the defining presentation of M n . This partially answers a question of Dehornoy–Digne–Godelle–Krammer–Michel.

We introduce an algorithmic framework to investigate spherical and geodesic growth series of braid groups relatively to the Artin's or Birman–Ko–Lee's generators. We present our experimentations in the case of three and four strands and conjecture rational expressions for the spherical growth series with respect to the Birman–Ko–Lee's generators.

We study a quotient of the group algebra of the braid group in which the Artin generators satisfy a cubic relation. This quotient is maximal among the ones satisfying such a cubic relation. We also investigate the proper quotients of it that appear in the realm of quantum groups, and describe another maximal quotient related to the usual Hecke algebras. Finally, we describe the connection between this algebra and a quotient of the algebra of horizontal chord diagrams introduced by Vogel. We prove that these two are isomorphic for n ≤ 5 .

This paper proves the conjectures (previously proved in the case n = 0 ) that for any Coxeter system ( W , S ) and any natural number n, the set of n-small roots for W is bipodal and the set of n-low elements of W is a Garside shadow. The proof here uses special cases ( k = 3 ) of properties (notably, their existence) of certain maximal rank k reflection subgroups of W, for non-negative integers k.

We consider Artin-Tits groups of FC type and prove the two following results. If any two distinct elements of a standard parabolic subgroup are conjugated by a standard generator of the whole group, then this generator has to be in the subgroup. We also prove that classical transversals of standard parabolic subgroups of Artin-Tits groups of FC type are compatible with intersection with standard parabolic subgroups: If A X , A Y are two standard parabolic subgroups of an Artin-Tits groups A of FC type and T is the classical transversal of A X in A, then T ∩ A Y is a transversal of A X ∩ Y in A Y . So the two properties hold for Artin-Tits groups of spherical type and Right-angled Artin-Tits groups.

Motivated in part by representation theoretic questions, we prove that if G is a finite quasi-simple group, then there exists an elementary abelian subgroup of G that contains a member of each conjugacy class of involutions of G.

Let $G$ be a finite group of order divisible by a prime $p$. The number of $p$-regular and $p'$-regular conjugacy classes of $G$ is at least $2\sqrt{p-1}$. Also, the number of $p$-rational and $p'$-rational irreducible characters of $G$ is at least $2\sqrt{p-1}$. Along the way we prove a uniform lower bound for the number of $p$-regular classes in a finite simple group of Lie type in terms of its rank and size of the underlying field., 46 pages

Several combinatorial actions of the affine Weyl group of type C ˜ n on triangulations, trees, words and permutations are compared. Addressing a question of David Vogan, we show that, modulo a natural involution, these permutation representations are multiplicity-free. The proof uses a general construction of Gelfand subgroups in the affine Weyl groups of types C ˜ n and B ˜ n .

Garside theory emerged from the study of Artin groups and their generalizations. Finite-type Artin groups admit two types of interval Garside structures corresponding to their standard and dual presentations. Concerning affine Artin groups, Digne established interval Garside structures for two families of these groups by using their dual presentations. Recently, McCammond established that none of the remaining dual presentations (except for one additional case) correspond to interval Garside structures. In this paper, shifting attention from dual presentations to other nice presentations for the affine Artin group of type A ˜ discovered by Shi and Corran–Lee–Lee, I will construct interval Garside structures related to this group. This construction is the first successful attempt to establish interval Garside structures not related to the dual presentations in the case of affine Artin groups.

By work of Belyĭ [2] , the absolute Galois group G Q = Gal ( Q ‾ / Q ) of the field Q of rational numbers can be embedded into A = Aut ( F ˆ 2 ) , the automorphism group of the free profinite group F ˆ 2 on two generators. The image of G Q lies inside G T ˆ , the Grothendieck-Teichmuller group. While it is known that every abelian representation of G Q can be extended to G T ˆ , Lochak and Schneps [13] put forward the challenge of constructing irreducible non-abelian representations of G T ˆ . We do this virtually, namely by showing that a rich class of arithmetically defined representations of G Q can be extended to finite index subgroups of G T ˆ . This is achieved, in fact, by extending these representations all the way to finite index subgroups of A = Aut ( F ˆ 2 ) . We do this by developing a profinite version of the work of Grunewald and Lubotzky [7] , which provided a rich collection of representations for the discrete group Aut ( F d ) .

An even Artin group is a group which has a presentation with relations of the form ( s t ) n = ( t s ) n with n ≥ 1 . With a group G we associate a Lie Z -algebra TG r ( G ) . This is the usual Lie algebra defined from the lower central series, truncated at the third rank. For each even Artin group G we determine a presentation for TG r ( G ) . By means of this presentation we obtain information about the diagram of G. We then prove an isomorphism criterion for Coxeter matrices that ensures that the diagram of G is uniquely determined by this information. Let d ≥ 2 . We show that, if two even Artin groups G and H having presentations with relations of the form ( s t ) d k = ( t s ) d k with k ≥ 0 are such that TG r ( G ) ≃ TG r ( H ) , then G and H have the same presentation up to permutation of the generators. On the other hand, we show an example of two non-isomorphic even Artin groups G and H such that TG r ( G ) ≃ TG r ( H ) .

In this paper we introduce and study some geometric objects associated to Artin monoids. The Deligne complex for an Artin group is a cube complex that was introduced by the second author and Davis (1995) to study the K(\pi,1) conjecture for these groups. Using a notion of Artin monoid cosets, we construct a version of the Deligne complex for Artin monoids. We show that for any Artin monoid this cube complex is contractible. Furthermore, we study the embedding of the monoid Deligne complex into the Deligne complex for the corresponding Artin group. We show that for any Artin group this is a locally isometric embedding. In the case of FC-type Artin groups this result can be strengthened to a globally isometric embedding, and it follows that the monoid Deligne complex is CAT(0) and its image in the Deligne complex is convex. We also consider the Cayley graph of an Artin group, and investigate properties of the subgraph spanned by elements of the Artin monoid. Our final results show that for a finite type Artin group, the monoid Cayley graph embeds isometrically, but not quasi-convexly, into the group Cayley graph., Comment: 21 pages

We show that, on the Riemann hypothesis, $\limsup_{X\to\infty}I(X)/X^{2} \leq 0.8603$, where $I(X) = \int_X^{2X} (\psi(x)-x)^2\,dx.$ This proves (and improves on) a claim by Pintz from 1982. We also show unconditionally that $\frac{1}{5\,374}\leq I(X)/X^2 $ for sufficiently large $X$, and that the $I(X)/X^{2}$ has no limit as $X\rightarrow\infty$., Comment: 23 pages

There are two definitions of Einstein-Finsler spaces introduced by Akbar-Zadeh, which we will show is equal along the integral curves of $I$-invariant projective vector fields. The sub-algebra of the $C$-projective vector fields, leaving the $H$-curvature invariant, has been studied extensively. Here we show on a closed Finsler space with negative definite Ricci curvature reduces to that of Killing vector fields. Moreover, if an Einstein-Finsler space admits such a projective vector field then the flag curvature is constant. Finally, a classification of compact isotropic mean Landsberg manifolds admitting certain projective vector fields is obtained with respect to the sign of Ricci curvature., 25 pages

We study nonlinear parabolic stochastic partial differential equations with Wick-power and Wick-polynomial type nonlinearities set in the framework of white noise analysis. These equations include the stochastic Fujita equation, the stochastic Fisher-KPP equation and the stochastic FitzHugh-Nagumo equation among many others. By implementing the theory of $C_0-$semigroups and evolution systems into the chaos expansion theory in infinite dimensional spaces, we prove existence and uniqueness of solutions for this class of SPDEs. In particular, we also treat the linear nonautonomous case and provide several applications featured as stochastic reaction-diffusion equations that arise in biology, medicine and physics.

This paper presents a curvature-free version of the Log ( 2 k − 1 ) \text {Log}(2k-1) Theorem of Anderson, Canary, Culler, and Shalen [J. Differential Geometry 44 (1996), pp. 738–782]. It generalizes a result by Hou [J. Differential Geometry 57 (2001), no. 1, pp. 173–193] and its proof is rather straightforward once we know the work by Lim [Trans. Amer. Math. Soc. 360 (2008), no. 10, pp. 5089–5100] on volume entropy for graphs. As a byproduct we obtain a curvature-free version of the Collar Lemma in all dimensions.

We study the subconvexity problem for GL 3 ( R ) L-functions in the t-aspect using integral representations by combining techniques employed by Michel–Venkatesh in their study of the corresponding problem for GL 2 with ideas from recent works of Munshi, Holowinsky–Nelson and Lin. Our main objective is to give – from the perspective of integral representations of L-functions and automorphic representation theory – a possible explanation of the origin of the “key identity” arising in the latter series of works.

In this paper we consider the fractional parts of a general sequence, for example the sequence $\alpha \sqrt{n}$ or $\alpha n^2$. We give a general method, which allows one to show that long-range correlations (correlations where the support of the test function grows as we consider more points) are Poissonian. We show that these statements about convergence can be reduced to bounds on associated Weyl sums. In particular we apply this methodology to the aforementioned examples. In so doing, we recover a recent result of Technau-Walker (2020) for the triple correlation of $\alpha n^2$ and generalize the result to higher moments. For both of the aforementioned sequences this is one of the only results which indicates the pseudo-random nature of the higher level ($m \ge 3$) correlations., Comment: 132 pages

Let F be a local field of characteristic zero. Let μ be a good character of GL p ( F ) × GL p + 1 ( F ) . We study the generalized linear period problem for the pair ( G , H p , p + 1 ) = ( GL 2 p + 1 ( F ) , GL p ( F ) × GL p + 1 ( F ) ) and we prove that any bi- ( H p , p + 1 , μ ) -equivariant tempered generalized function on G is invariant under the matrix transpose. We also show that any P ∩ H p , p + 1 -invariant linear functional on an H p , p + 1 -distinguished irreducible smooth representation of G is also H p , p + 1 -invariant if F is nonarchimedean, where P is the standard mirabolic subgroup of G consisting of matrices with last row vector ( 0 , ⋯ , 0 , 1 ) .

Let $E/F$ be a finite and Galois extension of non-archimedean local fields. Let $G$ be a connected reductive group defined over $E$ and let $M: = \mathfrak{R}_{E/F}\, G$ be the reductive group over $F$ obtained by Weil restriction of scalars. We investigate depth, and the enhanced local Langlands correspondence, in the transition from $G(E)$ to $M(F)$. We obtain a depth-comparison formula for Weil-restricted groups., 29 pages

Let $R$ be a local ring of positive characteristic and $X$ a complex with nonzero finitely generated homology and finite injective dimension. We prove that if derived base change of $X$ via the Frobenius (or more generally, via a contracting) endomorphism has finite injective dimension then $R$ is Gorenstein., 9 pages, comments are welcome

Given Y a non-compact manifold or orbifold, we define a natural subspace of the cohomology of Y called the narrow cohomology. We show that despite Y being non-compact, there is a well-defined and non-degenerate pairing on this subspace. The narrow cohomology proves useful for the study of genus zero Gromov-Witten theory. When Y is a smooth complex variety or Deligne-Mumford stack, one can define a quantum D-module on the narrow cohomology of Y. This yields a new formulation of quantum Serre duality.

We present several results on the compactness of the space of morphisms between analytic spaces in the sense of Berkovich. We show that under certain conditions on the source, every sequence of analytic maps having an affinoid target has a subsequence that converges pointwise to a continuous map. We also study the class of continuous maps that arise in this way. Locally, they turn analytic after a certain base change. We give some applications of these results to the dynamics of an endomorphism f of the projective space. We define the Fatou set as the normality locus of the family of the iterates {f n }. We then generalize to the non-Archimedan setting a theorem of Ueda stating that every Fatou component is hyperbolically imbedded in the projective space.

We obtain the growth of Sobolev norms of the solution to the Maxwell–Dirac equations in R 1 + 1 by applying elementary techniques. In particular, we estimate L ∞ bound of the solution by making use of a local energy conservation. The similar idea can be applied to the Dirac–Klein–Gordon equations.

International audience; We show that there is an equivalence of categories between Lie-Rinehart algebras over a commutative algebra and homotopy equivalence classes of negatively graded Lie ∞-algebroids over their resolutions (=acyclic Lie ∞-algebroids). This extends to a purely algebraic setting the construction of the universal Q-manifold of a locally real analytic singular foliation of [26], [28]. In particular, it makes sense for the universal Lie ∞-algebroid of every singular foliation, without any additional assumption, and for Androulidakis-Zambon singular Lie algebroids. Also, to any ideal preserved by the anchor map of a Lie-Rinehart algebra , we associate a homotopy equivalence class of negatively graded Lie ∞-algebroids over complexes computing . Several explicit examples are given.

There is an embedding of affine vertex algebras $V^k(\mathfrak{gl}_n) \hookrightarrow V^k(\mathfrak{sl}_{n+1})$, and the coset $\mathcal{C}^k(n) = \text{Com}(V^k(\mathfrak{gl}_n), V^k(\mathfrak{sl}_{n+1}))$ is a natural generalization of the parafermion algebra of $\mathfrak{sl}_2$. It was called the algebra of generalized parafermions by the third author and was shown to arise as a one-parameter quotient of the universal two-parameter $\mathcal{W}_{\infty}$-algebra of type $\mathcal{W}(2,3,\dots)$. In this paper, we consider an analogous structure of orthogonal type, namely $\mathcal{D}^k(n) = \text{Com}(V^k(\mathfrak{so}_{2n}), V^k(\mathfrak{so}_{2n+1}))^{\mathbb{Z}_2}$. We realize this algebra as a one-parameter quotient of the two-parameter even spin $\mathcal{W}_{\infty}$-algebra of type $\mathcal{W}(2,4,\dots)$, and we classify all coincidences between its simple quotient $\mathcal{D}_k(n)$ and the algebras $\mathcal{W}_{\ell}(\mathfrak{so}_{2m+1})$ and $\mathcal{W}_{\ell}(\mathfrak{so}_{2m})^{\mathbb{Z}_2}$. As a corollary, we show that for the admissible levels $k = -(2n-2) + \frac{1}{2} (2 n + 2 m -1)$ for $\widehat{\mathfrak{so}}_{2n}$ the simple affine algebra $L_k(\mathfrak{so}_{2n})$ embeds in $L_k(\mathfrak{so}_{2n+1})$, and the coset is strongly rational. As a consequence, the category of ordinary modules of $L_k(\mathfrak{so}_{2n+1})$ at such a level is a braided fusion category., Comment: Minor corrections, final version to appear in J. Algebra

We determine the Lie subalgebra $\mathfrak{g}_{nil}$ of a Borcherds symmetrizable generalized Kac-Moody Lie algebra $\mathfrak{g}$ generated by $ad$-locally nilpotent elements and show that it is `essentially' the same as the Levi subalgebra of $\mathfrak{g}$ with its simple roots precisely the real simple roots of $\mathfrak{g}$., 5 pages

Let R be a commutative noetherian ring. The notion of n-wide subcategories of Mod R is introduced and studied in Matsui-Nam-Takahashi-Tri-Yen in relation to the cohomological dimension of a specialization-closed subset of Spec R. In this paper, we introduce the notions of n-coherent subsets of Spec R and n-uniform subcategories of D(Mod R), and explore their interactions with n-wide subcategories of Mod R. We obtain a commutative diagram which yields filtrations of subcategories of Mod R, D(Mod R) and subsets of Spec R and complements classification theorems of subcategories due to Gabriel, Krause, Neeman, Takahashi and Angeleri Hugel-Marks-Stovicek-Takahashi-Vitoria., Comment: 17 pages, to appear in IMRN

In the present paper, we consider an elliptic divergence form operator in the half-space and prove that its Green function is almost affine, or more precisely, that the normalized difference between the Green function and a suitable affine function at every scale satisfies a Carleson measure estimate, provided that the oscillations of the coefficients satisfy the traditional quadratic Carleson condition. The results are sharp, and in particular, it is demonstrated that the class of the operators considered in the paper cannot be improved., 39 pages. Added a remark on the estimates for the second derivatives of the Green function. Added the definition of the Green function with pole at infinity. To appear in Arch. Ration. Mech. Anal

Recall that two geodesics in a negatively curved surface $S$ are of the same type if their free homotopy classes differ by a homeomorphism of the surface. In this note we study the distribution in the unit tangent bundle of the geodesics of fixed type, proving that they are asymptotically equidistributed with respect to a certain measure $\mathfrak{m}^S$ on $T^1S$. We study a few properties of this measure, showing for example that it distinguishes between hyperbolic surfaces., 18 pages

We prove that scalar-valued sparse domination of a multilinear operator implies vector-valued sparse domination for tuples of quasi-Banach function spaces, for which we introduce a multilinear analogue of the UMD condition. This condition is characterized by the boundedness of the multisublinear Hardy-Littlewood maximal operator and goes beyond examples in which a UMD condition is assumed on each individual space and includes e.g. iterated Lebesgue, Lorentz, and Orlicz spaces. Our method allows us to obtain sharp vector-valued weighted bounds directly from scalar-valued sparse domination, without the use of a Rubio de Francia type extrapolation result. We apply our result to obtain new vector-valued bounds for multilinear Calder\'on-Zygmund operators as well as recover the old ones with a new sharp weighted bound. Moreover, in the Banach function space setting we improve upon recent vector-valued bounds for the bilinear Hilbert transform., Comment: 31 pages. Corrected author name

We prove the non-existence of real analytic Levi flat hypersurface whose complement is 1-convex and Levi foliation is transversely affine in compact Kahler surfaces.

Let f be a polynomial in n variables over some number field and Z a subscheme of affine n-space. The notion of motivic oscillation index of f at Z was initiated by Cluckers in [7] and Cluckers-Mustaţǎ-Nguyen in [12] . In this paper we elaborate on this notion and raise several questions. The first one is stability under base field extension; this question is linked to a deep understanding of the density of non-archimedean local fields over which Igusa's local zeta function of f has a pole with given real part. The second one is around Igusa's conjecture for exponential sums with bounds in terms of the motivic oscillation index. Thirdly, we wonder if the above questions only depend on the analytic isomorphism class of singularities. By using various techniques as the GAGA theorem, resolution of singularities and model theory, we can answer the third question up to a base field extension. Next, by using a transfer principle between non-archimedean local fields of characteristic zero and positive characteristic, we can link all three questions with a conjecture on weights of l-adic cohomology groups of Artin-Schreier sheaves associated to jet polynomials. This way, we can answer all questions positively if f is a polynomial ‘of Thom-Sebastiani type’ with non-rational singularities. As a consequence, we prove Igusa's conjecture for arbitrary polynomials in three variables and polynomials with singularities of A − D − E type. In an appendix, we answer affirmatively a recent question of Cluckers-Mustaţǎ-Nguyen in [12] on poles of maximal order of twisted Igusa's local zeta functions.

O'Grady constructed a 6-dimensional irreducible holomorphic symplectic variety by taking a crepant resolution of some moduli space of stable sheaves on an abelian surface. In this paper, we naturally extend O'Grady's construction to fields of positive characteristic p greater than 2, called OG6 varieties. We show that a supersingular OG6 variety is unirational, its rational cohomology group is generated by algebraic classes, and its rational Chow motive is of Tate type. These results confirm in this case the generalized Artin--Shioda conjecture, the supersingular Tate conjecture and the supersingular Bloch conjecture proposed in our previous work, in analogy with the theory of supersingular K3 surfaces., Comment: Final version. To appear in I.M.R.N

We extend the theory of Koszul modules to the bi-graded case, and prove a vanishing theorem that allows us to show that the Canonical Ribbon Conjecture of Bayer and Eisenbud holds over a field of characteristic zero or at least equal to the Clifford index. Our results confirm a conjecture of Eisenbud and Schreyer regarding the characteristics where the generic statement of Green's conjecture holds. They also recover and extend to positive characteristics results due to Aprodu and Voisin asserting that Green's Conjecture holds for generic curves of each gonality., Comment: 23 pages

The goal of this paper is to provide a categorical framework that leads to the definition of shtukas a la Drinfeld and of excursion operators a la V. Lafforgue. We take as the point of departure the Hecke action of Rep ( G ˇ ) on the category Shv ( Bun G ) of sheaves on Bun G , and also the endofunctor of the latter category, given by the action of the geometric Frobenius. The shtuka construction will be obtained by applying (various versions of) categorical trace.

In this paper, we extend the notion of microstate free entropy to the bi-free setting. In particular, using the bi-free analogue of random matrices, microstate bi-free entropy is defined. Properties essential to an entropy theory are developed, such as the behaviour of the entropy when transformations on the left variables or on the right variables are performed. In addition, the microstate bi-free entropy is demonstrated to be additive over bi-free collections provided additional regularity assumptions are included and is computed for all bi-free central limit distributions. Moreover, an orbital version of bi-free entropy is examined which provides a tighter upper bound for the subadditivity of microstate bi-free entropy and provides an alternate characterization of bi-freeness in certain settings., Comment: (new version contains corrections, orbital bi-free entropy, and a new characterization of bi-freenness)

We give explicit isomorphisms between simple modules of degenerate cyclotomic Hecke algebras defined via various cellular bases. A special case gives a generalized Mullineux involution in the degenerate case., Comment: 21 pages

Prime power fold cyclic branched covers along smoothly slice knots all bound rational homology balls. This phenomenon, however, does not characterize slice knots. In this paper, we give a new construction of non-slice knots that have the above property. The sliceness obstruction comes from computing twisted Alexander polynomials, and we introduce new techniques to simplify their calculation., Comment: 19 pages, 5 figures, Version 2: Minor changes to abstract and introduction. Added references on knots that are not concordant to their reverses

It was shown by Mukai that the maximum order of a finite group acting faithfully and symplectically on a K3 surface is $960$ and that the group is isomorphic to the group $M\_{20}$. Then Kondo showed that the maximum order of a finite group acting faithfully on a K3 surface is $3\,840$ and this group contains the Mathieu group $M\_{20}$ with index four. Kondo also showed that there is a unique K3 surface on which this group acts faithfully, which is the Kummer surface $\Km(E\_i\times E\_i)$. In this paper we describe two more K3 surfaces admitting a big finite automorphism group of order $1\,920$, both groups contains $M\_{20}$ as a subgroup of index 2. We show moreover that these two groups and the two K3 surfaces are unique. This result was shown independently by S. Brandhorst and K. Hashimoto in a forthcoming paper, with the aim of classifying all the finite groups acting faithfully on K3 surfaces with maximal symplectic part., 15 pages

In this paper we make an initial study on type D moduli spaces in positive characteristic $p\neq 2$, where we allow $p$ ramified in the definite quaternion algebra. We classify the isogeny classes of $p$-divisible groups with additional structures in question. We also study the reduction of the type $D$ moduli spaces of minimal rank., Comment: 57 pages, to appear in Annales de l'Institut Fourier (Grenoble)

We investigate the structure of crossed product von Neumann algebras arising from Bogoljubov actions of countable groups on Shlyakhtenko's free Araki-Woods factors. Among other results, we settle the questions of factoriality and Connes' type classification. We moreover provide general criteria regarding fullness and strong solidity. As an application of our main results, we obtain examples of type ${\rm III_0}$ factors that are prime, have no Cartan subalgebra and possess a maximal amenable abelian subalgebra. We also obtain a new class of strongly solid type ${\rm III}$ factors with prescribed Connes' invariants that are not isomorphic to any free Araki-Woods factors.

We introduce algebraic structures on the polyvector fields of an algebraic torus that serve to compute multiplicities in tropical and log Gromov-Witten theory while also connecting to the mirror symmetry dual deformation theory of complex structures. Most notably these structures include a tropical quantum field theory and an $L_{\infty}$-structure. The latter is an instance of Getzler's gravity algebra, and the $l_2$-bracket is a restriction of the Schouten-Nijenhuis bracket. We explain the relationship to string topology in the appendix (thanks to Janko Latschev)., Intro rewritten; improved definition of Tropical QFT; corrected algebraic characterization of TrQFT (Theorem 3.6); added appendix on relation to string topology; various other improvements; 37 pages; comments welcome!

We consider families of random products of close-by Anosov diffeomorphisms, and show that statistical stability and linear response hold for the associated families of equivariant and stationary measures. Our analysis rely on the study of the top Oseledets space of a parametrized transfer operator cocycle, as well as ad-hoc abstract perturbation statements. As an application, we show that, when the quenched central limit theorem holds, under the conditions that ensure linear response for our cocycle, the variance in the CLT depends differentiably on the parameter., Electronic copy of final peer-reviewed manuscript accepted for publication in Ergodic Theory and Dynamical Systems

We establish sharp bounds for the second moment of symmetric-square L-functions attached to Hecke Maass cusp forms $u_j$ with spectral parameter $t_j$ , where the second moment is a sum over $t_j$ in a short interval. At the central point $s=1/2$ of the L-function, our interval is smaller than previous known results. More specifically, for $\left \lvert t_j\right \rvert $ of size T, our interval is of size $T^{1/5}$ , whereas the previous best was $T^{1/3}$ , from work of Lam. A little higher up on the critical line, our second moment yields a subconvexity bound for the symmetric-square L-function. More specifically, we get subconvexity at $s=1/2+it$ provided $\left \lvert t_j\right \rvert ^{6/7+\delta }\le \lvert t\rvert \le (2-\delta )\left \lvert t_j\right \rvert $ for any fixed $\delta>0$ . Since $\lvert t\rvert $ can be taken significantly smaller than $\left \lvert t_j\right \rvert $ , this may be viewed as an approximation to the notorious subconvexity problem for the symmetric-square L-function in the spectral aspect at $s=1/2$ .