A modified BLM approach to quantum affine {\mathfrak{gl}_n}

We introduce a spanning set of Beilinson–Lusztig–MacPherson type, {A(j, r)} _A,j , for affine quantum Schur algebras S_\vartriangle(n, r){{{\boldsymbol{\mathcal S}}_\vartriangle}(n, r)} and construct a linearly independent set {A(j)} _A,j for an associated algebra [^(K)]_\vartriangle(n){{{\boldsymbol{\widehat{\mathcal K}}}_\vartriangle}(n)} . We then establish explicitly some multiplication formulas of simple generators E^\vartriangle_h,h+1(0){E^\vartriangle_{h,h+1}}(\mathbf{0}) by an arbitrary element A(j) in [^(K)]_\vartriangle(n){{\boldsymbol{\widehat{{{\mathcal K}}}}_\vartriangle(n)}} via the corresponding formulas in S_\vartriangle(n, r){{{\boldsymbol{\mathcal S}}_\vartriangle(n, r)}} , and compare these formulas with the multiplication formulas between a simple module and an arbitrary module in the Ringel–Hall algebras \mathfrak H_\vartriangle(n){{{\boldsymbol{\mathfrak H}_\vartriangle(n)}}} associated with cyclic quivers. This allows us to use the triangular relation between monomial and PBW type bases for \mathfrak H_\vartriangle(n){{\boldsymbol{\mathfrak H}}_\vartriangle}(n) established in Deng and Du (Adv Math 191:276–304, 2005) to derive similar triangular relations for S_\vartriangle(n, r){{{\boldsymbol{\mathcal S}}_\vartriangle}(n, r)} and [^(K)]_\vartriangle(n){{\boldsymbol{\widehat{\mathcal K}}}_\vartriangle}(n) . Using these relations, we then show that the subspace \mathfrak A_\vartriangle(n){{{\boldsymbol{\mathfrak A}}_\vartriangle}(n)} of [^(K)]_\vartriangle(n){{\boldsymbol{\widehat{{{\mathcal K}}}}_\vartriangle}(n)} spanned by {A(j)} _A,j contains the quantum enveloping algebra U_\vartriangle(n){{{\mathbf U}_\vartriangle}(n)} of affine type A as a subalgebra. As an application, we prove that, when this construction is applied to quantum Schur algebras S(n,r){\boldsymbol{\mathcal S}(n,r)} , the resulting subspace \mathfrak A_\vartriangle(n){{{{\boldsymbol{\mathfrak A}}_\vartriangle}(n)}} is in fact a subalgebra which is isomorphic to the quantum enveloping algebra of \mathfrakgl_n{\mathfrak{gl}_n} . We conjecture that \mathfrak A_\vartriangle(n){{{{{\boldsymbol{\mathfrak A}}_\vartriangle}(n)}}} is a subalgebra of [^(K)]_\vartriangle(n){{\boldsymbol{\widehat{{{\mathcal K}}}}_\vartriangle}(n)} .     

Reduced invariant sets

Let K be a compact Lie group and W a finite-dimensional real K-module. Let X be a K-stable real algebraic subset of W. Let I(X){\mathcal{I}(X)} denote the ideal of X in \mathbbR[W]{\mathbb{R}[W]} and let I_K(X){\mathcal{I}_{K}(X)} be the ideal generated by I(X)^K{\mathcal{I}(X)^{K}} . We find necessary conditions and sufficient conditions for I(X) = I_K(X){{\mathcal{I}(X) = \mathcal{I}_{K}(X)}} and for ?{I_K(X)} = I(X){{\sqrt{\mathcal{I}_{K}(X)} = \mathcal{I}(X)}} . We consider analogous questions for actions of complex reductive groups.     

Hyperflock determining line sets and totally regular parallelisms of PG (3, \mathbbR){(3,\,{\mathbb{R}})}

