Search

It is well-known that the famous Selberg integral is equivalent to the Morris constant term identity. In 1998, Baker and Forrester conjectured a generalization of the q-Morris constant term identity[J. Combin. Theory Ser. A 81 (1998), pp. 69–87]. This conjecture was proved and extended by Károlyi, Nagy, Petrov, and Volkov (KNPV) in 2015 [Adv. Math. 277 (2015), pp. 252–282]. In this paper, we obtain two symmetric function generalizations of the q-Baker–Forrester ex-conjecture. These include: (i) a q-Baker–Forrester type constant term identity for a product of a complete symmetric function and a Macdonald polynomial; (ii) a complete symmetric function generalization of KNPV's result. [ABSTRACT FROM AUTHOR]

In this paper, we study the Minkowski-type inequality for asymptotically flat static manifolds (M^{n},g) with boundary and with dimension n<8 that was established by McCormick [Proc. Amer. Math. Soc. 146 (2018), pp. 4039–4046]. First, we show that any asymptotically flat static (M^{n},g) which achieves the equality and has CMC or equipotential boundary is isometric to a rotationally symmetric region of the Schwarzschild manifold. Then, we apply conformal techniques to derive a new Minkowski-type inequality for the level sets of bounded static potentials. Taken together, these provide a robust approach to detecting rotational symmetry of asymptotically flat static systems. As an application, we prove global uniqueness of static metric extensions for the Bartnik data induced by both Schwarzschild coordinate spheres and Euclidean coordinate spheres in dimension n < 8 under the natural condition of Schwarzschild stability. This generalizes an earlier result of Miao [Classical Quantum Gravity 22 (2005), pp. L53–L59]. We also establish uniqueness for equipotential photon surfaces with small Einstein-Hilbert energy. This is interesting to compare with other recent uniqueness results for static photon surfaces and black holes, e.g. see V. Agostiniani and L. Mazzieri [Comm. Math. Phys. 355 (2017), pp. 261–301], C. Cederbaum and G. J. Galloway [J. Math. Phys. 62 (2021), p. 22], and S. Raulot [Classical Quantum Gravity 38 (2021), p. 22]. [ABSTRACT FROM AUTHOR]

In this paper, we study 4-dimensional complete hypersurfaces with w-constant mean curvature in the unit sphere. We give a lower bound of the scalar curvature for 4-dimensional complete hypersurfaces with w-constant mean curvature. As a by-product, we give a new proof of the result of Deng-Gu-Wei [Adv. Math. 314 (2017), pp. 278–305] under the weaker topological condition. [ABSTRACT FROM AUTHOR]

Alfred Tarski [J. Symbolic Logic 13 (1948), pp. 107–111] defined \mathbf {D}_{pm} to be the set of all sets of type p, type-theoretically definable by parameterfree formulas of type {\le m}, and asked whether it is true that \mathbf {D}_{1m}\in \mathbf {D}_{2m} for m\ge 1. Tarski noted that the negative solution is consistent because the axiom of constructibility \mathbf {V}=\mathbf {L} implies \mathbf {D}_{1m}\notin \mathbf {D}_{2m} for all m\ge 1, and he left the consistency of the positive solution as a major open problem. This was solved in our recent paper [Mathematics 8 (2020), pp. 1–36], where it is established that for any m\ge 1 there is a generic extension of \mathbf {L}, the constructible universe, in which it is true that \mathbf {D}_{1m}\in \mathbf {D}_{2m}. In continuation of this research, we prove here that Tarski's sentences \mathbf {D}_{1m}\in \mathbf {D}_{2m} are not only consistent, but also independent of each other, in the sense that for any set Y\subseteq \omega \smallsetminus \{0\} in \mathbf {L} there is a generic extension of \mathbf {L} in which it is true that \mathbf {D}_{1m}\in \mathbf {D}_{2m} holds for all m\in Y but fails for all m\ge 1, m\notin Y. This gives a full and conclusive solution of the Tarski problem. The other main result of this paper is the consistency of \mathbf {D}_{1}\in \mathbf {D}_{2} via another generic extension of \mathbf {L}, where \mathbf {D}_{p}=\bigcup _m\mathbf {D}_{pm}, the set of all sets of type p, type-theoretically definable by formulas of any type. Our methods are based on almost-disjoint forcing of Jensen and Solovay [Some applications of almost disjoint sets, North-Holland, Amsterdam, 1970, pp. 84–104]. [ABSTRACT FROM AUTHOR]

In this paper, we first study a mapping problem between indefinite hyperbolic spaces by employing the work established earlier by the authors. In particular, we generalize certain theorems proved by Baouendi-Ebenfelt-Huang [Amer. J. Math. 133 (2011), pp. 1633–1661] and Ng [Michigan Math. J. 62 (2013), pp. 769–777; Int. Math. Res. Not. IMRN 2 (2015), pp. 291–324]. Then we use these results to prove a rigidity result for proper holomorphic mappings between type I classical domains, which confirms a conjecture formulated by Chan [Int. Math. Res. Not., doi.org/10.1093/imrn/rnaa373] after the work of Zaitsev-Kim [Math. Ann. 362 (2015), pp. 639-677], Kim [ Proper holomorphic maps between bounded symmetric domains , Springer, Tokyo, 2015, pp. 207–219] and himself. [ABSTRACT FROM AUTHOR]

We correct a mistake that appeared in the first section of the original article, which appeared in Tran. Amer. Math. Soc. 370 (2018), 99-130. Namely, Corollary 1.16 was false as stated and was subsequently used in later proofs in the paper. In this note it is argued that all the relevant statements after Corollary 1.16 can be saved with at most minor modifications. In particular, all the main results of the original paper remain valid as stated, but some intermediate claims are slightly modified or proved more directly without Corollary 1.16. [ABSTRACT FROM AUTHOR]

