Deep Matrix Modules

A deep matrix algebra, DM(X,\mathbbK)\mathcal{DM}(X,\mathbb{K}), is a unital associative algebra over a field \mathbbK\mathbb{K} with basis all deep matrix units, \mathfrake(h,k)\mathfrak{e}(h,k), indexed by pairs of elements h and k taken from a free monoid generated by a set X. After briefly describing the construction of DM(X,\mathbbK)\mathcal{DM}(X,\mathbb{K}), we determine necessary and sufficient conditions for constructing representations for DM(X,\mathbbK)\mathcal{DM}(X,\mathbb{K}). With these conditions in place, we define null modules and give three canonical examples of such. A classification of general null modules is then given in terms of the canonical examples along with their submodules and quotients. In the final section, additional examples of natural actions for DM(X,\mathbbK)\mathcal{DM}(X,\mathbb{K}) are given and their submodules determined depending on the cardinality of the set X.     

Counting Ω-ideals

Let ${\mathbb{A}}Let \mathbbA{\mathbb{A}} be a universal algebra of signature Ω, and let I{\mathcal{I}} be an ideal in the Boolean algebra P_\mathbbA{\mathcal{P}_{\mathbb{A}}} of all subsets of \mathbbA{\mathbb{A}} . We say that I{\mathcal{I}} is an Ω-ideal if I{\mathcal{I}} contains all finite subsets of \mathbbA{\mathbb{A}} and f(Aⁿ) ? I{f(A^{n}) \in \mathcal{I}} for every n-ary operation f ? W{f \in \Omega} and every A ? I{A \in \mathcal{I}} . We prove that there are 2^2à₀{2^{2^{\aleph_0}}} Ω-ideals in P_\mathbbA{\mathcal{P}_{\mathbb{A}}} provided that \mathbbA{\mathbb{A}} is countably infinite and Ω is countable.     

The Crossed Burnside Ring,the Drinfel’d Double,and the Dade Group of a <Emphasis Type="Italic">p</Emphasis>-Group

Let p be a prime number. This paper solves the question of the difference between the rank of the crossed Burnside ring B ^c (P) of a finite p-group P and of the rational representation ring R_\mathbbQ (D(P))R_{{\mathbb{Q}}} (\mathcal{D}(P)) of the Drinfel’d double D(P)\mathcal{D}(P) of the group algebra ℚ P. The difference is represented by using the Dade groups of certain subgroups of P.     

Quantum Spaces Associated to Multipermutation Solutions of Level Two

We study finite set-theoretic solutions (X,r) of the Yang-Baxter equation of square-free multipermutation type. We show that each such solution over ℂ with multipermutation level two can be put in diagonal form with the associated Yang-Baxter algebra A(\mathbbC,X,r)\mathcal{A}(\mathbb{C},X,r) having a q-commutation form of relations determined by complex phase factors. These complex factors are roots of unity and all roots of a prescribed form appear as determined by the representation theory of the finite abelian group G\mathcal{G} of left actions on X. We study the structure of A(\mathbbC,X,r)\mathcal{A}(\mathbb{C},X,r) and show that they have a ∙-product form ‘quantizing’ the commutative algebra of polynomials in |X| variables. We obtain the ∙-product both as a Drinfeld cotwist for a certain canonical 2-cocycle and as a braided-opposite product for a certain crossed G\mathcal{G}-module (over any field k). We provide first steps in the noncommutative differential geometry of A(k,X,r)\mathcal{A}(k,X,r) arising from these results. As a byproduct of our work we find that every such level 2 solution (X,r) factorises as r = f ∘ τ ∘ f ^− 1 where τ is the flip map and (X,f) is another solution coming from X as a crossed G\mathcal{G}-set.     

Theory of Completeness for Logical Spaces

