A Hilbert Module Approach to the Haagerup Property

We develop a Hilbert module version of the Haagerup property for general C*-algebras ${{\mathcal{A} \subseteq \mathcal{B}}}$ . We show that if ${\alpha : \Gamma \curvearrowright \mathcal{A}}$ is an action of a countable discrete group Γ on a unital C*-algebra ${\mathcal{A}}$ , then the reduced C*-algebra crossed product ${\Gamma \ltimes _{\alpha, r} \mathcal{A}}$ has the Hilbert ${\mathcal{A}}$ -module Haagerup property if and only if the action α has the Haagerup property. We are particularly interested in the case when ${\mathcal{A} = C(X)}$ is a unital commutative C*-algebra. We compare the Haagerup property of such an action ${\alpha: \Gamma \curvearrowright C(X)}$ with the two special cases when (1) Γ has the Haagerup property and (2) Γ is coarsely embeddable into a Hilbert space. We also prove a contractive Schur mutiplier characterization for groups coarsely embeddable into a Hilbert space, and a uniformly bounded Schur multiplier characterization for exact groups.     

Equivariant map superalgebras

Suppose a group $\Gamma $ acts on a scheme $X$ and a Lie superalgebra $\mathfrak {g}$ . The corresponding equivariant map superalgebra is the Lie superalgebra of equivariant regular maps from $X$ to $\mathfrak {g}$ . We classify the irreducible finite dimensional modules for these superalgebras under the assumptions that the coordinate ring of $X$ is finitely generated, $\Gamma $ is finite abelian and acts freely on the rational points of $X$ , and $\mathfrak {g}$ is a basic classical Lie superalgebra (or $\mathfrak {sl}\,(n,n)$ , $n \ge 1$ , if $\Gamma $ is trivial). We show that they are all (tensor products of) generalized evaluation modules and are parameterized by a certain set of equivariant finitely supported maps defined on $X$ . Furthermore, in the case that the even part of $\mathfrak {g}$ is semisimple, we show that all such modules are in fact (tensor products of) evaluation modules. On the other hand, if the even part of $\mathfrak {g}$ is not semisimple (more generally, if $\mathfrak {g}$ is of type I), we introduce a natural generalization of Kac modules and show that all irreducible finite dimensional modules are quotients of these. As a special case, our results give the first classification of the irreducible finite dimensional modules for twisted loop superalgebras.     

AW*-algebras Which are Enveloping C*-algebras of JC-algebras

In the given article, enveloping C*-algebras of AJW-algebras are considered. Conditions are given, when the enveloping C*-algebra of an AJW-algebra is an AW*-algebra, and corresponding theorems are proved. In particular, we proved that if $\mathcal{A}$ is a real AW*-algebra, $\mathcal{A}_{sa}$ is the JC-algebra of all self-adjoint elements of $\mathcal{A}$ , $\mathcal{A}+i\mathcal{A}$ is an AW*-algebra and $\mathcal{A}\cap i\mathcal{A} = \{0\}$ then the enveloping C*-algebra $C^*(\mathcal{A}_{sa})$ of the JC-algebra $\mathcal{A}_{sa}$ is an AW*-algebra. Moreover, if $\mathcal{A}+i\mathcal{A}$ does not have nonzero direct summands of type I₂, then $C^*(\mathcal{A}_{sa})$ coincides with the algebra $\mathcal{A}+i\mathcal{A}$ , i.e. $C^*(\mathcal{A}_{sa})= \mathcal{A}+i\mathcal{A}$ .     

Rank-two stable sheaves with odd determinant on Fano threefolds of genus nine

According to Mukai and Iliev, a smooth prime Fano threefold $X$ of genus $9$ is associated with a surface $\mathbb{P }(\mathcal{V })$ , ruled over a smooth plane quartic $\varGamma $ , and the derived category of $\varGamma $ embeds into that of $X$ by a theorem of Kuznetsov. We use this setup to study the moduli spaces of rank- $2$ stable sheaves on $X$ with odd determinant. For each $c_2 \ge 7$ , we prove that a component of their moduli space $\mathsf{M}_X(2,1,c_2)$ is birational to a Brill–Noether locus of vector bundles with fixed rank and degree on $\varGamma $ , having enough sections when twisted by $\mathcal{V }$ . For $c_2=7$ , we prove that $\mathsf{M}_X(2,1,7)$ is isomorphic to the blow-up of the Picard variety $\text{ Pic}^{2}({\varGamma })$ along the curve parametrizing lines contained in $X$ .     

