\boldsymbol{\mathfrak{F}}-Structures and Bredon–Galois Cohomology

Let $\mathfrak{F}$ be an arbitrary family of subgroups of a group G and let $\mathcal{O}_\mathfrak{F}G$ be the associated orbit category. We investigate interpretations of low dimensional $\mathfrak{F}$ -Bredon cohomology of G in terms of abelian extensions of $\mathcal{O}_\mathfrak{F}G$ . Specializing to fixed point functors as coefficients, we derive several group theoretic applications and introduce Bredon–Galois cohomology. We prove an analog of Hilbert’s Theorem 90 and show that the second Bredon–Galois cohomology is a certain intersection of relative Brauer groups. As applications, we realize the relative Brauer group Br(L/K) of a finite separable non-normal extension of fields L/K as a second Bredon cohomology group and show that this approach is quite suitable for finding nonzero elements in Br(L/K).     

A proof of the Anderson–Badawi $$ \mathbf{rad}\varvec{(I)}^{\varvec{n}} \varvec{\subseteq } {\varvec{I}}$$ formula for $$\varvec{n}$$n-absorbing ideals

In [1], Anderson and Badawi conjectured that \(\mathrm{rad}(I)^n \subseteq I\) for every n-absorbing ideal I of a commutative ring. In this article, we prove their conjecture. We also prove related conjectures for radical ideals.     

Optimal software-implemented Itoh–Tsujii inversion for $$\mathbb {F}_{2^{m}}$$

Field inversion in \(\mathbb {F}_{2^{m}}\) dominates the cost of modern software implementations of certain elliptic curve cryptographic operations, such as point encoding/hashing into elliptic curves (Brown et al. in: Submission to NIST, 2008; Brown in: IACR Cryptology ePrint Archive 2008:12, 2008; Aranha et al. in: Cryptology ePrint Archive, Report 2014/486, 2014) Itoh–Tsujii inversion using a polynomial basis and precomputed table-based multi-squaring has been demonstrated to be highly effective for software implementations (Taverne et al. in: CHES 2011, 2011; Oliveira et al. in: J Cryptogr Eng 4(1):3–17, 2014; Aranha et al. in: Cryptology ePrint Archive, Report 2014/486, 2014), but the performance and memory use depend critically on the choice of addition chain and multi-squaring tables, which in prior work have been determined only by suboptimal ad-hoc methods and manual selection. We thoroughly investigated the performance/memory tradeoff for table-based linear transforms used for efficient multi-squaring. Based upon the results of that investigation, we devised a comprehensive cost model for Itoh–Tsujii inversion and a corresponding optimization procedure that is empirically fast and provably finds globally-optimal solutions. We tested this method on eight binary fields commonly used for elliptic curve cryptography; our method found lower-cost solutions than the ad-hoc methods used previously, and for the first time enables a principled exploration of the time/memory tradeoff of inversion implementations.     

The behavior of \sum\nolimits_{n = 1}^\infty {{{\zeta ^{ \llcorner n\theta \lrcorner } } \mathord{\left/ {\vphantom {{\zeta ^{ \llcorner n\theta \lrcorner } } n}} \right. \kern-\nulldelimiterspace} n}} for particular values of θ

Let ζ be a primitive q′-root of unity. We prove that the series $ \sum\nolimits_{n = 1}^\infty {{{\zeta ^{ \llcorner n\theta \lrcorner } } \mathord{\left/ {\vphantom {{\zeta ^{ \llcorner n\theta \lrcorner } } n}} \right. \kern-0em} n}} $ for θ ∈ Q converges if and only if θ = p/q with (p,q) = 1 and q′ ? p, and that there exists an uncountable set S of Liouville’s numbers such that the series does not converge when θ ∈ S.     

The Aronszajn–Donoghue Theory for Rank One Perturbations of the $$\mathcal{H}_{-2} {\text{-Class}}$$

A singular rank one perturbation of a self-adjoint operator A in a Hilbert space is considered, where and but with the usual A–scale of Hilbert spaces. A modified version of the Aronszajn-Krein formula is given. It has the form where F denotes the regularized Borel transform of the scalar spectral measure of A associated with . Using this formula we develop a variant of the well known Aronszajn–Donoghue spectral theory for a general rank one perturbation of the class.Submitted: March 14, 2002 Revised: December 15, 2002     

A Structure Theorem for \displaystyle\mathbb{P}^{{1}} — Spec k-bimodules

Let k be an algebraically closed field. Using the Eilenberg–Watts theorem over schemes (Nyman, J Pure Appl Algebra 214:1922–1954, 2010), we determine the structure of k-linear right exact direct limit and coherence preserving functors from the category of quasi-coherent sheaves on $\mathbb{P}^{1}_{k}$ to the category of vector spaces over k. As a consequence, we characterize those functors which are integral transforms.     

Notes on the Kazhdan–Lusztig Theorem on Equivalence of the Drinfeld Category and the Category of $\boldsymbol{U}_{\!\boldsymbol q}{\boldsymbol {\mathfrak g}}$-Modules

