Search

We correct a mistake in a lemma in the paper cited in the title and show that it did not affect any of the other results of the paper. To this end, we prove results on linearly disjoint field extensions that do not seem to be commonly known. We give an example to show that a separability assumption in one of these results cannot be dropped (doing so had led to the mistake). Further, we discuss recent generalizations of the original classification of defect extensions.

Let H(Dn) be the space of holomorphic functions on the unit polydisk Dn, and let , where p, q> 0, α = (α1,…,αn) with αj > -1, j =1,..., n, be the class of all measurable functions f defined on Dn such thatwhere Mp(f,r) denote the p-integral means of the function f. Denote the weighted Bergman space on . We provide a characterization for a function f being in . Using the characterization we prove the following result: Let p> 1, then the Cesàro operator is bounded on the space .

We express the Masur-Veech volume and the area Siegel-Veech constant of the moduli space $\mathcal{Q}_{g,n}$ of genus $g$ meromorphic quadratic differentials with $n$ simple poles as polynomials in the intersection numbers of $\psi$-classes with explicit rational coefficients. The formulae obtained in this article result from lattice point counts involving the Kontsevich volume polynomials that also appear in Mirzakhani's recursion for the Weil-Petersson volumes of the moduli spaces of bordered hyperbolic surfaces with geodesic boundaries. A similar formula for the Masur-Veech volume (though without explicit evaluation) was obtained earlier by Mirzakhani via completely different approach. Furthermore, we prove that the density of the mapping class group orbit of any simple closed multicurve $\gamma$ inside the ambient set of integral measured laminations computed by Mirzakhani coincides with the density of square-tiled surfaces having horizontal cylinder decomposition associated to $\gamma$ among all square-tiled surfaces in $\mathcal{Q}_{g,n}$. We study the resulting densities (or, equivalently, volume contributions) in more detail in the special case $n=0$. In particular, we compute the asymptotic frequencies of separating and non-separating simple closed geodesics on a closed hyperbolic surface of genus $g$ for small $g$ and we show that for large genera the separating closed geodesics are $\sqrt{\frac{2}{3\pi g}}\cdot\frac{1}{4^g}$ times less frequent., Comment: The current paper (as well as the companion paper arXiv:2007.04740) has grown from arxiv:1908.08611. The conjectures stated in arXiv:1908.08611 are proved by A. Aggarwal in arXiv:2004.05042

This is the first of a series of papers where we relate tangent cones of Hermitian-Yang-Mills connections at an isolated singularity to the complex algebraic geometry of the underlying reflexive sheaf, when the sheaf is locally modelled on the pull-back of a holomorphic vector bundle from the projective space. In this paper we shall impose an extra assumption that the graded sheaf determined by the Harder-Narasimhan-Seshadri filtrations of the vector bundle is reflexive. In general we conjecture that the tangent cone is uniquely determined by the double dual of the associated graded object of a Harder-Narasimhan-Seshadri filtration of an algebraic tangent cone, which is a certain torsion-free sheaf on the projective space. In this paper we also prove this conjecture when there is an algebraic tangent cone which is locally free and stable., Final version

Fake projective planes are smooth complex surfaces of general type with Betti numbers equal to those of the usual projective plane. They come in complex conjugate pairs and have been classified as quotients of the two-dimensional ball by explicitly written arithmetic subgroups. In this paper we find equations of a projective model of a conjugate pair of fake projective planes by studying the geometry of the quotient of such surface by an order seven automorphism., Comment: This is a full version of "Research announcement: equations of a fake projective plane", arXiv:1710.04501. Key tables and some M2 and Magma code from the paper are included in separate files for convenience

In a remarkable paper in 2008, Fyodorov and Bouchaud conjectured an exact formula for the density of the total mass of (sub-critical) Gaussian multiplicative chaos (GMC) associated to the Gaussian free field (GFF) on the unit circle. In this paper we will give a proof of this formula. In the mathematical literature this is the first occurrence of an explicit probability density for the total mass of a GMC measure. The key observation of our proof is that the negative moments of the total mass of GMC determine its law and are equal to one-point correlation functions of Liouville conformal field theory in the disk defined by Huang, Rhodes and Vargas. The rest of the proof then consists in implementing rigorously the framework of conformal field theory (BPZ equations for degenerate field insertions) in a probabilistic setting to compute the negative moments. Finally we will discuss applications to random matrix theory, asymptotics of the maximum of the GFF and tail expansions of GMC., 27 pages