A unified approach for minimizing composite norms

We propose a first-order augmented Lagrangian algorithm (FALC) to solve the composite norm minimization problem $$\begin{aligned} \begin{array}{ll} \min \limits _{X\in \mathbb{R }^{m\times n}}&\mu _1\Vert \sigma (\mathcal{F }(X)-G)\Vert _\alpha +\mu _2\Vert \mathcal{C }(X)-d\Vert _\beta ,\\ \text{ subject} \text{ to}&\mathcal{A }(X)-b\in \mathcal{Q }, \end{array} \end{aligned}$$ where $\sigma (X)$ denotes the vector of singular values of $X \in \mathbb{R }^{m\times n}$ , the matrix norm $\Vert \sigma (X)\Vert _{\alpha }$ denotes either the Frobenius, the nuclear, or the $\ell _2$ -operator norm of $X$ , the vector norm $\Vert .\Vert _{\beta }$ denotes either the $\ell _1$ -norm, $\ell _2$ -norm or the $\ell _{\infty }$ -norm; $\mathcal{Q }$ is a closed convex set and $\mathcal{A }(.)$ , $\mathcal{C }(.)$ , $\mathcal{F }(.)$ are linear operators from $\mathbb{R }^{m\times n}$ to vector spaces of appropriate dimensions. Basis pursuit, matrix completion, robust principal component pursuit (PCP), and stable PCP problems are all special cases of the composite norm minimization problem. Thus, FALC is able to solve all these problems in a unified manner. We show that any limit point of FALC iterate sequence is an optimal solution of the composite norm minimization problem. We also show that for all $\epsilon >0$ , the FALC iterates are $\epsilon $ -feasible and $\epsilon $ -optimal after $\mathcal{O }(\log (\epsilon ^{-1}))$ iterations, which require $\mathcal{O }(\epsilon ^{-1})$ constrained shrinkage operations and Euclidean projection onto the set $\mathcal{Q }$ . Surprisingly, on the problem sets we tested, FALC required only $\mathcal{O }(\log (\epsilon ^{-1}))$ constrained shrinkage, instead of the $\mathcal{O }(\epsilon ^{-1})$ worst case bound, to compute an $\epsilon $ -feasible and $\epsilon $ -optimal solution. To best of our knowledge, FALC is the first algorithm with a known complexity bound that solves the stable PCP problem.     

Vector bundles and regulous maps

Let $X$ be a compact nonsingular affine real algebraic variety. We prove that every pre-algebraic vector bundle on $X$ becomes algebraic after finitely many blowing ups. Using this theorem, we then prove that the Stiefel-Whitney classes of any pre-algebraic $\mathbb{R }$ -vector bundle on $X$ are algebraic. We also derive that the Chern classes of any pre-algebraic $\mathbb{C }$ -vector bundles and the Pontryagin classes of any pre-algebraic $\mathbb{R }$ -vector bundle are blow- $\mathbb{C }$ -algebraic. We also provide several results on line bundles on $X$ .     

Constructible \nabla -modules on curves

Let $\mathcal{V }$ be a complete discrete valuation ring of mixed characteristic with perfect residue field. Let $X$ be a geometrically connected smooth proper curve over $\mathcal{V }$ . We introduce the notion of constructible convergent $\nabla $ -module on the analytification $X_{K}^{\mathrm{an}}$ of the generic fiber of $X$ . A constructible module is an $\mathcal{O }_{X_{K}^{\mathrm{an}}}$ -module which is not necessarily coherent, but becomes coherent on a stratification by locally closed subsets of the special fiber $X_{k}$ of $X$ . The notions of connection, of (over-) convergence and of Frobenius structure carry over to this situation. We describe a specialization functor from the category of constructible convergent $\nabla $ -modules to the category of $\mathcal{D }^\dagger _{\hat{X} \mathbf{Q }}$ -modules. We show that specialization induces an equivalence between constructible $F$ - $\nabla $ -modules and perverse holonomic $F$ - $\mathcal{D }^\dagger _{\hat{X} \mathbf{Q }}$ -modules.     

The equidistribution of small points for strongly regular pairs of polynomial maps

