vspace{-1cm}$W(2,\boldsymbol{n})$和$H(2,\boldsymbol{n})$的$p$-特征标高度为$2$的不可约模的分类$^{}$

研究$p$-\!\!特征标高度等于$2$的$W(2,\boldsymbol{n})$和$H(2,\boldsymbol{n})$ 的不可约表示, 给出了当 $p$-\!\!特征标$\chi $的 高度等于$2$时, $L=X(2,\boldsymbol{n})$, $X=W,H$ 的不可约$L$-\!\!模 同构类代表元集合.     

系数在模李超代数~$W(m,3,\underline{1})$ 上的~$\frak{gl}(2,\mathbb{F})$ 的一维上同调

研究了系数在模李超代数~$W(m,3,\underline{1})$ 上的~$\frak{gl}(2,\mathbb{F})$ 的一维上同调, 其中~$\mathbb{F}$ 是一个素特征的代数闭域且~$\frak{gl}(2,\mathbb{F})$ 是系数在~$\mathbb{F}$ 上的~$2\times 2$ 阶矩阵李代数. 计算出所有~$\frak{gl}(2,\mathbb{F})$ 到模李超代数~$W(m,3,\underline{1})$ 的子模的导子和内导子. 从而一维上同调~$\textrm{H}^{1}(\frak{gl}(2,\mathbb{F}),W(m,3,\underline{1}))$ 可以完全用矩阵的形式表示.     

形变预投射代数与量子群的表示

设$(\Gamma, I)$是约束循环箭图, 其顶点对应于Abel群$\Z_d$. 给出了所有 $(\Gamma, I)$的不可分解表示以及其中可扩张成相应形变预投射代数 $\Pi^\lambda(\Gamma, I)$的不可分解表示的条件. 证明了由$(\Gamma, I)$的 可扩张不可分解表示提升得到的$\Pi^\lambda(\Gamma, I)$的表示一定是其 所有单表示, 从而通过形变预投射代数的方式实现了限制量子群 $\ol{U}_q({\rm sl}_2)$的所有单表示.     

Powers of the Catalan Generating Function and Lagrange''s 1770 Trinomial Equation Series

The Catalan numbers $1, 1, 2, 5, 14, 42, 132, 429, 1430, 4862,\ldots$ are given by $C(n)=\frac{1}{n+1}\binom{2n}{n}$ for $n\geq 0$. They are named for Eugene Catalan who studied them as early as 1838. They were also found by Leonhard Euler (1758), Nicholas von Fuss (1795), and Andreas von Segner (1758). The Catalan numbers have the binomial generating function $$\mathbf{C}(z) = \sum_{n=0}^{\infty}C(n)z^n = \frac{1 - \sqrt{1-4z}}{2z}$$ It is known that powers of the generating function $\mathbf{C}(z)$ are given by $$\mathbf{C}^a(z) = \sum_{n=0}^{\infty}\frac{a}{a+2n}\binom{a+2n}{n}z^n.$$ The above formula is not as widely known as it should be. We observe that it is an immediate, simple consequence of expansions first studied by J. L. Lagrange. Such series were used later by Heinrich August Rothe in 1793 to find remarkable generalizations of the Vandermonde convolution. For the equation $x^3 - 3x + 1 =0$, the numbers $\frac{1}{2k+1}\binom{3k}{k}$ analogous to Catalan numbers occur of course. Here we discuss the history of these expansions. and formulas due to L. C. Hsu and the author.     

一类$L^2(\mathbb{R}^n)$的紧支撑不可分正交小波

本篇文章给出一类$L^{2}(\mathbb{R}^{n})$, $n\geq2$的紧支撑不可分正交小波基的具体构造算法,其中正交小波的伸缩矩阵为$\alpha I_{n}~(\alpha\geq2,\ \alpha \in \mathbb{Z})$, $I_{n}$是$n$阶单位矩阵.最后给出两个不可分正交小波基的构造算例.     

模情况下对称代数在亚循环群作用下的周期性质

在本文中,我们考虑在亚循环群$G=C_p \times H$作用下将对称代数$\mathbb{F}[V]$分解为不可分解模的直和,其中$H$是一个$p^{\prime}$-模.当向量空间$V$作为$G$-模的不可分解直和部分对应的单$H$-模的规范多项式是它的对偶模的基底元素乘积的幂时, 我们证明了对称代数 $\mathbb{F}[V]$的周期性质.     

一类含测度的非强制拟线性椭圆方程解的存在性和不存在性