We discuss the proof of Kazhdan and Lusztig of the equivalence of the Drinfeld category \({\mathcal D}({\mathfrak g},\hbar)\) of \({\mathfrak g}\)-modules and the category of finite dimensional \(U_q{\mathfrak g}\)-modules, \(q=e^{\pi i\hbar}\), for \(\hbar\in{\mathbb C}\setminus{\mathbb Q}^*\). Aiming at operator algebraists the result is formulated as the existence for each \(\hbar\in i{\mathbb R}\) of a normalized unitary 2-cochain \({\mathcal F}\) on the dual \(\hat G\) of a compact simple Lie group G such that the convolution algebra of G with the coproduct twisted by \({\mathcal F}\) is *-isomorphic to the convolution algebra of the q-deformation G _q of G, while the coboundary of \({\mathcal F}^{-1}\) coincides with Drinfeld’s KZ-associator defined via monodromy of the Knizhnik–Zamolodchikov equations.     

Classical Limit of the Scaled Elliptic Algebra \mathcal{A} ħ,η (\widetilde{\mathfrak{s}\mathfrak{l}}_2)

The classical limit of the scaled elliptic algebra $\mathcal{A}$ ?,η ( $\widetilde{\mathfrak{s}\mathfrak{l}}_2$ ) is investigated. The limiting Lie algebra is described in two equivalent ways: as a central extension of the algebra of generalized automorphic sl2 valued functions on a strip and as an extended algebra of decreasing automorphic sl2 valued functions on the real line. A bialgebra structure and an infinite-dimensional representation in the Fock space are studied. The classical limit of elliptic algebra $\mathcal{A}$ q,p ( $\widetilde{\mathfrak{s}\mathfrak{l}}_2$ ) is also briefly presented.     

{\mathbb{Z}_2}-bordism and the Borsuk–Ulam Theorem

The purpose of this work is to classify, for given integers \({m,\, n\geq 1}\), the bordism class of a closed smooth \({m}\)-manifold \({X^m}\) with a free smooth involution \({\tau}\) with respect to the validity of the Borsuk–Ulam property that for every continuous map \({\phi : X^m \to \mathbb{R}^n}\) there exists a point \({x\in X^m}\) such that \({\phi (x)=\phi (\tau (x))}\). We will classify a given free \({\mathbb{Z}_2}\)-bordism class \({\alpha}\) according to the three possible cases that (a) all representatives \({(X^m, \tau)}\) of \({\alpha}\) satisfy the Borsuk–Ulam property; (b) there are representatives \({({X_{1}^{m}}, \tau_1)}\) and \({({X_{2}^{m}}, \tau_2)}\) of \({\alpha}\) such that \({({X_{1}^{m}}, \tau_1)}\) satisfies the Borsuk–Ulam property but \({({X_{2}^{m}}, \tau_2)}\) does not; (c) no representative \({(X^m, \tau)}\) of \({\alpha}\) satisfies the Borsuk–Ulam property.     

The Intrinsic π-Operator on Domain Manifolds in $${\mathbb{C}^{n+1}}$$

The main aim of this article is to study the hypercomplex π-operator over \mathbbCⁿ⁺¹{\mathbb{C}^{n+1}} via real, compact, n + 1-dimensional manifolds called domain manifolds. We introduce an intrinsic Dirac operator for such types of domain manifolds and define an intrinsic π-operator, study its mapping properties and introduce a Clifford–Beltrami equation in this context.     

${\mathbb{Z}}/3{\mathbb{Z}}$-量子群的Gr\"{o}bner-Shirshov 基

通过计算合成, 我们证明了Yamane 给出的关系是 ${\mathbb{Z}}/3{\mathbb{Z}}$-量子群的一个Gr\"{o}bner-Shirshov 基.     

Bauer–Furuta invariants under $${\mathbb{Z}_2}$$ -actions

S. Bauer and M. Furuta defined a stable cohomotopy refinement of the Seiberg–Witten invariants. In this paper, we prove a vanishing theorem of Bauer–Furuta invariants for 4-manifolds with smooth -actions. As an application, we give a constraint on smooth -actions on homotopy K3#K3, and construct a nonsmoothable locally linear -action on K3#K3. We also construct a nonsmoothable locally linear -action on K3.      

Time-periodic solutions of the compressible Navier–Stokes equations in {\mathbb{R}^{4}}

This paper deals with the existence of time-periodic solutions to the compressible Navier–Stokes equations effected by general form external force in \({\mathbb{R}^{N}}\) with \({N = 4}\). Using a fixed point method, we establish the existence and uniqueness of time-periodic solutions. This paper extends Ma, UKai, Yang’s result [5], in which, the existence is obtained when the space dimension \({N \ge 5}\).     

Layered solutions with multiple asymptotes for non autonomous Allen–Cahn equations in {\mathbb {R}^{3}}