In a famous paper, Asai indicated how to develop a theory of Eisenstein series for arbitrary number fields, using hyperbolic 3-space to take care of the complex places. Unfortunately he limited himself to class number 1. The present paper gives a detailed exposition of the general case, to be used for many applications. First, it is shown that the Eisenstein series satisfy the authors’ definition of regularized products satisfying the generalized Lerch formula, and the basic axioms which allow the systematic development of the authors’ theory, including the Cramér theorem. It is indicated how previous results of Efrat and Zograf for the strict Hilbert modular case extend to arbitrary number fields, for instance a spectral decomposition of the heat kernel periodized with respect to SL2 of the integers of the number field. This gives rise to a theta inversion formula, to which the authors’ Gauss transform can be applied. In addition, the Eisenstein series can be twisted with the heat kernel, thus encoding an infinite amount of spectral information in one item coming from heat Eisenstein series. The main expected spectral formula is stated, but a complete exposition would require a substantial amount of space, and is currently under consideration.

In this paper, quantitative bounds in high-frequency central limit theorems are derived for Poisson based $U$-statistics of arbitrary degree built by means of wavelet coefficients over compact Riemannian manifolds. The wavelets considered here are the so-called needlets, characterized by strong concentration properties and by an exact reconstruction formula. Furthermore, we consider Poisson point processes over the manifold such that the density function associated to its control measure lives in a Besov space. The main findings of this paper include new rates of convergence that depend strongly on the degree of regularity of the control measure of the underlying Poisson point process, providing a refined understanding of the connection between regularity and speed of convergence in this framework., Comment: 19 pages

In previous papers, we examined several properties of an error term in a certain divisor problem related to the derivatives of the Riemann zeta-function. In this paper, we obtain representations of error terms related to the derivatives of some Dirichlet series, which can be regarded as generalized versions of a Dirichlet divisor problem and a Gauss circle problem. We also give the upper bounds of the error terms in terms of exponent pairs.

In 2007, Shimoda, in connection with a long-standing question of Sally, asked whether a Noetherian local ring, such that all its prime ideals different from the maximal ideal are complete intersections, has Krull dimension at most 2. In this paper, having reduced the conjecture to the case of dimension 3, if the ring is regular and local of dimension 3, we explicitly describe a family of prime ideals of height 2 minimally generated by three elements. Weakening the hypothesis of regularity, we find that, to achieve the same end, we need to add extra hypotheses, such as completeness, infiniteness of the residue field, and the multiplicity of the ring being at most 3. In the second part of the paper, we turn our attention to the category of standard graded algebras. A geometrical approach via a double use of a Bertini theorem, together with a result of Simis, Ulrich, and Vasconcelos, allows us to obtain a definitive answer in this setting. Finally, by adapting work of Miller on prime Bourbaki ideals in local rings, we detail some more technical results concerning the existence in standard graded algebras of homogeneous prime ideals with an (as it were) excessive number of generators.

Let g be a complex reductive Lie algebra with Cartan algebra h. Hotta and Kashiwara defined a holonomic D-module M, on g x h, called Harish-Chandra module. We relate gr(M), an associated graded module with respect to a canonical Hodge filtration on M, to the isospectral commuting variety, a subvariety of g x g x h x h which is a ramified cover of the variety of pairs of commuting elements of g. Our main result establishes an isomorphism of gr(M) with the structure sheaf of X_norm, the normalization of the isospectral commuting variety. It follows, thanks to the theory of Hodge modules, that the normalization of the isospectral commuting variety is Cohen-Macaulay and Gorenstein, confirming a conjecture of M. Haiman. We deduce, using Saito's theory of Hodge D-modules, that the scheme X_norm is Cohen-Macaulay and Gorenstein. This confirms a conjecture of M. Haiman. Associated with any principal nilpotent pair in g, there is a finite subscheme of X_norm. The corresponding coordinate ring is a bigraded finite dimensional Gorenstein algebra that affords the regular representation of the Weyl group. The socle of that algebra is a 1-dimensional vector space generated by a remarkable W-harmonic polynomial on h x h. In the special case where g=gl_n the above algebras are closely related to the n!-theorem of Haiman and our W-harmonic polynomial reduces to the Garsia-Haiman polynomial. Furthermore, in the gl_n case, the sheaf gr(M) gives rise to a vector bundle on the Hilbert scheme of n points in C^2 that turns out to be isomorphic to the Procesi bundle. Our results were used by I. Gordon to obtain a new proof of positivity of the Kostka-Macdonald polynomials established earlier by Haiman., The present paper supersedes an earlier paper arXiv:1002.3311

