We consider abstract Sobolev spaces of Bessel-type associated with an operator. In this work, we pursue the study of algebra properties of such functional spaces through the corresponding semigroup. As a follow-up to our previous work, we show that by making use of the property of a ‘carré du champ’ identity, this algebra property holds in a wider range than previously shown.

In this paper, we develop the theory of stratifying systems in the context of exact categories as a generalisation of the notion of stratifying systems in module categories, which have been studied by different authors. We prove that attached to a stratifying system in an exact category $(\mathcal{A},\mathcal{E})$ there is an standardly stratified algebra B such that the category $\mathscr{F}$F(Θ), of F-filtered objects in the exact category $(\mathcal{A},\mathcal{E})$ is equivalent to the category $\mathscr{F}$(Δ) of Δ-good modules associated to B. The theory we develop in exact categories, give us a way to produce standardly stratified algebras from module categories by just changing the exact structure on it. In this way, we can construct exact categories whose bounded derived category is equivalent to the bounded derived category of an standardly stratified algebra. Finally, applying the relative homological algebra developed by Auslander–Solberg, we can construct examples of stratifying systems that are not a stratifying system in the classical sense, so our approach really produces new stratifying systems.

The page numbers shown in Appendix B have been updated to reflect the final pagination of the article.

This paper is devoted to the study of the long wave approximation for water waves under the influence of the gravity and a Coriolis forcing. We start by deriving a generalization of the Boussinesq equations in one (spatial) dimension and we rigorously justify them as an asymptotic model of water wave equations. These new Boussinesq equations are not the classical Boussinesq equations: a new term due to the vorticity and the Coriolis forcing appears that cannot be neglected. We study the Boussinesq regime and derive and fully justify different asymptotic models when the bottom is flat: a linear equation linked to the Klein–Gordon equation admitting the so-called Poincaré waves; the Ostrovsky equation, which is a generalization of the Korteweg–de Vries (KdV) equation in the presence of a Coriolis forcing, when the rotation is weak; and the KdV equation when the rotation is very weak. Therefore, this work provides the first mathematical justification of the Ostrovsky equation. Finally, we derive a generalization of the Green–Naghdi equations in one spatial dimension for small topography variations and we show that this model is consistent with the water wave equations.

We give a formula relating the order of the Brauer group of a surface fibered over a curve over a finite field to the order of the Tate–Shafarevich group of the Jacobian of the generic fiber. The formula implies that the Brauer group of a smooth and proper surface over a finite field is a square if it is finite.

We are concerned with the following Kirchhoff-type equation

$$ - \varepsilon ^2M\left( {\varepsilon ^{2 - N}\int_{{\open R}^N} {\vert \nabla u \vert^2{\rm d}x} } \right)\Delta u + V(x)u = f(u),\quad x \in {{\open R}^N},\quad N{\rm \ges }2,$$

A perfect H-tiling in a graph G is a collection of vertex-disjoint copies of a graph H in G that together cover all the vertices in G. In this paper we investigate perfect H-tilings in a random graph model introduced by Bohman, Frieze and Martin [6] in which one starts with a dense graph and then adds m random edges to it. Specifically, for any fixed graph H, we determine the number of random edges required to add to an arbitrary graph of linear minimum degree in order to ensure the resulting graph contains a perfect H-tiling with high probability. Our proof utilizes Szemerédi's Regularity Lemma [29] as well as a special case of a result of Komlós [18] concerning almost perfect H-tilings in dense graphs.

Biofilms, and collections of embedded microbial communities, present structural heterogeneities with functional consequences for important processes, such as transport. The origin of such structures has been unclear. Here, we propose that they can arise as a consequence of diffusive transport limitation. To illustrate, a model allowing internal heterogeneity is developed. Linear analysis is applied to a simplified version of the model suggesting that heterogeneity forms on (or below) the active layer length, a length scale that may not be suitable for homogenization, with non-trivial implications for system scale properties such as reduction in system-wide diffusive transport efficiency. Numerics suggest that the simplified model provides useful insight into behaviour of the full model. We then show examples based on microcolony formation in host domains and argue that internal heterogeneity can be related to community function.