In this paper, we prove the equidistribution of periodic points of a regular polynomial automorphism $f : \mathbb{A }^n \rightarrow \mathbb{A }^n$ defined over a number field $K$ : let $f$ be a regular polynomial automorphism defined over a number field $K$ and let $v\in M_K$ . Then there exists an $f$ -invariant probability measure $\mu _{f,v}$ on $\mathrm{Berk }\bigl ( \mathbb{P }^n_\mathbb{C _v} \bigr )$ such that the set of periodic points of $f$ is equidistributed with respect to $\mu _{f,v}$ .     

A Characterization of Compact Operators Via the Non-Connectedness of the Attractors of a Family of IFSs

In this paper we present a result which establishes a connection between the theory of compact operators and the theory of iterated function systems. For a Banach space $X$ , $S$ and $T$ bounded linear operators from $X$ to $X$ such that $\Vert S\Vert , \Vert T\Vert <1$ and $w\in X$ , let us consider the IFS $\mathcal S _{w}=(X,f_{1},f_{2})$ , where $f_{1},f_{2}:X\rightarrow X$ are given by $f_{1}(x)=S(x)$ and $f_{2}(x)=T(x)+w$ , for all $x\in X$ . On one hand we prove that if the operator $S$ is compact, then there exists a family $(K_{n})_{n\in \mathbb N }$ of compact subsets of $X$ such that $A_{\mathcal S _{w}}$ is not connected, for all $w\in X-\bigcup _{n\in \mathbb N } K_{n}$ . On the other hand we prove that if $H$ is an infinite dimensional Hilbert space, then a bounded linear operator $S:H\rightarrow H$ having the property that $\Vert S\Vert <1$ is compact provided that for every bounded linear operator $T:H\rightarrow H$ such that $\Vert T\Vert <1$ there exists a sequence $(K_{T,n})_{n}$ of compact subsets of $H$ such that $A_{\mathcal S _{w}}$ is not connected for all $w\in H-\bigcup _{n}K_{T,n}$ . Consequently, given an infinite dimensional Hilbert space $H$ , there exists a complete characterization of the compactness of an operator $S:H\rightarrow H$ by means of the non-connectedness of the attractors of a family of IFSs related to the given operator. Finally we present three examples illustrating our results.     

Hypercentralizing generalized skew derivations on left ideals in prime rings

Let $\mathcal{R }$ be a prime ring of characteristic different from $2, \mathcal{Q }_r$ the right Martindale quotient ring of $\mathcal{R }, \mathcal{C }$ the extended centroid of $\mathcal{R }, \mathcal{I }$ a nonzero left ideal of $\mathcal{R }, F$ a nonzero generalized skew derivation of $\mathcal{R }$ with associated automorphism $\alpha $ , and $n,k \ge 1$ be fixed integers. If $[F(r^n),r^n]_k=0$ for all $r \in \mathcal{I }$ , then there exists $\lambda \in \mathcal{C }$ such that $F(x)=\lambda x$ , for all $x\in \mathcal{I }$ . More precisely one of the following holds: (1) $\alpha $ is an $X$ -inner automorphism of $\mathcal{R }$ and there exist $b,c \in \mathcal{Q }_r$ and $q$ invertible element of $\mathcal{Q }_r$ , such that $F(x)=bx-qxq^{-1}c$ , for all $x\in \mathcal{Q }_r$ . Moreover there exists $\gamma \in \mathcal{C }$ such that $\mathcal{I }(q^{-1}c-\gamma )=(0)$ and $b-\gamma q \in \mathcal{C }$ ; (2) $\alpha $ is an $X$ -outer automorphism of $\mathcal{R }$ and there exist $c \in \mathcal{Q }_r, \lambda \in \mathcal{C }$ , such that $F(x)=\lambda x-\alpha (x)c$ , for all $x\in \mathcal{Q }_r$ , with $\alpha (\mathcal{I })c=0$ .     

Asymptotically Spirallike Mappings in Reflexive Complex Banach Spaces

In this paper we consider the notion of asymptotic spirallikeness in reflexive complex Banach spaces $X$ , and the connection with univalent subordination chains. Poreda initially introduced the notion of asymptotic starlikeness to characterize biholomorphic mappings on the unit polydisc in $\mathbb{C }^{n}$ which have parametric representation in the sense of Loewner theory. The authors introduced the notions of $A$ -asymptotic spirallikeness and $A$ -parametric representation on the Euclidean unit ball of $\mathbb{C }^{n}$ , where $A\in L(\mathbb{C }^{n})$ with $m(A)>0$ . They showed that these notions are equivalent whenever $k_+(A)<2m(A)$ . In this paper we prove that if $k_+(A)<2m(A)$ and $f\in S(B)$ has $A$ -parametric representation, then $f$ is also $A$ -asymptotically spirallike on the unit ball $B$ of $X$ . For the converse, we need the additional assumption that $f$ is a smooth $A$ -asymptotically spirallike mapping, except in the finite-dimensional case $X=\mathbb{C }^{n}$ with an arbitrary norm. The notion of asymptotic spirallikeness involves differential equations and may be regarded as giving a geometric characterization of certain domains in $X$ . That is one of the motivations for considering this notion in the case of reflexive complex Banach spaces.     

