Global,decaying solutions of a focusing energy-critical heat equation in R4

We study solutions of the focusing energy-critical nonlinear heat equation $u_t=\mathrm{\Delta }u?|u{|}^{2}u$ in ${\mathbb{R}}^4$. We show that solutions emanating from initial data with energy and ${\dot{H}}^1$-norm below those of the stationary solution W are global and decay to zero, via the “concentration-compactness plus rigidity” strategy of Kenig–Merle [33], [34]. First, global such solutions are shown to dissipate to zero, using a refinement of the small data theory and the $L^2$-dissipation relation. Finite-time blow-up is then ruled out using the backwards-uniqueness of Escauriaza–Seregin–Sverak [17], [18] in an argument similar to that of Kenig–Koch [32] for the Navier–Stokes equations.     

Goldman–Turaev formality from the Knizhnik–Zamolodchikov connection

For an oriented 2-dimensional manifold Σ of genus g with n boundary components, the space $\mathbb{C}{\pi }_1(\mathrm{\Sigma })/[\mathbb{C}{\pi }_1(\mathrm{\Sigma }),\mathbb{C}{\pi }_1(\mathrm{\Sigma })]$ carries the Goldman–Turaev Lie bialgebra structure defined in terms of intersections and self-intersections of curves. Its associated graded Lie bialgebra (under the natural filtration) is described by cyclic words in $H_1(\mathrm{\Sigma })$ and carries the structure of a necklace Schedler Lie bialgebra. The isomorphism between these two structures in genus zero has been established in [13] using Kontsevich integrals and in [2] using solutions of the Kashiwara–Vergne problem.In this note, we give an elementary proof of this isomorphism over $\mathbb{C}$. It uses the Knizhnik–Zamolodchikov connection on $\mathbb{C}\backslash \{z_1,\dots z_n\}$. We show that the isomorphism naturally depends on the complex structure on the surface. The proof of the isomorphism for Lie brackets is a version of the classical result by Hitchin [9]. Surprisingly, it turns out that a similar proof applies to cobrackets.Furthermore, we show that the formality isomorphism constructed in this note coincides with the one defined in [2] if one uses the solution of the Kashiwara–Vergne problem corresponding to the Knizhnik–Zamolodchikov associator.     

Regularity of the Eikonal equation with two vanishing entropies

Let $\mathrm{\Omega }?{\mathbb{R}}^2$ be a bounded simply-connected domain. The Eikonal equation $\left|\mathrm{?}u\right|=1$ for a function $u:\mathrm{\Omega }?{\mathbb{R}}^2\to \mathbb{R}$ has very little regularity, examples with singularities of the gradient existing on a set of positive $H^1$ measure are trivial to construct. With the mild additional condition of two vanishing entropies we show ?u is locally Lipschitz outside a locally finite set. Our condition is motivated by a well known problem in Calculus of Variations known as the Aviles–Giga problem. The two entropies we consider were introduced by Jin, Kohn [26], Ambrosio, DeLellis, Mantegazza [2] to study the Γ-limit of the Aviles–Giga functional. Formally if u satisfies the Eikonal equation and if

(1)$\mathrm{?}?({\stackrel{?}{\mathrm{\Sigma }}}_{e_1{e}_2}(\mathrm{?}{u}^{\perp }))=0\text{ and }\mathrm{?}?({\stackrel{?}{\mathrm{\Sigma }}}_{{?}_1{?}_2}(\mathrm{?}{u}^{\perp }))=0\text{ distributionally in }\mathrm{\Omega },$

where ${\stackrel{?}{\mathrm{\Sigma }}}_{e_1{e}_2}$ and ${\stackrel{?}{\mathrm{\Sigma }}}_{{?}_1{?}_2}$ are the entropies introduced by Jin, Kohn [26], and Ambrosio, DeLellis, Mantegazza [2], then ?u is locally Lipschitz continuous outside a locally finite set.Condition (1) is motivated by the zero energy states of the Aviles–Giga functional. The zero energy states of the Aviles–Giga functional have been characterized by Jabin, Otto, Perthame [25]. Among other results they showed that if ${\lim }_{n\to \infty }?I_{{?}_n}(u_n)=0$ for some sequence $u_n\in W_0^{2,2}(\mathrm{\Omega })$ and $u={\lim }_{n\to \infty }?u_n$ then ?u is Lipschitz continuous outside a finite set. This is essentially a corollary to their theorem that if u is a solution to the Eikonal equation $\left|\mathrm{?}u\right|=1$ a.e. and if for every “entropy” Φ (in the sense of [18], Definition 1) function u satisfies $\mathrm{?}?[\mathrm{\Phi }(\mathrm{?}{u}^{\perp })]=0$ distributionally in Ω then ?u is locally Lipschitz continuous outside a locally finite set. In this paper we generalize this result in that we require only two entropies to vanish.The method of proof is to transform any solution of the Eikonal equation satisfying (1) into a differential inclusion $DF\in K$ where $K?M^{2\times 2}$ is a connected compact set of matrices without Rank-1 connections. Equivalently this differential inclusion can be written as a constrained non-linear Beltrami equation. The set K is also non-elliptic in the sense of Sverak [32]. By use of this transformation and by utilizing ideas from the work on regularity of solutions of the Eikonal equation in fractional Sobolev space by Ignat [23], DeLellis, Ignat [15] as well as methods of Sverak [32], regularity is established.     