By a totally regular parallelism of the real projective 3-space P₃:=PG(3, \mathbb R){\Pi_3:={{\rm PG}}(3, \mathbb {R})} we mean a family T of regular spreads such that each line of Π ₃ is contained in exactly one spread of T. For the investigation of totally regular parallelisms the authors mainly employ Klein’s correspondence λ of line geometry and the polarity π ₅ associated with the Klein quadric H ₅ (for details see Chaps. 1 and 3). The λ-image of a totally regular parallelism T is a hyperflock of H ₅, i.e., a family H of elliptic subquadrics of H ₅ such that each point of H ₅ is on exactly one subquadric of H. Moreover, {p₅(span  l(X))|X ? T}=:H_T{\{\pi_5({{\rm span}} \,\lambda(\mathcal {X}))\vert\mathcal {X}\in\bf{T}\}=:\mathcal {H}_{\bf{T}}} is a hyperflock determining line set, i.e., a set Z{\mathcal {Z}} of 0-secants of H ₅ such that each tangential hyperplane of H ₅ contains exactly one line of Z{\mathcal {Z}} . We say that dim(span H_T)=:d_T{{{\rm dim}}({{\rm span}}\,\mathcal {H}_{\bf{T}})=:d_{\bf{T}}} is the dimension of T and that T is a d _T - parallelism. Clifford parallelisms and 2-parallelisms coincide. The examples of non-Clifford parallelisms exhibited in Betten and Riesinger [Result Math 47:226–241, 2004; Adv Geom 8:11–32, 2008; J Geom (to appear)] are totally regular and of dimension 3. If G{\mathcal{G}} is a hyperflock determining line set, then {l^-1 (p₅(X) ?H₅) | X ? G}{\{\lambda^{-1}\,{\rm (}\pi_5(X){\,\cap H_5)\,|\, X\in\mathcal{G}\}}} is a totally regular parallelism. In the present paper the authors construct examples of topological (see Definition 1.1) 4- and 5-parallelisms via hyperflock determining line sets.     

The {\overline{\partial}} operator along the leaves and Guichard’s theorem for a complex simple foliation

In (Ann Sc ENS Sér 3 4:361–380, 1887) Guichard proved that, for any holomorphic function g on ${{\mathbb C}}In (Ann Sc ENS Sér 3 4:361–380, 1887) Guichard proved that, for any holomorphic function g on \mathbb C{{\mathbb C}}, there exists a holomorphic function h (on \mathbb C{{\mathbb C}}) such that h - h °t = g{h - h \circ \tau = g} where τ is the translation by 1 on \mathbb C{{\mathbb C}}. In this note we prove an analogous of this theorem in a more general situation. Precisely, let (M,F){(M,{\mathcal F})} be a complex simple foliation whose leaves are simply connected non compact Riemann surfaces and γ an automorphism of F{{\mathcal F}} which fixes each leaf and acts on it freely and properly. Then, the vector space H_F(M){{\mathcal H}_{\mathcal F}(M)} of leafwise holomorphic functions is not reduced to functions constant on the leaves and for any g ? H_F(M){g \in {\mathcal H}_{\mathcal F}(M)}, there exists h ? H_F(M){h \in {\mathcal H}_{\mathcal F}(M)} such that h - h °g = g{h - h \circ \gamma = g}. From the proof of this theorem we derive a foliated version of Mittag–Leffler Theorem.     

Notes on the nuclearity of random subalgebras of O2{\mathcal {O}_2}

There exists a separable exact C*-algebra A which contains all separable exact C*-algebras as subalgebras, and for each norm-dense measure μ on A and independent μ-distributed random elements x ₁, x ₂, ... we have lim_{n ? ￥}\mathbb P(C^*(x₁,?,x_n) is nuclear)=0{\rm {lim}}_{n \rightarrow \infty}\mathbb {P}(C^*(x_1,\ldots,x_n) \mbox{ is nuclear})=0. Further, there exists a norm-dense non-atomic probability measure μ on the Cuntz algebra O₂{\mathcal {O}_2} such that for an independent sequence x ₁, x ₂, ... of μ-distributed random elements x _i we have lim inf_{n ? ￥}\mathbb P(C^*(x₁,?,x_n) is nuclear)=0{\rm {lim\, inf}}_{n \rightarrow \infty}\mathbb {P}(C^*(x_1,\ldots,x_n) \mbox{ is nuclear})=0. We introduce the notion of the stochastic rank for a unital C*-algebra and prove that the stochastic rank of C([0, 1] ^d ) is d.     

