Aspects of the Segre variety $${\mathcal{S}_{1,1,1}(2)}$$

We consider various aspects of the Segre variety \({\mathcal{S}:=\mathcal{S} _{1,1,1}(2)}\) in PG(7, 2), whose stabilizer group \({\mathcal{G}_{\mathcal{S}}<{\rm GL}(8,2)}\) has the structure \({\mathcal{N}\rtimes{\rm Sym}(3),}\) where \({\mathcal{N} :={\rm GL}(2,2)\times{\rm GL}(2,2)\times{\rm GL} (2,2).}\) In particular we prove that \({\mathcal{S}}\) determines a distinguished Z ₃-subgroup \({\mathcal{Z}<{\rm GL}(8,2)}\) such that \({A\mathcal{Z}A^{-1}=\mathcal{Z},}\) for all \({A\in\mathcal{G}_{\mathcal{S}},}\) and in consequence \({\mathcal{S}}\) determines a \({\mathcal{G}_{\mathcal{S}}}\)-invariant spread of 85 lines in PG(7, 2). Furthermore we see that Segre varieties \({\mathcal{S}_{1,1,1}(2)}\) in PG(7, 2) come along in triplets \({\{\mathcal{S},\mathcal{S}^{\prime},\mathcal{S}^{\prime\prime}\}}\) which share the same distinguished Z ₃-subgroup \({\mathcal{Z}<{\rm GL}(8,2).}\) We conclude by determining all fifteen \({\mathcal{G}_{\mathcal{S}}}\)-invariant polynomial functions on PG(7, 2) which have degree < 8, and their relation to the five \({\mathcal{G}_{\mathcal{S}}}\)-orbits of points in PG(7, 2).     

Supercyclicity in Spaces of Operators

A sufficient criterion for the map \({C_{A, B}(S) = ASB}\) to be supercyclic on certain algebras of operators on Banach spaces is given. If T is an operator satisfying the Supercyclicity Criterion on a Hilbert space H, then the linear map \({C_{T}(V) = TVT^*}\) is shown to be norm-supercyclic on the algebra \({\mathcal{K}(H)}\) of all compact operators, COT-supercyclic on the real subspace \({\mathcal{S}(H)}\) of all self-adjoint operators and weak*-supercyclic on \({\mathcal{L}(H)}\) of all bounded operators on H. Examples including operators of the form \({C_{B_w, F_\mu}}\) are provided, where B_w and \({F_\mu}\) are respectively backward and forward shifts on Banach sequence spaces.     

Infinite dimensional multiplicity free spaces III: matrix coefficients and regular functions

In earlier papers we studied direct limits \({(G,\,K) = \varinjlim\, (G_n,K_n)}\) of two types of Gelfand pairs. The first type was that in which the G _n /K _n are compact Riemannian symmetric spaces. The second type was that in which \({G_n = N_n\rtimes K_n}\) with N _n nilpotent, in other words pairs (G _n , K _n ) for which G _n /K _n is a commutative nilmanifold. In each we worked out a method inspired by the Frobenius–Schur Orthogonality Relations to define isometric injections \({\zeta_{m,n}: L^2(G_n/K_n) \hookrightarrow L^2(G_m/K_m)}\) for m ≧ n and prove that the left regular representation of G on the Hilbert space direct limit \({L^2(G/K) := \varinjlim L^2(G_n/K_n)}\) is multiplicity-free. This left open questions concerning the nature of the elements of L ²(G/K). Here we define spaces \({\mathcal{A}(G_n/K_n)}\) of regular functions on G _n /K _n and injections \({\nu_{m,n} : \mathcal{A}(G_n/K_n) \to \mathcal{A}(G_m/K_m)}\) for m ≧ n related to restriction by \({\nu_{m,n}(f)|_{G_n/K_n} = f}\). Thus the direct limit \({\mathcal{A}(G/K) := \varinjlim \{\mathcal{A}(G_n/K_n), \nu_{m,n}\}}\) sits as a particular G-submodule of the much larger inverse limit \({\varprojlim \{\mathcal{A}(G_n/K_n), {\rm restriction}\}}\). Further, we define a pre Hilbert space structure on \({\mathcal{A}(G/K)}\) derived from that of L ²(G/K). This allows an interpretation of L ²(G/K) as the Hilbert space completion of the concretely defined function space \({\mathcal{A}(G/K)}\), and also defines a G-invariant inner product on \({\mathcal{A}(G/K)}\) for which the left regular representation of G is multiplicity-free.     