We study Higgs bundles over an elliptic curve with complex reductive structure group, describing the (normalisation of) its moduli spaces and the associated Hitchin fibration. The case of trivial degree is covered by the work of Thaddeus in 2001. Our arguments are different from those of Thaddeus and cover arbitrary degree.

This review paper is concerned with the stability analysis of the continuity equation in the DiPerna–Lions setting in which the advecting velocity field is Sobolev regular. Quantitative estimates for the equation were derived only recently, but optimality was not discussed. We revisit the results from our 2017 paper, compare the new estimates with previously known estimates for Lagrangian flows and demonstrate how these can be applied to produce optimal bounds in applications from physics, engineering and numerical analysis.

Let k ⩾ 2 be an integer. We show that if s = 2 and t ⩾ 2, or s = t = 3, then the maximum possible number of edges in a C2k+1-free graph containing no induced copy of Ks,t is asymptotically equal to (t − s + 1)1/s(n/2)2−1/s except when k = s = t = 2.

This strengthens a result of Allen, Keevash, Sudakov and Verstraëte [1], and answers a question of Loh, Tait, Timmons and Zhou [14].

This paper is concerned with a fully non-linear variant of the Allen–Cahn equation with strong irreversibility, where each solution is constrained to be non-decreasing in time. The main purposes of this paper are to prove the well-posedness, smoothing effect and comparison principle, to provide an equivalent reformulation of the equation as a parabolic obstacle problem and to reveal long-time behaviours of solutions. More precisely, by deriving partial energy-dissipation estimates, a global attractor is constructed in a metric setting, and it is also proved that each solution u(x,t) converges to a solution of an elliptic obstacle problem as t → +∞.

Let K be a global field, $\mathcal{V}$ a proper subset of the set of all primes of K, $\mathcal{S}$ a finite subset of $\mathcal{V}$, and ${\tilde K}$ (resp. Ksep) a fixed algebraic (resp. separable algebraic) closure of K with $K_\mathrm{sep}\{\subseteq}{\tilde K}$. Let Gal(K) = Gal(Ksep/K) be the absolute Galois group of K. For each $\mathfrak{p}\in\mathcal{V}$, we choose a Henselian (respectively, a real or algebraic) closure $K_\mathfrak{p}$ of K at $\mathfrak{p}$ in ${\tilde K}$ if $\mathfrak{p}$ is non-archimedean (respectively, archimedean). Then, $K_{\mathrm{tot},\mathcal{S}}=\bigcap_{\mathfrak{p}\in\mathcal{S}}\bigcap_{\tau\in{\rm Gal}(K)}K_\mathfrak{p}^\tau$ is the maximal Galois extension of K in Ksep in which each $\mathfrak{p}\in\mathcal{S}$ totally splits. For each $\mathfrak{p}\in\mathcal{V}$, we choose a $\mathfrak{p}$-adic absolute value $|~|_\mathfrak{p}$ of $K_\mathfrak{p}$ and extend it in the unique possible way to ${\tilde K}$. Finally, we denote the compositum of all symmetric extensions of K by Ksymm. We consider an affine absolutely integral variety V in $\mathbb{A}_K^n$. Suppose that for each $\mathfrak{p}\in\mathcal{S}$ there exists a simple $K_\mathfrak{p}$-rational point $\mathbf{z}_\mathfrak{p}$ of V and for each $\mathfrak{p}\in\mathcal{V}\smallsetminus\mathcal{S}$ there exists $\mathbf{z}_\mathfrak{p}\in V({\tilde K})$ such that in both cases $|\mathbf{z}_\mathfrak{p}|_\mathfrak{p}\le1$ if $\mathfrak{p}$ is non-archimedean and $|\mathbf{z}_\mathfrak{p}|_\mathfrak{p}<1$ if $\mathfrak{p}$ is archimedean. Then, there exists $\mathbf{z}\in V(K_{\mathrm{tot},\mathcal{S}}\cap K_\mathrm{symm})$ such that for all $\mathfrak{p}\in\mathcal{V}$ and for all τ ∈ Gal(K), we have $|\mathbf{z}^\tau|_\mathfrak{p}\le1$ if $\mathfrak{p}$ is archimedean and $|\mathbf{z}^\tau|_\mathfrak{p}<1$ if $\mathfrak{p}$ is non-archimedean. For $\mathcal{S}=\emptyset$, we get as a corollary that the ring of integers of Ksymm is Hilbertian and Bezout.

