We present a combinatorial proof for the existence of the sign-refined grid homology in lens spaces and a self-contained proof that $\partial _{\mathbb{Z}}^2 = 0$. We also present a Sage programme that computes $\widehat{\mathrm{GH}} (L(p,q),K;\mathbb{Z})$ and provide empirical evidence supporting the absence of torsion in these groups.

Consider a commutative ring $R$ and a simplicial map, $X\mathop {\longrightarrow }\limits ^{\pi }K,$ of finite simplicial complexes. The simplicial cochain complex of $X$ with $R$ coefficients, $\Delta ^*X,$ then has the structure of an $(R,K)$ chain complex, in the sense of Ranicki . Therefore it has a Ranicki-dual $(R,K)$ chain complex, $T \Delta ^*X$. This (contravariant) duality functor $T:\mathcal {B} R_K\to \mathcal {B} R_K$ was defined algebraically on the category of $(R,K)$ chain complexes and $(R,K)$ chain maps.

Our main theorem, 8.1, provides a natural $(R,K)$ chain isomorphism:

\[ T\Delta^*X\cong C(X_K) \]

$C(X_K)$

$X_K$

$X_K$

$X$

$(R,K)$

$C(X_K)$

Let p and $\ell $ be primes such that $p> 3$ and $p \mid \ell -1$ and k be an even integer. We use deformation theory of pseudo-representations to study the completion of the Hecke algebra acting on the space of cuspidal modular forms of weight k and level $\Gamma _0(\ell )$ at the maximal Eisenstein ideal containing p. We give a necessary and sufficient condition for the $\mathbb {Z}_p$-rank of this Hecke algebra to be greater than $1$ in terms of vanishing of the cup products of certain global Galois cohomology classes. We also recover some of the results proven by Wake and Wang-Erickson for $k=2$ using our methods. In addition, we prove some $R=\mathbb {T}$ theorems under certain hypotheses.

Let P be a closed convex cone in $\mathbb{R}^d$ which is assumed to be spanning $\mathbb{R}^d$ and contains no line. In this article, we consider a family of CAR flows over P and study the decomposability of the associated product systems. We establish a necessary and sufficient condition for CAR flow to be decomposable. As a consequence, we show that there are uncountable many CAR flows which are cocycle conjugate to the corresponding CCR flows.

In this paper, we address the issue of synchronization of coupled systems, introducing concepts of local and global synchronization for a class of systems that extend the model of coupled map lattices. A criterion for local synchronization is given; numerical experiments are exhibited to illustrate the criteria and also to raise some questions in the end of the text.

In this paper, we prove the existence of topologically non-trivial solutions of the two-dimensional Adkins–Nappi model of nuclear physics; to this end, we minimize the energy functional by using the classical Skyrme ansatz, as well as a non-radially symmetric generalization of it. In both cases, we show that the minimization procedure preserves the topological degree of the minimization sequence.

Dold manifolds $P(m,n)$ are certain twisted complex projective space bundles over real projective spaces and serve as generators for the unoriented cobordism algebra of smooth manifolds. The paper investigates the structure of finite groups that act freely on products of Dold manifolds. It is proved that if a finite group G acts freely and $ \mathbb{Z}_2 $ cohomologically trivially on a finite CW-complex homotopy equivalent to ${\prod_{i=1}^{k} P(2m_i,n_i)}$, then $G\cong (\mathbb{Z}_2)^l$ for some $l\leq k$ (see Theorem A for the exact bound). We also determine some bounds in the case when for each i, ni is even and mi is arbitrary. As a consequence, the free rank of symmetry of these manifolds is determined for cohomologically trivial actions.

A classical result of Baer states that a finite group G which is the product of two normal supersoluble subgroups is supersoluble if and only if Gʹ is nilpotent. In this article, we show that if G = AB is the product of supersoluble (respectively, w-supersoluble) subgroups A and B, A is normal in G and B permutes with every maximal subgroup of each Sylow subgroup of A, then G is supersoluble (respectively, w-supersoluble), provided that Gʹ is nilpotent. We also investigate products of subgroups defined above when $ A\cap B=1 $ and obtain more general results.

The exponential ordering is exploited in the context of nonautonomous delay systems, inducing monotone skew-product semiflows under less restrictive conditions than usual. Some dynamical concepts linked to the order, such as semiequilibria, are considered for the exponential ordering, with implications for the determination of the presence of uniform persistence or the existence of global attractors. Also, some important conclusions on the long-term dynamics and attraction are obtained for monotone and sublinear delay systems for this ordering. The results are then applied to almost periodic Nicholson systems and new conditions are given for the existence of a unique almost periodic positive solution which asymptotically attracts every other positive solution.