A logical space is a pair (A, B){(A, {\mathcal{B}})} of a non-empty set A and a subset B{{\mathcal{B}}} of P A{{\mathcal{P}} A} . Since P A{{\mathcal{P}} A} is identified with {0, 1}^A and {0, 1} is a typical lattice, a pair (A, F){(A, {\mathcal{F}})} of a non-empty set A and a subset F{{\mathcal{F}}} of \mathbbB^A{{\mathbb{B}}^A} for a certain lattice \mathbbB{{\mathbb{B}}} is also called a \mathbbB{{\mathbb{B}}} -valued functional logical space. A deduction system on A is a pair (R, D) of a subset D of A and a relation R between A* and A. In terms of these simplest concepts, a general framework for studying the logical completeness is constructed.     

On some arithmetic properties of Siegel functions

We deal with several arithmetic properties of the Siegel functions which are modular units. By modifying the ideas in Kubert and Lang (Modular Units. Grundlehren der mathematischen Wissenschaften, vol 244. Spinger, Heidelberg, 1981), we establish certain criterion for determining a product of Siegel functions to be integral over \mathbbZ[j]{\mathbb{Z}[j]} . We also find generators of the function fields K(X₁(N)){\mathcal{K}(X_1(N))} by examining the orders of Siegel functions at the cusps and apply them to evaluate the Ramanujan’s cubic continued fraction systematically. Furthermore we construct ray class invariants over imaginary quadratic fields in terms of singular values of j and Siegel functions.     

Generalized stable ranks for commutative Banach algebras

We introduce the notion of generalized E-stable ranks for commutative unital Banach algebras and determine these ranks for the disk-algebra A(\mathbbD){A(\mathbb{D})}, many of its subalgebras, and the algebra H ^∞ of bounded holomorphic functions in the unit disk. Relations to L-sets and separating algebras, notions due to Csordas and Reiter, are given, too. Finally we show that the absolute stable rank of A(\mathbbD){A(\mathbb{D})} and H ^∞ is bigger than 2.     

Fourier Series with the Continuous Primitive Integral

Fourier series are considered on the one-dimensional torus for the space of periodic distributions that are the distributional derivative of a continuous function. This space of distributions is denoted A_c(\mathbbT){\mathcal{A}}_{c}(\mathbb{T}) and is a Banach space under the Alexiewicz norm, ||f||_\mathbbT=sup_{|I| ￡ 2p}|ò_I f|\|f\|_{\mathbb{T}}=\sup_{|I|\leq2\pi}|\int_{I} f|, the supremum being taken over intervals of length not exceeding 2π. It contains the periodic functions integrable in the sense of Lebesgue and Henstock–Kurzweil. Many of the properties of L ¹ Fourier series continue to hold for this larger space, with the L ¹ norm replaced by the Alexiewicz norm. The Riemann–Lebesgue lemma takes the form [^(f)](n)=o(n)\hat{f}(n)=o(n) as |n|→∞. The convolution is defined for f ? A_c(\mathbbT)f\in{\mathcal{A}}_{c}(\mathbb{T}) and g a periodic function of bounded variation. The convolution commutes with translations and is commutative and associative. There is the estimate ||f*g||_￥ ￡ ||f||_\mathbbT ||g||_BV\|f\ast g\|_{\infty}\leq\|f\|_{\mathbb{T}} \|g\|_{\mathcal{BV}}. For g ? L¹(\mathbbT)g\in L^{1}(\mathbb{T}), ||f*g||_\mathbbT ￡ ||f||_{\mathbb T} ||g||₁\|f\ast g\|_{\mathbb{T}}\leq\|f\|_{\mathbb {T}} \|g\|_{1}. As well, [^(f*g)](n)=[^(f)](n) [^(g)](n)\widehat{f\ast g}(n)=\hat{f}(n) \hat{g}(n). There are versions of the Salem–Zygmund–Rudin–Cohen factorization theorem, Fejér’s lemma and the Parseval equality. The trigonometric polynomials are dense in A_c(\mathbbT){\mathcal{A}}_{c}(\mathbb{T}). The convolution of f with a sequence of summability kernels converges to f in the Alexiewicz norm. Let D _n be the Dirichlet kernel and let f ? L¹(\mathbbT)f\in L^{1}(\mathbb{T}). Then ||D_n*f-f||_\mathbbT?0\|D_{n}\ast f-f\|_{\mathbb{T}}\to0 as n→∞. Fourier coefficients of functions of bounded variation are characterized. The Appendix contains a type of Fubini theorem.     