We consider a class of semilinear elliptic equations of the form $$ \label{eq:abs}-\Delta u(x,y,z)+a(x)W'(u(x,y,z))=0,\quad (x,y,z)\in\mathbb {R}^{3},$$ where ${a:\mathbb {R} \to \mathbb {R}}$ is a periodic, positive, even function and, in the simplest case, ${W : \mathbb {R} \to \mathbb {R}}$ is a double well even potential. Under non degeneracy conditions on the set of minimal solutions to the one dimensional heteroclinic problem $$-\ddot q(x)+a(x)W^{\prime}(q(x))=0,\ x\in\mathbb {R},\quad q(x)\to\pm1\,{\rm as}\, x\to \pm\infty,$$ we show, via variational methods the existence of infinitely many geometrically distinct solutions u of (0.1) verifying u(x, y, z) → ± 1 as x → ± ∞ uniformly with respect to ${(y, z) \in \mathbb {R}^{2}}$ and such that ${\partial_{y}u \not \equiv0, \partial_{z}u \not\equiv 0}$ in ${\mathbb {R}^{3}}$ .     

Dual Split Quaternions and Chasles’ Theorem in 3-Dimensional Minkowski Space {\mathbb{E}^{3}_{1}}

In 1831, Michel Chasles proved the existence of a fixed line under a general displacement in ${\mathbb{R}^3}$ . The fixed line called the screw axis of displacement was obtained by McCharthy in [10]. The purpose of this paper is to develop the method which is given for the pure rotation in [14], and thus to obtain the screw axis of spatial displacement in 3-dimensional Minkowski space. Firstly, we give a relation between dual vectors and lines in ${\mathbb{E}^{3}_{1}}$ , characterize the screw axis. Also, we discuss the dual split quaternion representation of a spatial displacement.     

Lagrangian submanifolds in the homogeneous nearly Kähler $${\mathbb {S}}^3 \times {\mathbb {S}}^3$$

In this paper, we investigate Lagrangian submanifolds in the homogeneous nearly Kähler \(\mathbb {S}^3 \times \mathbb {S}^3\). We introduce and make use of a triplet of angle functions to describe the geometry of a Lagrangian submanifold in \(\mathbb {S}^3 \times \mathbb {S}^3\). We construct a new example of a flat Lagrangian torus and give a complete classification of all the Lagrangian immersions of spaces of constant sectional curvature. As a corollary of our main result, we obtain that the radius of a round Lagrangian sphere in the homogeneous nearly Kähler \(\mathbb {S}^3 \times \mathbb {S}^3\) can only be \(\frac{2}{\sqrt{3}}\) or \(\frac{4}{\sqrt{3}}\).     

A Tauberian theorem for ℓ-adic sheaves on \mathbb{A} 1

Let K ∈ L ¹(?) and let f ∈ L ^∞(?) be two functions on ?. The convolution $$ \left( {K*F} \right)\left( x \right) = \int_\mathbb{R} {K\left( {x - y} \right)f\left( y \right)dy} $$ can be considered as an average of f with weight defined by K. Wiener’s Tauberian theorem says that under suitable conditions, if $$ \mathop {\lim }\limits_{x \to \infty } \left( {K*F} \right)\left( x \right) = \mathop {\lim }\limits_{x \to \infty } \int_\mathbb{R} {\left( {K*A} \right)\left( x \right)} $$ for some constant A, then $$ \mathop {\lim }\limits_{x \to \infty } f\left( x \right) = A $$ We prove the following ?-adic analogue of this theorem: Suppose K, F, G are perverse ?-adic sheaves on the affine line $ \mathbb{A} $ over an algebraically closed field of characteristic p (p ≠ ?). Under suitable conditions, if $ \left( {K*F} \right)|_{\eta _\infty } \cong \left( {K*G} \right)|_{\eta _\infty } $ , then $ F|_{\eta _\infty } \cong G|_{\eta _\infty } $ , where η _∞ is the spectrum of the local field of $ \mathbb{A} $ at ∞.     

A primal-dual homotopy algorithm for $$\ell _{1}$$-minimization with $$\ell _{\infty }$$ℓ∞-constraints

In this paper we propose a primal-dual homotopy method for \(\ell _1\)-minimization problems with infinity norm constraints in the context of sparse reconstruction. The natural homotopy parameter is the value of the bound for the constraints and we show that there exists a piecewise linear solution path with finitely many break points for the primal problem and a respective piecewise constant path for the dual problem. We show that by solving a small linear program, one can jump to the next primal break point and then, solving another small linear program, a new optimal dual solution is calculated which enables the next such jump in the subsequent iteration. Using a theorem of the alternative, we show that the method never gets stuck and indeed calculates the whole path in a finite number of steps. Numerical experiments demonstrate the effectiveness of our algorithm. In many cases, our method significantly outperforms commercial LP solvers; this is possible since our approach employs a sequence of considerably simpler auxiliary linear programs that can be solved efficiently with specialized active-set strategies.     

On the average number of subgroups of the group $${\mathbb {Z}}_m \times {\mathbb {Z}}_n$$ Z m × Z n with k-th power sequence

The Ramanujan Journal - Let $$\mathbb {Z}_{n}$$ be the additive group of residue classes modulo n. Let s(m, n) denote the total number of subgroups of the group $$\mathbb {Z}_{m} \times...