In this paper, we are going to compute the average size of 2-Selmer groups of families of even hyperelliptic curves over function fields. The result will be obtained by a geometric method which is based on a Vinberg's representation of the group G=\text {PSO}(2n+2) and a Hitchin fibration. Consistent with the result over \mathbb {Q} of Arul Shankar and Xiaoheng Wang [Compos. Math. 154 (2018), pp. 188–222], we provide an upper bound and a lower bound of the average. However, if we restrict to the family of transversal hyperelliptic curves, we obtain precisely average number 6. [ABSTRACT FROM AUTHOR]

In [Math. Ann. 367 (2017), pp. 1517–1586] Bar-Natan and the first author show that solutions to the Kashiwara–Vergne equations are in bijection with certain knot invariants: homomorphic expansions of welded foams. Welded foams are a class of knotted tubes in \mathbb {R}^4, which can be finitely presented algebraically as a circuit algebra , or equivalently, a wheeled prop. In this paper we describe the Kashiwara-Vergne groups \mathsf {KV} and \mathsf {KRV}—the symmetry groups of Kashiwara-Vergne solutions—as automorphisms of the completed circuit algebras of welded foams, and their associated graded circuit algebras of arrow diagrams, respectively. Finally, we provide a description of the graded Grothendieck-Teichmüller group \mathsf {GRT}_1 as automorphisms of arrow diagrams. [ABSTRACT FROM AUTHOR]

In this short note we correct the statement of the main result of [Trans. Amer. Math. Soc. 373 (2020), no. 3, 1909-1940]. That paper presented the rational cohomology ring of a toric arrangement by generators and relations. One of the series of relations given in the paper is indexed over the set circuits in the arrangement's arithmetic matroid. That series of relations should however be indexed over all sets X with |X| = rk(X)+1. Below we give the complete and correct presentation of the rational cohomology ring. [ABSTRACT FROM AUTHOR]