Sub-Riemannian calculus and monotonicity of the perimeter for graphical strips

We consider the class of minimal surfaces given by the graphical strips ${{\mathcal S}}We consider the class of minimal surfaces given by the graphical strips S{{\mathcal S}} in the Heisenberg group \mathbb H¹{{\mathbb {H}}^1} and we prove that for points p along the center of \mathbb H¹{{\mathbb {H}}^1} the quantity \fracs_H(S?B(p,r))r^Q-1{\frac{\sigma_H(\mathcal S\cap B(p,r))}{r^{Q-1}}} is monotone increasing. Here, Q is the homogeneous dimension of \mathbb H¹{{\mathbb {H}}^1} . We also prove that these minimal surfaces have maximum volume growth at infinity.     

Compact and Loeb Hausdorff spaces in \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}$\mathsf {ZF}$\end{document} and the axiom of choice for families of finite sets

Given a set X, $\mathsf {AC}^{\mathrm{fin}(X)}$ denotes the statement: “$[X]^{<\omega }\backslash \lbrace \varnothing \rbrace$ has a choice set” and $\mathcal {C}_\mathrm{R}\big (\mathbf {2}^{X}\big )$ denotes the family of all closed subsets of the topological space $\mathbf {2}^{X}$ whose definition depends on a finite subset of X. We study the interrelations between the statements $\mathsf {AC}^{\mathrm{fin}(X)},$ $\mathsf {AC}^{\mathrm{fin}([X]^{<\omega })},$ $\mathsf {AC}^{\mathrm{fin} (F_{n}(X,2))},$ $\mathsf {AC}^{\mathrm{fin}(\mathcal {\wp }(X))}$ and “$\mathcal {C}_\mathrm{R}\big (\mathbf {2}^{X}\big )\backslash \lbrace \varnothing \rbrace$has a choice set”. We show:

• (i) $\mathsf {AC}^{\mathrm{fin}(X)}$ iff $\mathsf {AC}^{\mathrm{fin}([X]^{<\omega } )}$ iff $\mathcal {C}_\mathrm{R}\big (\mathbf {2}^{X}\big )\backslash \lbrace \varnothing \rbrace$ has a choice set iff $\mathsf {AC}^{\mathrm{fin}(F_{n}(X,2))}$.
• (ii) $\mathsf {AC}_{\mathrm{fin}}$ ($\mathsf {AC}$ restricted to families of finite sets) iff for every set X, $\mathcal {C}_\mathrm{R}\big (\mathbf {2}^{X}\big )\backslash \lbrace \varnothing \rbrace$ has a choice set.
• (iii) $\mathsf {AC}_{\mathrm{fin}}$ does not imply “$\mathcal {K}\big (\mathbf {2}^{X}\big )\backslash \lbrace \varnothing \rbrace$ has a choice set($\mathcal {K}(\mathbf {X})$ is the family of all closed subsets of the space $\mathbf {X}$)
• (iv) $\mathcal {K}(\mathbf {2}^{X})\backslash \lbrace \varnothing \rbrace$ implies $\mathsf {AC}^{\mathrm{fin}(\mathcal {\wp }(X))}$ but $\mathsf {AC}^{\mathrm{fin}(X)}$ does not imply $\mathsf {AC}^{\mathrm{fin}(\mathcal {\wp }(X))}$.

We also show that “For every setX, “$\mathcal {K}\big (\mathbf {2}^{X}\big )\backslash \lbrace \varnothing \rbrace$has a choice set” iff “for every setX, $\mathcal {K}\big (\mathbf {[0,1]}^{X}\big )\backslash \lbrace \varnothing \rbrace$has a choice set” iff “for every product$\mathbf {X}$of finite discrete spaces,$\mathcal {K}(\mathbf {X})\backslash \lbrace \varnothing \rbrace$ has a choice set”.     

