Showing 1–50 of 113 results for author: Woolf, J

Highest weight categories and stability conditions

Authors: Alessio Cipriani, Jon Woolf

Abstract: Highest weight categories are an abstraction of the representation theory of semisimple Lie algebras introduced by Cline, Parshall and Scott in the late 1980s. There are by now many characterisations of when an abelian category is highest weight, but most are hard to verify in practice. We present two new criteria - one numerical in terms of the Grothendieck group, and one in terms of Bridegland s… ▽ More Highest weight categories are an abstraction of the representation theory of semisimple Lie algebras introduced by Cline, Parshall and Scott in the late 1980s. There are by now many characterisations of when an abelian category is highest weight, but most are hard to verify in practice. We present two new criteria - one numerical in terms of the Grothendieck group, and one in terms of Bridegland stability conditions - which are easier to verify. We relate them to a criterion by Green and Schroll for when modules over a monomial algebra are highest weight. △ Less

Submitted 17 October, 2024; originally announced October 2024.

Comments: Any comments are welcome

On stratifications and poset-stratified spaces

Authors: Lukas Waas, Jon Woolf, Shoji Yokura

Abstract: A stratified space is a topological space equipped with a \emph{stratification}, which is a decomposition or partition of the topological space satisfying certain extra conditions. More recently, the notion of poset-stratified space, i.e., topological space endowed with a continuous map to a poset with its Alexandrov topology, has been popularized. Both notions of stratified spaces are ubiquitous… ▽ More A stratified space is a topological space equipped with a \emph{stratification}, which is a decomposition or partition of the topological space satisfying certain extra conditions. More recently, the notion of poset-stratified space, i.e., topological space endowed with a continuous map to a poset with its Alexandrov topology, has been popularized. Both notions of stratified spaces are ubiquitous in mathematics, ranging from investigations of singular structures in algebraic geometry to extensions of the homotopy hypothesis in higher category theory. In this article we study the precise mathematical relation between these different approaches to stratified spaces. △ Less

Submitted 24 July, 2024; originally announced July 2024.

Comments: Any comments are welcome

Simple tilts of length hearts and simple-minded mutation

Authors: Nathan Broomhead, Raquel Coelho Simoes, David Pauksztello, Jon Woolf

Abstract: We characterise when a simple Happel-Reiten-Smalo tilt of a length heart is again a length heart in terms of approximation theory and the existence of a stability condition with a phase gap. We apply simple-minded reduction to provide a sufficient condition for infinite iterability of simple-minded mutation/simple tilting. We use simple-minded mutation pairs to provide a common framework to show t… ▽ More We characterise when a simple Happel-Reiten-Smalo tilt of a length heart is again a length heart in terms of approximation theory and the existence of a stability condition with a phase gap. We apply simple-minded reduction to provide a sufficient condition for infinite iterability of simple-minded mutation/simple tilting. We use simple-minded mutation pairs to provide a common framework to show that mutation of simple-minded collections (resp. $w$-simple-minded systems, for $w \geq 1$) gives simple-minded collections (resp. $w$-simple-minded systems) under mild conditions, in the process providing a unified proof of results of A. Dugas and P. Jorgensen. Finally, we show that under mild conditions, mutation of simple-minded collections is compatible with mutation of $w$-simple-minded systems via a singularity category construction due to H. Jin. △ Less

Submitted 30 July, 2024; v1 submitted 5 January, 2024; originally announced January 2024.

Comments: 27 pages, 3 figures

MSC Class: 18G80; 14F08; 16E35

The heart fan of an abelian category

Authors: Nathan Broomhead, David Pauksztello, David Ploog, Jon Woolf

Abstract: We apply convex geometry (cones, fans) to homological input (abelian categories, hearts of bounded t-structures) to construct a new invariant of an abelian category, its heart fan. This can be viewed as a `universal phase diagram' for Bridgeland stability conditions with the given heart. When the abelian category is the module category of a finite-dimensional algebra, the heart fan is complete and… ▽ More We apply convex geometry (cones, fans) to homological input (abelian categories, hearts of bounded t-structures) to construct a new invariant of an abelian category, its heart fan. This can be viewed as a `universal phase diagram' for Bridgeland stability conditions with the given heart. When the abelian category is the module category of a finite-dimensional algebra, the heart fan is complete and contains the g-fan as the subfan of full-dimensional cones. The heart fan is also closely related to the wall-and-chamber structure for King semistability. △ Less

Submitted 5 September, 2024; v1 submitted 4 October, 2023; originally announced October 2023.

Comments: v1 30 pages. v2 major revision: replaced section on scattering diagrams by universal phase diagrams; introduce and use cofans over dual face fans; 13 fan diagrams, 36 pages

MSC Class: 18G80; 16E35; 14F08; 18E40; 52A20

Pseudo-Riemannian geodesic orbit nilmanifolds of signature $\boldsymbol{(n-2,2)}$

Authors: Zhiqi Chen, Yuri Nikolayevsky, Joseph A. Wolf, Shaoxiang Zhang

Abstract: The geodesic orbit property is useful and interesting in itself, and it plays a key role in Riemannian geometry. It implies homogeneity and has important classes of Riemannian manifolds as special cases. Those classes include weakly symmetric Riemannian manifolds and naturally reductive Riemannian manifolds. The corresponding results for indefinite metric manifolds are much more delicate than in R… ▽ More The geodesic orbit property is useful and interesting in itself, and it plays a key role in Riemannian geometry. It implies homogeneity and has important classes of Riemannian manifolds as special cases. Those classes include weakly symmetric Riemannian manifolds and naturally reductive Riemannian manifolds. The corresponding results for indefinite metric manifolds are much more delicate than in Riemannian signature, but in the last few years important corresponding structural results were proved for geodesic orbit Lorentz manifolds. Here we extend Riemannian and Lorentz results to trans-Lorentz nilmanifolds. Those are the geodesic orbit pseudo Riemannian manifolds $M = G/H$ of signature $(n-2,2)$ such that a nilpotent analytic subgroup of $G$ is transitive on $M$. For that we suppose that there is a reductive decomposition $\g = \h \oplus \n \text{ (vector space direct sum) with } [\h,\n] \subset \n$ and $\n$ nilpotent. When the metric is nondegenerate on $[\n,\n]$ we show that $\n$ is abelian or 2-step nilpotent. That is the same result as for geodesic orbit Riemannian and Lorentz nilmanifolds. When the metric is degenerate on $[\n,\n]$ we show that $\n$ is a double extension of a geodesic orbit nilmanifold of either Riemannian or Lorentz signature. △ Less

Submitted 16 July, 2023; originally announced July 2023.

MSC Class: 53C30; 53B30; 17B30

On the Homogeneity Conjecture

Authors: Joseph A. Wolf

Abstract: Consider a connected homogeneous Riemannian manifold $(M,ds^2)$ and a Riemannian covering $(M,ds^2) \to Γ\backslash (M,ds^2)$. If $Γ\backslash (M,ds^2)$ is homogeneous then every $γ\in Γ$ is an isometry of constant displacement. The Homogeneity Conjecture suggests the converse: if every $γ\in Γ$ is an isometry of constant displacement on $(M,ds^2)$ then $Γ\backslash (M,ds^2)$ is homogeneous. We su… ▽ More Consider a connected homogeneous Riemannian manifold $(M,ds^2)$ and a Riemannian covering $(M,ds^2) \to Γ\backslash (M,ds^2)$. If $Γ\backslash (M,ds^2)$ is homogeneous then every $γ\in Γ$ is an isometry of constant displacement. The Homogeneity Conjecture suggests the converse: if every $γ\in Γ$ is an isometry of constant displacement on $(M,ds^2)$ then $Γ\backslash (M,ds^2)$ is homogeneous. We survey the cases in which the Homogeneity Conjecture has been verified, including some new results, and suggest some related open problems. △ Less

Submitted 28 March, 2023; originally announced March 2023.

Comments: This is a survey with new results and open problems

MSC Class: 22E40; 22F30; 22F50; 22D45; 53C30; 53C35

Families of Geodesic Orbit Spaces and Related Pseudo-Riemannian Manifolds

Authors: Joseph A. Wolf