In this paper we study the Weil-Petersson geometry of $\overline{\mathcal{M}_{g,n}}$, the compactified moduli space of Riemann surfaces with genus g and n marked points. The main goal of this paper is to understand the growth of the diameter of $\overline{\mathcal{M}_{g,n}}$ as a function of $g$ and $n$. We show that this diameter grows as $\sqrt{n}$ in $n$, and is bounded above by $C \sqrt{g}\log g$ in $g$ for some constant $C$. We also give a lower bound on the growth in $g$ of the diameter of $\overline{\mathcal{M}_{g,n}}$ in terms of an auxiliary function that measures the extent to which the thick part of moduli space admits radial coordinates., 26 pages, 7 figures

A natural notion for the signature $C_{\pm}({\mathcal V}(p))$ of the curvature of the zero set ${\mathcal V}(p)$ of a non-commutative polynomial $p$ is introduced. The main result of this paper is the bound \[ \operatorname{deg} p \leq2 C_\pm \bigl({\mathcal V}(p) \bigr) + 2. \] It is obtained under some irreducibility and nonsingularity conditions, and shows that the signature of the curvature of the zero set of $p$ dominates its degree. ¶ The condition $C_+({\mathcal V}(p))=0$ means that the non-commutative variety ${\mathcal V}(p)$ has positive curvature. In this case, the preceding inequality implies that the degree of $p$ is at most two. Non-commutative varieties ${\mathcal V}(p)$ with positive curvature were introduced in Indiana Univ. Math. J. 56 (2007) 1189-1231). There a slightly weaker irreducibility hypothesis plus a number of additional hypotheses yielded a weaker result on $p$. The approach here is quite different; it is cleaner, and allows for the treatment of arbitrary signatures. ¶ In J. Anal. Math. 108 (2009) 19-59), the degree of a non-commutative polynomial $p$ was bounded by twice the signature of its Hessian plus two. In this paper, we introduce a modified version of this non-commutative Hessian of $p$ which turns out to be very appropriate for analyzing the variety ${\mathcal V}(p)$.

This paper presents an overview of some of the applications of the martingale inequalities of D. L. Burkholder to $L^p$-bounds for singular integral operators, concentrating on the Hilbert transform, first and second order Riesz transforms, the Beurling–Ahlfors operator and other multipliers obtained by projections (conditional expectations) of transformations of stochastic integrals. While martingale inequalities can be used to prove the boundedness of a wider class of Calderón–Zygmund singular integrals, the aim of this paper is to show results which give optimal or near optimal bounds in the norms, hence our restriction to the above operators. ¶ Connections of Burkholder’s foundational work on sharp martingale inequalities to other areas of mathematics where either the results themselves or techniques to prove them have become of considerable interest in recent years, are discussed. These include the 1952 conjecture of C. B. Morrey on rank-one convex and quasiconvex functions with connections to problems in the calculus of variations and the 1982 conjecture of T. Iwaniec on the $L^p$-norm of the Beurling–Ahlfors operator with connections to problems in the theory of qasiconformal mappings. Open questions, problems and conjectures are listed throughout the paper and copious references are provided.

We introduce a framework for a nonlinear potential theory without a kernel on a reexiv e, strictly convex and smooth Banach space of functions. Nonlinear potentials are dened as images of nonnegative continuous linear functionals on that space under the duality mapping. We study potentials and reduced functions by using a variant of the Gauss-Frostman quadratic func- tional. The framework allows a development of other main concepts of nonlin- ear potential theory such as capacities, equilibrium potentials and measures of nite energy. x1. Introduction The goal of this paper is to present a fairly general setting which allows a development of basic concepts of nonlinear potential theory. This setting provides a unied approach to several aspects of nonlinear potential theory with kernel, as well as some kernel free potential theory. The concepts that can be developed include capacities of sets and functions, nonlinear poten- tials, equilibrium potentials, reduced functions, balayage, and measures of nite energy. The framework of our approach is a reexiv e, strictly convex and smooth Banach space of functions satisfying two additional hypotheses. Nonlinear potential theory in function spaces has been the subject of re- search in several papers during seventies (e.g., (7), (12), (19)). The goal was to extend the Dirichlet space theory to the nonlinear setting. This was achieved under various hypotheses. The common hypothesis was that the underlying function space is a Banach space with a vector lattice structure. Almost at the same time, a dieren t type of nonlinear potential the- ory began to take shape in the works of Fuglede, Meyers, and Havin and