On the Posets ( \user1Wk2 , < ){\left( {{\user1{\mathcal{W}}}^{k}_{2} , < } \right)} and their Connections with Some Homogeneous Inequalities of Degree 2

A class of ranked posets {(D _h ^k , ≪)} has been recently defined in order to analyse, from a combinatorial viewpoint, particular systems of real homogeneous inequalities between monomials. In the present paper we focus on the posets D ₂ ^k , which are related to systems of the form {x _a x _b * _abcd x _c x _d : 0 ≤ a, b, c, d ≤ k, * _abcd ∈ {<, >}, 0 < x ₀ < x ₁ < ...< x _k}. As a consequence of the general theory, the logical dependency among inequalities is adequately captured by the so-defined posets . These structures, whose elements are all the D ₂ ^k 's incomparable pairs, are thoroughly surveyed in the following pages. In particular, their order ideals – crucially significant in connection with logical consequence – are characterised in a rather simple way. In the second part of the paper, a class of antichains is shown to enjoy some arithmetical properties which make it an efficient tool for detecting incompatible systems, as well as for posing some compatibility questions in a purely combinatorial fashion.     

Notes on the nuclearity of random subalgebras of O2{\mathcal {O}_2}

There exists a separable exact C*-algebra A which contains all separable exact C*-algebras as subalgebras, and for each norm-dense measure μ on A and independent μ-distributed random elements x ₁, x ₂, ... we have . Further, there exists a norm-dense non-atomic probability measure μ on the Cuntz algebra such that for an independent sequence x ₁, x ₂, ... of μ-distributed random elements x _i we have . We introduce the notion of the stochastic rank for a unital C*-algebra and prove that the stochastic rank of C([0, 1] ^d ) is d. B. Burgstaller was supported by the Austrian Schr?dinger stipend J2471-N12.     

Operator and matrix representation for the generalized inverse AT,S(2)A_{T,S}^{(2)}

This paper presents the matrix representation for extension of inverse of restriction of a linear operator to a subspace, on the basis of which we establish useful representations in operator and matrix form for the generalized inverse A_T,S⁽²⁾A_{T,S}^{(2)} and give some of their applications.     

Finiteness properties of minimax and coatomic local cohomology modules

Let R be a noetherian ring, \mathfraka{\mathfrak{a}} an ideal of R, and M an R-module. We prove that for a finite module M, if Hⁱ_\mathfraka(M){{\rm H}^{i}_{\mathfrak{a}}(M)} is minimax for all i ≥ r ≥ 1, then Hⁱ_\mathfraka(M){{\rm H}^{i}_{\mathfrak{a}}(M)} is artinian for i ≥ r. A local–global principle for minimax local cohomology modules is shown. If Hⁱ_\mathfraka(M){{\rm H}^{i}_{\mathfrak{a}}(M)} is coatomic for i ≤ r (M finite) then Hⁱ_\mathfraka(M){{\rm H}^{i}_{\mathfrak{a}}(M)} is finite for i ≤ r. We give conditions for a module which is locally minimax to be a minimax module. A non-vanishing theorem and some vanishing theorems are proved for local cohomology modules.     

A Metric for Unbounded Linear Operators in a Hilbert Space

We introduce a metric in the set S(H){{\mathcal S}(H)} of all semiclosed operators in a Hilbert space H, and its topological structures are studied.     

On invariant notions of Segre varieties in binary projective spaces