Abstract: Two homogeneous pseudo-riemannian manifolds $(G/H, ds^2)$ and $(G'/H', ds'^2)$ belong to the same {\it real form family} if their complexifications $(G_{\mathbb C}/H_{\mathbb C}, ds_{\mathbb C}^2)$ and $(G'_{\mathbb C}/H'_{\mathbb C}, ds'^2_{\mathbb C})$ are isometric. The point is that in many cases a particular space $(G/H, ds^2)$ has interesting properties, and those properties hold for the spa… ▽ More Two homogeneous pseudo-riemannian manifolds $(G/H, ds^2)$ and $(G'/H', ds'^2)$ belong to the same {\it real form family} if their complexifications $(G_{\mathbb C}/H_{\mathbb C}, ds_{\mathbb C}^2)$ and $(G'_{\mathbb C}/H'_{\mathbb C}, ds'^2_{\mathbb C})$ are isometric. The point is that in many cases a particular space $(G/H, ds^2)$ has interesting properties, and those properties hold for the spaces in its real form family. Here we prove that if $(G/H, ds^2)$ is a geodesic orbit space with a reductive decomposition $\mathfrak{g} = \mathfrak{h} + \mathfrak{m}$, then the same holds all the members of its real form family. In particular our understanding of compact geodesic orbit riemannian manifolds gives information on geodesic orbit pseudo-riemannian manifolds. We also prove similar results for naturally reductive spaces, for commutative spaces, and in most cases for weakly symmetric spaces. We end with a discussion of inclusions of these real form families, a discussion of D'Atri spaces, and a number of open problems. △ Less

Submitted 3 November, 2022; originally announced November 2022.

Comments: This note complements earlier work of Zhiqi Chen and the author

MSC Class: 22E45; 43A80; 32M15; 53B30; 53B35

Stability, corners, and other 2-dimensional shapes

Authors: Amador Martin-Pizarro, Daniel Palacin, Julia Wolf

Abstract: We introduce a relaxation of stability, called robust stability, which is insensitive to perturbations by subsets of Loeb measure $0$ in a pseudofinite group. We show that robust stability satisfies a stationarity principle for measure independent elements. We apply this principle to deduce the existence of squares in dense robustly stable subsets of Cartesian products of non-standard finite group… ▽ More We introduce a relaxation of stability, called robust stability, which is insensitive to perturbations by subsets of Loeb measure $0$ in a pseudofinite group. We show that robust stability satisfies a stationarity principle for measure independent elements. We apply this principle to deduce the existence of squares in dense robustly stable subsets of Cartesian products of non-standard finite groups, possibly non-abelian. Our results imply qualitative asymptotic versions for Cartesian products of finite groups. In the final section, we establish the existence of $3\times 2$-grids (and thus of $L$-shapes) in dense robustly stable $2$-dimensional subsets of finite abelian groups of odd order. △ Less

Submitted 17 April, 2024; v1 submitted 25 October, 2022; originally announced October 2022.

MSC Class: 03C13; 03C45; 11B30

The Structure of Geodesic Orbit Lorentz Nilmanifolds

Authors: Yuri Nikolayevsky, Joseph A. Wolf

Abstract: The geodesic orbit property is useful and interesting in Riemannian geometry. It implies homogeneity and has important classes of Riemannian manifolds as special cases. Those classes include weakly symmetric Riemannian manifolds and naturally reductive Riemannian manifolds. The corresponding results for indefinite metric manifolds are much more delicate than in Riemannian signature, but in the las… ▽ More The geodesic orbit property is useful and interesting in Riemannian geometry. It implies homogeneity and has important classes of Riemannian manifolds as special cases. Those classes include weakly symmetric Riemannian manifolds and naturally reductive Riemannian manifolds. The corresponding results for indefinite metric manifolds are much more delicate than in Riemannian signature, but in the last few years important corresponding structural results were proved for geodesic orbit Lorentz manifolds. Here we carry out a major step in the structural analysis of geodesic orbit Lorentz nilmanifolds. Those are the geodesic orbit Lorentz manifolds $M = G/H$ such that a nilpotent analytic subgroup of $G$ is transitive on $M$. Suppose that there is a reductive decomposition $\mathfrak{g} = \mathfrak{h} \oplus \mathfrak{n}$ (vector space direct sum) with $\mathfrak{n}$ nilpotent. When the metric is nondegenerate on $[\mathfrak{n},\mathfrak{n}]$ we show that $\mathfrak{n}$ is abelian or 2-step nilpotent (this is the same result as for geodesic orbit Riemannian nilmanifolds), and when the metric is degenerate on $[\mathfrak{n},\mathfrak{n}]$ we show that $\mathfrak{n}$ is a Lorentz double extension corresponding to a geodesic orbit Riemannian nilmanifold. In the latter case we construct examples to show that the number of nilpotency steps is unbounded. △ Less

Submitted 23 August, 2022; originally announced August 2022.

MSC Class: 53C30; 17B30; 05C25

Partial compactification of stability manifolds by massless semistable objects

Authors: Nathan Broomhead, David Pauksztello, David Ploog, Jon Woolf

Abstract: We introduce two partial compactifications of the space of Bridgeland stability conditions of a triangulated category. First we consider lax stability conditions where semistable objects are allowed to have mass zero but still have a phase. The subcategory of massless objects is thick and there is an induced classical stability on the quotient category. We study deformations of lax stability condi… ▽ More We introduce two partial compactifications of the space of Bridgeland stability conditions of a triangulated category. First we consider lax stability conditions where semistable objects are allowed to have mass zero but still have a phase. The subcategory of massless objects is thick and there is an induced classical stability on the quotient category. We study deformations of lax stability conditions. Second we consider the space arising by identifying lax stability conditions which are deformation-equivalent with fixed charge. This second space is stratified by stability spaces of Verdier quotients of the triangulated category by thick subcategories of massless objects. We illustrate our results through examples in which the Grothendieck group has rank 2. For these, our partial compactification can be explicitly described and related to the wall-and-chamber structure of the stability space. △ Less

Submitted 5 August, 2022; originally announced August 2022.

Comments: 63 pages, 3 figures

MSC Class: 18G80; 16E35; 14F08

Higher-order generalizations of stability and arithmetic regularity

Authors: C. Terry, J. Wolf

Abstract: We define a natural notion of higher-order stability and show that subsets of $\mathbb{F}_p^n$ that are tame in this sense can be approximately described by a union of low-complexity quadratic subvarieties up to linear error. This generalizes the arithmetic regularity lemma for stable subsets of $\mathbb{F}_p^n$ proved by the authors, as well as subsequent refinements and generalizations by the au… ▽ More We define a natural notion of higher-order stability and show that subsets of $\mathbb{F}_p^n$ that are tame in this sense can be approximately described by a union of low-complexity quadratic subvarieties up to linear error. This generalizes the arithmetic regularity lemma for stable subsets of $\mathbb{F}_p^n$ proved by the authors, as well as subsequent refinements and generalizations by the authors, and Conant, Terry, and Pillay, to the realm of higher-order Fourier analysis. △ Less

Submitted 10 January, 2023; v1 submitted 2 November, 2021; originally announced November 2021.

Comments: Exposition has been streamlined, with the more general framework of hereditary group properties being relegated to a separate forthcoming paper. Several typos have been fixed

Irregular triads in 3-uniform hypergraphs

Authors: C. Terry, J. Wolf

Abstract: Over the past several years, numerous authors have explored model theoretically motivated combinatorial conditions that ensure that a graph has an efficient regular decomposition in the sense of Szemerédi. In this paper we set out a research program that explores a corresponding set of questions for 3-uniform hypergraphs, a setting in which useful notions of regularity are significantly more intri… ▽ More Over the past several years, numerous authors have explored model theoretically motivated combinatorial conditions that ensure that a graph has an efficient regular decomposition in the sense of Szemerédi. In this paper we set out a research program that explores a corresponding set of questions for 3-uniform hypergraphs, a setting in which useful notions of regularity are significantly more intricate. The main results in this paper concern certain combinatorial properties which arose as natural higher-order generalizations of the order property in parallel work of the authors in the arithmetic setting. Interpreted in the context of 3-uniform hypergraphs, these are tightly connected to the nature of irregular triads. Specifically, we show that a hereditary property of 3-uniform hypergraphs admits regular decompositions with so-called "linear error" if and only if it does not have the functional order property. Along the way, we show that a hereditary property of 3-uniform hypergraphs is homogeneous (i.e. all regular triads have density near $0$ or near $1$) if and only it has bounded $\textrm{VC}_2$-dimension. This provides a quantitative version of a recent result of Chernikov and Towsner. We also address several questions arising from prior work on tame regularity in hypergraphs. In particular, we characterize the hereditary properties of $3$-uniform hypergraphs admitting the type of regular partitions appearing in work of Fox et al. as those that have bounded slicewise $\textrm{VC}$-dimension. This is again analogous to a recent non-quantitative result of Chernikov and Towsner. △ Less