We discover a rigidity phenomenon within the volume-preserving partially hyperbolic diffeomorphisms with $1$-dimensional center. In particular, for smooth, ergodic perturbations of certain algebraic systems -- including the discretized geodesic flows over hyperbolic manifolds and certain toral automorphisms with simple spectrum and exactly one eigenvalue on the unit circle, the smooth centralizer is either virtually $\mathbb Z^\ell$ or contains a smooth flow. At the heart of this work are two very different rigidity phenomena. The first was discovered in [2,3] for a class of volume-preserving partially hyperbolic systems including those studied here, the disintegration of volume along the center foliation is either equivalent to Lebesgue or atomic. The second phenomenon is the rigidity associated to several commuting partially hyperbolic diffeomorphisms with very different hyperbolic behavior transverse to a common center foliation [25]. We introduce a variety of techniques in the study of higher rank, abelian partially hyperbolic actions: most importantly, we demonstrate a novel geometric approach to building new partially hyperbolic elements in hyperbolic Weyl chambers using Pesin theory and leafwise conjugacy, while we also treat measure rigidity for circle extensions of Anosov diffeomorphisms and apply normal form theory to upgrade regularity of the centralizer., Comment: We significantly improve Theorems 1-4 in v2. The new statements now of Theorems 1&3 allow for arbitrary negatively curved surfaces, as well as much more general classes of geodesic flows in higher dimension. For Theorems 2&4, we classify the centralizer. We also eliminated the global rigidity results in the previous version. These results will appear in a forthcoming paper

The main object considered in this paper is the trace function, defined as a suitably normalized trace of a product of intertwining operators for the Drinfeld-Jimbo quantum group, multiplied by the exponential of an element of the Cartan subalgebra. This function depends of two parameters -- the element of the Cartan subalgebra, and the highest weight of the Verma module in which the trace is taken. The main results of the paper are that the trace function satisfies two systems of difference equations with respect to the first parameter (the quantum Knizhnik-Zamolodchikov-Bernard and Macdonald-Ruijsenaars equations), and that it is symmetric with respect to the two parameters. In particular, this implies that for each of the above two systems of equations there is the dual system with respect to the second parameter, which is also satisfied by the trace function. The paper establishes a connection between the I.Frenkel-Reshetikhin theory of quantum conformal blocks, the work of Felder-Mukhin-Tarasov-Varchenko on the quantum KZB and Ruijsenaars equations, the work of Etingof-I.Frenkel- Kirillov Jr.-Styrkas on traces of intetwining operators, and the Macdonald- Cherednik theory. The methods of the paper are based on the theory of dynamical twists and R-matrices., Comment: 38 pages, amstex; some misprints and small errors were corrected in the new version

Let A be a unital $C^*$-algebra, given together with a specified state $\phi:A \to C$. Consider two selfadjoint elements a,b of A, which are free with respect to $\phi$ (in the sense of the free probability theory of Voiculescu). Let us denote $c:=i(ab-ba)$, where the i in front of the commutator is introduced to make c selfadjoint. In this paper we show how the spectral distribution of c can be calculated from the spectral distributions of a and b. Some properties of the corresponding operation on probability measures are also discussed. The methods we use are combinatorial, based on the description of freeness in terms of non-crossing partitions; an important ingredient is the notion of R-diagonal pair, introduced and studied in our previous paper funct-an/9604012., Comment: LaTeX, 38 pages with 2 figures

The first part of the paper is concerned, among other things, with a characterization of filter regular sequences in terms of modules of generalized fractions. This characterization leads to a description, in terms of generalized fractions, of the structure of an arbitrary local cohomology module of a finitely generated module over a notherian ring. In the second part of the paper, we establish homomorphisms between the homology modules of a Koszul complex and the homology modules of a certain complex of modules of generalized fractions. Using these homomorphisms, we obtain a characterization of unconditioned strong d-sequences.

In this paper we study critial isometric and minimal isometric embeddings of classes of Riemannian metrics which we call {\it quasi-$k$-curved metrics}. Quasi-$k$-curved metrics generalize the metrics of space forms. We construct explicit examples and prove results about existence and rigidity., 21 pages, AMSTeX. Significantly changed version of paper originally Titled "On minimal isometric embeddings"

This paper is the second part of our work on differential Galois theory as we promised in [U3]. Differential Galois theory has a long history since Lie tried to apply the idea of Abel and Galois to differential equations in the 19th century (cf. [U3], Introduction). When we consider Galois theory of differential equation, we have to separate the finite dimensional theory from the infinite dimensional theory. As Kolchin theory shows, the first is constructed on a rigorous foundation. The latter, however, seems inachieved despite of several important contributions of Drach, Vessiot,…. We propose in this paper a differential Galois theory of infinite dimension in a rigorous and transparent framework. We explain the idea of the classical authors by one of the simplest examples and point out the problems.