An L0（F,R）-valued Function＇s Intermediate Value Theorem and Its Applications to Random Uniform Convexity

Let (Ω , F , P ) be a probability space and L0 ( F, R ) the algebra of equivalence classes of real- valued random variables on (Ω , F , P ). When L0 ( F, R ) is endowed with the topology of convergence in probability, we prove an intermediate value theorem for a continuous local function from L0 ( F, R ) to L0 ( F, R ). As applications of this theorem, we first give several useful expressions for modulus of random convexity, then we prove that a complete random normed module ( S,|| · ||) is random uniformly convex iff Lp ( S ) is uniformly convex for each fixed positive number p such that 1 p + ∞ .     

The affine preservers of non-singular matrices

When \mathbbK{\mathbb{K}} is an arbitrary field, we study the affine automorphisms of M_n(\mathbbK){{\rm M}_n(\mathbb{K})} that stabilize GL_n(\mathbbK){{\rm GL}_n(\mathbb{K})}. Using a theorem of Dieudonné on maximal affine subspaces of singular matrices, this is easily reduced to the known case of linear preservers when n > 2 or # ${\mathbb{K} > 2}${\mathbb{K} > 2}. We include a short new proof of the more general Flanders theorem for affine subspaces of M_p,q(\mathbbK){{\rm M}_{p,q}(\mathbb{K})} with bounded rank. We also find that the group of affine transformations of M₂(\mathbbF₂){{\rm M}_2(\mathbb{F}_2)} that stabilize GL₂(\mathbbF₂){{\rm GL}_2(\mathbb{F}_2)} does not consist solely of linear maps. Using the theory of quadratic forms over \mathbbF₂{\mathbb{F}_2}, we construct explicit isomorphisms between it, the symplectic group Sp₄(\mathbbF₂){{\rm Sp}_4(\mathbb{F}_2)} and the symmetric group \mathfrakS₆{\mathfrak{S}_6}.     

Numerical Ranges of Radial Toeplitz Operators on Bergman Space