Submitted 14 March, 2025; v1 submitted 2 November, 2021; originally announced November 2021.

Comments: Accepted, Memoirs of the American Mathematical Society. 163 pages

MSC Class: Primary 05C65; 03C45; Secondary 11B30; 03C98

Addendum to "Bounded Isometries and Homogeneous Quotients", JGA 27 (2017), 56--64

Authors: Joseph A. Wolf

Abstract: An argument of Y. Nikonorov completes the proof of Theorem 2.5 in "Bounded Isometries and Homogeneous Quotients", JGA 27 (2017), 56--64 [arXiv:1502.04276]. An argument of Y. Nikonorov completes the proof of Theorem 2.5 in "Bounded Isometries and Homogeneous Quotients", JGA 27 (2017), 56--64 [arXiv:1502.04276]. △ Less

Submitted 9 November, 2021; v1 submitted 16 October, 2021; originally announced October 2021.

Comments: This version changes the title and reference [7] to reflect the print publication date of [7] rather than the electronic publication date

Mass-growth of triangulated auto-equivalences

Authors: Jon Woolf

Abstract: We relate the mass growth (with respect to a stability condition) of an exact auto-equivalence of a triangulated category to the dynamical behaviour of its action on the space of stability conditions. One consequence is that this action is free and proper whenever the mass growth is non-vanishing. We relate the mass growth (with respect to a stability condition) of an exact auto-equivalence of a triangulated category to the dynamical behaviour of its action on the space of stability conditions. One consequence is that this action is free and proper whenever the mass growth is non-vanishing. △ Less

Submitted 25 April, 2022; v1 submitted 27 September, 2021; originally announced September 2021.

Comments: v2: 20 pages, 1 figure, references added, examples extended to include pseudo-Anosov auto-equivalences in sense of Fan, Filip, Haiden, Katzarkov and Liu

MSC Class: 18G80; 37A99

On Liouville type theorems for the stationary MHD and the Hall-MHD systems in $\mathbb{R}^3$

Authors: Dongho Chae, Junha Kim, Jörg Wolf

Abstract: In this paper we prove a Liouville type theorem for the stationary MHD and the stationary Hall-MHD systems. Assuming suitable growth condition at infinity for the mean oscillations for the potential functions, we show that the solutions are trivial. These results generalize the previous results obtained by two of the current authors in [6]. To prove our main theorems we use a refined iteration arg… ▽ More In this paper we prove a Liouville type theorem for the stationary MHD and the stationary Hall-MHD systems. Assuming suitable growth condition at infinity for the mean oscillations for the potential functions, we show that the solutions are trivial. These results generalize the previous results obtained by two of the current authors in [6]. To prove our main theorems we use a refined iteration argument. △ Less

Submitted 22 July, 2021; originally announced July 2021.

Comments: 14 pages

MSC Class: 35Q30; 76D05; 76D03

On Liouville type theorems in the stationary non-Newtonian fluids

Authors: Dongho Chae, Junha Kim, Jörg Wolf

Abstract: In this paper we prove a Liouville type theorem for the stationary equations of a non-Newtonian fluid in $\mathbb{R}^3$ with the viscous part of the stress tensor $\mathbf{A}_p(u) = \mathrm{div} ( | \mathbf{D}(u) |^{p-2} \mathbf{D}(u) )$, where $\mathbf{D}(u) = \frac 12 ( \nabla u + ( \nabla u )^{\top})$ and $\frac 95 < p < 3$. We consider a weak solution $u \in W^{1,p}_{loc}(\mathbb{R}^3)$ and it… ▽ More In this paper we prove a Liouville type theorem for the stationary equations of a non-Newtonian fluid in $\mathbb{R}^3$ with the viscous part of the stress tensor $\mathbf{A}_p(u) = \mathrm{div} ( | \mathbf{D}(u) |^{p-2} \mathbf{D}(u) )$, where $\mathbf{D}(u) = \frac 12 ( \nabla u + ( \nabla u )^{\top})$ and $\frac 95 < p < 3$. We consider a weak solution $u \in W^{1,p}_{loc}(\mathbb{R}^3)$ and its potential function $\mathbf{V} = (V_{ij}) \in W^{2,p}_{loc}(\mathbb{R}^3)$, i.e. $\nabla \cdot \mathbf{V} = u$. We show that there exists a constant $s_0=s_0(p)$ such that if the $L^s$ mean oscillation of $\mathbf{V}$ for $s>s_0$ satisfies a certain growth condition at infinity, then the velocity field vanishes. Our result includes the previous results \cite{CW20, CW19} as particular cases. △ Less

Submitted 20 July, 2021; originally announced July 2021.

Comments: 17 pages

MSC Class: 35Q35; 35Q30; 76A05; 76D05; 76D03

On the Geometric Orbit Property for Lorentz Manifolds

Authors: Zhiqi Chen, Joseph A. Wolf, Shaoxiang Zhang

Abstract: The geodesic orbit property has been studied intensively for Riemannian manifolds. Geodesic orbit spaces are homogeneous and allow simplifications of many structural questions using the Lie algebra of the isometry group. Weakly symmetric Riemannian manifolds are geodesic orbit spaces. Here we define "naturally reductive" for pseudo-Riemannian manifolds and note that they are geodesic orbit spaces.… ▽ More The geodesic orbit property has been studied intensively for Riemannian manifolds. Geodesic orbit spaces are homogeneous and allow simplifications of many structural questions using the Lie algebra of the isometry group. Weakly symmetric Riemannian manifolds are geodesic orbit spaces. Here we define "naturally reductive" for pseudo-Riemannian manifolds and note that they are geodesic orbit spaces. A few years ago two of the authors proved that weakly symmetric pseudo-Riemannian manifolds are geodesic orbit spaces. In particular these results apply to pseudo-Riemannian Lorentz manifolds. There our main results are Theorems 4.2 and 5.1. In the Riemannian case the nilpotent isometry group for a geodesic orbit nilmanifold is abelian or $2$-step nilpotent. Examples show that this fails dramatically in the pseudo-Riemannian case. Here we concentrate on the geodesic orbit property for Lorentz nilmanifolds $G/H$ with $G = N \rtimes H$ and $N$ nilpotent. When the metric is nondegenerate on $[\mathfrak{n},\mathfrak{n}]$, Theorem 4.2 shows that $N$ either is at most $2$-step nilpotent as in the Riemannian situation, or is $4$-step nilpotent, but cannot be $3$-step nilpotent. Examples show that these bounds are the best possible. Surprisingly, Theorem 5.1 shows that $N$ is at most $2$-step nilpotent when the metric is degenerate on $[\mathfrak{n},\mathfrak{n}]$. Both theorems give additional structural information and specialize to naturally reductive and to weakly symmetric Lorentz nilmanifolds. Key Words: Geodesic Orbit Space; Lorentz nilmanifold; Weakly Symmetric Space; Naturally Reductive Space; Pseudo-Riemannian Manifold. △ Less

Submitted 25 October, 2021; v1 submitted 11 November, 2020; originally announced November 2020.

Comments: This paper extends and reorients the original version, which had the title "On weakly symmetric pseudo-Riemannian manifolds." This version updates some author addresses and clarifies the $4$-step nilpotent situation

MSC Class: 22F30; 53C35; 57S25

Perverse sheaves and finite-dimensional algebras

Authors: Alessio Cipriani, Jon Woolf

Abstract: Let $X$ be a topologically stratified space, $p$ be any perversity on $X$, and $k$ be a field. We show that the category of $p$-perverse sheaves on $X$, constructible with respect to the stratification and with coefficients in $k$, is equivalent to the category of finite-dimensional modules over a finite-dimensional algebra if and only if $X$ has finitely many strata and the same holds for the cat… ▽ More Let $X$ be a topologically stratified space, $p$ be any perversity on $X$, and $k$ be a field. We show that the category of $p$-perverse sheaves on $X$, constructible with respect to the stratification and with coefficients in $k$, is equivalent to the category of finite-dimensional modules over a finite-dimensional algebra if and only if $X$ has finitely many strata and the same holds for the category of local systems on each of these. The main component in the proof is a construction of projective covers for simple perverse sheaves. △ Less

Submitted 6 July, 2020; originally announced July 2020.

Comments: 11 pages

MSC Class: 18G80 (Primary); 55N33 (Secondary)