Arithmetic Groups,Base Change,and Representation Growth

Consider an arithmetic group \({\mathbf{G}(O_S)}\), where \({\mathbf{G}}\) is an affine group scheme with connected, simply connected absolutely almost simple generic fiber, defined over the ring of S-integers O _S of a number field K with respect to a finite set of places S. For each \({n \in \mathbb{N}}\), let \({R_n(\mathbf{G}(O_S))}\) denote the number of irreducible complex representations of \({\mathbf{G}(O_S)}\) of dimension at most n. The degree of representation growth \({\alpha(\mathbf{G}(O_S)) = \lim_{n \rightarrow\infty}\log R_n(\mathbf{G}(O_S)) / \log n}\) is finite if and only if \({\mathbf{G}(O_S)}\) has the weak Congruence Subgroup Property. We establish that for every \({\mathbf{G}(O_S)}\) with the weak Congruence Subgroup Property the invariant \({\alpha(\mathbf{G}(O_S))}\) is already determined by the absolute root system of \({\mathbf{G}}\). To show this we demonstrate that the abscissae of convergence of the representation zeta functions of such groups are invariant under base extensions \({K{\subset}L}\). We deduce from our result a variant of a conjecture of Larsen and Lubotzky regarding the representation growth of irreducible lattices in higher rank semi-simple groups. In particular, this reduces Larsen and Lubotzky’s conjecture to Serre’s conjecture on the weak Congruence Subgroup Property, which it refines.     

Ideals of subseries convergence and <Emphasis Type="Italic">F</Emphasis>-spaces

Let X be an F-space and \({\boldsymbol x=(x_n)}\) be a sequence of vectors in X. Ideals \({\mathcal{C}(\boldsymbol x)}\) of subseries convergence are considered. In particular, we show that a characterization of the class of Banach spaces not containing c ₀ obtained by using the ideals \({\mathcal{C}(\boldsymbol x)}\) breaks down in every Fréchet space not isomorphic to a Banach space. On the other hand, the result can be extended to some F-spaces via the definition of a new class of F-spaces satisfying a stronger version of the condition (O) of Orlicz. A theorem discriminating between the finite and infinite dimensional case is obtained about the family \({\mathcal{C}(X)}\) of all ideals associated with the F-space X.     

Spectral properties of continuous representations of topological groups

Let \({\mathcal{L}(X)}\) be the algebra of all bounded operators on a Banach space X. \({\theta:G\rightarrow \mathcal{L}(X)}\) denotes a strongly continuous representation of a topological abelian group G on X. Set \({\sigma^1(\theta(g)):=\{\lambda/|\lambda|,\lambda\in\sigma(\theta(g))\}}\), where σ(θ(g)) is the spectrum of θ(g) and \({\Sigma:=\{g\in G/\enskip\text{there is no} \enskip P\in \mathcal{P}/P\subseteq \sigma^1(\theta(g))\}}\), where \({\mathcal{P}}\) is the set of regular polygons of \({\mathbb{T}}\) (we call polygon in \({\mathbb{T}}\) the image by a rotation of a closed subgroup of \({\mathbb{T}}\), the unit circle of \({\mathbb{C}}\)). We prove here that if G is a locally compact and second countable abelian group, then θ is uniformly continuous if and only if Σ is non-meager.     

Hecke algebras for {{\rm GL}_n} over local fields

We study the local Hecke algebra \({\mathcal{H}_{G}(K)}\) for \({G = {\rm GL}_{n}}\) and K a non-archimedean local field of characteristic zero. We show that for \({G = {\rm GL}_{2}}\) and any two such fields K and L, there is a Morita equivalence \({\mathcal{H}_{G}(K) \sim_{M} \mathcal{H}_{G}(L)}\), by using the Bernstein decomposition of the Hecke algebra and determining the intertwining algebras that yield the Bernstein blocks up to Morita equivalence. By contrast, we prove that for \({G = {\rm GL}_{n}}\), there is an algebra isomorphism \({\mathcal{H}_{G}(K) \cong \mathcal{H}_{G}(L)}\) which is an isometry for the induced \({L^1}\)-norm if and only if there is a field isomorphism \({K \cong L}\).     

Depth,Stanley depth,and regularity of ideals associated to graphs

