Search

Let $R$ be the homogeneous coordinate ring of the Grassmannian $\mathbb{G}=Gr(2,n)$ defined over an algebraically closed field $k$ of characteristic $p \geq \max\{n-2,3\}$. In this paper we give a description of the decomposition of $R$, considered as graded $R^{p^r}$-module, for $r \geq 2$. This is a companion paper to our earlier paper, where the case $r=1$ was treated, and taken together, our results imply that $R$ has finite F-representation type (FFRT). Though it is expected that all rings of invariants for reductive groups have FFRT, ours is the first non-trivial example of such a ring for a group which is not linearly reductive. As a corollary, we show that the ring of differential operators $D_k(R)$ is simple, that $\mathbb{G}$ has global finite F-representation type (GFFRT) and that $R$ provides a noncommutative resolution for $R^{p^r}$., Comment: 52 pages

This paper continues the program initiated in the works by the authors [60], [61] and [62] and by the authors with Li [51] and [52] to establish higher order Poincar\'e-Sobolev, Hardy-Sobolev-Maz'ya, Adams and Hardy-Adams inequalities on real hyperbolic spaces using the method of Helgason-Fourier analysis on the hyperbolic spaces. The aim of this paper is to establish such inequalities on the Siegel domains and complex hyperbolic spaces. Firstly, we prove a factorization theorem for the operators on the complex hyperbolic space which is closely related to Geller' operator, as well as the CR invariant differential operators on the Heisenberg group and CR sphere. Secondly, by using, among other things, the Kunze-Stein phenomenon on a closed linear group $SU(1,n)$ and Helgason-Fourier analysis techniques on the complex hyperbolic spaces, we establish the Poincar\'e-Sobolev, Hardy-Sobolev-Maz'ya inequality on the Siegel domain $\mathcal{U}^{n}$ and the unit ball $\mathbb{B}_{\mathbb{C}}^{n}$. Finally, we establish the sharp Hardy-Adams inequalities and sharp Adams type inequalities on Sobolev spaces of any positive fractional order on the complex hyperbolic spaces. The factorization theorem we proved is of its independent interest in the Heisenberg group and CR sphere and CR invariant differential operators therein., Comment: 51 pages

Goulden, Jackson and Vakil observed a polynomial structure underlying one-part double Hurwitz numbers, which enumerate branched covers of $\mathbb{CP}^1$ with prescribed ramification profile over $\infty$, a unique preimage over 0, and simple branching elsewhere. This led them to conjecture the existence of moduli spaces and tautological classes whose intersection theory produces an analogue of the celebrated ELSV formula for single Hurwitz numbers. In this paper, we present three formulas that express one-part double Hurwitz numbers as intersection numbers on certain moduli spaces. The first involves Hodge classes on moduli spaces of stable maps to classifying spaces; the second involves Chiodo classes on moduli spaces of spin curves; and the third involves tautological classes on moduli spaces of stable curves. We proceed to discuss the merits of these formulas against a list of desired properties enunciated by Goulden, Jackson and Vakil. Our formulas lead to non-trivial relations between tautological intersection numbers on moduli spaces of stable curves and hints at further structure underlying Chiodo classes. The paper concludes with generalisations of our results to the context of spin Hurwitz numbers., Comment: 20 pages. Some corollaries are added in the second version, and software numerical checks are performed

Our main purpose in this paper is to establish the existence and nonexistence of extremal functions (also known as maximizers) and symmetry of extremals for several Trudinger-Moser type inequalities on the entire space R n , including both the critical and subcritical Trudinger-Moser inequalities (see Theorems 1.1, 1.2, 1.3, 1.4, 1.5). Most of earlier works on existence of maximizers in the literature rely on the complicated blow-up analysis of PDEs for the associated Euler-Lagrange equations of the corresponding Moser functionals. The new approaches developed in this paper are using the identities and relationship between the supremums of the subcritical Trudinger-Moser inequalities and the critical ones established by the same authors in [25] , combining with the continuity of the supremum function that is observed for the first time in the literature. These allow us to establish the existence and nonexistence of the maximizers for the Trudinger-Moser inequalities in different ranges of the parameters (including those inequalities with the exact growth). This method is considerably simpler and also allows us to study the symmetry problem of the extremal functions and prove that the extremal functions for the subcritical singular Truddinger-Moser inequalities are symmetric. Moreover, we will be able to calculate the exact values of the supremums of the Trudinger-Moser type in certain cases. These appear to be the first results in this direction.