This paper focuses on the vanishing limit problem for the three-dimensional incompressible Phan-Thien–Tanner (PTT) system, which is commonly used to describe the dynamic properties of polymeric fluids. Our purpose is to show the relation of the PTT system to the well-known Oldroyd-B system (with or without damping mechanism). The suitable a priori estimates and global existence of strong solutions are established for the PTT system with small initial data. Taking advantage of uniform energy and decay estimates for the PTT system with respect to time $t$ and coefficients $a$ and $b$, then allows us to justify in particular the vanishing limit for all time. More precisely, we prove that the solution $(u,\,\tau )$ of PTT system with $0\leq b\leq Ca$ converges globally in time to some limit $(\widetilde {u},\,\widetilde {\tau })$ in a suitable Sobolev space when $a$ and $b$ go to zero simultaneously (or, only $b$ goes to zero). We may check that $(\widetilde {u},\,\widetilde {\tau })$ is indeed a global solution of the corresponding Oldroyd-B system. In addition, a rate of convergence involving explicit norm will be obtained. As a byproduct, similar results are also true for the local a priori estimates in large norm.

Let ${\mathcal {D}}$ and $T$ be, respectively, a $C^1$ distribution of $k$-planes and a normal $k$-current on ${\mathbb {R}}^n$. Then ${\mathcal {D}}$ has to be involutive at almost every superdensity point of the tangency set of $T$ with respect to ${\mathcal {D}}$.

The one-dimensional transient solidification of a binary alloy undergoing shrinkage is well-known as an invaluable benchmark for the testing of numerical codes that model macrosegregation. Here, recent work that considered the small-time behaviour of this problem is extended until complete solidification, thereby determining the solute profile across the entire solidified domain. The small-time solution is used as the initial condition for the numerical integration of a problem having three moving boundaries. Of particular significance is the so-called inverse segregation that is observed at the start of solidification, and the extreme segregation that is observed at the end; in the case of the example presented, which is for the often-cited Al–Cu system, the macrosegregation is found to be positive or negative, depending on whether Scheil’s equation or the lever rule is assumed at the microscale, respectively. The relevance of these results for the modelling of steady-state continuous casting processes – in particular, the phenomenon of centreline segregation – is also discussed.

Using totally symmetric sets, Chudnovsky–Kordek–Li–Partin gave a superexponential lower bound on the cardinality of non-abelian finite quotients of the braid group. In this paper, we develop new techniques using multiple totally symmetric sets to count elements in non-abelian finite quotients of the braid group. Using these techniques, we improve the lower bound found by Chudnovsky et al. We exhibit totally symmetric sets in the virtual and welded braid groups and use our new techniques to find superexponential bounds for the finite quotients of the virtual and welded braid groups.

In the context of discrete nonautonomous dynamics, we prove that the homeomorphisms in the linearization theorem are $C^2$ diffeomorphisms. In contrast to other related works, our result does not involve non-resonance conditions or spectral gaps. Our approach is based on the interlacing of the properties of nonautonomous hyperbolicity of the linear part, and boundedness and Lipschitzness of the nonlinearities. Moreover, we propose a functional approach to find conditions for regularity of arbitrary degree.

In this paper, we consider a general single population model with delay and patch structure, which could model the population loss during the dispersal. It is shown that the model admits a unique positive equilibrium when the dispersal rate is smaller than a critical value. The stability of the positive equilibrium and associated Hopf bifurcation are investigated when the dispersal rate is small or near the critical value. Moreover, we show the effect of network topology on Hopf bifurcation values for a delayed logistic population model.

The problem of inverting the total divergence operator is central to finding components of a given conservation law. This might not be taxing for a low-order conservation law of a scalar partial differential equation, but integrable systems have conservation laws of arbitrarily high order that must be found with the aid of computer algebra. Even low-order conservation laws of complex systems can be hard to find and invert. This paper describes a new, efficient approach to the inversion problem. Two main tools are developed: partial Euler operators and partial scalings. These lead to a line integral formula for the inversion of a total derivative and a procedure for inverting a given total divergence concisely.

This paper concerns the monostable cooperative system with nonlocal diffusion and free boundaries, which has recently been discussed by Du and Ni [J. Differential equations 308(2021) 369-420 and arXiv:2010.01244]. We here aim at four aspects: the first is to give more accurate estimates for the longtime behaviours of the solution; the second is to discuss the limits of solution pair of a semi-wave problem; the third is to investigate the asymptotic behaviours of the corresponding Cauchy problem; the last is to study the limiting profiles of the solution as one of the expanding rates of free boundaries converges to $\infty$. Moreover, some epidemic models are given to illustrate their own rich longtime behaviours, which are quite different from those of the relevant existing works.

We prove a stability theorem for spaces of smooth concordance embeddings. From it we derive various applications to spaces of concordance diffeomorphisms and homeomorphisms.