A Toeplitz operator T_fT_\phi with symbol f\phi in L^￥(\mathbbD)L^{\infty}({\mathbb{D}}) on the Bergman space A²(\mathbbD)A^{2}({\mathbb{D}}), where \mathbbD\mathbb{D} denotes the open unit disc, is radial if f(z) = f(|z|)\phi(z) = \phi(|z|) a.e. on \mathbbD\mathbb{D}. In this paper, we consider the numerical ranges of such operators. It is shown that all finite line segments, convex hulls of analytic images of \mathbbD\mathbb{D} and closed convex polygonal regions in the plane are the numerical ranges of radial Toeplitz operators. On the other hand, Toeplitz operators T_fT_\phi with f\phi harmonic on \mathbbD\mathbb{D} and continuous on [`(\mathbbD)]{\overline{\mathbb{D}}} and radial Toeplitz operators are convexoid, but certain compact quasinilpotent Toeplitz operators are not.     

Analytic cohomology groups in top degrees of Zariski open sets in {\mathbb{P}^n}

We show that if A is a closed analytic subset of \mathbbPⁿ{\mathbb{P}^n} of pure codimension q then Hⁱ(\mathbbPⁿ\ A,F){H^i(\mathbb{P}^n{\setminus} A,{\mathcal F})} are finite dimensional for every coherent algebraic sheaf F{{\mathcal F}} and every i 3 n-[\fracn-1q]{i\geq n-\left[\frac{n-1}{q}\right]} . If n-1 3 2q we show that H^n-2(\mathbbPⁿ\ A,F)=0{n-1\geq 2q\,{\rm we show that}\, H^{n-2}(\mathbb{P}^n{\setminus} A,{\mathcal F})=0} .     

Density of the polynomials in Hardy and Bergman spaces of slit domains

It is shown that for any t, 0<t<∞, there is a Jordan arc Γ with endpoints 0 and 1 such that G\{1} í \mathbbD:={z:|z| < 1}\Gamma\setminus\{1\}\subseteq\mathbb{D}:=\{z:|z|<1\} and with the property that the analytic polynomials are dense in the Bergman space \mathbbA^t(\mathbbD\G)\mathbb{A}^{t}(\mathbb{D}\setminus\Gamma) . It is also shown that one can go further in the Hardy space setting and find such a Γ that is in fact the graph of a continuous real-valued function on [0,1], where the polynomials are dense in H^t(\mathbbD\G)H^{t}(\mathbb{D}\setminus\Gamma) ; improving upon a result in an earlier paper.     

The $${{\rm GL}(2,\mathbb{C})}$$ McKay correspondence

In this paper we show that for any affine complete rational surface singularity the quiver of the reconstruction algebra can be determined combinatorially from the dual graph of the minimal resolution. As a consequence the derived category of the minimal resolution is equivalent to the derived category of an algebra whose quiver is determined by the dual graph. Also, for any finite subgroup G of GL(2,\mathbbC){{\rm GL}(2,\mathbb{C})}, it means that the endomorphism ring of the special CM \mathbbC{\mathbb{C}} [[x, y]] ^G -modules can be used to build the dual graph of the minimal resolution of \mathbbC²/G{\mathbb{C}^{2}/G}, extending McKay’s observation (McKay, Proc Symp Pure Math, 37:183–186, 1980) for finite subgroups of SL(2,\mathbbC){{\rm SL}(2,\mathbb{C})} to all finite subgroups of GL(2,\mathbbC){{\rm GL}(2,\mathbb{C})}.     

On Defining Ideals or Subrings of Hall Algebras

Let A be a finitary algebra over a finite field k, and A- \textmod\text{mod} the category of finite dimensional left A-modules. Let H(A)\mathcal{H}(A) be the corresponding Hall algebra, and for a positive integer r let D _r (A) be the subspace of H(A)\mathcal{H}(A) which has a basis consisting of isomorphism classes of modules in A- \textmod\text{mod} with at least r + 1 indecomposable direct summands. If A is the path algebra of the quiver of type A _n with linear orientation, then D _r (A) is known to be the kernel of the map from the twisted Hall algebra to the quantized Schur algebra indexed by n + 1 and r. For any A, we determine necessary and sufficient conditions for D _r (A) to be an ideal and some conditions for D _r (A) to be a subring of H(A)\mathcal{H}(A). For A the path algebra of a quiver, we also determine necessary and sufficient conditions for D _r (A) to be a subring of H(A)\mathcal{H}(A).     

The Edge Correlation of Random Forests

The conjecture was made by Kahn that a spanning forest F chosen uniformly at random from all forests of any finite graph G has the edge-negative association property. If true, the conjecture would mean that given any two edges ε₁ and ε₂ in G, the inequality \mathbbP(e₁ ? F, e₂ ? F) ￡ \mathbbP(e₁ ? F)\mathbbP(e₂ ? F){{\mathbb{P}(\varepsilon_{1} \in \mathbf{F}, \varepsilon_{2} \in \mathbf{F}) \leq \mathbb{P}(\varepsilon_{1} \in \mathbf{F})\mathbb{P}(\varepsilon_{2} \in \mathbf{F})}} would hold. We use enumerative methods to show that this conjecture is true for n large enough when G is a complete graph on n vertices. We derive explicit related results for random trees.     

Metric Flips with Calabi Ansatz

We study the limiting behavior of the K?hler–Ricci flow on \mathbbP(O_\mathbbPⁿ ?O_\mathbbPⁿ(-1)^?(m+1)){{\mathbb{P}(\mathcal{O}_{\mathbb{P}^n} \oplus \mathcal{O}_{\mathbb{P}^n}(-1)^{\oplus(m+1)})}} for m, n ≥ 1, assuming the initial metric satisfies the Calabi symmetry. We show that the flow either shrinks to a point, collapses to \mathbbPⁿ{{\mathbb{P}^n}} or contracts a subvariety of codimension m + 1 in the Gromov–Hausdorff sense. We also show that the K?hler–Ricci flow resolves a certain type of cone singularities in the Gromov–Hausdorff sense.     

Projective Freeness of Algebras of Real Symmetric Functions

Let \mathbb Dⁿ:={z=(z₁,?, z_n) ? \mathbb Cⁿ:|z_j| < 1,   j=1,?, n}{\mathbb {D}^n:=\{z=(z_1,\ldots, z_n)\in \mathbb {C}^n:|z_j| < 1, \;j=1,\ldots, n\}}, and let [`(\mathbbD)]ⁿ{\overline{\mathbb{D}}^n} denote its closure in \mathbb Cⁿ{\mathbb {C}^n}. Consider the ring