本文主要研究如下含非线性梯度项的非强制拟线性椭圆方程\begin{equation*}\left \{\begin{array}{rl}-\text{div}(\frac{|\nabla u|^{p-2}\nabla u}{(1+|u|)^{\theta(p-1)}})+\frac{|u|^{p-2}u|\nabla u|^{p}}{(1+|u|)^{\theta p}}=\mu,~&x\in\Omega,\\ u=0,~&x\in\partial\Omega,\end{array}\right.\end{equation*} 弱解的存在性和不存在性, 其中$\Omega\subseteq\mathbb{R}^N(N\geq3)$ 是有界光滑区域, $1相似文献   

d-torus上导子Lie代数的一类不可分解表示

设 Der\emph{A}为 $d$-torus $A={\mathbb C}[t_1^{\pm 1},\ldots,t_d^{\pm 1}]$ 上的导子Lie代数. 通过 Shen-Larsson 函子, 从有限维不可分解 ${\rm gl}_d$-\!模得到一类权空间维数有限的不可分解 Der\emph{A}-模, 并给出了它们的所有子模. 本文推广了Rao的结果.     

弱斜配对双代数和弱相关Long双代数

该文在弱双代数$H$上给出了扭曲积$(H^\sigma,\cdot_\sigma)$成为弱双代数的充分必要条件.设$[B, H, \tau]$是一个弱斜配对, 并且$\tau$可逆,则在某个条件下弱双交叉积$B\bowtie_\tau H$是一个弱双代数. 如果$(B,H, \sigma)$是弱相关Long双代数, 并且$\sigma$可逆,则弱双交叉积$B^{OP}\bowtie_\sigma H$可以被构造. 它的乘法是:$(x\otimes h)(y\otimes g)=\Sigma\sigma(y_1, h_1)y_2x\otimes h_2g\sigma^{-1}(y_3, h_3),$ 特别地, 如果$(B, H,\sigma)$是相关Long双代数, 则$(B^{OP \bowtie_\sigma H,\beta)$是Long双代数当且仅当对任意$b, d\in B^{OP}; g, \ell\in H$,$\Sigma\sigma^{-1}(b, g_2\ell)\sigma(d, g_1)=\Sigma\sigma^{-1}(b,\ell g_1)\sigma(d, g_2),$ 其中$B$为$H$的子Hopf代数,$\beta$定义为$\beta(b\bowtie_\sigma h\otimes c\bowtie_\sigma g)=\varepsilon_H(h)\varepsilon_{B^{OP}}(c)\sigma^{-1}(b, g).$ 对于Sweedler 4维Hopf代数$H$, 作者给出一个例子说明:此弱双交叉积$(B^{OP}\bowtie_\sigma H, \beta)$不仅是一个Long双代数,而且是一个非可换和非余可换的8维Hopf代数. 最后, 设$B,H$都是弱双代数, $\sigma: B\otimes H\rightarrow k$是一个线性映射, 作者给出了$(B,\sigma,\leftharpoonup, \Delta_B)$是弱相关右$(H, B)$ -重模代数的充分必要条件.     

复数星图与单路的多染色拉姆齐数

对给定的简单图$H_1,H_2,\ldots,H_c$, 我们将使完全图$K_n$的任意边分解$\{G_i\}^c_{i=1}$都存在至少一个$G_i$有子图同构于$H_i$的最小正整数$n$称为多染色拉姆齐数 $R(H_1,H_2,\ldots,$ $H_c)$. 对正整数$m,n_1,n_2,\ldots,n_c$, 令$\Sigma=\sum_{i=1}^{c}(n_i-1)$. 在文献中,我们已经获得了$R(K_{1,n_1},\ldots,K_{1,n_c},P_m)$ 的一些界和精确值.Wang推测若$\Sigma\not\equiv 0\pmod{m-1}$且$\Sigma+1\ge (m-3)^2$, 则有$R(K_{1,n_1},\ldots, K_{1,n_c}, P_m)=\Sigma+m-1.$ 本文中, 我们给出了一个新的下界并给出$R(K_{1,n_1},\ldots,K_{1,n_c},P_m)$在$m\leq\Sigma$, $\Sigma\equiv k\pmod{m-1}$且$2\leq k \leq m-2$情况下的部分精确值. 这些结果部分证实了Wang的猜想.     

基于基底合并的分片稀疏恢复

如我们所知,诸如视频和图像等信号可以在某些框架下被表示为稀疏信号,因此稀疏恢复(或稀疏表示)是信号处理、图像处理、计算机视觉、机器学习等领域中被广泛研究的问题之一.通常大多数在稀疏恢复中的有效快速算法都是基于求解$l^0$或者$l^1$优化问题.但是,对于求解$l^0$或者$l^1$优化问题以及相关算法所得到的理论充分性条件对信号的稀疏性要求过严.考虑到在很多实际应用中,信号是具有一定结构的,也即,信号的非零元素具有一定的分布特点.在本文中,我们研究分片稀疏恢复的唯一性条件和可行性条件.分片稀疏性是指一个稀疏信号由多个稀疏的子信号合并所得.相应的采样矩阵是由多个基底合并组成.考虑到采样矩阵的分块结构,我们引入了子矩阵的互相干性,由此可以得到相应$l^0$或者$l^1$优化问题可精确恢复解的稀疏度的新上界.本文结果表明.通过引入采样矩阵的分块结构信息.可以改进分片稀疏恢复的充分性条件.以及相应$l^0$或者$l^1$优化问题整体稀疏解的可靠性条件.     

Reidemeister torsion of -representations

We compute the -Reidemeister torsion of torus bundles over which monodromies are hyperbolic elements in .

     

Uniqueness of left invariant symplectic structures on the affine Lie group

We show the uniqueness of left invariant symplectic structures on the affine Lie group under the adjoint action of , by giving an explicit formula of the Pfaffian of the skew symmetric matrix naturally associated with , and also by giving an unexpected identity on it which relates two left invariant symplectic structures. As an application of this result, we classify maximum rank left invariant Poisson structures on the simple Lie groups and . This result is a generalization of Stolin's classification of constant solutions of the classical Yang-Baxter equation for and .

     

Extending Baire Property by countably many sets

We prove that if ZFC is consistent so is ZFC + ``for any sequence of subsets of a Polish space there exists a separable metrizable topology on with , and Borel in for all .' This is a category analogue of a theorem of Carlson on the possibility of extending Lebesgue measure to any countable collection of sets. A uniform argument is presented, which gives a new proof of the latter as well.

Some consequences of these extension properties are also studied.

     

The zero set of semi-invariants for extended Dynkin quivers

We show that the set of common zeros of all semi-invariants vanishing at 0 on the variety of all representations with dimension vector of an extended Dynkin quiver under the group is a complete intersection if is ``big enough'. In case does not contain an open -orbit, which is the case not considered so far, the number of irreducible components of grows with , except if is an oriented cycle.

     

Quasi-periodic Solutions for the Derivative Nonlinear SchrÖdinger Equation with Finitely Differentiable Nonlinearities

The authors are concerned with a class of derivative nonlinear Schr¨odinger equation iu_t + u_(xx) + i?f(u, ū, ωt)u_x=0,(t, x) ∈ R × [0, π],subject to Dirichlet boundary condition, where the nonlinearity f(z1, z2, ?) is merely finitely differentiable with respect to all variables rather than analytic and quasi-periodically forced in time. By developing a smoothing and approximation theory, the existence of many quasi-periodic solutions of the above equation is proved.     

The Whitney extension problem and Lipschitz selections of set-valued mappings in jet-spaces

We study a variant of the Whitney extension problem (1934) for the space . We identify with a space of Lipschitz mappings from into the space of polynomial fields on equipped with a certain metric. This identification allows us to reformulate the Whitney problem for as a Lipschitz selection problem for set-valued mappings into a certain family of subsets of . We prove a Helly-type criterion for the existence of Lipschitz selections for such set-valued mappings defined on finite sets. With the help of this criterion, we improve estimates for finiteness numbers in finiteness theorems for due to C. Fefferman.

     

${R}_{0}$代数中的滤子格

Abstract In the present paper, some basic properties of MP filters of Ro algebra M are investigated. It is proved that（FMP（M）,包含,′∧^-∨^-,{1},M）is a bounded distributive lattice by introducing the negation operator ′, the meet operator ∧^-, the join operator ∨^- and the implicati on operator → on the set FMP（M） of all MP filters of M. Moreover, some conditions under which （FMP（M）,包含,′∨^-,→{1},M）is an Ro algebra are given. And the relationship between prime elements of FMP （M） and prime filters of M is studied. Finally, some equivalent characterizations of prime elements of .FMP （M） are obtained.     

Canonical varieties with no canonical axiomatisation

We give a simple example of a variety of modal algebras that is canonical but cannot be axiomatised by canonical equations or first-order sentences. We then show that the variety of representable relation algebras, although canonical, has no canonical axiomatisation. Indeed, we show that every axiomatisation of these varieties involves infinitely many non-canonical sentences.

Using probabilistic methods of Erdos, we construct an infinite sequence of finite graphs with arbitrarily large chromatic number, such that each is a bounded morphic image of and has no odd cycles of length at most . The inverse limit of the sequence is a graph with no odd cycles, and hence is 2-colourable. It follows that a modal algebra (respectively, a relation algebra) obtained from the satisfies arbitrarily many axioms from a certain axiomatisation of , while its canonical extension satisfies only a bounded number of them. First-order compactness will now establish that has no canonical axiomatisation. A variant of this argument shows that all axiomatisations of these classes have infinitely many non-canonical sentences.