The purpose of this paper is to apply deformation quantization to the study of the coadjoint orbit method in the case of real reductive groups. We first prove some general results on the existence of equivariant deformation quantization of vector bundles on closed Lagrangian subvarieties, which lie in smooth symplectic varieties with Hamiltonian group actions. Then we apply them to orbit method and construct nontrivial irreducible Harish-Chandra modules for certain coadjoint orbits. Our examples include new geometric construction of representations associated to certain orbits of real exceptional Lie groups., Comments are welcome

Let f be a martingale on an arbitrary atomic probability space equipped with a tree-like structure and let S(f,q) denote the associated q-function. The paper is devoted to weighted Lp-estimates, cp,q,w−1‖S(f,q)‖ Lp(w)≤‖f‖Lp(w)≤Cp,q,w‖S(f,q)‖Lp(w),1≤p

We show that the monodromy of a spherical conical metric is reducible if and only if it has a real-valued eigenfunction with eigenvalue 2 in the holomorphic extension of the associated Laplace--Beltrami operator. Such an eigenfunction produces a meromorphic vector field, which is then related to the developing maps of the conical metric. We also give a lower bound of the first nonzero eigenvalue, and a complete classification of the eigenspace dimension depending on the monodromy. This paper can be seen as a new connection between the complex analysis method and the PDE approach in the study of spherical conical metrics., Comment: Final version accepted by Illinois J. Math

In this paper, we completely classify, up to homeomorphism, the orientable and nonorientable orbifolds which have a Heegaard decomposition consisting of orbifold handlebodies with Euler number zero. In addition we compute their fundamental groups.

The main theme of this paper is the dynamics of Reeb flows with symmetries on the standard contact sphere. We introduce the notion of strong dynamical convexity for contact forms invariant under a group action, supporting the standard contact structure, and prove that in dimension $2n+1$ any such contact form satisfying a condition slightly weaker than strong dynamical convexity has at least $n+1$ simple closed Reeb orbits. For contact forms with antipodal symmetry, we prove that strong dynamical convexity is a consequence of ordinary convexity. In dimension five or greater, we construct examples of antipodally symmetric dynamically convex contact forms which are not strongly dynamically convex, and thus not contactomorphic to convex ones via a contactomorphism commuting with the antipodal map. Finally, we relax this condition on the contactomorphism furnishing a condition that has non-empty $C^1$-interior., Version 1: 36 pages. Version 2: minor changes, to appear in Duke Mathematical Journal

For each countable ordinal $\alpha$ let $\mathcal{S}_{\alpha}$ be the Schreier set of order $\alpha$ and $X_{\mathcal{S}_\alpha}$ be the corresponding Schreier space of order $\alpha$. In this paper we prove several new properties of these spaces. 1) If $\alpha$ is non-zero then $X_{\mathcal{S}_\alpha}$ possesses the $\lambda$-property of R. Aron and R. Lohman and is a $(V)$-polyhedral spaces in the sense on V. Fonf and L. Vesely. 2) If $\alpha$ is non-zero and $1, Comment: 18 pages. Part of the third author's undergraduate thesis written under the direction of the second author. Submitted

The $F$-signature is a numerical invariant defined by the number of free direct summands in the Frobenius push-forward, and it measures singularities in positive characteristic. It can be generalized by focussing on the number of non-free direct summands. In this paper, we provide several methods to compute the (generalized) $F$-signature of a Hibi ring which is a special class of toric rings. In particular, we show that it can be computed by counting the elements in the symmetric group satisfying certain conditions. As an application, we also give the formula of the (generalized) $F$-signature for some Segre products of polynomial rings., 16 pages, to appear in Illinois J. Math., v2: minor changes, this is the expanded version of Appendix A of arXiv:1702.07058v1

In recent papers [10, 11, 12, 13, 14], we defined some new ρ-invariants for any rational prime ρ congruent to 1 mod 4 and D-invariants for any positive square-free integer D such that the fundamental unit εD of real quadratic field Q(√D) satisfies NεD = –1, and studied relationships among these new invariants and already known invariants.One of our main purposes in this paper is to generalize these D-invariants to invariants valid for all square-free positive integers containing D with NεD = 1. Another is to provide an improvement of the theorem in [14] related closely to class number one problem of real quadratic fields. Namely, we provide, in a sense, a most appreciable estimation of the fundamental unit to be able to apply, as usual (cf. [3, 4, 5, 9, 12, 13]), Tatuzawa’s lower bound of L(l, XD) (Cf[7]) for estimating the class number of Q(√D) from below by using Dirichlet’s classical class number formula.