Local and Global Homogeneity for Three Obstinate Spheres

Authors: Joseph A. Wolf

Abstract: In this note we complete a study of globally homogeneous Riemannian quotients $Γ\backslash (M,ds^2)$ in positive curvature. Specifically, $M$ is a homogeneous space $G/H$ that admits a $G$-invariant Riemannian metric of strictly positive sectional curvature, and $ds^2$ is a $G$--invariant Riemannian metric on $M$, not necessarily normal and not necessarily positively curved. The Homogeneity Conjec… ▽ More In this note we complete a study of globally homogeneous Riemannian quotients $Γ\backslash (M,ds^2)$ in positive curvature. Specifically, $M$ is a homogeneous space $G/H$ that admits a $G$-invariant Riemannian metric of strictly positive sectional curvature, and $ds^2$ is a $G$--invariant Riemannian metric on $M$, not necessarily normal and not necessarily positively curved. The Homogeneity Conjecture is that $Γ\backslash (M,ds^2)$ is (globally) homogeneous if and only if $(M,ds^2)$ is homogeneous and every $γ\in Γ$ is of constant displacement on $(M,ds^2)$. In an earlier paper we verified that conjecture for all homogeneous spaces that admit an invariant Riemannian metric of positive curvature -- with three exceptions, all odd dimensional spheres, which surprisingly did not yield to the earlier approaches. Here we develop some methods that let us verify the Homogeneity Conjecture for those three obstinate spheres. That completes verification of the Homogeneity Conjecture in positive curvature. △ Less

Submitted 19 May, 2020; originally announced May 2020.

Comments: 10 pages

MSC Class: 22E45; 43A80; 32M15; 53B30; 53B35

Partial Dirac Cohomology and Tempered Representations

Authors: Meng-Kiat Chuah, Jing-Song Huang, Joseph A. Wolf

Abstract: The tempered representations of a real reductive Lie group $G$ are naturally partitioned into series associated with conjugacy classes of Cartan subgroups $H$ of $G$. We define partial Dirac cohomology, apply it for geometric construction of various models of these $H$--series representations, and show how this construction fits into the framework of geometric quantization and symplectic reduction… ▽ More The tempered representations of a real reductive Lie group $G$ are naturally partitioned into series associated with conjugacy classes of Cartan subgroups $H$ of $G$. We define partial Dirac cohomology, apply it for geometric construction of various models of these $H$--series representations, and show how this construction fits into the framework of geometric quantization and symplectic reduction. △ Less

Submitted 12 February, 2022; v1 submitted 11 March, 2020; originally announced March 2020.

Comments: In this version the Abstract and Introduction were modified for clarity, and one author address was updated. Specifically, the Introduction was split into two parts, labeled Introduction and Statement of Results

MSC Class: 22E45; 22E46; 22F30; 53D50

A model-theoretic note on the Freiman-Ruzsa theorem

Authors: Amador Martin-Pizarro, Daniel Palacin, Julia Wolf

Abstract: A non-quantitative version of the Freiman-Ruzsa theorem is obtained for finite stable sets with small tripling in arbitrary groups, as well as for (finite) weakly normal subsets in abelian groups. A non-quantitative version of the Freiman-Ruzsa theorem is obtained for finite stable sets with small tripling in arbitrary groups, as well as for (finite) weakly normal subsets in abelian groups. △ Less

Submitted 21 May, 2021; v1 submitted 5 December, 2019; originally announced December 2019.

MSC Class: 03C13 (Primary); 03C45; 11B30 (Secondary)

On the Serrin-type condition on one velocity component for the Navier-Stokes equations

Authors: Dongho Chae, Joerg Wolf

Abstract: In this paper we consider the regularity problem of the Navier-Stokes equations in $ \R^{3} $. We show that the Serrin-type condition imposed on one component of the velocity $ u_3\in L^p(0,T; L^q(\R^{3} ))$ satisfying $ \frac{2}{p}+ \frac{3}{q} <1$, $ 3<q \le +\infty$ implies the regularity of the weak Leray solution $ u: \R^{3} \times (0,T) \rightarrow \R^{3} $ with the initial data belonging to… ▽ More In this paper we consider the regularity problem of the Navier-Stokes equations in $ \R^{3} $. We show that the Serrin-type condition imposed on one component of the velocity $ u_3\in L^p(0,T; L^q(\R^{3} ))$ satisfying $ \frac{2}{p}+ \frac{3}{q} <1$, $ 3<q \le +\infty$ implies the regularity of the weak Leray solution $ u: \R^{3} \times (0,T) \rightarrow \R^{3} $ with the initial data belonging to $ L^2(\Bbb R^3) \cap L^3(\R^{3})$. The result is an immediate consequence of a new local regularity criterion in terms of one velocity component for suitable weak solutions. △ Less

Submitted 11 March, 2020; v1 submitted 6 November, 2019; originally announced November 2019.

Comments: 25 pages

MSC Class: 35Q30; 76D05; 76D03

Local and Global Homogeneity for Manifolds that admit a Positive Curvature Metric

Authors: Joseph A. Wolf

Abstract: In this note we study globally homogeneous Riemannian quotients $Γ\backslash (M,ds^2)$ of homogeneous Riemannian manifolds $(M,ds^2)$. The Homogeneity Conjecture is that $Γ\backslash (M,ds^2)$ is (globally) homogeneous if and only if $(M,ds^2)$ is homogeneous and every $γ\in Γ$ is of constant displacement on $(M,ds^2)$. We provide further evidence for that conjecture by (i) verifying it for normal… ▽ More In this note we study globally homogeneous Riemannian quotients $Γ\backslash (M,ds^2)$ of homogeneous Riemannian manifolds $(M,ds^2)$. The Homogeneity Conjecture is that $Γ\backslash (M,ds^2)$ is (globally) homogeneous if and only if $(M,ds^2)$ is homogeneous and every $γ\in Γ$ is of constant displacement on $(M,ds^2)$. We provide further evidence for that conjecture by (i) verifying it for normal homogeneous Riemannian manifolds that also admit an invariant Riemannian metric of strictly positive sectional curvature and (ii) showing that in most (three or less) cases the normality condition can be dropped. △ Less

Submitted 3 July, 2019; v1 submitted 15 June, 2019; originally announced June 2019.

Comments: Additional reference and clarification of some statements

MSC Class: 22E45; 43A80; 32M15; 53B30; 53B35

The Euler equations in a critical case of the generalized Campanato space

Authors: Dongho Chae, Joerg Wolf

Abstract: In this paper we prove local in time well-posedness for the incompressible Euler equations in $\Bbb R^n$ for the initial data in $\mathscr {L}^{ 1}_{ 1(1)}(\mathbb {R}^{n}) $, which corresponds to a critical case of the generalized Campanato spaces $ \mathscr {L}^{ s}_{ q(N)}(\mathbb {R}^{n})$. The space is studied extensively in our companion paper\cite{trans}, and in the critical case we have em… ▽ More In this paper we prove local in time well-posedness for the incompressible Euler equations in $\Bbb R^n$ for the initial data in $\mathscr {L}^{ 1}_{ 1(1)}(\mathbb {R}^{n}) $, which corresponds to a critical case of the generalized Campanato spaces $ \mathscr {L}^{ s}_{ q(N)}(\mathbb {R}^{n})$. The space is studied extensively in our companion paper\cite{trans}, and in the critical case we have embeddings $ B^{1}_{\infty, 1} (\Bbb R^n) \hookrightarrow \mathscr {L}^{ 1}_{ 1(1)}(\mathbb {R}^{n}) \hookrightarrow C^{0, 1} (\Bbb R^n)$, where $B^{1}_{\infty, 1} (\Bbb R^n)$ and $ C^{0, 1} (\Bbb R^n)$ are the Besov space and the Lipschitz space respectively. In particular $\mathscr {L}^{ 1}_{ 1(1)}(\mathbb {R}^{n}) $ contains non-$C^1(\Bbb R^n)$ functions as well as linearly growing functions at spatial infinity. We can also construct a class of simple initial velocity belonging to $ \mathscr {L}^{ 1}_{ 1(1)}(\mathbb {R}^{n})$, for which the solution to the Euler equations blows up in finite time. △ Less

Submitted 25 April, 2019; v1 submitted 18 April, 2019; originally announced April 2019.

Comments: 50 pages

MSC Class: 35Q30; 76D03; 76D05

Transport equation in generalized Campanato spaces

Authors: Dongho Chae, Joerg Wolf