Blow-up for a three dimensional Keller–Segel model with consumption of chemoattractant

We investigate blow-up properties for the initial-boundary value problem of a Keller–Segel model with consumption of chemoattractant when the spatial dimension is three. Through a kinetic reformulation of the Keller–Segel system, we first derive some higher-order estimates and obtain certain blow-up criteria for the local classical solutions. These blow-up criteria generalize the results in [4], [5] from the whole space ${\mathbb{R}}^3$ to the case of bounded smooth domain $\mathrm{\Omega }?{\mathbb{R}}^3$. Lower global blow-up estimate on ${6n6}_{L^{\infty }(\mathrm{\Omega })}$ is also obtained based on our higher-order estimates. Moreover, we prove local non-degeneracy for blow-up points.     

On the irreducible action of PSL(2,R) on the 3-dimensional Einstein universe

In this paper, we study the irreducible representation of $\text{PSL}(2,\mathbb{R})$ in $\text{PSL}(5,\mathbb{R})$. This action preserves a quadratic form with signature $(2,3)$. Thus, it acts conformally on the 3-dimensional Einstein universe $\mathbb{E}{\mathrm{in}}^{1,2}$. We describe the orbits induced in $\mathbb{E}{\mathrm{in}}^{1,2}$ and its complement in $\mathbb{R}{\mathbb{P}}^4$. This work completes the study in [2], and is one element of the classification of cohomogeneity one actions on $\mathbb{E}{\mathrm{in}}^{1,2}$[5].     

On the derived category of quasi-coherent sheaves on an Adams geometric stack

Let $\mathsf{X}$ be an Adams geometric stack. We show that $\mathsf{D}({\mathsf{A}}_{\mathsf{qc}}(\mathsf{X}))$, its derived category of quasi-coherent sheaves, satisfies the axioms of a stable homotopy category defined by Hovey, Palmieri and Strickland in [13]. Moreover we show how this structure relates to the derived category of comodules over a Hopf algebroid that determines $\mathsf{X}$.     

On the kernel of the regulator map

By using the infinitesimal methods due to Bloch, Green, and Griffiths in [1], [4], we construct an infinitesimal form of the regulator map and verify that its kernel is ${\mathrm{\Omega }}_{\mathbb{C}/\mathbb{Q}}^1$, which suggests that Question 1.1 seems reasonable at the infinitesimal level.     

Higher-order elliptic and parabolic equations with VMO assumptions and general boundary conditions

We prove mixed $L_p(L_q)$-estimates, with $p,q\in (1,\infty )$, for higher-order elliptic and parabolic equations on the half space ${\mathbb{R}}_{+}^{d+1}$ with general boundary conditions which satisfy the Lopatinskii–Shapiro condition. We assume that the elliptic operators A have leading coefficients which are in the class of vanishing mean oscillations both in the time variable and the space variable. In the proof, we apply and extend the techniques developed by Krylov [24] as well as Dong and Kim in [13] to produce mean oscillation estimates for equations on the half space with general boundary conditions.     

Cardinal characteristics at κ in a small u(κ) model

We provide a model where $\mathfrak{u}(\kappa )<2^{\kappa }$ for a supercompact cardinal κ. [10] provides a sketch of how to obtain such a model by modifying the construction in [6]. We provide here a complete proof using a different modification of [6] and further study the values of other natural generalizations of classical cardinal characteristics in our model. For this purpose we generalize some standard facts that hold in the countable case as well as some classical forcing notions and their properties.     

Convergence to nonlinear diffusion waves for solutions of Euler equations with time-depending damping

In this paper, we are concerned with the asymptotic behavior of solutions to the system of Euler equations with time-depending damping, in particular, include the constant coefficient damping. We rigorously prove that the solutions time-asymptotically converge to the diffusion wave whose profile is self-similar solution to the corresponding parabolic equation, which justifies Darcy's law. Compared with previous results about Euler equations with constant coefficient damping obtained by Hsiao and Liu (1992) [2], and Nishihara (1996) [9], we obtain a general result when the initial perturbation belongs to the same space, i.e. $H^3(\mathbb{R})\times H^2(\mathbb{R})$. Our proof is based on the classical energy method.     

Elliptic operators with unbounded diffusion,drift and potential terms

We prove that the realization $A_p$ in $L^p({\mathbb{R}}^N),1<p<\infty$, of the elliptic operator $A=(1+|x{|}^{\alpha })\mathrm{\Delta }+b|x{|}^{\alpha ?1}\frac{x}{|x|}?\mathrm{?}?c|x{|}^{\beta }$ with domain $D(A_p)=\{u\in W^{2,p}({\mathbb{R}}^N)|Au\in L^p({\mathbb{R}}^N)\}$ generates a strongly continuous analytic semigroup $T(?)$ provided that $\alpha >2,\beta >\alpha ?2$ and any constants $b\in \mathbb{R}$ and $c>0$. This generalizes the recent results in [4] and in [16]. Moreover we show that $T(?)$ is consistent, immediately compact and ultracontractive.     

Trace formulas for relative Schatten class perturbations

We derive trace formulas for a pair of self-adjoint operators $H+V$ and H under the assumption that ${(H?\mathrm{i})}^{?1}V$ is in a Schatten class. This extends the trace formulas of [8], where V alone is assumed to be in a Schatten class. Our trace formulas apply, in particular, in the setting of differential operators and are based on Taylor-like approximations of operator functions. This significantly improves non-Taylor based trace formulas of [10].