Characterization of Lie higher derivations on triangular algebras

Let $\mathcal{A}$ and $\mathcal{B}$ be unital rings, and $\mathcal{M}$ be an $\left( {\mathcal{A},\mathcal{B}} \right)$ -bimodule, which is faithful as a left $\mathcal{A}$ -module and also as a right $\mathcal{B}$ -module. Let $\mathcal{U} = Tri\left( {\mathcal{A},\mathcal{M},\mathcal{B}} \right)$ be the triangular algebra. In this paper, we give some different characterizations of Lie higher derivations on $\mathcal{U}$ .     

2-Nilpotent real section conjecture

We show a $2$ -nilpotent section conjecture over $\mathbb{R }$ : for a geometrically connected curve $X$ over $\mathbb{R }$ such that each irreducible component of its normalization has $\mathbb{R }$ -points, $\pi _0(X(\mathbb{R }))$ is determined by the maximal $2$ -nilpotent quotient of the fundamental group with its Galois action, as the kernel of an obstruction of Jordan Ellenberg. This implies that for $X$ smooth and proper, $X(\mathbb{R })^{\pm }$ is determined by the maximal $2$ -nilpotent quotient of $\mathrm{Gal }(\mathbb{C }(X))$ with its $\mathrm{Gal }(\mathbb{R })$ action, where $X(\mathbb{R })^{\pm }$ denotes the set of real points equipped with a real tangent direction, showing a $2$ -nilpotent birational real section conjecture.     

CR-quadrics with a symmetry property

For non-degenerate CR-quadrics ${Q \subset \mathbb{C}^{n}}$ it is well known that the real Lie algebra ${\mathfrak{g} = \mathfrak{hol}(Q)}$ of all infinitesimal CR-automorphisms has a canonical grading ${\mathfrak{g} = \mathfrak{g}^{-2} \oplus\mathfrak{g}^{-1} \oplus\mathfrak{g}^{0} \oplus\mathfrak{g}^{1} \oplus\mathfrak{g}^{2}}$ . While the first three spaces in this grading, responsible for the affine automorphisms of Q, are always easy to describe this is not the case for the last two. In general, it is even difficult to determine the dimensions of ${\mathfrak{g}^{1}}$ and ${\mathfrak{g}^{2}}$ . Here we consider a class of quadrics with a certain symmetry property for which ${\mathfrak{g}^{1}, \mathfrak{g}^{2}}$ can be determined explicitly. The task then is to verify that there exist enough interesting examples. By generalizing the ?ilov boundaries of irreducible bounded symmetric domains of non-tube type we get a collection of basic examples. Further examples are obtained by ‘tensoring’ any quadric having the symmetry property with an arbitrary commutative (associative) unital *-algebra A (of finite dimension). For certain quadrics this also works if A is not necessarily commutative.     

On unitals in PG(2,q^2) stabilized by a homology group

The linear collineation group of a classical unital of $\mathrm{PG}(2,q^2)$ contains a group of homologies of order $q+1$ . In this paper we prove that if $\mathcal{U }$ is a unital of PG $(2,q^2)$ stabilized by a homology group of order $q+1$ and $q$ is a prime number, then $\mathcal{U }$ is classical.     

The circle method and bounds for L-functions - I

Let $f$ be a Hecke-Maass or holomorphic primitive cusp form of arbitrary level and nebentypus, and let $\chi $ be a primitive character of conductor $M$ . For the twisted $L$ -function $L(s, f\otimes \chi )$ we establish the hybrid subconvex bound $$\begin{aligned} L\left( \frac{1}{2}+it, f\otimes \chi \right) \ll (M(3+|t|))^{\frac{1}{2}-\frac{1}{18}+\varepsilon }, \end{aligned}$$ for $t\in \mathbb{R }$ . The implied constant depends only on the form $f$ and $\varepsilon $ .