Abstract: In this paper we study the transport equation in $\mathbb{R}^n \times (0,T)$, $T >0$, \[ \partial _t f + v\cdot \nabla f = g, \quad f(\cdot ,0)= f_0 \quad \text{in}\quad \mathbb{R}^n \] in generalized Campanato spaces $\mathscr{L}^s_{ q(p, N)}(\mathbb{R}^n)$. The critical case is particularly interesting, and is applied to the local well-posedness problem in a space close to the Lipschitz space in… ▽ More In this paper we study the transport equation in $\mathbb{R}^n \times (0,T)$, $T >0$, \[ \partial _t f + v\cdot \nabla f = g, \quad f(\cdot ,0)= f_0 \quad \text{in}\quad \mathbb{R}^n \] in generalized Campanato spaces $\mathscr{L}^s_{ q(p, N)}(\mathbb{R}^n)$. The critical case is particularly interesting, and is applied to the local well-posedness problem in a space close to the Lipschitz space in our companion paper\cite{cw}. More specifically, in the critical case $s=q=N=1$ we have the embedding relations, $B^1_{\infty, 1}(\Bbb R^n) \hookrightarrow \mathscr{L}^{ 1}_{ 1(p, 1)}(\mathbb{R}^n) \hookrightarrow C^{0, 1} (\Bbb R^n)$, where $B^1_{\infty, 1} (\Bbb R^n)$ and $C^{0, 1} (\Bbb R^n)$ are the Besov space and the Lipschitz space respectively. For $f_0\in \mathscr {L}^{ 1}_{ 1(p, 1)}(\mathbb {R}^{n})$, $v\in L^1(0,T; \mathscr {L}^{ 1}_{ 1(p, 1)}(\mathbb {R}^{n}))),$ and $ g\in L^1(0,T; \mathscr {L}^{ 1}_{ 1(p, 1)}(\mathbb {R}^{n})))$, we prove the existence and uniqueness of solutions to the transport equation in $ L^\infty(0,T; \mathscr {L}^{ 1}_{ 1(p, 1)}(\mathbb {R}^{n}))$ such that \[ \|f\|_{L^\infty(0,T; \mathscr{L}^1_{ 1(p, 1)} (\mathbb{R}^n)))} \le C \Big( \|v\|_{L^1(0,T; \mathscr{L}^1_{1(p, 1)} (\mathbb{R}^n)))}, \|g\|_{ L^1(0,T; \mathscr{L}^1_{ 1(p, 1)}(\mathbb{R}^n)))}\Big). \] Similar results in the other cases are also proved. △ Less

Submitted 18 April, 2019; v1 submitted 17 April, 2019; originally announced April 2019.

Comments: 52 pages

MSC Class: 35Q30; 76D03; 76D05

On Liouville type theorems for the stationary MHD and Hall-MHD systems

Authors: Dongho Chae, Joerg Wolf

Abstract: In this paper we prove a Liouville type theorem for the stationary magnetohydrodynamics(MHD) system in $\Bbb R^3$. Let $(v, B, p)$ be a smooth solution to the stationary MHD equations in $\Bbb R^3$. We show that if there exist smooth matrix valued potential functions ${\bf Φ}$, ${\bf Ψ}$ such that $ \nabla \cdot {\bf Φ} =v$ and $\nabla \cdot {\bf Ψ}= B$, whose $L^6$ mean oscillations have certain… ▽ More In this paper we prove a Liouville type theorem for the stationary magnetohydrodynamics(MHD) system in $\Bbb R^3$. Let $(v, B, p)$ be a smooth solution to the stationary MHD equations in $\Bbb R^3$. We show that if there exist smooth matrix valued potential functions ${\bf Φ}$, ${\bf Ψ}$ such that $ \nabla \cdot {\bf Φ} =v$ and $\nabla \cdot {\bf Ψ}= B$, whose $L^6$ mean oscillations have certain growth condition near infinity, namely $$-\!\!\!\!\!\int_{B(r)} |\mathbfΦ - \mathbfΦ_{ B(r)} |^6 dx + -\!\!\!\!\!\int_{B(r)} |\mathbfΨ- \mathbfΨ_{ B(r)} |^6 dx\le C r\quad \forall 1< r< +\infty,$$ then $v=B= 0$ and $p=$constant. With additional assumption of $$r^{-8}\int_{B(r)}|B-B_{B(r)}|^6dx\to 0\quad \mathrm{as}\quad r\to+\infty,$$ similar result holds also for the Hall-MHD system. △ Less

Submitted 17 December, 2018; v1 submitted 10 December, 2018; originally announced December 2018.

Comments: 16 pages. arXiv admin note: text overlap with arXiv:1811.09051

MSC Class: 35Q30; 76D05; 76D03

On Liouville type theorem for a generalized stationary Navier-Stokes equations

Authors: Dongho Chae, Joerg Wolf

Abstract: In this paper we prove a Liouville type theorem for generalized stationary Navier-Stokes systems in $\Bbb R^3$, which model non-Newtonian fluids, where the Laplacian term $Δu$ is replaced by the corresponding non linear operator $\bA_p( u)=\nabla \cdot ( |\bD(u)|^{p-2} \bD(u))$ with $ \bD(u) = \frac{1}{2} (\nabla u + (\nabla u)^{ \top})$, $3/2<p< 3$. In the case $3/2< p\le 9/5$ we show that a suit… ▽ More In this paper we prove a Liouville type theorem for generalized stationary Navier-Stokes systems in $\Bbb R^3$, which model non-Newtonian fluids, where the Laplacian term $Δu$ is replaced by the corresponding non linear operator $\bA_p( u)=\nabla \cdot ( |\bD(u)|^{p-2} \bD(u))$ with $ \bD(u) = \frac{1}{2} (\nabla u + (\nabla u)^{ \top})$, $3/2<p< 3$. In the case $3/2< p\le 9/5$ we show that a suitable weak solution $u\in W^{1, p}(\Bbb R^3)$ satisfying $ \liminf_{R \rightarrow \infty} |u_{ B(R)}| =0$ is trivial, i.e. $u\equiv 0$. On the other hand, for $9/5<p<3$ we impose the condition for the Liouville type theorem in terms of a potential function: if there exists a matrix valued potential function $\bV$ such that $ \nabla \cdot \bV =u$, whose $L^{\frac{3p}{2p-3}} $ mean oscillation has the following growth condition at infinity, $$ \intmw_{B(r)} |\bV- \bV_{ B(r)} |^{\frac{3p}{2p-3}} dx \le C r^{\frac{9-4p}{2p-3}}\quad \forall 1< r< +\infty, $$ then $u\equiv 0$. In the case of the Navier-Stokes equations, $p=2$, this improves the previous results in the literature. △ Less

Submitted 3 February, 2019; v1 submitted 22 November, 2018; originally announced November 2018.

Comments: 13 pages

MSC Class: 35Q30; 76D05; 76D03

Unitary Representations, $L^2$ Dolbeault Cohomology, and Weakly Symmetric Pseudo--Riemannian Nilmanifolds

Authors: Joseph A. Wolf

Abstract: We combine recent developments on weakly symmetric pseudo--riemannian nilmanifolds with with geometric methods for construction of unitary representations on square integrable Dolbeault cohomology spaces. This runs parallel to construction of discrete series representations on spaces of square integrable harmonic forms with values in holomorphic vector bundles over flag domains. Some special cases… ▽ More We combine recent developments on weakly symmetric pseudo--riemannian nilmanifolds with with geometric methods for construction of unitary representations on square integrable Dolbeault cohomology spaces. This runs parallel to construction of discrete series representations on spaces of square integrable harmonic forms with values in holomorphic vector bundles over flag domains. Some special cases had been described by Satake in 1971 and the author in 1975. Here we develop a theory of pseudo--riemannian nilmanifolds of complex type and the nilmanifold versions of flag domains. We construct the associated square integrable (modulo the center) representations on holomorphic cohomology spaces over those domains and note that there are enough such representations for the Plancherel and Fourier Inversion Formulae there. Finally, we note that the most interesting such spaces are weakly symmetric pseudo-riemannian nilmanifolds, so we discuss that theory and give classifications for three basic families of weakly symmetric pseudo--riemannian nilmanifolds of complex type. △ Less

Submitted 15 September, 2019; v1 submitted 12 October, 2018; originally announced October 2018.

Comments: After the original submission: some typos were corrected, a reference was updated, some structural statements were improved, and some intermediate results were sharpened

MSC Class: 22E45; 43A80; 32M15; 53B30; 53B35

