Related papers: Crouzeix-Raviart triangular elements are inf-sup s…
Stabilizer-free $P_k$ virtual elements are constructed on polygonal and polyhedral meshes. Here the interpolating space is the space of continuous $P_k$ polynomials on a triangular-subdivision of each polygon, or a tetrahedral-subdivision…
We show that every separable simple tracially approximately divisible $C^*$-algebra has strict comparison, is either purely infinite, or has stable rank one. As a consequence, we show that every (non-unital) finite simple ${\cal Z}$-stable…
We show stability of the $L^2$-projection onto Lagrange finite element spaces with respect to (weighted) $L^p$ and $W^{1,p}$-norms for any polynomial degree and for any space dimension under suitable conditions on the mesh grading. This…
By supplementing the pressure space for the Taylor-Hood element a triangular element that satisfies continuity over each element is produced. Making a novel extension of the patch argument to prove stability, this element is shown to be…
We give a short proof, using profinite techniques, that idempotent pointlikes, stable pairs and triples are decidable for the pseudovariety of aperiodic monoids. Stable pairs are also described for the pseudovariety of all finite monoids.
We study the number of irreducible factors (over $\mathbb{Q}$) of the $n$th iterate of a polynomial of the form $f_r(x) = x^2 + r$ for rational $r$. When the number of such factors is bounded independent of $n$, we call $f_r(x)$…
We study smooth solutions to the three-dimensional stationary Navier--Stokes equations and establish new Liouville-type theorems under refined decay assumptions. Building on the work of Cho et al., we introduce a refinement to previously…
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 varieties, up to linear error. This generalizes…
We investigate the piecewise linear nonconforming Crouzeix-Raviar and the lowest order Raviart-Thomas finite-element methods for the Poisson problem on three-dimensional anisotropic meshes. We first give error estimates of the…
We show that the iterated images of a Jacobian pair stabilize; that is, the k-th iterates of a polynomial map of complex two-space to itself with a nonzero constant Jacobian determinant all have the same image for sufficiently large k. More…
Let $X$ be a cubic threefold, quartic double solid or Gushel--Mukai threefold, and $\mathcal{K}u(X)\subset \mathrm{D}^b(X)$ be its Kuznetsov component. We show that a stability condition $\sigma$ on $\mathcal{K}u(X)$ is Serre-invariant if…
We prove the stability conjecture of $\imath$canonical bases, which was raised by Huanchen Bao and Weiqiang Wang in 2016, for all locally finite types. To this end, we characterize the trivial module over the $\imath$quantum groups of such…
We consider an area-preserving diffeomorphism of a compact surface, which is assumed to be an irrational rotation near each boundary component. A finite set of periodic orbits of the diffeomorphism gives rise to a braid in the mapping…
This paper constructs the first mixed finite element for the linear elasticity problem in 3D using $P_3$ polynomials for the stress and discontinuous $P_2$ polynomials for the displacement on tetrahedral meshes under some mild mesh…
In the present contribution we propose a novel conforming Finite Element scheme for the time-dependent Navier-Stokes equation, which is proven to be both convection quasi-robust and pressure robust. The method is built combining a…
We prove the stability under lamination of a set of real, symmetric 3$\times$3 matrices that can be viewed as a subset of the effective conductivities of a polycrystal. Constructed in a companion paper, such set in combination with several…
We consider a finite element method with symmetric stabilisation for the discretisation of the transient convection--diffusion equation. For the time-discretisation we consider either the second order backwards differentiation formula or…
Let $q$ be a prime power. We construct stable polynomials of the form $b^{m-1}(x+a)^m+c(x+a)+d$ over a finite field $\mathbb{F}_{q}$ for $m=2,3,4$ by Capelli's lemma. When $m=3$ and $q$ is even, we confirm the conjecture of Ahmadi and…
For a smooth projective complex variety whose Albanese morphism is finite, we show that every Bridgeland stability condition on its bounded derived category of coherent sheaves is geometric, in the sense that all skyscraper sheaves are…
We prove that a factorial tracially complete C*-algebra with CPoU has real rank zero and stable rank one. This leads to an essentially complete description of the Cuntz semigroup of these algebras. In particular, the results of this paper…