Invariant notions of a class of Segre varieties S_(m)(2){\mathcal{S}_{(m)}(2)} of PG(2 ^m − 1, 2) that are direct products of m copies of PG(1, 2), m being any positive integer, are established and studied. We first demonstrate that there exists a hyperbolic quadric that contains S_(m)(2){\mathcal{S}_{(m)}(2)} and is invariant under its projective stabiliser group G_S(m)(2){G_{{\mathcal{S}}_{(m)}(2)}} . By embedding PG(2 ^m − 1, 2) into PG(2 ^m − 1, 4), a basis of the latter space is constructed that is invariant under G_S(m)(2){G_{{\mathcal{S}}_{(m)}(2)}} as well. Such a basis can be split into two subsets whose spans are either real or complex-conjugate subspaces according as m is even or odd. In the latter case, these spans can, in addition, be viewed as indicator sets of a G_S(m)(2){G_{{\mathcal{S}}_{(m)}(2)}} -invariant geometric spread of lines of PG(2 ^m − 1, 2). This spread is also related with a G_S(m)(2){G_{{\mathcal{S}}_{(m)}(2)}} -invariant non-singular Hermitian variety. The case m = 3 is examined in detail to illustrate the theory. Here, the lines of the invariant spread are found to fall into four distinct orbits under G_S(m)(2){G_{{\mathcal{S}}_{(m)}(2)}} , while the points of PG(7, 2) form five orbits.     

Projective MV-algebras and rational polyhedra