We introduce topological notions of normal crossings symplectic divisor and variety and establish that they are equivalent, in a suitable sense, to the desired geometric notions. Our proposed concept of equivalence of associated topological and geometric notions fits ideally with important constructions in symplectic topology. This partially answers Gromov's question on the feasibility of defining singular symplectic (sub)varieties and lays foundation for rich developments in the future. In subsequent papers, we establish a smoothability criterion for symplectic normal crossings varieties, in the process providing the multifold symplectic sum envisioned by Gromov, and introduce symplectic analogues of logarithmic structures in the context of normal crossings symplectic divisors., Comment: 65 pages, 4 figures; a number of typos fixed; the exposition has been significantly revised, fixing a technical error in the non-compact case in the process; this paper is now restricted to the simple normal crossings case; the arbitrary normal crossings case will be detailed in a followup paper

This paper is the second part of our comprehensive study on the structure of the solutions for the following Chern–Simons–Higgs equation: (0.1) { Δ u + 1 e 2 e u ( 1 − e u ) = 4 π ∑ j = 1 N δ p j , in Ω , u is doubly periodic on ∂ Ω , where Ω is a parallelogram in R 2 and e > 0 is a small parameter. In part 1 [29] , we proved the non-coexistence of different bubbles in the bubbling solutions and obtained an existence result for the Chern–Simons type bubbling solutions under some nearly necessary conditions. Mean field type bubbling solutions for (0.1) have been constructed in [27] . In this paper, we shall study two other important issues for the mean field type bubbling solutions: the necessary conditions for the existence and the local uniqueness. The results in this paper lay the foundation to find the exact number of solutions for (0.1) .

Quasi-elliptic cohomology is a variant of elliptic cohomology theories. It is the orbifold K-theory of a space of constant loops. For global quotient orbifolds, it can be expressed in terms of equivariant K-theories. Thus, the constructions on it can be made in a neat way. This theory reflects the geometric nature of the Tate curve. In this paper we provide a systematic introduction of its construction and definition., Comment: Final Version. 26 pages. To appear in Advances in Mathematics. In this paper we generalize the construction in arXiv:1612.00930. The subtle point of this generalization is explained in Section 2

In his 1990 paper, Jones characterized subsets of rectifiable curves in via a multiscale sum of β-numbers, which measure how far a given set deviates from a straight line at each scale and location. This characterization was extended by Okikiolu to subsets of and by Schul to subsets of a Hilbert space.\ud \ud Recently, there has been some interest in characterizing subsets of higher dimensional surfaces in . Using a variant of Jones' β-number introduced by Azzam and Schul, Villa gave a characterization of lower regular subsets of a certain class of topologically stable surfaces – introduced in a 2004 paper of David – via a multiscale sum of these new β-numbers.\ud \ud In this paper we remove the lower regularity condition and prove an analogous result for general d-dimensional subsets of . To do this, we introduce the restricted content, which assigns ‘mass’ to any subset of (even to sets with zero Hausdorff measure), and use it to define new d-dimensional variant of Jones' β-number that is defined for any set in .

Motivated by two identities published with Ramanujan's lost notebook and connected, respectively, with the Gauss circle problem and the Dirichlet divisor problem, in an earlier paper, three of the present authors derived representations for certain sums of products of trigonometric functions as double series of Bessel functions [8] . These series are generalized in the present paper by introducing the novel notion of balanced derivatives, leading to further theorems. As we will see below, the regions of convergence in the unbalanced case are entirely different than those in the balanced case. From this viewpoint, it is remarkable that Ramanujan had the intuition to formulate entries that are, in our new terminology, “balanced”. If x denotes the number of products of the trigonometric functions appearing in our sums, in addition to proving the identities mentioned above, theorems and conjectures for upper and lower bounds for the sums as x → ∞ are established.

The Langlands functoriality conjecture, as reformulated in the “beyond endoscopy” program, predicts comparisons between the (stable) trace formulas of different groups G 1 , G 2 for every morphism G 1 L → L G 2 between their L-groups. This conjecture can be seen as a special case of a more general conjecture, which replaces reductive groups by spherical varieties and the trace formula by its generalization, the relative trace formula. The goal of this article and its precursor [11] is to demonstrate, by example, the existence of “transfer operators” between relative trace formulas, which generalize the scalar transfer factors of endoscopy. These transfer operators have all properties that one could expect from a trace formula comparison: matching, fundamental lemma for the Hecke algebra, transfer of (relative) characters. Most importantly, and quite surprisingly, they appear to be of abelian nature (at least, in the low-rank examples considered in this paper), even though they encompass functoriality relations of non-abelian harmonic analysis. Thus, they are amenable to application of the Poisson summation formula in order to perform the global comparison. Moreover, we show that these abelian transforms have some structure — which presently escapes our understanding in its entirety — as deformations of well-understood operators when the spaces under consideration are replaced by their “asymptotic cones”. In this second paper we use Rankin–Selberg theory to prove the local transfer behind Rudnick's 1990 thesis (comparing the stable trace formula for SL 2 with the Kuznetsov formula) and Venkatesh's 2002 thesis (providing a “beyond endoscopy” proof of functorial transfer from tori to GL 2 ). As it turns out, the latter is not completely disjoint from endoscopic transfer — in fact, our proof “factors” through endoscopic transfer. We also study the functional equation of the symmetric-square L-function for GL 2 , and show that it is governed by an explicit “Hankel operator” at the level of the Kuznetsov formula, which is also of abelian nature. A similar theory for the standard L-function was previously developed (in a different language) by Jacquet.

Decomposition spaces are simplicial $\infty$-groupoids subject to a certain exactness condition, needed to induce a coalgebra structure on the space of arrows. Conservative ULF functors (CULF) between decomposition spaces induce coalgebra homomorphisms. Suitable added finiteness conditions define the notion of M\"obius decomposition space, a far-reaching generalisation of the notion of M\"obius category of Leroux. In this paper, we show that the Lawvere-Menni Hopf algebra of M\"obius intervals, which contains the universal M\"obius function (but is not induced by a M\"obius category), can be realised as the homotopy cardinality of a M\"obius decomposition space $U$ of all M\"obius intervals, and that in a certain sense $U$ is universal for M\"obius decomposition spaces and CULF functors., Comment: 35 pages. This paper is one of six papers that formerly constituted the long manuscript arXiv:1404.3202. v3: minor expository improvements. Final version to appear in Adv. Math

This paper establishes a version of Nevanlinna theory based on Askey–Wilson divided difference operator for meromorphic functions of finite logarithmic order in the complex plane C . A second main theorem that we have derived allows us to define an Askey–Wilson type Nevanlinna deficiency which gives a new interpretation that one should regard many important infinite products arising from the study of basic hypergeometric series as zero/pole-scarce. That is, their zeros/poles are indeed deficient in the sense of difference Nevanlinna theory. A natural consequence is a version of Askey–Wilson type Picard theorem. We also give an alternative and self-contained characterisation of the kernel functions of the Askey–Wilson operator. In addition we have established a version of unicity theorem in the sense of Askey–Wilson. This paper concludes with an application to difference equations generalising the Askey–Wilson second-order divided difference equation.

In this paper, we describe a surprising link between the theory of the Goldman–Turaev Lie bialgebra on surfaces of genus zero and the Kashiwara–Vergne (KV) problem in Lie theory. Let Σ be an oriented 2-dimensional manifold with non-empty boundary and K a field of characteristic zero. The Goldman–Turaev Lie bialgebra is defined by the Goldman bracket { − , − } and Turaev cobracket δ on the K -span of homotopy classes of free loops on Σ. Applying an expansion θ : K π → K 〈 x 1 , … , x n 〉 yields an algebraic description of the operations { − , − } and δ in terms of non-commutative variables x 1 , … , x n . If Σ is a surface of genus g = 0 the lowest degree parts { − , − } − 1 and δ − 1 are canonically defined (and independent of θ). They define a Lie bialgebra structure on the space of cyclic words which was introduced and studied by Schedler [31] . It was conjectured by the second and the third authors that one can define an expansion θ such that { − , − } = { − , − } − 1 and δ = δ − 1 . The main result of this paper states that for surfaces of genus zero constructing such an expansion is essentially equivalent to the KV problem. In [24] , Massuyeau constructed such expansions using the Kontsevich integral. In order to prove this result, we show that the Turaev cobracket δ can be constructed in terms of the double bracket (upgrading the Goldman bracket) and the non-commutative divergence cocycle which plays the central role in the KV theory. Among other things, this observation gives a new topological interpretation of the KV problem and allows to extend it to surfaces with arbitrary number of boundary components (and of arbitrary genus, see [2] ).

Dolgachev surfaces are simply connected minimal elliptic surfaces with $p_g=q=0$ and of Kodaira dimension 1. These surfaces were constructed by logarithmic transformations of rational elliptic surfaces. In this paper, we explain the construction of Dolgachev surfaces via $\mathbb Q$-Gorenstein smoothing of singular rational surfaces with two cyclic quotient singularities. This construction is based on the paper by Lee-Park. Also, some exceptional bundles on Dolgachev surfaces associated with $\mathbb Q$-Gorenstein smoothing are constructed based on the idea of Hacking. In the case if Dolgachev surfaces were of type $(2,3)$, we describe the Picard group and present an exceptional collection of maximal length. Finally, we prove that the presented exceptional collection is not full, hence there exist a nontrivial phantom category in the derived category., Comment: 35 pages; 3 figures; exposition improved; Adv. Math. (to appear)

A Lie conformal algebra is an algebraic structure that encodes the singular part of the operator product expansion of chiral fields in conformal field theory. A Lie pseudoalgebra is a generalization of this structure, for which the algebra of polynomials k[\partial] in the indeterminate is replaced by the universal enveloping algebra U(d) of a finite-dimensional Lie algebra d over the base field k. The finite (i.e., finitely generated over U(d)) simple Lie pseudoalgebras were classified in our 2001 paper [BDK]. The complete list consists of primitive Lie pseudoalgebras of type W, S, H, and K, and of current Lie pseudoalgebras over them or over simple finite-dimensional Lie algebras. The present paper is the third in our series on representation theory of simple Lie pseudoalgebras. In the first paper, we showed that any finite irreducible module over a primitive Lie pseudoalgebra of type W or S is either an irreducible tensor module or the image of the differential in a member of the pseudo de Rham complex. In the second paper, we established a similar result for primitive Lie pseudoalgebras of type K, with the pseudo de Rham complex replaced by a certain reduction, called the contact pseudo de Rham complex. This reduction in the context of contact geometry was discovered by M. Rumin [Rum]. In the present paper, we show that for primitive Lie pseudoalgebras of type H, a similar to type K result holds with the contact pseudo de Rham complex replaced by a suitable complex. However, the type H case in more involved, since the annihilation algebra is not the corresponding Lie-Cartan algebra, as in other cases, but an irreducible central extension. When the action of the center of the annihilation algebra is trivial, this complex is related to work by M. Eastwood [E] on conformally symplectic geometry, and we call it conformally symplectic pseudo de Rham complex., Comment: 62 pages

A concept of emergence was recently introduced in the paper [Berger] in order to quantify the richness of possible statistical behaviors of orbits of a given dynamical system. In this paper, we develop this concept and provide several new definitions, results, and examples. We introduce the notion of topological emergence of a dynamical system, which essentially evaluates how big the set of all its ergodic probability measures is. On the other hand, the metric emergence of a particular reference measure (usually Lebesgue) quantifies how non-ergodic this measure is. We prove fundamental properties of these two emergences, relating them with classical concepts such as Kolmogorov's $\epsilon$-entropy of metric spaces and quantization of measures. We also relate the two types of emergences by means of a variational principle. Furthermore, we provide several examples of dynamics with high emergence. First, we show that the topological emergence of some standard classes of hyperbolic dynamical systems is essentially the maximal one allowed by the ambient. Secondly, we construct examples of smooth area-preserving diffeomorphisms that are extremely non-ergodic in the sense that the metric emergence of the Lebesgue measure is essentially maximal. These examples confirm that super-polynomial emergence indeed exists, as conjectured in the paper [Berger]. Finally, we prove that such examples are locally generic among smooth diffeomorphisms., Comment: v3: Final version; to appear in Advances in Mathematics

This paper considers the problem of establishing L p -improving inequalities for Radon-like operators in intermediate dimensions (i.e., for averages overs submanifolds which are neither curves nor hypersurfaces). Due to limitations in existing approaches, previous results in this regime are comparatively sparse and tend to require special numerical relationships between the dimension n of the ambient space and the dimension k of the submanifolds. This paper develops a new approach to this problem based on a continuum version of the Kakeya-Brascamp-Lieb inequality, established by Zhang [28] and extended by Zorin-Kranich [29] , and on recent results for geometric nonconcentration inequalities [11] . As an initial application of this new approach, this paper establishes sharp restricted strong type L p -improving inequalities for certain model quadratic submanifolds in the range k n ≤ 2 k .

In previous work, we have introduced a program aimed at studying the birational geometry of locally symmetric varieties of Type IV associated to moduli of certain projective varieties of K3 type. In particular, a concrete goal of our program is to understand the relationship between GIT and Baily-Borel compactifications for quartic K3 surfaces, K3's which are double covers of a smooth quadric surface, and double EPW sextics. In our first paper [36] , based on arithmetic considerations, we have given conjectural decompositions into simple birational transformations of the period maps from the GIT moduli spaces mentioned above to the corresponding Baily-Borel compactifications. In our second paper [35] we studied the case of quartic K3's; we have given geometric meaning to this decomposition and we have partially verified our conjectures. Here, we give a full proof of the conjectures in [36] for the moduli space of K3's which are double covers of a smooth quadric surface. The main new tool here is VGIT for ( 2 , 4 ) complete intersection curves.

We present a covering conjecture that we expect to be true below superstrong cardinals. We then show that the conjecture is true in hod mice. This work is a continuation of the work that started in Covering with Universally Baire Functions Advances in Mathematics, and the main conjecture of the current paper is a revision of the UB Covering Conjecture of the aforementioned paper.

Let $G$ be a reductive group over an algebraically closed field and let $W$ be its Weyl group. In a series of papers, Lusztig introduced a map from the set $[W]$ of conjugacy classes of $W$ to the set $[G_u]$ of unipotent classes of $G$. This map, when restricted to the set of elliptic conjugacy classes $[W_e]$ of $W$, is injective. In this paper, we show that Lusztig's map $[W_e] \to [G_u]$ is order-reversing, with respect to the natural partial order on $[W_e]$ arising from combinatorics and the natural partial order on $[G_u]$ arising from geometry., Comment: 25 pages

In a recent paper [5] S. Solecki proved a finite self-dual Ramsey theorem that extends simultaneously the classical finite Ramsey theorem [4] and the Graham–Rothschild theorem [2] . In this paper we prove the corresponding infinite dimensional version of the self-dual theorem. As a consequence, we extend the classical infinite Ramsey theorem [4] and the Carlson–Simpson theorem [1] .

In a paper in 1962, Guido Zappa asked whether a non-trivial coset of a Sylow p-subgroup of a finite group could contain only elements whose orders are powers of p, and also in that case, at least one element of order p. The first question was raised again recently in a 2014 paper by Daniel Goldstein and Robert Guralnick, when generalising an answer by John Thompson in 1967 to a similar question by L.J. Paige. In this paper we give a positive answer to both questions of Zappa, showing somewhat surprisingly that in a number of non-abelian finite simple groups (including PSL ( 3 , 4 ) , PSU ( 5 , 2 ) and the Janko group J 3 ), some non-trivial coset of a Sylow 5-subgroup (of order 5) contains only elements of order 5. Also Zappa's first question is studied in more detail. Various possibilities for the group and its Sylow p-subgroup P are eliminated, and it then follows that | P | ≥ 5 and | P | ≠ 8 . It is an open question as to whether the order of the Sylow p-subgroup can be 7 or 9 or more.

Let E be an elliptic curve defined over an algebraically closed field k whose characteristic is not 2 or 3. Let τ be a translation automorphism of E that is not of order 2. In a previous paper we studied an algebra A = A ( E , τ ) that depends on this data: A ( E , τ ) = ( S ( E , τ ) ⊗ M 2 ( k ) ) Γ where S ( E , τ ) is the 4-dimensional Sklyanin algebra associated to ( E , τ ) , M 2 ( k ) is the ring of 2 × 2 matrices over k, and Γ is ( Z / 2 ) × ( Z / 2 ) acting in a particular way as automorphisms of S and M 2 ( k ) . The action of Γ on S is compatible with the translation action of the 2-torsion subgroup E [ 2 ] on E. Following the ideas and results in papers of Artin–Tate–Van den Bergh, Smith–Stafford, and Levasseur–Smith, this paper examines the line modules, point modules, and fat point modules, over A, and their incidence relations. The right context for the results is non-commutative algebraic geometry: we view A as a homogeneous coordinate ring of a non-commutative analogue of P 3 that we denote by Proj n c ( A ) . Point modules and fat point modules determine “points” in Proj n c ( A ) . Line modules determine “lines” in Proj n c ( A ) . Line modules for A are in bijection with certain lines in P ( A 1 ⁎ ) ≅ P 3 and therefore correspond to the closed points of a certain subscheme L of the Grassmannian G ( 1 , 3 ) . Shelton–Vancliff call L the line scheme for A. We show that L is the union of 7 reduced and irreducible components, 3 quartic elliptic space curves and 4 plane conics in the ambient Plucker P 5 , and that deg ⁡ ( L ) = 20 . The union of the lines corresponding to the points on each elliptic curve is an elliptic scroll in P ( A 1 ⁎ ) . Thus, the lines on that elliptic scroll are in natural bijection with a corresponding family of line modules for A.

This is the second article of the two papers, in which we investigate the holomorphic and formal flattening problem of a non-degenerate CR singular point of a codimension two real submanifold in C n with n ≥ 3 . The problem is motivated from the study of the complex Plateau problem that looks for the Levi-flat hypersurface bounded by a given real submanifold and by the classical complex analysis problem of finding the local hull of holomorphy of a real submanifold in a complex space. The present article is focused on non-degenerate flat CR singular points with at least one non-parabolic Bishop invariant. We will solve the formal flattening problem in this setting. The results in this paper and those in [23] are taken from our earlier arxiv post [22] . We split [22] into two independent articles to avoid it being too long.

In this paper we study the representation theory of filtered algebras with commutative associated graded whose spectrum has finitely many symplectic leaves. Examples are provided by the algebras of global sections of quantizations of symplectic resolutions, quantum Hamiltonian reductions, and spherical symplectic reflection algebras. We introduce the notion of holonomic modules for such algebras. We show that, provided the algebraic fundamental groups of all leaves are finite, the generalized Bernstein inequality holds for the simple modules and turns into equality for holonomic simples. Under the same finiteness assumption, we prove that the associated variety of a simple holonomic module is equi-dimensional. We also prove that, if the regular bimodule has finite length, then any holonomic module has finite length. This allows one to reduce the Bernstein inequality for arbitrary modules to simple ones. We prove that the regular bimodule has finite length for the global sections of quantizations of symplectic resolutions, for quantum Hamiltonian reductions and for Rational Cherednik algebras. The paper contains a joint appendix by the author and Etingof that motivates the definition of a holonomic module in the case of global sections of a quantization of a symplectic resolution.