Weakly Symmetric Pseudo-Riemannian Nilmanifolds

Authors: Joseph A. Wolf, Zhiqi Chen

Abstract: In an earlier paper we developed the classification of weakly symmetric pseudo--riemannian manifolds $G/H$ where $G$ is a semisimple Lie group and $H$ is a reductive subgroup. We derived the classification from the cases where $G$ is compact. As a consequence we obtained the classification of semisimple weakly symmetric manifolds of Lorentz signature $(n-1,1)$ and trans--lorentzian signature… ▽ More In an earlier paper we developed the classification of weakly symmetric pseudo--riemannian manifolds $G/H$ where $G$ is a semisimple Lie group and $H$ is a reductive subgroup. We derived the classification from the cases where $G$ is compact. As a consequence we obtained the classification of semisimple weakly symmetric manifolds of Lorentz signature $(n-1,1)$ and trans--lorentzian signature $(n-2,2)$. Here we work out the classification of weakly symmetric pseudo--riemannian nilmanifolds $G/H$ from the classification for the case $G = N\rtimes H$ with $H$ compact and $N$ nilpotent. It turns out that there is a plethora of new examples that merit further study. Starting with that riemannian case, we see just when a given involutive automorphism of $H$ extends to an involutive automorphism of $G$, and we show that any two such extensions result in isometric pseudo--riemannian nilmanifolds. The results are tabulated in the last two sections of the paper. △ Less

Submitted 21 February, 2020; v1 submitted 20 June, 2018; originally announced June 2018.

Comments: This update corrects a few typos, reformats several tables for ease of print publication, and adds two expository paragraphs

MSC Class: 53B30; 53C50; 53C30

Quantitative structure of stable sets in finite abelian groups

Authors: C. Terry, J. Wolf

Abstract: We prove an arithmetic regularity lemma for stable subsets of finite abelian groups, generalising our previous result for high-dimensional vector spaces over finite fields of prime order. A qualitative version of this generalisation was recently obtained by the first author in joint work with Conant and Pillay, using model-theoretic techniques. In contrast, the approach in the present paper is hig… ▽ More We prove an arithmetic regularity lemma for stable subsets of finite abelian groups, generalising our previous result for high-dimensional vector spaces over finite fields of prime order. A qualitative version of this generalisation was recently obtained by the first author in joint work with Conant and Pillay, using model-theoretic techniques. In contrast, the approach in the present paper is highly quantitative and relies on several key ingredients from arithmetic combinatorics. △ Less

Submitted 17 May, 2018; originally announced May 2018.

Geodesic Orbit Metrics on Compact Simple Lie Groups arising from Generalized Flag Manifolds

Authors: Huibin Chen, Zhiqi Chen, Joseph A. Wolf

Abstract: In this paper, we investigate left-invariant geodesic orbit metrics on connected simple Lie groups, where the metrics are formed by the structures of generalized flag manifolds. We prove that all these left-invariant geodesic orbit metrics on simple Lie groups are naturally reductive. In this paper, we investigate left-invariant geodesic orbit metrics on connected simple Lie groups, where the metrics are formed by the structures of generalized flag manifolds. We prove that all these left-invariant geodesic orbit metrics on simple Lie groups are naturally reductive. △ Less

Submitted 3 May, 2018; originally announced May 2018.

Witt groups of abelian categories and perverse sheaves

Authors: Jörg Schürmann, Jon Woolf

Abstract: In this paper we study the Witt groups of symmetric and anti-symmetric forms on perverse sheaves on a finite-dimensional topologically stratified space with even dimensional strata. We show that the Witt group has a canonical decomposition as a direct sum of the Witt groups of shifted local systems on strata. We compare this with another `splitting decomposition' for Witt classes of perverse sheav… ▽ More In this paper we study the Witt groups of symmetric and anti-symmetric forms on perverse sheaves on a finite-dimensional topologically stratified space with even dimensional strata. We show that the Witt group has a canonical decomposition as a direct sum of the Witt groups of shifted local systems on strata. We compare this with another `splitting decomposition' for Witt classes of perverse sheaves obtained inductively from our main new tool, a `splitting relation' which is a generalisation of isotropic reduction. The Witt groups we study are identified with the (non-trivial) Balmer-Witt groups of the constructible derived category of sheaves on the stratified space, and also with the corresponding cobordism groups defined by Youssin. Our methods are primarily algebraic and apply more widely. The general context in which we work is that of a triangulated category with duality, equipped with a self-dual t-structure with noetherian heart, glued from self-dual t-structures on a thick subcategory and its quotient. △ Less

Submitted 12 April, 2019; v1 submitted 18 March, 2018; originally announced March 2018.

Comments: 38 pages, minor errors corrected, introduction updated, to appear in Annals of K-theory

MSC Class: 32S60 (Primary) 19G99; 18E30 (Secondary)

Journal ref: Ann. K-Th. 4 (2019) 621-670

Removing Type II singularities off the axis for the 3D axisymmetric Euler equations

Authors: Dongho Chae, Joerg Wolf

Abstract: We prove local blow-up criterion for smooth axisymmetric solutions to the 3D incompressible Euler equation. If the vorticity satisfies $ \intl_{0}^{t_*} (t_*-t) \| ω(t)\|_{ L^\infty(B(x_{ \ast}, R_0))} dt <+\infty$ for a ball $B(x_{ \ast}, R_0)$ away from the axis of symmetry, then there exists no singularity at $t=t_*$ in the torus $T(x_*, R)$ generated by rotation of the ball… ▽ More We prove local blow-up criterion for smooth axisymmetric solutions to the 3D incompressible Euler equation. If the vorticity satisfies $ \intl_{0}^{t_*} (t_*-t) \| ω(t)\|_{ L^\infty(B(x_{ \ast}, R_0))} dt <+\infty$ for a ball $B(x_{ \ast}, R_0)$ away from the axis of symmetry, then there exists no singularity at $t=t_*$ in the torus $T(x_*, R)$ generated by rotation of the ball $B(x_{ \ast}, R_0)$ around the axis. This implies that possible singularity at $t=t_*$ in the torus $T(x_*, R)$ is excluded if the vorticity satisfies the blow-up rate $ \|ø(t)\|_{L^\infty (T(x_*, R))}= O\left(\frac{1}{(t_*-t)^γ}\right)$ as $t\to t_*$, where $γ<2$ and the torus $T(x_*, R)$ does not touch the axis. △ Less

Submitted 26 September, 2018; v1 submitted 20 December, 2017; originally announced December 2017.

Comments: 47 pages

MSC Class: 35Q30; 76D03; 76D05

Localized non blow-up criterion of the Beale-Kato-Majda type for the 3D Euler equations

Authors: Dongho Chae, Joerg Wolf

Abstract: We prove a localized non blow-up theorem of the Beale-Kato-Majda type for the solution of the 3D incompressible Euler equations. We prove a localized non blow-up theorem of the Beale-Kato-Majda type for the solution of the 3D incompressible Euler equations. △ Less

Submitted 9 October, 2020; v1 submitted 17 November, 2017; originally announced November 2017.

Comments: 26 pages

MSC Class: 35Q30; 76D03

Stable arithmetic regularity in the finite-field model

Authors: C. Terry, J. Wolf

Abstract: The arithmetic regularity lemma for $\mathbb{F}_p^n$, proved by Green in 2005, states that given a subset $A\subseteq \mathbb{F}_p^n$, there exists a subspace $H\leq \mathbb{F}_p^n$ of bounded codimension such that $A$ is Fourier-uniform with respect to almost all cosets of $H$. It is known that in general, the growth of the codimension of $H$ is required to be of tower type depending on the degre… ▽ More The arithmetic regularity lemma for $\mathbb{F}_p^n$, proved by Green in 2005, states that given a subset $A\subseteq \mathbb{F}_p^n$, there exists a subspace $H\leq \mathbb{F}_p^n$ of bounded codimension such that $A$ is Fourier-uniform with respect to almost all cosets of $H$. It is known that in general, the growth of the codimension of $H$ is required to be of tower type depending on the degree of uniformity, and that one must allow for a small number of non-uniform cosets. Our main result is that, under a natural model-theoretic assumption of stability, the tower-type bound and non-uniform cosets in the arithmetic regularity lemma are not necessary. Specifically, we prove an arithmetic regularity lemma for $k$-stable subsets $A\subseteq \mathbb{F}_p^n$ in which the bound on the codimension of the subspace is a polynomial (depending on $k$) in the degree of uniformity, and in which there are no non-uniform cosets. This result is an arithmetic analogue of the stable graph regularity lemma proved by Malliaris and Shelah. △ Less