Let M be an n-generator projective MV-algebra. Then there is a rational polyhedron P in the n-cube [0, 1] ⁿ such that M is isomorphic to the MV-algebra M(P){{\rm{\mathcal {M}}}(P)} of restrictions to P of the McNaughton functions of the free n-generator MV-algebra. P necessarily contains a vertex vP of the n-cube. We characterize those polyhedra contained in the n-cube such that M(P){{\mathcal {M}}(P)} is projective. In particular, if the rational polyhedron P is a union of segments originating at some fixed vertex vP of the n-cube, then M(P){{\mathcal {M}}(P)} is projective. Using this result, we prove that if A = M(P){A = {\mathcal {M}}(P)} and B = M(Q){B = {\mathcal {M}}(Q)} are projective, then so is the subalgebra of A × B given by {(f, g) | f(v _P ) = g(v _Q ), and so is the free product A \coprod B{A \coprod B} .     

Anomalous dimensions of Wilson operators in the N = 4\mathcal{N} = 4 supersymmetric Yang-Mills theory

We present results for the universal anomalous dimension γ_un(j) of Wilson twist-2 operators in the supersymmetric Yang-Mills theory in the first three orders of the perturbation theory. We obtain these expressions by extracting the most complicated terms from the corresponding anomalous dimensions in QCD. The result obtained agrees with the hypothesis of the integrability of the supersymmetric Yang-Mills theory in the context of the AdS/CFT correspondence. __________ Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 150, No. 2, pp. 249–262, February, 2007.     

An Inertial Proximal Algorithm with Dry Friction: Finite Convergence Results

Let H be a Hilbert space and A, B: H ⇉ H two maximal monotone operators. In this paper, we investigate the properties of the following proximal type algorithm:

Harmonic mean curvature lines on surfaces immersed in $ \mathbb{R}^{3} $ \mathbb{R}^{3}

Consider oriented surfaces immersed in . Associated to them, here are studied pairs of transversal foliations with singularities, defined on the Elliptic region, where the Gaussian curvature , given by the product of the principal curvatures k ₁, k ₂ is positive. The leaves of the foliations are the lines of harmonic mean curvature, also called characteristic or diagonal lines, along which the normal curvature of the immersion is given by , where is the arithmetic mean curvature. That is, is the harmonic mean of the principal curvatures k ₁, k ₂ of the immersion. The singularities of the foliations are the umbilic points and parabolic curves, where k ₁ = k ₂ and , respectively.Here are determined the structurally stable patterns of harmonic mean curvature lines near the umbilic points, parabolic curves and harmonic mean curvature cycles, the periodic leaves of the foliations. The genericity of these patterns is established.This provides the three essential local ingredients to establish sufficient conditions, likely to be also necessary, for Harmonic Mean Curvature Structural Stability of immersed surfaces. This study, outlined towards the end of the paper, is a natural analog and complement for that carried out previously by the authors for the Arithmetic Mean Curvature and the Asymptotic Structural Stability of immersed surfaces, [13, 14, 17], and also extended recently to the case of the Geometric Mean Curvature Configuration [15].The first author was partially supported by FUNAPE/UFG. Both authors are fellows of CNPq. This work was done under the project PRONEX/FINEP/MCT - Conv. 76.97.1080.00 - Teoria Qualitativa das Equações Diferenciais Ordinárias and CNPq - Grant 476886/2001-5.     

On the Right (Left) Invertible Completions for Operator Matrices

Let ${\mathcal {H}_{1}}Let H₁{\mathcal {H}_{1}} and H₂{\mathcal {H}_{2}} be separable Hilbert spaces, and let A ? B(H₁), B ? B(H₂){A \in \mathcal {B}(\mathcal {H}_{1}),\, B \in \mathcal {B}(\mathcal {H}_{2})} and C ? B(H₂, H₁){C \in \mathcal {B}(\mathcal {H}_{2},\, \mathcal {H}_{1})} be given operators. A necessary and sufficient condition is given for ${\left(\begin{smallmatrix}A &\enspace C\\ X &\enspace B \end{smallmatrix}\right)}${\left(\begin{smallmatrix}A &\enspace C\\ X &\enspace B \end{smallmatrix}\right)} to be a right (left) invertible operator for some X ? B(H₁, H₂){X \in \mathcal {B}(\mathcal {H}_{1},\, \mathcal {H}_{2})}. Furthermore, some related results are obtained.     

Tiling Groupoids and Bratteli Diagrams II: Structure of the Orbit Equivalence Relation

In this second paper, we study the case of substitution tilings of \mathbb R^d{{\mathbb R}^d} . The substitution on tiles induces substitutions on the faces of the tiles of all dimensions j = 0, . . . , d − 1. We reconstruct the tiling’s equivalence relation in a purely combinatorial way using the AF-relations given by the lower dimensional substitutions. We define a Bratteli multi-diagram B{{\mathcal B}} which is made of the Bratteli diagrams B^j, j=0, ?d{{\mathcal B}^j, j=0, \ldots d} , of all those substitutions. The set of infinite paths in B^d{{\mathcal B}^d} is identified with the canonical transversal Ξ of the tiling. Any such path has a “border”, which is a set of tails in B^j{{\mathcal B}^j} for some j ≤ d, and this corresponds to a natural notion of border for its associated tiling. We define an étale equivalence relation R_B{{\mathcal R}_{\mathcal B}} on B{{\mathcal B}} by saying that two infinite paths are equivalent if they have borders which are tail equivalent in B^j{{\mathcal B}^j} for some j ≤ d. We show that R_B{{\mathcal R}_{\mathcal B}} is homeomorphic to the tiling’s equivalence relation R_X{{\mathcal R}_\Xi} .     

Arithmetic of semigroups of series in multiplicative systems

We study the arithmetic of a semigroup M_P\mathcal{M}_{\mathcal{P}} of functions with operation of multiplication representable in the form f(x) = ?_{n = 0}^￥ a_nc_n(x)    ( a_n 3 0,?_{n = 0}^￥ a_n = 1 ) f(x) = \sum\nolimits_{n = 0}^\infty {{a_n}{\chi_n}(x)\quad \left( {{a_n} \ge 0,\sum\nolimits_{n = 0}^\infty {{a_n} = 1} } \right)} , where { c_n }_{n = 0}^￥ \left\{ {{\chi_n}} \right\}_{n = 0}^\infty is a system of multiplicative functions that are generalizations of the classical Walsh functions. For the semigroup M_P\mathcal{M}_{\mathcal{P}}, analogs of the well-known Khinchin theorems related to the arithmetic of a semigroup of probability measures in R ⁿ are true. We describe the class I₀(M_P)I_0(\mathcal{M}_{\mathcal{P}}) of functions without indivisible or nondegenerate idempotent divisors and construct a class of indecomposable functions that is dense in M_P\mathcal{M}_{\mathcal{P}} in the topology of uniform convergence.