According to the Langlands functoriality conjecture, broadened to the setting of spherical varieties (of which reductive groups are special cases), a map between $L$ -groups of spherical varieties should give rise to a functorial transfer of their local and automorphic spectra. The “beyond endoscopy” proposal predicts that this transfer will be realized as a comparison between limiting forms of the (relative) trace formulas of these spaces. In this paper, we establish the local transfer for the identity map between $L$ -groups, for spherical affine homogeneous spaces $X=H\backslash G$ whose dual group is $\operatorname{SL}_{2}$ or $\operatorname{PGL}_{2}$ (with $G$ and $H$ split). More precisely, we construct a transfer operator between orbital integrals for the $(X\times X)/G$ -relative trace formula, and orbital integrals for the Kuznetsov formula of $\operatorname{PGL}_{2}$ or $\operatorname{SL}_{2}$ . Besides the $L$ -group, another invariant attached to $X$ is a certain $L$ -value, and the space of test measures for the Kuznetsov formula is enlarged to accommodate the given $L$ -value. The transfer operator is given explicitly in terms of Fourier convolutions, making it suitable for a global comparison of trace formulas by the Poisson summation formula, hence for a uniform proof, in rank $1$ , of the relations between periods of automorphic forms and special values of $L$ -functions.

This paper is devoted to the study of noncommutative maximal inequalities and ergodic theorems for group actions on von Neumann algebras. Consider a locally compact group $G$ of polynomial growth with a symmetric compact subset $V$. Let $\alpha $ be a continuous action of $G$ on a von Neumann algebra $\mathcal{M}$ by trace-preserving automorphisms. We then show that the operators defined by \begin{equation*} A_{n}x= \frac{1}{m(V^{n})} \int _{V^{n}}\alpha _{g}x\,dm(g),\quad x\in L_{p}( \mathcal{M}),n\in \mathbb{N},1\leq p\leq \infty , \end{equation*} are of weak type $(1,1)$ and of strong type $(p,p)$ for $1 < p, Comment: Final version, to appear in Duke Mathematical Journal

The purpose of this paper is the study of some basic properties of universal induced characters and their applications to the representation theory of the classical groups (for the definition of a universal induced character, see § 3).The starting point was the paper [F] by E. Formanek on matrix invariants. In his paper [F], Formanek has investigated the Hilbert series for the ring of matrix invariants from the point of view of the representation theory of the general linear group and the symmetric group. In this paper we shall study polynomial concomitants of a group from the same point of view.

This paper is a continuation of two previous papers of the author. In the first [4] we discussed a Thompson series associated with the group M24 in which each of the modular forms ηg(τ) attached to elements g ∈ M24 are primitive cusp-forms.

Let $R=K[X_{1},\ldots,X_{n}]$ , where $K$ is a field of characteristic zero, and let $A_{n}(K)$ be the $n$ th Weyl algebra over $K$ . We give standard grading on $R$ and $A_{n}(K)$ . Let $I$ , $J$ be homogeneous ideals of $R$ . Let $M=H^{i}_{I}(R)$ and $N=H^{j}_{J}(R)$ for some $i,j$ . We show that $\operatorname {Ext}_{A_{n}(K)}^{\nu}(M,N)$ is concentrated in degree zero for all $\nu\geq0$ (i.e., $\operatorname {Ext}_{A_{n}(K)}^{\nu}(M,N)_{l}=0$ for $l\neq0$ ). This proves a conjecture stated in Part I of this paper (T. J. Puthenpurakal and J. Singh, On derived functors of graded local cohomology modules, Math. Proc. Cambridge Philos. Soc. 167 (2018), no. 3, 549–565).

In this paper, we show that the expansions of functions from $L^{p}$ -Paley–Wiener type spaces in terms of the prolate spheroidal wave functions converge almost everywhere for $1\lt p\lt \infty $ , even in the cases when they might not converge in $L^{p}$ -norm. We thereby consider the classical Paley–Wiener spaces $PW_{c}^{p}\subset L^{p}({\mathbb{R}})$ of functions whose Fourier transform is supported in $[-c,c]$ and Paley–Wiener-like spaces $B_{{\alpha },c}^{p}\subset L^{p}(0,\infty )$ of functions whose Hankel transform ${\mathcal{H}}^{\alpha }$ is supported in $[0,c]$ . As a side product, we show the continuity of the projection operator $P_{c}^{\alpha }f:={\mathcal{H}}^{\alpha }(\chi _{[0,c]}\cdot {\mathcal{H}}^{\alpha }f)$ from $L^{p}(0,\infty )$ to $L^{q}(0,\infty )$ , $1\lt p\leq q\lt \infty $ .