The category of framed correspondences Fr*(k) and framed sheaves were invented by Voevodsky in his unpublished notes [ Notes on framed correspondences , 2001, https://www.math.ias.edu/vladimir/publications]. Based on the theory, framed motives are introduced and studied in Garkusha and Panin [J. Amer. Math. Soc. 34 (2021), pp. 261–313]. These are Nisnivich sheaves of S1-spectra and the major computational tool of Garkusha and Panin. The aim of this paper is to show the following result which is essential in proving the main theorem of Garkusha and Panin: given an infinite perfect base field k, any k-smooth scheme X and any n ≥ 1, the map of simplicial pointed Nisnevich sheaves (−,A1//Gm)∧n+ → Tn induces a Nisnevich local level weak equivalence of S1-spectra Mfr(X × (A1//Gm)∧n) → Mfr(X × Tn). Moreover, it is proven that the sequence of S1-spectra Mfr(X ×Tn × Gm) → Mfr(X × Tn × A1) → Mfr(X × Tn+1) is locally a homotopy cofiber sequence in the Nisnevich topology. Another important result of this paper shows that homology of framed motives is computed as linear framed motives in the sense of Garkusha and Panin. This computation is crucial for the whole machinery of framed motives. [ABSTRACT FROM AUTHOR]

In the paper, we construct conservative Markov processes corresponding to the martingale solutions to the stochastic heat equation on R+ or R with values in a general Riemannian manifold, which is only assumed to be complete and stochastic complete. This work is an extension of the previous paper of Röckner and the second, third, and fourth authors [SIAM J. Math. Anal. 52 (2020), pp. 2237-2274] on finite volume case. Moveover, we also obtain some functional inequalities associated to these Markov processes. This implies that on infinite volume case, the exponential ergodicity of the solution of the Ricci curvature is strictly positive and the non-ergodicity of the process if the sectional curvature is negative. [ABSTRACT FROM AUTHOR]

The theory of Moufang sets essentially deals with groups having a split BN-pair of rank one. Every quadratic Jordan division algebra gives rise to a Moufang set such that its root groups are abelian and a certain condition called special is satisfied. It is a major open question if also the converse is true, i.e. if every special Moufang set with abelian root groups comes from a quadratic Jordan division algebra. De Medts and Segev [Amer. Math. Soc. 360 (2008), pp. 5831–5852] proved in Theorem 5.11 that this is the case for special Moufang set satisfying two conditions. In this paper we prove that these conditions are in fact equivalent and hence either of them suffices. Even more, we can replace them by weaker conditions. [ABSTRACT FROM AUTHOR]

This paper presents an algorithm for calculation of the Lyubeznik numbers of a local ring which is a homomorphic image of a regular local ring R of prime characteristic. The methods used employ Lyubeznik's F-modules over R, particularly his F-finite F-modules, and also the modules of generalized fractions of Sharp and Zakeri [Mathematika 29 (1982), pp. 32–41]. It is shown that many modules of generalized fractions over R have natural structures as F-modules; these lead to F-module structures on certain local cohomology modules over R, which are exploited, in conjunction with F-module structures on injective R-modules that result from work of Huneke and Sharp [Trans. Amer. Math. Soc. 339 (1993), pp. 765–779], to compute Lyubeznik numbers. The resulting algorithm has been implemented in Macaulay2. [ABSTRACT FROM AUTHOR]

In this paper we introduce a certain class of families of Hessenberg varieties arising from Springer theory for symmetric spaces. We study the geometry of those Hessenberg varieties and investigate their monodromy representations in detail using the geometry of complete intersections of quadrics. We obtain decompositions of these monodromy representations into irreducibles and compute the Fourier transforms of the IC complexes associated to these irreducible representations. The results of the paper refine (part of) the Springer correspondece for the split symmetric pair (SL(N),SO(N)) in [Compos. Math. 154 (2018), pp. 2403-2425]. [ABSTRACT FROM AUTHOR]

We consider a nonlinear heat equation with a double source: |u|p-1u and |∇u|q. This equation has a double interest: in ecology, it was used by Souplet (1996) as a population dynamics model; in mathematics, it was introduced by Chipot and Weissler (1989) as an intermediate equation between the semilinear heat equation and the Hamilton-Jacobi equation. Further interest in this equation comes from its lack of variational structure. In this paper, we intend to see whether the standard blow-up dynamics known for the standard semilinear heat equation (with |u|p-1u as the only source) can be modified by the addition of the second source (|∇u|q). Here arises a nice critical phenomenon at blow-up: - when q < 2p/(p+1), the second source is subcritical in size with respect to the first, and we recover the classicial blow-up profile known for the standard semilinear case; - when q = 2p/(p + 1), both terms have the same size, and only partial blow-up descriptions are available. In this paper, we focus on this case, and start from scratch to: - first, formally justify the occurrence of a new blow-up profile, which is different from the standard semilinear case; - second, to rigorously justify the existence of a solution obeying that profile, thanks to the constructive method introduced by Bricmont and Kupiainen together with Merle and Zaag. Note that our method yields the stability of the constructed solution. Moreover, our method is far from being a straightforward adaptation of earlier literature and should be considered as a source of novel ideas whose application goes beyond the particular equation we are considering, as we explain in the introduction. [ABSTRACT FROM AUTHOR]

Generalised hypergeometric sheaves are rigid local systems on the punctured projective line with remarkable properties. Their study originated in the seminal work of Riemann on the Euler–Gauss hypergeometric function and has blossomed into an active field with connections to many areas of mathematics. In this paper, we construct the Hecke eigensheaves whose eigenvalues are the irreducible hypergeometric local systems, thus confirming a central conjecture of the geometric Langlands program for hypergeometrics. The key new concept is the notion of hypergeometric automorphic data. We prove that this automorphic data is generically rigid (in the sense of Zhiwei Yun) and identify the resulting Hecke eigenvalue with hypergeometric sheaves. The definition of hypergeometric automorphic data in the tame case involves the mirabolic subgroup, while in the wild case, semistable (but not necessarily stable) vectors coming from principal gradings intervene. [ABSTRACT FROM AUTHOR]

In this paper we investigate nilpotenct and probabilistically nilpotent Hopf algebras. We define nilpotency via a descending chain of commutators and give a criterion for nilpotency via a family of central invertible elements. These elements can be obtained from a commutator matrix A which depends only on the Grothendieck ring of H. When H is almost cocommutative we introduce a probabilistic method. We prove that every semisimple quasitriangular Hopf algebra is probabilistically nilpotent. In a sense we thereby answer the title of our paper Are we counting or measuring anything? by Yes, we are. [ABSTRACT FROM AUTHOR]

Waist inequality is a fundamental inequality in geometry and topology. We apply it to the study of entropy and mean dimension of dynamical systems. We consider equivariant continuous maps \pi : (X, T) \to (Y, S) between dynamical systems and assume that the mean dimension of the domain (X, T) is larger than the mean dimension of the target (Y, S). We exhibit several situations for which the maps \pi necessarily have positive conditional metric mean dimension. This study has interesting consequences to the theory of topological conditional entropy. In particular it sheds new light on a celebrated result of Lindenstrauss and Weiss [Israel J. Math. 115 (2000), pp. 1–24] about minimal dynamical systems non-embeddable in [0,1]^{\mathbb {Z}}. [ABSTRACT FROM AUTHOR]

In this paper, we develop an elementary and unified treatment, in the spirit of Rivière and Struwe (Comm. Pure. Appl. Math. 2008), to explore regularity of weak solutions of higher order geometric elliptic systems in critical dimensions without using conservation law. As a result, we obtain an interior Hölder continuity for solutions of the higher order elliptic system of de Longueville and Gastel in critical dimensions Δku = ∑i=0k−1Δi⟨Vi,du⟩ + ∑i=0 k−2Δiδ (widu) quad in B2k, under critical regularity assumptions on the coefficient functions. This verifies an expectation of Rivière, and provides an affirmative answer to an open question of Struwe in dimension four when k = 2. The Hölder continuity is also an improvement of the continuity result of Lamm and Rivière and de Longueville and Gastel. [ABSTRACT FROM AUTHOR]

Let R be a standard graded Gorenstein algebra over a field presented by quadrics. In [Compositio Math. 129 (2001), no. 1, 95-121], Conca-Rossi-Valla show that such a ring is Koszul if reg R ≤ 2 or if reg R = 3 and c = codim R ≤ 4, and they ask whether this is true for reg R = 3 in general. We determine sufficient conditions on a non-Koszul quadratic Cohen-Macaulay ring R that guarantee the Nagata idealization ~ R = R × ωR(−a−1) is a non-Koszul quadratic Gorenstein ring. We prove there exist rings of regularity 3 satisfying our conditions for all c ≥ 9; this yields a negative answer to the question from the above-mentioned paper. [ABSTRACT FROM AUTHOR]

Let K be an algebraically closed field of characteristic different from 2, let g be a positive integer, let ƒ(x) \in K[x] be a degree 2g+1 monic polynomial without multiple roots, let Cƒ: y2 = ƒ(x) be the corresponding genus g hyperelliptic curve over K, and let J be the Jacobian of Cƒ. We identify Cƒ with the image of its canonical embedding into J (the infinite point of Cƒ goes to the zero of the group law on J). It is known [Izv. Math. 83 (2019), pp. 501-520] that if g ≥ 2, then Cƒ(K) contains no points of orders lying between 3 and 2g. In this paper we study torsion points of order 2g + 1 on Cƒ(K). Despite the striking difference between the cases of g = 1 and g ≥ 2, some of our results may be viewed as a generalization of well-known results about points of order 3 on elliptic curves. E.g., if p = 2g + 1 is a prime that coincides with char(K), then every odd degree genus g hyperelliptic curve contains at most two points of order p. If g is odd and ƒ(x) has real coefficients, then there are at most two real points of order 2g + 1 on Cƒ. If ƒ(x) has rational coefficients and g ≤ 51, then there are at most two rational points of order 2g+1 on Cƒ. (However, there exist odd degree genus 52 hyperelliptic curves over Q that have at least four rational points of order 105.) [ABSTRACT FROM AUTHOR]

Let g be the derived subalgebra of a Kac-Moody Lie algebra of finite-type or affine-type, let μ be a diagram automorphism of g, and let L(g,μ) be the loop algebra of g associated to μ. In this paper, by using the vertex algebra technique, we provide a general construction of current-type presentations for the universal central extension g[μ] of L(g,μ). The construction contains the classical limit of Drinfeld's new realization for (twisted and untwisted) quantum affine algebras [Soviet Math. Dokl. 36 (1988), pp. 212-216] and the Moody-Rao-Yokonuma presentation for toroidal Lie algebras [Geom. Dedicata 35 (1990), pp. 283-307] as special examples. As an application, when g is of simply-laced-type, we prove that the classical limit of the μ-twisted quantum affinization of the quantum Kac-Moody algebra associated to g introduced in [J. Math. Phys. 59 (2018), 081701] is the universal enveloping algebra of g[μ]. [ABSTRACT FROM AUTHOR]

One of the main results stated in Theorem 4.4 of our article, which appears in Trans. Amer. Math. Soc. 372 (2019), no. 10, 7191-7223, is that the structure algebra K[M(X,r)], over a field K, of a finite bijective left non-degenerate solution (X,r) of the Yang-Baxter equation is a module-finite central extension of a commutative affine subalgebra. This is proven by showing that the structure monoid M(X,r) is central-by-finite. This however is not true, even in case (X,r) is a (left and right) non-degenerate involutive solution. The proof contains a subtle mistake. However, it turns out that the monoid M(X,r) is abelian-by-finite and thus the conclusion that K[M(X,r)] is a module-finite normal extension of a commutative affine subalgebra remains valid. In particular, K[M(X,r)] is Noetherian and satisfies a polynomial identity. The aim of this paper is to give a proof of this result. In doing so, we also strengthen Lemma 5.3 (and its consequences, namely Lemma 5.4 and Proposition 5.5) showing that these results on the prime spectrum of the structure monoid hold even if the assumption that the solution (X,r) is square-free is omitted. [ABSTRACT FROM AUTHOR]

Consider the Hamiltonian abcd system in one dimension, with data posed in the energy space H1 × H1. This model, introduced by Bona, Chen, and Saut, is a well-known physical generalization of the classical Boussinesq equations. The Hamiltonian case corresponds to the regime where a,c < 0 and b = d > 0. Under this regime, small solutions in the energy space are globally defined. A first proof of decay for this 2 × 2 system was given in [J. Math. Pure Appl. (9) 127 (2019), 121-159] in a strongly dispersive regime, i.e., under essentially the conditions b = d > 2/9, a,c < −1/18. Additionally, decay was obtained inside a proper subset of the light cone (−|t|,|t|). In this paper, we improve [J. Math. Pure Appl. (9) 127 (2019), 121-159] in three directions. First, we enlarge the set of parameters (a,b,c,d) for which decay to zero is the only available option, considering now the so-called weakly dispersive regime a,c ~0: we prove decay if now b = d > 3/16, a,c < −1/48. This result is sharp in the case where a = c, since for a,c bigger, some abcd linear waves of nonzero frequency do have zero group velocity. Second, we sharply enlarge the interval of decay to consider the whole light cone, that is to say, any interval of the form |x| ~ |v| t for any |v| < 1. This result rules out, among other things, the existence of nonzero speed solitary waves in the regime where decay is present. Finally, we prove decay to zero of small abcd solutions in exterior regions |x| >> |t|, also discarding super-luminical small solitary waves. These three results are obtained by performing new improved virial estimates for which better decay properties are deduced. [ABSTRACT FROM AUTHOR]

This paper dwells upon two aspects of affine supergroup theory, investigating the links among them. First, the "splitting" properties of affine supergroups are discussed, i.e., special kinds of factorizations they may admit -- either globally, or pointwise. Almost everything should be more or less known, but seems to be not as clear in the literature (to the author's knowledge) as it ought to. Second, a new contribution to the study of affine supergroups by means of super Harish-Chandra pairs is presented (a method already introduced by Koszul, and later extended by other authors). Namely, a new functorial construction ψ is provided which, with each super Harish-Chandra pair, associates an affine supergroup that is always globally strongly split (in short, gs-split) -- thus setting a link with the first part of the paper. One knows that there exists a natural functor Φ from affine supergroups to super Harish-Chandra pairs. Then we show that the new functor ψ -- which goes the other way round -- is indeed a quasi-inverse to Φ, provided we restrict our attention to the subcategory of affine supergroups that are gs-split. Therefore, (the restrictions of) Φ and ψ are equivalences between the categories of gs-split affine supergroups and of super Harish-Chandra pairs. Such a result was known in other contexts, such as the smooth differential or the complex analytic one, via different approaches. Nevertheless, the novelty in the present paper lies in the construction of a different functor ψ and thus extends the result to a much larger setup, with a totally different, more geometrical method. In fact, this method (very concrete, indeed) is universal and characteristic-free and is presented here for the algebro-geometric setting, but actually it can be easily adapted to the frameworks of differential or complex analytic supergeometry. The case of linear supergroups is treated also as an intermediate, inspiring step. Some examples, applications and further generalizations are presented at the end of the paper. [ABSTRACT FROM AUTHOR]

Let k \ge 1 be an integer and f a holomorphic endomorphism of \mathbb {P}^k (\mathbb {C}) of algebraic degree d\geq 2. We introduce a dynamical volume dimension for ergodic f-invariant probability measures with strictly positive Lyapunov exponents. In particular, this class of measures includes all ergodic measures whose measure-theoretic entropy is strictly larger than (k-1)\log d, a natural generalization of the class of measures of positive measure-theoretic entropy in dimension 1. The volume dimension is equivalent to the Hausdorff dimension when k=1, but depends on the dynamics of f to incorporate the absence of an analogue of Koebe's theorem and the non-conformality of holomorphic endomorphisms for k\geq 2. If \nu is an ergodic f-invariant probability measure with strictly positive Lyapunov exponents, we prove a generalization of the Mañé-Manning formula relating the volume dimension, the measure-theoretic entropy, and the sum of the Lyapunov exponents of \nu. As a consequence, we give a characterization of the first zero of a natural pressure function for such expanding measures in terms of their volume dimensions. For hyperbolic maps, such zero also coincides with the volume dimension of the Julia set, and with the exponent of a natural (volume-)conformal measure. This generalizes results by Denker-Urbański [Nonlinearity 4 (1991), pp. 365–384; Trans. Amer. Math. Soc. 328 (1991), pp. 563–587] and McMullen [Comment. Math. Helv. 75 (2000), pp. 535–593] in dimension 1 to any dimension k\geq 1. Our methods mainly rely on a theorem by Berteloot-Dupont-Molino [Ann. Inst. Fourier (Grenoble) 58 (2008), pp. 2137–2168], which gives a precise control on the distortion of inverse branches of endomorphisms along generic inverse orbits with respect to measures with strictly positive Lyapunov exponents. [ABSTRACT FROM AUTHOR]

We prove that the curl operator on closed oriented 3-manifolds, i.e., the square root of the Hodge Laplacian on its coexact spectrum, generically has 1-dimensional eigenspaces, even along 1-parameter families of \mathcal {C}^k Riemannian metrics, where k\geq 2. We show further that the Hodge Laplacian in dimension 3 has two possible sources for nonsimple eigenspaces along generic 1-parameter families of Riemannian metrics: either eigenvalues coming from positive and from negative eigenvalues of the curl operator cross, or an exact and a coexact eigenvalue cross. We provide examples for both of these phenomena. In order to prove our results, we generalize a method of Teytel [Comm. Pure Appl. Math. 52 (1999), pp. 917–934], allowing us to compute the meagre codimension of the set of Riemannian metrics for which the curl operator and the Hodge Laplacian have certain eigenvalue multiplicities. A consequence of our results is that while the simplicity of the spectrum of the Hodge Laplacian in dimension 3 is a meagre codimension 1 property with respect to the \mathcal {C}^k topology as proven by Enciso and Peralta-Salas in [Trans. Amer. Math. Soc. 364 (2012), pp. 4207–4224], it is not a meagre codimension 2 property. [ABSTRACT FROM AUTHOR]

In [J. Inst. Math. Jussieu 14 (2015), pp. 149-184] and [Int. Math. Res. Not. imrn 7 (2017), pp. 2014-2099], the twisted standard L-function L(s, π, χ, st) of a cuspidal representation π of the exceptional group of type G2 was shown to be represented by a family of new-way Rankin-Selberg integrals. These integrals connect the analytic behaviour of L(s, π, χ, st) with that of a family of degenerate Eisenstein series εE(χ, fs, s, g) on quasi-split forms HE of Spin8, induced from Heisenberg parabolic subgroups. The analytic behaviour of the series εE(χ, fs, s, g) in the right half-plane Re(s) > 0 was studied in [Tran. Amer. Math. Soc. 370 (2018), pp. 5983-6039]. In this paper we study the residual representations associated with EE(χ, fs, s, g). [ABSTRACT FROM AUTHOR]

In this paper, we consider representations of the absolute Galois group Gal(Q/Q) attached to modular forms for noncongruence subgroups of SL2(Z). When the underlying modular curves have a model over Q, these representations are constructed by Scholl in [Invent. Math. 99 (1985), pp. 49-77] and are referred to as Scholl representations, which form a large class of motivic Galois representations. In particular, by a result of Belyi, Scholl representations include the Galois actions on the Jacobian varieties of algebraic curves defined over Q. As Scholl representations are motivic, they are expected to correspond to automorphic representations according to the Langlands philosophy. Using recent developments on automorphy lifting theorem, we obtain various automorphy and potential automorphy results for potentially GL2-type Galois representations associated to noncongruence modular forms. Our results are applied to various kinds of examples. In particular, we obtain potential automorphy results for Galois representations attached to an infinite family of spaces of weight 3 noncongruence cusp forms of arbitrarily large dimensions. [ABSTRACT FROM AUTHOR]

Let K/\mathbb {Q}_p be a finite unramified extension, \overline {\rho }:\mathrm {Gal}(\overline {\mathbb {Q}}_p/K)\rightarrow \mathrm {GL}_n(\overline {\mathbb {F}}_p) a continuous representation, and \tau a tame inertial type of dimension n. We explicitly determine, under mild regularity conditions on \tau, the potentially crystalline deformation ring R^{\eta,\tau }_{\overline {\rho }} in parallel Hodge–Tate weights \eta =(n-1,\cdots,1,0) and inertial type \tau when the shape of \overline {\rho } with respect to \tau has colength at most one. This has application to the modularity of a class of shadow weights in the weight part of Serre's conjecture. Along the way we make unconditional the local-global compatibility results of Park and Qian [Mém. Soc. Math. Fr. (N.S.) 173 (2022), pp. vi+150]. [ABSTRACT FROM AUTHOR]

We formulate a plausible conjecture for the optimal Ehrhard-type inequality for convex symmetric sets with respect to the Gaussian measure. Namely, letting J_{k-1}(s)=\int ^s_0 t^{k-1} e^{-\frac {t^2}{2}}dt and c_{k-1}=J_{k-1}(+\infty), we conjecture that the function F:[0,1]\rightarrow \mathbb {R}, given by \begin{equation*} F(a)= \sum _{k=1}^n 1_{a\in E_k}\cdot (\beta _k J_{k-1}^{-1}(c_{k-1} a)+\alpha _k) \end{equation*} (with an appropriate choice of a decomposition [0,1]=\cup _{i} E_i and coefficients \alpha _i, \beta _i) satisfies, for all symmetric convex sets K and L, and any \lambda \in [0,1], \begin{equation*} F\left (\gamma (\lambda K+(1-\lambda)L)\right)\geq \lambda F\left (\gamma (K)\right)+(1-\lambda) F\left (\gamma (L)\right). \end{equation*} We explain that this conjecture is "the most optimistic possible", and is equivalent to the fact that for any symmetric convex set K, its Gaussian concavity power p_s(K,\gamma) is greater than or equal to p_s(RB^k_2\times \mathbb {R}^{n-k},\gamma), for some k\in \{1,\dots,n\}. We call the sets RB^k_2\times \mathbb {R}^{n-k} round k-cylinders ; they also appear as the conjectured Gaussian isoperimetric minimizers for symmetric sets, see Heilman [Amer. J. Math. 143 (2021), pp. 53–94]. In this manuscript, we make progress towards this question, and show that for any symmetric convex set K in \mathbb {R}^n, \begin{equation*} p_s(K,\gamma)\geq \sup _{F\in L^2(K,\gamma)\cap Lip(K):\,\int F=1} \left (2T_{\gamma }^F(K)-Var(F)\right)+\frac {1}{n-\mathbb {E}X^2}, \end{equation*} where T_{\gamma }^F(K) is the F-torsional rigidity of K with respect to the Gaussian measure. Moreover, the equality holds if and only if K=RB^k_2\times \mathbb {R}^{n-k} for some R>0 and k=1,\dots,n. As a consequence, we get \begin{equation*} p_s(K,\gamma)\geq Q(\mathbb {E}|X|^2, \mathbb {E}\|X\|_K^4, \mathbb {E}\|X\|^2_K, r(K)), \end{equation*} where Q is a certain rational function of degree 2, the expectation is taken with respect to the restriction of the Gaussian measure onto K, \|\cdot \|_K is the Minkowski functional of K, and r(K) is the in-radius of K. The result follows via a combination of some novel estimates, the L2 method (previously studied by several authors, notably Kolesnikov and Milman [J. Geom. Anal. 27 (2017), pp. 1680–1702; Amer. J. Math. 140 (2018), pp. 1147–1185; Geometric aspects of functional analysis , Springer, Cham, 2017; Mem. Amer. Math. Soc. 277 (2022), v+78 pp.], Kolesnikov and the author [Adv. Math. 384 (2021), 23 pp.], Hosle, Kolesnikov, and the author [J. Geom. Anal. 31 (2021), pp. 5799–5836], Colesanti [Commun. Contemp. Math. 10 (2008), pp. 765–772], Colesanti, the author, and Marsiglietti [J. Funct. Anal. 273 (2017), pp. 1120–1139], Eskenazis and Moschidis [J. Funct. Anal. 280 (2021), 19 pp.]), and the analysis of the Gaussian torsional rigidity. As an auxiliary result on the way to the equality case characterization, we characterize the equality cases in the "convex set version" of the Brascamp-Lieb inequality, and moreover, obtain a quantitative stability version in the case of the standard Gaussian measure; this may be of independent interest. All the equality case characterizations rely on the careful analysis of the smooth case, the stability versions via trace theory, and local approximation arguments. In addition, we provide a non-sharp estimate for a function F whose composition with \gamma (K) is concave in the Minkowski sense for all symmetric convex sets. [ABSTRACT FROM AUTHOR]

We show the invalidity of finitary counterparts for three classification theorems: The preservation of being a Bernoulli shift through factors, Sinai's factor theorem, and the weak Pinsker property. We construct a finitary factor of an i.i.d. process which is not finitarily isomorphic to an i.i.d. process, showing that being finitarily Bernoulli is not preserved through finitary factors. This refutes a conjecture of M. Smorodinsky [ Finitary isomorphism of m-dependent processes , Amer. Math. Soc., Birkhauser, Providence, RI, 1992, pp. 373–376], which was first suggested by D. Rudolph [ A characterization of those processes finitarily isomorphic to a Bernoulli shift , Birkhäuser, Boston, Mass., 1981, pp. 1–64]. We further show that any ergodic system is isomorphic to a process none of whose finitary factors are i.i.d. processes, and in particular, there is no general finitary Sinai's factor theorem for ergodic processes. Another consequence of this result is the invalidity of a finitary weak Pinsker property, answering a question of G. Pete and T. Austin [Math. Inst. Hautes Études Sci. 128 (2018), 1–119]. [ABSTRACT FROM AUTHOR]

Eigenvalues and eigenfunctions of two- and three-dimensional double layer potentials are considered. Let Ω be a C2 bounded region in Rn (n = 2, 3). The double layer potential K : L2(∂Ω) → L2(∂Ω) is defined by (Kψ)(x) ≡ ∫ ∂ Ω ψ(y)·vyE(x, y) dsy, where E(x, y) = ∫1/2π log1/∣x-y∣ , if n = 2, 1/π log1/∣x-y∣ , if n = 3, dsy is the line or surface element and vy is the outer normal derivative on ∂Ω. It is known that K is a compact operator on L2(∂Ω) and consists of at most a countable number of eigenvalues, with 0 as the only possible limit point. This paper aims to establish some relationships among the eigenvalues, the eigenfunctions, and the geometry of ∂Ω. [ABSTRACT FROM AUTHOR]

We prove an equivalence between the superpotential defined via tropical geometry and Lagrangian Floer theory for special Lagrangian torus fibres in del Pezzo surfaces constructed by Collins-Jacob-Lin [Duke Math. J. 170 (2021), pp. 1291–1375]. We also include some explicit calculations for the projective plane, which confirm some folklore conjectures in this case. [ABSTRACT FROM AUTHOR]

Using the Fredholm setup of Farajzadeh-Tehrani [Peking Math. J. (2023), https://doi.org/10.1007/s42543-023-00069-1], we study genus zero (and higher) relative Gromov-Witten invariants with maximum tangency of symplectic log Calabi-Yau fourfolds. In particular, we give a short proof of Gross [Duke Math. J. 153 (2010), pp. 297–362, Cnj. 6.2] that expresses these invariants in terms of certain integral invariants by considering generic almost complex structures to obtain a geometric count. We also revisit the localization calculation of the multiple-cover contributions in Gross [Prp. 6.1] and recalculate a few terms differently to provide more details and illustrate the computation of deformation/obstruction spaces for maps that have components in a destabilizing (or rubber) component of the target. Finally, we study a higher genus version of these invariants and explain a decomposition of genus one invariants into different contributions. [ABSTRACT FROM AUTHOR]

In this paper we study the following question related to Diophantine approximations and geometric measure theory: for a given set Ω find α such that α - θ has bad Diophantine properties simultaneously for all θ ∊ Ω. How do the arising Diophantine inequalities depend on the geometry of the set Ω? We provide several methods which yield different answers in terms of the metric entropy of Ω and consider various examples. Furthermore, we apply these results to explore the asymptotic behavior of the directional discrepancy, i.e., the discrepancy with respect to rectangles rotated in certain sets of directions. It is well known that the extremal cases of this problem (fixed direction vs. all possible rotations) yield completely different bounds. We use rotated lattices to obtain directional discrepancy estimates for general rotation sets and investigate the sharpness of these methods. [ABSTRACT FROM AUTHOR]

The Weyl algebra over a field k of characteristic 0 is a simple ring of Gelfand-Kirillov dimension 2, which has a grading by the group of integers. We classify all Z-graded simple rings of GK-dimension 2 and show that they are graded Morita equivalent to generalized Weyl algebras as defined by Bavula. More generally, we study Z-graded simple rings A of any dimension which have a graded quotient ring of the form K[t, t-1; σ] for a field K. Under some further hypotheses, we classify all such A in terms of a new construction of simple rings which we introduce in this paper. In the important special case that GKdimA = tr. deg(K/k) + 1, we show that K and σ must be of a very special form. The new simple rings we define should warrant further study from the perspective of noncommutative geometry. [ABSTRACT FROM AUTHOR]

Let p be a prime and G a finite group. We propose a strong bound for the number of p'-degree irreducible characters of G in terms of the commutator factor group of a Sylow p-subgroup of G. The bound arises from a recent conjecture of Navarro and Tiep [Forum Math. Pi 9 (2021), pp. 1–28] on fields of character values and a phenomenon called the continuity of p-rationality level of p'-degree characters. This continuity property in turn is predicted by the celebrated McKay-Navarro conjecture (see G. Navarro [Ann. of Math. (2) 160 (2004), pp. 1129–1140]). We achieve both the bound and the continuity property for p=2. [ABSTRACT FROM AUTHOR]

We calculate the E-polynomial for a class of (complex) character varieties \mathcal {M}_n^{\tau } associated to a genus g Riemann surface \Sigma equipped with an orientation reversing involution \tau. Our formula expresses the generating function \sum _{n=1}^{\infty } E(\mathcal {M}_n^{\tau }) T^n as the plethystic logarithm of a product of sums indexed by Young diagrams. The proof uses point counting over finite fields, emulating Hausel and Rodriguez-Villegas [Invent. Math. 174 (2008), pp. 555–624]. [ABSTRACT FROM AUTHOR]

We show that given a closed n-manifold M, for a Baire-generic set of Riemannian metrics g on M there exists a sequence of closed geodesics that are equidistributed in M if n=2; and an equidistributed sequence of embedded stationary geodesic nets if n=3. One of the main tools that we use is the Weyl law for the volume spectrum for 1-cycles, proved by Liokumovich, Marques, and Neves [Ann. of Math. (2) 187 (2018), pp. 933–961] for n=2 and by Guth and Liokumovich [Preprint, arXiv:2202.11805, 2022] for n=3. We show that our proof of the equidistribution of stationary geodesic nets can be generalized for any dimension n\geq 2 provided the Weyl Law for 1-cycles in n-manifolds holds. [ABSTRACT FROM AUTHOR]

We show that for any even log-concave probability measure \mu on \mathbb {R}^n, any pair of symmetric convex sets K and L, and any \lambda \in [0,1], \begin{equation*} \mu ((1-\lambda) K+\lambda L)^{c_n}\geq (1-\lambda) \mu (K)^{c_n}+\lambda \mu (L)^{c_n}, \end{equation*} where c_n\geq n^{-4-o(1)}. This constitutes progress towards the dimensional Brunn-Minkowski conjecture (see Richard J. Gardner and Artem Zvavitch [Tran. Amer. Math. Soc. 362 (2010), pp. 5333–5353]; Andrea Colesanti, Galyna V. Livshyts, Arnaud Marsiglietti [J. Funct. Anal. 273 (2017), pp. 1120–1139]). Moreover, our bound improves for various special classes of log-concave measures. [ABSTRACT FROM AUTHOR]

In this article, we prove a new general identity involving the Theta operators introduced by the first author, Iraci, and Vanden Wyngaerd [Adv. Math. 376 (2021), p.59]. From this result, we can easily deduce several new identities that have combinatorial consequences in the study of Macdonald polynomials and diagonal coinvariants. In particular, we provide a unifying framework from which we recover many identities scattered in the literature, often resulting in drastically shorter proofs. [ABSTRACT FROM AUTHOR]

For 2\leq p<4, we study the L^p norms of restrictions of eigenfunctions of the Laplace-Beltrami operator on smooth compact 2-dimensional Riemannian manifolds. Burq, Gérard, and Tzvetkov [Duke Math. J. 138 (2007), pp. 445–486], and Hu [Forum Math. 21 (2009), pp. 1021–1052] found the eigenfunction estimates restricted to a curve with nonvanishing geodesic curvatures. We will explain how the proof of the known estimates helps us to consider the case where the given smooth compact Riemannian manifold has nonpositive sectional curvatures. For p=4, we will also obtain a logarithmic analogous estimate, by using arguments in Xi and Zhang [Comm. Math. Phys. 350 (2017), pp. 1299–1325], Sogge [Math. Res. Lett. 24 (2017), pp. 549–570], and Bourgain [Geom. Funct. Anal. 1 (1991), pp. 147–187]. [ABSTRACT FROM AUTHOR]

We present sufficient conditions so that a conformal map between planar domains whose boundary components are Jordan curves or points has a continuous or homeomorphic extension to the closures of the domains. Our conditions involve the notions of cofat domains and CNED sets, i.e., countably negligible for extremal distances, recently introduced by the author. We use this result towards establishing conformal rigidity of a class of circle domains. A circle domain is conformally rigid if every conformal map onto another circle domain is the restriction of a Möbius transformation. We show that circle domains whose point boundary components are CNED are conformally rigid. This result is the strongest among all earlier works and provides substantial evidence towards the rigidity conjecture of He–Schramm [Invent. Math. 115 (1994), no. 2, 297–310], relating the problems of conformal rigidity and removability. [ABSTRACT FROM AUTHOR]

In the early 1980s, Erdős and Sós initiated the study of the classical Turán problem with a uniformity condition: the uniform Turán density of a hypergraph H is the infimum over all d for which any sufficiently large hypergraph with the property that all its linear-size subhypergraphs have density at least d contains H. In particular, they raise the questions of determining the uniform Turán densities of K_4^{(3)-} and K_4^{(3)}. The former question was solved only recently by Glebov, Král', and Volec [Israel J. Math. 211 (2016), pp. 349–366] and Reiher, Rödl, and Schacht [J. Eur. Math. Soc. 20 (2018), pp. 1139–1159], while the latter still remains open for almost 40 years. In addition to K_4^{(3)-}, the only 3-uniform hypergraphs whose uniform Turán density is known are those with zero uniform Turán density classified by Reiher, Rödl and Schacht [J. London Math. Soc. 97 (2018), pp. 77–97] and a specific family with uniform Turán density equal to 1/27. We develop new tools for embedding hypergraphs in host hypergraphs with positive uniform density and apply them to completely determine the uniform Turán density of a fundamental family of 3-uniform hypergraphs, namely tight cycles C_\ell ^{(3)}. The uniform Turán density of C_\ell ^{(3)}, \ell \ge 5, is equal to 4/27 if \ell is not divisible by three, and is equal to zero otherwise. The case \ell =5 resolves a problem suggested by Reiher. [ABSTRACT FROM AUTHOR]

Given two polynomials p(x), q(x) of degree d, we give a combinatorial formula for the finite free cumulants of p(x)\boxtimes _d q(x). We show that this formula admits a topological expansion in terms of non-crossing multi-annular permutations on surfaces of different genera. This topological expansion, on the one hand, deepens the connection between the theories of finite free probability and free probability, and in particular proves that \boxtimes _d converges to \boxtimes as d goes to infinity. On the other hand, borrowing tools from the theory of second order freeness, we use our expansion to study the infinitesimal distribution of certain families of polynomials which include Hermite and Laguerre, and draw some connections with the theory of infinitesimal distributions for real random matrices. Finally, building on our results we give a new short and conceptual proof of a recent result (see J. Hoskins and Z. Kabluchko [Exp. Math. (2021), pp. 1–27]; S. Steinerberger [Exp. Math. (2021), pp. 1–6]) that connects root distributions of polynomial derivatives with free fractional convolution powers. [ABSTRACT FROM AUTHOR]

We define the over-exceptional lattice of a minimal algebraic surface of Kodaira dimension 0. Bounding the rank of this object, we prove that a conjecture by Campana [Ann. Inst. Fourier (Grenoble) 54 (2004), pp. 499–630] and Corvaja–Zannier [Math. Z. 286 (2017), pp. 579–602] holds for Enriques surfaces, as well as K3 surfaces of Picard rank \geq 6 apart from a finite list of geometric Picard lattices. Concretely, we prove that such surfaces over finitely generated fields of characteristic 0 satisfy the weak Hilbert Property after a finite field extension of the base field. The degree of the field extension can be uniformly bounded. [ABSTRACT FROM AUTHOR]