Let \({\mathbb{K}}\) be a field and \({S=\mathbb{K}[x_1,\dots,x_n]}\) be the polynomial ring in n variables over \({\mathbb{K}}\). Let G be a graph with n vertices. Assume that \({I=I(G)}\) is the edge ideal of G and \({J=J(G)}\) is its cover ideal. We prove that \({{\rm sdepth}(J)\geq n-\nu_{o}(G)}\) and \({{\rm sdepth}(S/J)\geq n-\nu_{o}(G)-1}\), where \({\nu_{o}(G)}\) is the ordered matching number of G. We also prove the inequalities \({{\rmsdepth}(J^k)\geq {\rm depth}(J^k)}\) and \({{\rm sdepth}(S/J^k)\geq {\rmdepth}(S/J^k)}\), for every integer \({k\gg 0}\), when G is a bipartite graph. Moreover, we provide an elementary proof for the known inequality reg\({(S/I)\leq \nu_{o}(G)}\).     

Higher Order Derivative Characterization for Fock-Type Spaces

In this paper, we give a characterization for the Fock-type space \({\mathcal{F}_{\alpha}^{\infty}(\mathbb{C}^N)}\) in terms of higher order derivatives of f and behaviors of local integral means of those derivatives. The space \({\mathcal{F}_{\alpha}^{\infty}(\mathbb{C}^N)}\) has the closed subspace \({\mathcal{F}_{\alpha, 0}^{\infty}(\mathbb{C}^N)}\). We also characterize this subspace via higher order derivatives. As an application we study the boundedness and compactness of the extended Cesaro operator T _g on \({\mathcal{F}_{\alpha}^{\infty}(\mathbb{C}^N)}\) and \({\mathcal{F}_{\alpha, 0}^{\infty}(\mathbb{C}^N)}\).     

Uniform in bandwidth exact rates for a class of kernel estimators

Given an i.i.d sample (Y _i , Z _i ), taking values in \({\mathbb{R}^{d'}\times\mathbb{R}^d}\), we consider a collection Nadarya–Watson kernel estimators of the conditional expectations \({\mathbb{E}( <\,c_g(z),g(Y)>+d_g(z)\mid Z=z)}\), where z belongs to a compact set \({H\subset \mathbb{R}^d}\), g a Borel function on \({\mathbb{R}^{d'}}\) and c _g (·), d _g (·) are continuous functions on \({\mathbb{R}^d}\). Given two bandwidth sequences \({h_n<\mathfrak{h}_n}\) fulfilling mild conditions, we obtain an exact and explicit almost sure limit bounds for the deviations of these estimators around their expectations, uniformly in \({g\in\mathcal{G},\;z\in H}\) and \({h_n\le h\le \mathfrak{h}_n}\) under mild conditions on the density f _Z , the class \({\mathcal{G}}\), the kernel K and the functions c _g (·), d _g (·). We apply this result to prove that smoothed empirical likelihood can be used to build confidence intervals for conditional probabilities \({\mathbb{P}( Y\in C\mid Z=z)}\), that hold uniformly in \({z\in H,\; C\in \mathcal{C},\; h\in [h_n,\mathfrak{h}_n]}\). Here \({\mathcal{C}}\) is a Vapnik–Chervonenkis class of sets.     

Clifford parallelisms and external planes to the Klein quadric

For any three-dimensional projective space \({\mathbb{P}(V)}\), where V is a vector space over a field F of arbitrary characteristic, we establish a one-one correspondence between the Clifford parallelisms of \({\mathbb{P}(V)}\) and those planes of \({\mathbb{P} (V \wedge V)}\) that are external to the Klein quadric representing the lines of \({\mathbb{P}(V)}\). We also give two characterisations of a Clifford parallelism of \({\mathbb{P}(V)}\), both of which avoid the ambient space of the Klein quadric.     

Some remarks on energy inequalities for harmonic maps with potential

We call the \({\delta}\)-vector of an integral convex polytope of dimension d flat if the \({\delta}\)-vector is of the form \({(1,0,\ldots,0,a,\ldots,a,0,\ldots,0)}\), where \({a \geq 1}\). In this paper, we give the complete characterization of possible flat \({\delta}\)-vectors. Moreover, for an integral convex polytope \({\mathcal{P}\subset \mathbb{R}^N}\) of dimension d, we let \({i(\mathcal{P},n)=|n\mathcal{P}\cap \mathbb{Z}^N|}\) and \({i^*(\mathcal{P},n)=|n(\mathcal{P} {\setminus}\partial \mathcal{P})\cap \mathbb{Z}^N|}\). By this characterization, we show that for any \({d \geq 1}\) and for any \({k,\ell \geq 0}\) with \({k+\ell \leq d-1}\), there exist integral convex polytopes \({\mathcal{P}}\) and \({\mathcal{Q}}\) of dimension d such that (i) For \({t=1,\ldots,k}\), we have \({i(\mathcal{P},t)=i(\mathcal{Q},t),}\) (ii) For \({t=1,\ldots,\ell}\), we have \({i^*(\mathcal{P},t)=i^*(\mathcal{Q},t)}\), and (iii) \({i(\mathcal{P},k+1) \neq i(\mathcal{Q},k+1)}\) and \({i^*(\mathcal{P},\ell+1)\neq i^*(\mathcal{Q},\ell+1)}\).     