The aim of this paper is to provide an analogue of the Ball-Rivoal theorem for $p$-adic $L$-values of Dirichlet characters. More precisely, we prove for a Dirichlet character $\chi$ and a number field $K$ the formula $\dim_{K}(K+\sum_{i=2}^{s+1} L_p(i,\chi\omega^{1-i}) K )\geq \frac{(1-\epsilon)\log (s)}{2[K:\mathbb{Q}](1+\log 2)}$. As a byproduct, we establish an asymptotic linear independence result for the values of the $p$-adic Hurwitz zeta function., Comment: 26 pages, final version; Duke Math. J. (accepted)

For each integral homology sphere $Y$, a function $\Gamma_Y$ on the set of integers is constructed. It is established that $\Gamma_Y$ depends only on the homology cobordism of $Y$ and it recovers the Fr{\o}yshov invariant. A relation between $\Gamma_Y$ and Fintushel-Stern's $R$-invariant is stated. It is shown that the value of $\Gamma_Y$ at each integer is related to the critical values of the Chern-Simons functional. Some topological applications of $\Gamma_Y$ are given. In particular, it is shown that if $\Gamma_Y$ is trivial, then there is no simply connected homology cobordism from $Y$ to itself., Comment: 44 pages. Comments are welcome! v2: Remark 1.6 (due to Levin and Lidman) added to the paper, references updated

It is known that the polyomino ideal of simple polyominoes is prime. In this paper, we focus on multiply connected polyominoes, namely polyominoes with holes, and observe that the non-existence of a certain sequence of inner intervals of the polyomino, called zig-zag walk, gives a necessary condition for the primality of the polyomino ideal. Moreover, by computational approach, we prove that for all polyominoes with rank less than or equal to 14 the above condition is also sufficient. Lastly, we present an infinite class of prime polyomino ideals., Comment: In this version we proved that the grid polyominoes are primes without the use of Groebner basis (see previous version). In particular, we prove that the polyomino ideal is equal to the toric ideal J_P associated to the polyomino as we defined in Section 3

Let R be a Cohen-Macaulay local ring possessing a canonical module. In this paper we consider when the maximal ideal of R is self-dual, i.e. it is isomorphic to its canonical dual as an R-module. local rings satisfying this condition are called Teter rings, and studied by Teter, Huneke-Vraciu, Ananthnarayan-Avramov-Moore, and so on. On the positive dimensional case, we show such rings are exactly the endomorphism rings of the maximal ideals of some Gorenstein local rings of dimension one. We also provide some connection between the self-duality of the maximal ideal and near Gorensteinness., 14 pages

We develop a Kobayashi-Hitchin correspondence for the extended Bogomolny equations, i.e., the dimensionally reduced Kapustin-Witten equations, on the product of a compact Riemann surface $\Sigma$ with ${\mathbb R}^+_y$, with generalized Nahm pole boundary conditions at $y=0$. The correspondence is between solutions of these equations satisfying these singular boundary conditions and also limiting to flat connections as $y \to \infty$, and certain holomorphic data consisting of effective triplets $(\mathcal E, \varphi, L)$ where $(\mathcal E, \varphi)$ is a stable $\mathrm{SL}(n+1,\mathbb C)$ Higgs pair and $L \subset \mathcal E$ is a holomorphic line bundle. This corroborates a prediction of Gaiotto and Witten, and is an extension of our earlier paper \cite{HeMazzeo2017} which treats only the $\mathrm{SL}(2,\mathbb R)$ case., Comment: 38 pages

Suppose that $G$ is a simple adjoint reductive group over $\mathbf{Q}$, with an exceptional Dynkin type, and with $G(\mathbf{R})$ quaternionic (in the sense of Gross-Wallach). Then there is a notion of modular forms for $G$, anchored on the so-called quaternionic discrete series representations of $G(\mathbf{R})$. The purpose of this paper is to give an explicit form of the Fourier expansion of modular forms on $G$, along the unipotent radical $N$ of the Heisenberg parabolic $P = MN$ of $G$., Comment: changed title; broadened definition of modular form; added discussion of constant term and Klingen Eisenstein series

In this paper, we prove a minimal modularity lifting theorem for Galois representations (conjecturally) associated to Siegel modular forms of genus two which are holomorphic limits of discrete series at infinity., To appear in Duke Math

In this paper, we directly show the known equivalence of simple factor dressings of extended frames and the classical Bianchi–Bäcklund transformations for constant mean curvature surfaces. In doing so, we show how the parameters of classical Bianchi–Bäcklund transformations can be incorporated into the simple factor dressings method.