Submitted 15 November, 2017; v1 submitted 5 October, 2017; originally announced October 2017.

Szemerédi's theorem in the primes

Authors: Luka Rimanic, Julia Wolf

Abstract: Green and Tao famously proved in 2005 that any subset of the primes of fixed positive density contains arbitrarily long arithmetic progressions. Green had previously shown that in fact any subset of the primes of relative density tending to zero sufficiently slowly contains a 3-term term progression. This was followed by work of Helfgott and de Roton, and Naslund, who improved the bounds on the re… ▽ More Green and Tao famously proved in 2005 that any subset of the primes of fixed positive density contains arbitrarily long arithmetic progressions. Green had previously shown that in fact any subset of the primes of relative density tending to zero sufficiently slowly contains a 3-term term progression. This was followed by work of Helfgott and de Roton, and Naslund, who improved the bounds on the relative density in the case of 3-term progressions. The aim of this note is to present an analogous result for longer progressions by combining a quantified version of the relative Szemerédi theorem given by Conlon, Fox and Zhao with Henriot's estimates of the enveloping sieve weights. △ Less

Submitted 14 September, 2017; originally announced September 2017.

Comments: 11 pages

MSC Class: 11B30

On the regularity of solutions to the 2D Boussinesq equations satisfying Type I conditions

Authors: Dongho Chae, Joerg Wolf

Abstract: We prove continuation in time of the local smooth solutions satisfying various Type I conditions for the 2D inviscid Boussinesq equations. We prove continuation in time of the local smooth solutions satisfying various Type I conditions for the 2D inviscid Boussinesq equations. △ Less

Submitted 20 July, 2018; v1 submitted 6 September, 2017; originally announced September 2017.

Comments: 11 pages

MSC Class: 35Q35; 76B03; 76D03; 76D09

Representations on Partially Holomorphic Cohomology Spaces, Revisited

Authors: Joseph A. Wolf

Abstract: This is a semi--expository update and rewrite of my 1974 AMS AMS Memoir describing Plancherel formulae and partial Dolbeault cohomology realizations for standard tempered representations for general real reductive Lie groups. Even after so many years, much of that Memoir is up to date, but of course there have been a number of refinements, advances and new developments, most of which have applied… ▽ More This is a semi--expository update and rewrite of my 1974 AMS AMS Memoir describing Plancherel formulae and partial Dolbeault cohomology realizations for standard tempered representations for general real reductive Lie groups. Even after so many years, much of that Memoir is up to date, but of course there have been a number of refinements, advances and new developments, most of which have applied to smaller classes of real reductive Lie groups. Here we rewrite that AMS Memoir in in view of these advances and indicate the ties with some of the more recent (or at least less classical) approaches to geometric realization of unitary representations. △ Less

Submitted 31 July, 2017; originally announced August 2017.

MSC Class: 32L25 (Primary); 22E46; 32L10 (Secondary)

Semisimple Weakly Symmetric Pseudo--Riemannian Manifolds

Authors: Zhiqi Chen, Joseph A. Wolf

Abstract: We develop the classification of weakly symmetric pseudo--riemannian manifolds $G/H$ where $G$ is a semisimple Lie group and $H$ is a reductive subgroup. We derive the classification from the cases where $G$ is compact, and then we discuss the (isotropy) representation of $H$ on the tangent space of $G/H$ and the signature of the invariant pseudo--riemannian metric. As a consequence we obtain the… ▽ More We develop the classification of weakly symmetric pseudo--riemannian manifolds $G/H$ where $G$ is a semisimple Lie group and $H$ is a reductive subgroup. We derive the classification from the cases where $G$ is compact, and then we discuss the (isotropy) representation of $H$ on the tangent space of $G/H$ and the signature of the invariant pseudo--riemannian metric. As a consequence we obtain the classification of semisimple weakly symmetric manifolds of Lorentz signature $(n-1,1)$ and trans--Lorentz (conformal Lorentz) signature $(n-2,2)$. △ Less

Submitted 10 January, 2018; v1 submitted 4 July, 2017; originally announced July 2017.

Comments: This arXiv version 3 adds a reference to version 2 and tweaks the Introduction accordingly

MSC Class: 53C30; 53C35; 53C50; 22E10; 22E15

On the local Type I conditions for the 3D Euler equations

Authors: Dongho Chae, Joerg Wolf

Abstract: We prove local non blow-up theorems for the 3D incompressible Euler equations under local Type I conditions. More specifically, for a classical solution $v\in L^\infty (-1,0; L^2 ( B(x_0,r)))\cap L^\infty_{\rm loc} (-1,0; W^{1, \infty} (B(x_0, r)))$ of the 3D Euler equations, where $B(x_0,r)$ is the ball with radius $r$ and the center at $x_0$, if the limiting values of certain scale invariant qua… ▽ More We prove local non blow-up theorems for the 3D incompressible Euler equations under local Type I conditions. More specifically, for a classical solution $v\in L^\infty (-1,0; L^2 ( B(x_0,r)))\cap L^\infty_{\rm loc} (-1,0; W^{1, \infty} (B(x_0, r)))$ of the 3D Euler equations, where $B(x_0,r)$ is the ball with radius $r$ and the center at $x_0$, if the limiting values of certain scale invariant quantities for a solution $v(\cdot, t)$ as $t\to 0$ are small enough, then $ \nabla v(\cdot,t) $ does not blow-up at $t=0$ in $B(x_0, r)$. △ Less

Submitted 2 July, 2017; originally announced July 2017.

Comments: 22 pages

MSC Class: 35Q30; 76D03; 76D05

Energy concentrations and Type I blow-up for the 3D Euler equations

Authors: Dongho Chae, Joerg Wolf

Abstract: We exclude Type I blow-up, which occurs in the form of atomic concentrations of the $L^2$ norm for the solution of the 3D incompressible Euler equations. As a corollary we prove nonexistence of discretely self-similar blow-up in the energy conserving scale. We exclude Type I blow-up, which occurs in the form of atomic concentrations of the $L^2$ norm for the solution of the 3D incompressible Euler equations. As a corollary we prove nonexistence of discretely self-similar blow-up in the energy conserving scale. △ Less

Submitted 21 May, 2018; v1 submitted 6 June, 2017; originally announced June 2017.

Comments: 47 pages

MSC Class: 35Q31; 76B03

On regularity and singularity for $L^\infty(0,T;L^{3,w}(\mathbb{R}^3))$ solutions to the Navier-Stokes equations

Authors: Hi Jun Choe, Jörg Wolf, Minsuk Yang

Abstract: We study local regularity properties of a weak solution $u$ to the Cauchy problem of the incompressible Navier-Stokes equations. We present a new regularity criterion for the weak solution $u$ satisfying the condition $L^\infty(0,T;L^{3,w}(\mathbb{R}^3))$ without any smallness assumption on that scale, where $L^{3,w}(\mathbb{R}^3)$ denotes the standard weak Lebesgue space. As an application, we co… ▽ More We study local regularity properties of a weak solution $u$ to the Cauchy problem of the incompressible Navier-Stokes equations. We present a new regularity criterion for the weak solution $u$ satisfying the condition $L^\infty(0,T;L^{3,w}(\mathbb{R}^3))$ without any smallness assumption on that scale, where $L^{3,w}(\mathbb{R}^3)$ denotes the standard weak Lebesgue space. As an application, we conclude that there are at most a finite number of blowup points at any singular time $t$. The condition that the weak Lebesgue space norm of the veclocity field $u$ is bounded in time is encompassing type I singularity and significantly weaker than the end point case of the so-called Ladyzhenskaya-Prodi-Serrin condition proved by Escauriaza-Sergin-Šverák. △ Less

Submitted 15 November, 2016; originally announced November 2016.

On the local pressure of the Navier-Stokes equations and related systems

Authors: Joerg Wolf