We prove a Freed–Uhlenbeck style generic smoothness theorem for the moduli space of solutions to the Vafa–Witten equations on a closed symplectic four-manifold by using a method developed by Feehan for the study of the PU(2)-monopole equations on smooth closed four-manifolds. We introduce a set of perturbation terms to the Vafa–Witten equations, and prove that the moduli space of solutions to the perturbed Vafa–Witten equations on a closed symplectic four-manifold for the structure group SU(2) or SO(3) is a smooth manifold of dimension zero for a generic choice of the perturbation parameters.

We characterise singularities of focal surfaces of wave fronts in terms of differential geometric properties of the initial wave fronts. Moreover, we study relationships between geometric properties of focal surfaces and geometric invariants of the initial wave fronts.

In a prior work, the authors proved a global bifurcation theorem for spatially periodic interfacial hydroelastic travelling waves on infinite depth, and computed such travelling waves. The formulation of the travelling wave problem used both analytically and numerically allows for waves with multi-valued height. The global bifurcation theorem required a one-dimensional kernel in the linearization of the relevant mapping, but for some parameter values, the kernel is instead two-dimensional. In the present work, we study these cases with two-dimensional kernels, which occur in resonant and non-resonant variants. We apply an implicit function theorem argument to prove existence of travelling waves in both of these situations. We compute the waves numerically as well, in both the resonant and non-resonant cases.

The genus spectrum of a finite group G is the set of all g such that G acts faithfully on a compact Riemann surface of genus g. It is an open problem to find a general description of the genus spectrum of the groups in interesting classes, such as the Abelian p-groups. Motivated by earlier work of Talu for odd primes, we develop a general combinatorial method, for arbitrary primes, to obtain a structured description of the so-called reduced genus spectrum of Abelian p-groups, including the reduced minimum genus. In particular, we determine the complete genus spectrum for a large subclass, namely, those having ‘large’ defining invariants. With our method we construct infinitely many counterexamples to a conjecture of Talu, which states that an Abelian p-group is recoverable from its genus spectrum. Finally, we give a series of examples of our method, in the course of which we prove, for example, that almost all elementary Abelian p-groups are uniquely determined by their minimum genus, and that almost all Abelian p-groups of exponent p2 are uniquely determined by their minimum genus and Kulkarni invariant.

We obtain intertwining dilation theorems for non-commutative regular domains 𝒟f and non-commutative varieties 𝒱J in B(𝓗)n, which generalize Sarason and Szőkefalvi-Nagy and Foiaş's commutant lifting theorem for commuting contractions. We present several applications including a new proof for the commutant lifting theorem for pure elements in the domain 𝒟f (respectively, variety 𝒱J ) as well as a Schur-type representation for the unit ball of the Hardy algebra associated with the variety 𝒱J. We provide Andô-type dilations and inequalities for bi-domains 𝒟f ×c 𝒟g consisting of all pairs (X,Y ) of tuples X := (X1,…, Xn1) ∊ 𝒟f and Y := (Y1,…, Yn2) ∊ 𝒟g that commute, i.e. each entry of X commutes with each entry of Y . The results are new, even when n1 = n2 = 1. In this particular case, we obtain extensions of Andô's results and Agler and McCarthy's inequality for commuting contractions to larger classes of commuting operators. All the results are extended to bi-varieties 𝒱J1×c 𝒱J2, where 𝒱J1 and 𝒱J2 are non-commutative varieties generated by weak-operator-topology-closed two-sided ideals in non-commutative Hardy algebras. The commutative case and the matrix case when n1 = n2 = 1 are also discussed.