In this paper, we classify the hypersurfaces in Sn×R and Hn×R, n≠3, with g distinct constant principal curvatures, g∈{1,2,3}, where Sn and Hn denote the sphere and hyperbolic space of dimension n, respectively. We prove that such hypersurfaces are isoparametric in those spaces. Furthermore, we find a necessary and sufficient condition for an isoparametric hypersurface in Sn×R and Hn×R with flat normal bundle when regarded as submanifolds with codimension two of the underlying flat spaces Rn+2⊃Sn×R and Ln+2⊃Hn×R, having constant principal curvatures.

A C*-dynamical system is said to have the ideal separation property if every ideal in the corresponding crossed product arises from an invariant ideal in the C*-algebra. In this paper we characterize this property for unital C*-dynamical systems over discrete groups. To every C*-dynamical system we associate a "twisted" partial C*-dynamical system that encodes much of the structure of the action. This system can often be "untwisted," for example when the algebra is commutative, or when the algebra is prime and a certain specific subgroup has vanishing Mackey obstruction. In this case, we obtain relatively simple necessary and sufficient conditions for the ideal separation property. A key idea is a notion of noncommutative boundary for a C*-dynamical system that generalizes Furstenberg's notion of topological boundary for a group., Comment: 43 pages; revised

In this paper, we study the geometric and dynamical properties of maximal representations of surface groups into Hermitian Lie groups of rank $2$ . Combining tools from Higgs bundle theory, the theory of Anosov representations, and pseudo-Riemannian geometry, we obtain various results of interest. We prove that these representations are holonomies of certain geometric structures, recovering results of Guichard and Wienhard. We also prove that their length spectrum is uniformly bigger than that of a suitably chosen Fuchsian representation, extending a previous work of the second author. Finally, we show that these representations preserve a unique minimal surface in the symmetric space, extending a theorem of Labourie for Hitchin representations in rank $2$ .

FJRW theory is a formulation of physical Landau-Ginzburg models with a rich algebraic structure, rooted in enumerative geometry. As a consequence of a major physical conjecture, called the Landau-Ginzburg/Calabi-Yau correspondence, several birational morphisms of Calabi-Yau orbifolds should correspond to isomorphisms in FJRW theory. In this paper it is shown that not only does this claim prove to be the case, but is a special case of a wider FJRW isomorphism theorem, which in turn allows for a proof of mirror symmetry for a new class of cases in the Landau-Ginzburg setting. We also obtain several interesting geometric applications regarding the Chen-Ruan cohomology of certain Calabi-Yau orbifolds., 28 pages; in Version 2, we have reordered the sections regarding geometry and the Frobenius algebra isomorphism. In order to avoid confusion with supercommutativity issues in FJRW theory, we restrict considerations on the Frobenius algebra to only even classes. Version 3 has corrected one reference. This article has been accepted to the Illinois Journal of Mathematics

In this paper, we study the Erdős distinct distances problem for Cartesian product sets in the setting of arbitrary finite fields. More precisely, let $\mathbb{F}_{q}$ be an arbitrary finite field and $A$ be a set in $\mathbb{F}_{q}$ . Suppose $|A\cap (aG)|\le |G|^{1/2}$ for any subfield $G$ and $a\in \mathbb{F}_{q}^{*}$ , then \begin{equation*}\vert \Delta _{\mathbb{F}_{q}}(A^{2})\vert =\vert (A-A)^{2}+(A-A)^{2}\vert \gg \vert A\vert ^{1+\frac{1}{21}}.\end{equation*} Using the same method, we also obtain some results on sum–product type problems.

In this paper we generalize the well-known notions of affine arclength and affine hypersurface measure to submanifolds of any dimension $d$ in $\mathbb R^n$ , $1 \leq d \leq n-1$. We show that a canonical affine invariant measure exists and that, modulo sufficient regularity assumptions on the submanifold, the measure satisfies the affine curvature condition of D. Oberlin with an exponent which is best possible. The proof combines aspects of Geometric Invariant Theory, convex geometry, and frame theory. A significant new element of the proof is a generalization to higher dimensions of an earlier result of the author concerning inequalities of reverse Sobolev type for polynomials on arbitrary measurable subsets of the real line., Comment: 28 pages, 2 figures

This paper extends Auslander-Reiten duality in two directions. As an application, we obtain various criteria for freeness of modules over local rings in terms of vanishing of Ext modules, which recover a lot of known results on the Auslander-Reiten conjecture.