Integral means of weighted Hardy–Bloch functions

Let \({\mathcal{B}^\omega(p, q, B_d)}\) denote the \({\omega}\)-weighted Hardy–Bloch space on the unit ball B _d of \({\mathbb{C}^d}\), \({d\ge 1}\). For \({2< p,q < \infty}\) and \({f\in \mathcal{B}^\omega(p, q, B_d)}\), we obtain sharp estimates on the growth of the p-integral means M _p (f, r) as \({r\to 1-}\).     

Unitary representations of groups,continuity and spectrum

Let \({\mathcal{L}(H)}\) be the algebra of all bounded operators in a Hilbert space H, \({\theta : G \rightarrow \mathcal{L}(H)}\) denotes a strongly continuous unitary representation of a locally compact and second countable group G in H, σ(θ(g)) the spectrum of θ(g) and Conv(S) the convex hull of any subset S in a vector space. We prove here that θ is uniformly continuous if and only if \({\{g\in G/0\notin {\rm Conv}(\sigma(\theta(g)))\}}\) is non-meager.     

<Emphasis Type="Italic">k</Emphasis>-Extreme Points in Symmetric Spaces of Measurable Operators

Let \({\mathcal{M}}\) be a semifinite von Neumann algebra with a faithful, normal, semifinite trace \({\tau}\) and E be a strongly symmetric Banach function space on \({[0,\tau({\bf 1}))}\) . We show that an operator x in the unit sphere of \({E(\mathcal{M}, \tau)}\) is k-extreme, \({k \in {\mathbb{N}}}\) , whenever its singular value function \({\mu(x)}\) is k-extreme and one of the following conditions hold (i) \({\mu(\infty, x) = \lim_{t\to\infty}\mu(t, x) = 0}\) or (ii) \({n(x)\mathcal{M}n(x^*) = 0}\) and \({|x| \geq \mu(\infty, x)s(x)}\) , where n(x) and s(x) are null and support projections of x, respectively. The converse is true whenever \({\mathcal{M}}\) is non-atomic. The global k-rotundity property follows, that is if \({\mathcal{M}}\) is non-atomic then E is k-rotund if and only if \(E(\mathcal{M}, \tau)\) is k-rotund. As a consequence of the noncommutative results we obtain that f is a k-extreme point of the unit ball of the strongly symmetric function space E if and only if its decreasing rearrangement \({\mu(f)}\) is k-extreme and \({|f| \geq \mu(\infty,f)}\) . We conclude with the corollary on orbits Ω(g) and Ω′(g). We get that f is a k-extreme point of the orbit \({\Omega(g),\,g \in L_1 + L_{\infty}}\) , or \({\Omega'(g),\,g \in L_1[0, \alpha),\,\alpha < \infty}\) , if and only if \({\mu(f) = \mu(g)}\) and \({|f| \geq \mu(\infty, f)}\) . From this we obtain a characterization of k-extreme points in Marcinkiewicz spaces.     

Symmetric quiver Hecke algebras and <Emphasis Type="Italic">R</Emphasis>-matrices of quantum affine algebras IV

Let \(U'_q(\mathfrak {g})\) be a twisted affine quantum group of type \(A_{N}^{(2)}\) or \(D_{N}^{(2)}\) and let \(\mathfrak {g}_{0}\) be the finite-dimensional simple Lie algebra of type \(A_{N}\) or \(D_{N}\). For a Dynkin quiver of type \(\mathfrak {g}_{0}\), we define a full subcategory \({\mathcal C}_{Q}^{(2)}\) of the category of finite-dimensional integrable \(U'_q(\mathfrak {g})\)-modules, a twisted version of the category \({\mathcal C}^{(1)}_{Q}\) introduced by Hernandez and Leclerc. Applying the general scheme of affine Schur–Weyl duality, we construct an exact faithful KLR-type duality functor \({\mathcal F}_{Q}^{(2)}:\mathrm{Rep}(R) \rightarrow {\mathcal C}_{Q}^{(2)}\), where \(\mathrm{Rep}(R)\) is the category of finite-dimensional modules over the quiver Hecke algebra R of type \(\mathfrak {g}_{0}\) with nilpotent actions of the generators \(x_k\). We show that \({\mathcal F}_{Q}^{(2)}\) sends any simple object to a simple object and induces a ring isomorphism Open image in new window .     

A remark on Berger’s conjecture,Kolchin’s theorem,and arc schemes

Let k be a field of characteristic zero. Let V be a k-scheme of finite type, i.e., a k-variety, which is integral. We prove that if the associated arc scheme \({\mathcal{L}_{\infty}(V)}\) is reduced, then the \({\mathcal{O}_{V}}\)-Module \({\Omega_{V/k}^{1}}\) is torsion-free. Then if the k-variety V is assumed to be locally a complete intersection (lci), we deduce that the k-variety V is normal. We also obtain the following consequence: for every class \({\mathfrak{C}}\) of integral k-curves which satisfies the Berger conjecture, and for every \({\mathscr{C} \in \mathfrak{C}}\), the k-curve \({\mathscr{C}}\) is smooth if and only if \({\mathcal{L}(\mathscr{C})}\) is reduced.     

Mutually prime sequences of inner functions and the ranks of subspaces over the bidisk

Let \({\{\varphi_n(z)\}_{n\ge0}}\) be a sequence of inner functions satisfying that \({\zeta_n(z):=\varphi_n(z)/\varphi_{n+1}(z)\in H^\infty(z)}\) for every n ≥ 0 and \({\{\varphi_n(z)\}_{n\ge0}}\) have no nonconstant common inner divisors. Associated with it, we have a Rudin type invariant subspace \({\mathcal{M}}\) of \({H^2(\mathbb{D}^2)}\) . We write \({\mathcal{N}= H^2(\mathbb{D}^2)\ominus\mathcal{M}}\) . If \({\{\zeta_n(z)\}_{n\ge0}}\) ia a mutually prime sequence, then we shall prove that \({rank_{\{T^\ast_z,T^\ast_w\}} \mathcal{N}=1}\) and \({rank_{\{\mathcal{F}^\ast_z\}}(\mathcal{M}\ominus w\mathcal{M})=1}\) , where \({\mathcal{F}_z}\) is the fringe operator on \({\mathcal{M}\ominus w\mathcal{M}}\) .     

Links of Faithful Partial Tilting Modules

For a basic, hereditary, finite dimensional algebra Λ over an algebraically closed field k we consider the quiver \({\overrightarrow{\mathcal K}\!_{\Lambda}}\) of tilting modules and the subquivers of \({\overrightarrow{\mathcal K}\!_{\Lambda}}\) which are links \({\overrightarrow{{\text{lk}}}(M)}\) to partial tilting modules M and show that \({\overrightarrow{{\text{lk}}}(M)}\) is connected if M is faithful.     

Codes with the identifiable parent property for multimedia fingerprinting

Let \({\mathcal {C}}\) be a q-ary code of length n and size M, and \({\mathcal {C}}(i) = \{\mathbf{c}(i) \ | \ \mathbf{c}=(\mathbf{c}(1), \mathbf{c}(2), \ldots , \mathbf{c}(n))^{T} \in {\mathcal {C}}\}\) be the set of ith coordinates of \({\mathcal {C}}\). The descendant code of a sub-code \({\mathcal {C}}^{'} \subseteq {\mathcal {C}}\) is defined to be \({\mathcal {C}}^{'}(1) \times {\mathcal {C}}^{'}(2) \times \cdots \times {\mathcal {C}}^{'}(n)\). In this paper, we introduce a multimedia analogue of codes with the identifiable parent property (IPP), called multimedia IPP codes or t-MIPPC(n, M, q), so that given the descendant code of any sub-code \({\mathcal {C}}^{'}\) of a multimedia t-IPP code \({\mathcal {C}}\), one can always identify, as IPP codes do in the generic digital scenario, at least one codeword in \({\mathcal {C}}^{'}\). We first derive a general upper bound on the size M of a multimedia t-IPP code, and then investigate multimedia 3-IPP codes in more detail. We characterize a multimedia 3-IPP code of length 2 in terms of a bipartite graph and a generalized packing, respectively. By means of these combinatorial characterizations, we further derive a tight upper bound on the size of a multimedia 3-IPP code of length 2, and construct several infinite families of (asymptotically) optimal multimedia 3-IPP codes of length 2.