Abstract: In the study of local regularity of weak solutions to systems related to incompressible viscous fluids local energy estimates serve as important ingredients. However, this requires certain informations on the pressure. This fact has been used by V. Scheffer in the notion of a suitable weak to the Navier-Stokes equation, and in the proof of the partial regularity due to Caffarelli. Kohn and Nirenbe… ▽ More In the study of local regularity of weak solutions to systems related to incompressible viscous fluids local energy estimates serve as important ingredients. However, this requires certain informations on the pressure. This fact has been used by V. Scheffer in the notion of a suitable weak to the Navier-Stokes equation, and in the proof of the partial regularity due to Caffarelli. Kohn and Nirenberg. In general domains, or in case of complex viscous fluid models a global pressure doesn't necessarily exist. To overcome this problem, in the present paper we construct a local pressure distribution by showing that every distribution $ \partial _t \bu +\bF $, which vanishs on the set of smooth solenoidal vector fields can be represented by a distribution $ \partial _t \nabla p_h +\nabla p_0 $, where $\nabla p_h \sim \bu $ and $ \nabla p_0 \sim \bF$. △ Less

Submitted 4 November, 2016; originally announced November 2016.

MSC Class: 76D05; 35Q30; 35D05; 46E40; 35K90

Removing discretely self-similar singularities for the 3D Navier-Stokes equations

Authors: Dongho Chae, Joerg Wolf

Abstract: We study the scenario of discretely self-similar blow-up for Navier-Stokes equations. We prove that at the possible blow-up time such solutions only one point singularity. In case of the scaling parameter $ λ$ near $ 1$ we remove the singularity. We study the scenario of discretely self-similar blow-up for Navier-Stokes equations. We prove that at the possible blow-up time such solutions only one point singularity. In case of the scaling parameter $ λ$ near $ 1$ we remove the singularity. △ Less

Submitted 2 June, 2017; v1 submitted 29 October, 2016; originally announced October 2016.

Comments: 14 pages

MSC Class: 76B03; 35Q31

Solvability, Structure and Analysis for Minimal Parabolic Subgroups

Authors: Joseph A. Wolf

Abstract: We examine the structure of the Levi component $MA$ in a minimal parabolic subgroup $P = MAN$ of a real reductive Lie group $G$ and work out the cases where $M$ is metabelian, equivalently where $\mathfrak{p}$ is solvable. When $G$ is a linear group we verify that $\mathfrak{p}$ is solvable if and only if $M$ is commutative. In the general case $M$ is abelian modulo the center $Z_G$, we indicate t… ▽ More We examine the structure of the Levi component $MA$ in a minimal parabolic subgroup $P = MAN$ of a real reductive Lie group $G$ and work out the cases where $M$ is metabelian, equivalently where $\mathfrak{p}$ is solvable. When $G$ is a linear group we verify that $\mathfrak{p}$ is solvable if and only if $M$ is commutative. In the general case $M$ is abelian modulo the center $Z_G$, we indicate the exact structure of $M$ and $P$, and we work out the precise Plancherel Theorem and Fourier Inversion Formulae. This lays the groundwork for comparing tempered representations of $G$ with those induced from generic representations of $P$. △ Less

Submitted 22 January, 2017; v1 submitted 25 October, 2016; originally announced October 2016.

MSC Class: 43A80; 22E27; 22E45

Existence of discretely self-similar solutions to the Navier-Stokes equations for initial value in $ L^2_{ loc}(\Bbb R^{3})$

Authors: Dongho Chae, Joerg Wolf

Abstract: We prove the existence of a forward discretely self-similar solutions to the Navier-Stokes equations in $ \Bbb R^{3}\times (0,+\infty)$ for a discretely self-similar initial velocity belonging to $ L^2_{ loc}(\Bbb R^{3})$. We prove the existence of a forward discretely self-similar solutions to the Navier-Stokes equations in $ \Bbb R^{3}\times (0,+\infty)$ for a discretely self-similar initial velocity belonging to $ L^2_{ loc}(\Bbb R^{3})$. △ Less

Submitted 5 October, 2016; originally announced October 2016.

Comments: 25 pages

MSC Class: 76B03; 35Q31

On the Liouville type theorems for self-similar solutions to the Navier-Stokes equations

Authors: Dongho Chae, Joerg Wolf

Abstract: We prove Liouville type theorems for the self-similar solutions to the Navier-Stokes equations. One of our results generalizes the previous ones by Nečas-Ružička-Šverak and Tsai. Using the Liouville type theorem we also remove a scenario of asymtotically self-similar blow-up for the Navier-Stokes equations with the profile belonging to $L^{p, \infty} (\Bbb R^3)$ with $p> \frac{3}{2}$. We prove Liouville type theorems for the self-similar solutions to the Navier-Stokes equations. One of our results generalizes the previous ones by Nečas-Ružička-Šverak and Tsai. Using the Liouville type theorem we also remove a scenario of asymtotically self-similar blow-up for the Navier-Stokes equations with the profile belonging to $L^{p, \infty} (\Bbb R^3)$ with $p> \frac{3}{2}$. △ Less

Submitted 22 September, 2016; originally announced September 2016.

Comments: 22 pages

MSC Class: 35Q30; 76D03; 76D05

Homogeneity for a Class of Riemannian Quotient Manifolds

Authors: Joseph A. Wolf

Abstract: We study riemannian coverings $\varphi: \widetilde{M} \to Γ\backslash \widetilde{M}$ where $\widetilde{M}$ is a normal homogeneous space $G/K_1$ fibered over another normal homogeneous space $M = G/K$ and $K$ is locally isomorphic to a nontrivial product $K_1\times K_2$. The most familiar such fibrations $π: \widetilde{M} \to M$ are the natural fibrations of Stieffel manifolds… ▽ More We study riemannian coverings $\varphi: \widetilde{M} \to Γ\backslash \widetilde{M}$ where $\widetilde{M}$ is a normal homogeneous space $G/K_1$ fibered over another normal homogeneous space $M = G/K$ and $K$ is locally isomorphic to a nontrivial product $K_1\times K_2$. The most familiar such fibrations $π: \widetilde{M} \to M$ are the natural fibrations of Stieffel manifolds $SO(n_1 + n_2)/SO(n_1)$ over Grassmann manifolds $SO(n_1 + n_2)/[SO(n_1)\times SO(n_2)]$ and the twistor space bundles over quaternionic symmetric spaces (= quaternion-Kaehler symmetric spaces = Wolf spaces). The most familiar of these coverings $\varphi: \widetilde{M} \to Γ\backslash \widetilde{M}$ are the universal riemannian coverings of spherical space forms. When $M = G/K$ is reasonably well understood, in particular when $G/K$ is a riemannian symmetric space or when $K$ is a connected subgroup of maximal rank in $G$, we show that the Homogeneity Conjecture holds for $\widetilde{M}$. In other words we show that $Γ\backslash \widetilde{M}$ is homogeneous if and only if every $γ\in Γ$ is an isometry of constant displacement. In order to find all the isometries of constant displacement on $\widetilde{M}$ we work out the full isometry group of $\widetilde{M}$, extending Elie Cartan's determination of the full group of isometries of a riemannian symmetric space. We also discuss some pseudo-riemannian extensions of our results. △ Less

Submitted 18 September, 2016; originally announced September 2016.

MSC Class: 53C20; 53C26; 53C35; 22F30

Regularity of the $3D$ stationary Hall magnetohydrodynamic equations on the plane

Authors: Dongho Chae, Joerg Wolf

Abstract: We study the regularity of weak solutions to the 3D valued stationary Hall magnetohydrodynamic equations on $ \Bbb R^2$. We prove that every weak solution is smooth. Furthermore, we prove a Liouville type theorem for the Hall equations. We study the regularity of weak solutions to the 3D valued stationary Hall magnetohydrodynamic equations on $ \Bbb R^2$. We prove that every weak solution is smooth. Furthermore, we prove a Liouville type theorem for the Hall equations. △ Less

Submitted 6 August, 2016; originally announced August 2016.

Comments: 18 pages

MSC Class: 35Q35; 35Q85; 76W05

A new local regularity criterion for suitable weak solutions of the Navier--Stokes equations in terms of the velocity gradient

Authors: Hi Jun Choe, Joerg Wolf, Minsuk Yang

Abstract: We study the partial regularity of suitable weak solutions to the three dimensional incompressible Navier--Stokes equations. There have been several attempts to refine the Caffarelli--Kohn--Nirenberg criterion (1982). We present an improved version of the CKN criterion with a direct method, which also provides the quantitative relation in Seregin's criterion (2007). We study the partial regularity of suitable weak solutions to the three dimensional incompressible Navier--Stokes equations. There have been several attempts to refine the Caffarelli--Kohn--Nirenberg criterion (1982). We present an improved version of the CKN criterion with a direct method, which also provides the quantitative relation in Seregin's criterion (2007). △ Less

Submitted 8 June, 2016; originally announced June 2016.

Comments: 17 pages