The Jacobian conjecture,the <Emphasis Type="Italic">d</Emphasis>-inversion approximation and its natural boundary

Let F ? \mathbbC[ X, Y ]² F \in \mathbb{C}{\left[ {X,\,Y} \right]^2} be an étale map of degree deg F = d. An étale map G ? \mathbbC[ X,Y ]² G \in \mathbb{C}{\left[ {X,Y} \right]^2} is called a d-inverse approximation of F if deg G ≤ d and F ◦ G =(X + A(X, Y), Y + B(X, Y)) and G ◦ F =(X + C(X, Y), Y + D(X, Y)), where the orders of the four polynomials A, B, C, and D are greater than d. It is a well-known result that every \mathbbC² {\mathbb{C}^2} -automorphism F of degree d has a d-inverse approximation, namely, F ⁻¹. In this paper, we prove that if F is a counterexample of degree d to the two-dimensional Jacobian conjecture, then F has no d-inverse approximation. We also give few consequences of this result. Bibliography: 18 titles.     

Solutions to Polynomial Generalized Bers–Vekua Equations in Clifford Analysis

In this paper, we mainly study polynomial generalized Vekua-type equation _boxclose)w=0{p(\mathcal{D})w=0} and polynomial generalized Bers–Vekua equation p(D)w=0{p(\mathcal{\underline{D}})w=0} defined in W ì \mathbbRⁿ⁺¹{\Omega\subset\mathbb{R}^{n+1}} where D{\mathcal{D}} and D{\mathcal{\underline{D}}} mean generalized Vekua-type operator and generalized Bers–Vekua operator, respectively. Using Clifford algebra, we obtain the Fischer-type decomposition theorems for the solutions to these equations including (D-l)^kw=0,(D-l)^kw=0(k ? \mathbbN){\left(\mathcal{D}-\lambda\right)^{k}w=0,\left(\mathcal {\underline{D}}-\lambda\right)^{k}w=0\left(k\in\mathbb{N}\right)} with complex parameter λ as special cases, which derive the Almansi-type decomposition theorems for iterated generalized Bers–Vekua equation and polynomial generalized Cauchy–Riemann equation defined in W ì \mathbbRⁿ⁺¹{\Omega\subset\mathbb{R}^{n+1}}. Making use of the decomposition theorems we give the solutions to polynomial generalized Bers–Vekua equation defined in W ì \mathbbRⁿ⁺¹{\Omega\subset\mathbb{R}^{n+1}} under some conditions. Furthermore we discuss inhomogeneous polynomial generalized Bers–Vekua equation p(D)w=v{p(\mathcal{\underline{D}})w=v} defined in W ì \mathbbRⁿ⁺¹{\Omega\subset\mathbb{R}^{n+1}}, and develop the structure of the solutions to inhomogeneous polynomial generalized Bers–Vekua equation p(D)w=v{p(\mathcal{\underline{D}})w=v} defined in W ì \mathbbRⁿ⁺¹{\Omega\subset\mathbb{R}^{n+1}}.