Commuting variety of Witt algebra

Let \(\mathfrak{g} = W_1 \) be the Witt algebra over an algebraically closed field k of characteristic p > 3; and let Open image in new window be the commuting variety of g. In contrast with the case of classical Lie algebras of P. Levy [J. Algebra, 2002, 250: 473–484], we show that the variety Open image in new window is reducible, and not equidimensional. Irreducible components of Open image in new window and their dimensions are precisely given. As a consequence, the variety Open image in new window is not normal.     

Invariant and stationary measures for the action on Moduli space

We prove some ergodic-theoretic rigidity properties of the action of Open image in new window on moduli space. In particular, we show that any ergodic measure invariant under the action of the upper triangular subgroup of Open image in new window is supported on an invariant affine submanifold.The main theorems are inspired by the results of several authors on unipotent flows on homogeneous spaces, and in particular by Ratner’s seminal work.     

Weighted Solyanik Estimates for the Hardy–Littlewood Maximal Operator and Embedding of into

Let Open image in new window denote a weight in Open image in new window which belongs to the Muckenhoupt class Open image in new window and let Open image in new window denote the uncentered Hardy–Littlewood maximal operator defined with respect to the measure Open image in new window . The sharp Tauberian constant of Open image in new window with respect to Open image in new window , denoted by Open image in new window , is defined by

Open image in new window

In this paper, we show that the Solyanik estimate

$$\begin{aligned} \lim _{\alpha \rightarrow 1^-}\mathsf{C}_{w}(\alpha ) = 1 \end{aligned}$$

holds. Following the classical theme of weighted norm inequalities we also consider the sharp Tauberian constants defined with respect to the usual uncentered Hardy–Littlewood maximal operator Open image in new window and a weight Open image in new window :

Open image in new window

We show that we have Open image in new window if and only if Open image in new window . As a corollary of our methods we obtain a quantitative embedding of Open image in new window into Open image in new window .

     

Geodesic mapping onto Kählerian spaces of the first kind

In the present paper a generalized Kählerian space Open image in new window of the first kind is considered as a generalized Riemannian space \(\mathbb{G}\mathbb{R}_N \) with almost complex structure F _i ^h that is covariantly constant with respect to the first kind of covariant derivative.Using a non-symmetric metric tensor we find necessary and sufficient conditions for geodesic mappings f: Open image in new window with respect to the four kinds of covariant derivatives. These conditions have the form of a closed system of partial differential equations in covariant derivatives with respect to unknown components of the metric tensor and the complex structure of the Kählerian space Open image in new window .     

Power boundedness in the Fourier and Fourier–Stieltjes algebras on homogeneous spaces

We study power boundedness in the Fourier and Fourier–Stieltjes algebras, Open image in new window and Open image in new window of a homogeneous space Open image in new window The main results characterizes when all elements with spectral radius at most one, in any of these algebras, are power bounded.     

Restriction Theorems on M\'{e}tiver Groups Associated to Joint Functional Calculus

The authors get on Métivier groups the spectral resolution of a class of operators Open image in new window , the joint functional calculus of the sub-Laplacian and Laplacian on the centre, and then give some restriction theorems together with their asymptotic estimates, asserting the mix-norm boundedness of the spectral projection operators \(\mathcal{P}_\mu^m\) for two classes of functions m(a, b) = (a^α + b^β)^γ or (1 + a^α + b^β)^γ, with α, β > 0, γ ≠ 0.     

Positive definite and Gram tensor complementarity problems

Given a continuous function Open image in new window and Open image in new window , the non-linear complementarity problem \(\text{ NCP }(g,q)\) is to find a vector Open image in new window such that

$$\begin{aligned} x \ge 0,~~y:=g(x) +q\ge 0~~\text{ and }~~x^Ty=0. \end{aligned}$$

We say that g has the Globally Uniquely Solvable (\(\text{ GUS }\))-property if \(\text{ NCP }(g,q)\) has a unique solution for all Open image in new window and C-property if \(\mathrm{NCP}(g,q)\) has a convex solution set for all Open image in new window . In this paper, we find a class of non-linear functions that have the \(\text{ GUS }\)-property and C-property. These functions are constructed by some special tensors which are positive semidefinite. We call these tensors as Gram tensors.

     

Asymptotic Normality of Some Graph Sequences

For a simple finite graph G denote by Open image in new window the number of ways of partitioning the vertex set of G into k non-empty independent sets (that is, into classes that span no edges of G). If \(E_n\) is the graph on n vertices with no edges then Open image in new window coincides with Open image in new window , the ordinary Stirling number of the second kind, and so we refer to Open image in new window as a graph Stirling number. Harper showed that the sequence of Stirling numbers of the second kind, and thus the graph Stirling sequence of \(E_n\), is asymptotically normal—essentially, as n grows, the histogram of Open image in new window , suitably normalized, approaches the density function of the standard normal distribution. In light of Harper’s result, it is natural to ask for which sequences \((G_n)_{n \ge 0}\) of graphs is there asymptotic normality of Open image in new window . Thanh and Galvin conjectured that if for each n, \(G_n\) is acyclic and has n vertices, then asymptotic normality occurs, and they gave a proof under the added condition that \(G_n\) has no more than \(o(\sqrt{n/\log n})\) components. Here we settle Thanh and Galvin’s conjecture in the affirmative, and significantly extend it, replacing “acyclic” in their conjecture with “co-chromatic with a quasi-threshold graph, and with negligible chromatic number”. Our proof combines old work of Navon and recent work of Engbers, Galvin and Hilyard on the normal order problem in the Weyl algebra, and work of Kahn on the matching polynomial of a graph.     

A weird relation between two cardinals

For a set M, let \({\text {seq}}(M)\) denote the set of all finite sequences which can be formed with elements of M, and let \([M]^2\) denote the set of all 2-element subsets of M. Furthermore, for a set A, let Open image in new window denote the cardinality of A. It will be shown that the following statement is consistent with Zermelo–Fraenkel Set Theory \(\textsf {ZF}\): There exists a set M such that Open image in new window and no function Open image in new window is finite-to-one.     

Fixed points of <Emphasis Type="Italic">n</Emphasis>-valued maps on surfaces and the Wecken property—a configuration space approach

In this paper, we explore the fixed point theory of n-valued maps using configuration spaces and braid groups, focusing on two fundamental problems, the Wecken property, and the computation of the Nielsen number. We show that the projective plane (resp. the 2-sphere S²) has the Wecken property for n-valued maps for all n ∈ ? (resp. all n ≥ 3). In the case n = 2 and S², we prove a partial result about the Wecken property. We then describe the Nielsen number of a non-split n-valued map Open image in new window of an orientable, compact manifold without boundary in terms of the Nielsen coincidence numbers of a certain finite covering q: X? → X with a subset of the coordinate maps of a lift of the n-valued split map Open image in new window .     

Dualities and algebras with a near-unanimity term

Let P be a finite relational structure that admits a (k +  1)-ary nearunanimity polymorphism. Then the NU Duality Theorem tells us that the algebra, whose operations are the polymorphisms of P, is dualisable with a dualising alter ego given by. We show that a more efficient alter ego can be obtained by using obstructions, as introduced by Zádori. We show that in the case that P is an ordered set (and therefore is an order-primal algebra), the duality that we obtain is strong. We close the paper by showing that if P is a finite fence, then our duality is optimal.     

Some remarks on the ring

Some properties like factoriality, seminormality and being a Krull domain, … are studied on power series rings , and over a commutative ring A. If \(\mathbb{X}\) is an uncountable set, there is an other sub-ring of that stands strictly between and , we denote it by . In this paper, we study properties mentioned before on the ring .     

AFFINE EXTENSIONS OF PRINCIPAL ADDITIVE BUNDLES OVER A PUNCTURED SURFACE

The aim of this article is to make a first step towards the classification of complex normal affine

Open image in new window

_α -threefolds X. We consider the case where the restriction of the quotient morphism π: X → S to π^?1 (S _* ), where S _* denotes the complement of some regular closed point in S, is a principal

Open image in new window

_α -bundle. The variety SL₂ will be of special interest and a source of many examples. It has a natural right

Open image in new window

_α -action such that the quotient morphism SL₂ →

Open image in new window

² restricts to a principal

Open image in new window

_α -bundle over the punctured plane

Open image in new window

.

     

<Emphasis Type="Italic">C</Emphasis>*-Homomorphisms and duality of <Emphasis Type="Italic">C</Emphasis>*-discrete quantum groups

Let

Open image in new window

be a C*-discrete quantum group and let

Open image in new window

be the discrete quantum group associated with

Open image in new window

. Suppose that there exists a continuous action of

Open image in new window

on a unital C*-algebra

Open image in new window

so that

Open image in new window

becomes a

Open image in new window

-algebra. If there is a faithful irreducible vacuum representation π of

Open image in new window

on a Hilbert space H =

Open image in new window

with a vacuum vector Ω, which gives rise to a

Open image in new window

-invariant state, then there is a unique C*-representation (θ, H) of

Open image in new window

supplemented by the action. The fixed point subspace of

Open image in new window

under the action of

Open image in new window

is exactly the commutant of θ(

Open image in new window

).

     

A BKR Operation for Events Occurring for Disjoint Reasons with High Probability

Given events A and B on a product space \(S={\prod }_{i = 1}^{n} S_{i}\), the set \(A \Box B\) consists of all vectors x = (x₁,…,x_n) ∈ S for which there exist disjoint coordinate subsets K and L of {1,…,n} such that given the coordinates x_i,i ∈ K one has that x ∈ A regardless of the values of x on the remaining coordinates, and likewise that x ∈ B given the coordinates x_j,j ∈ L. For a finite product of discrete spaces endowed with a product measure, the BKR inequality

$$ P(A \Box B) \le P(A)P(B) $$

(1)

was conjectured by van den Berg and Kesten (J Appl Probab 22:556–569, 1985) and proved by Reimer (Combin Probab Comput 9:27–32, 2000). In Goldstein and Rinott (J Theor Probab 20:275–293, 2007) inequality Eq. 1 was extended to general product probability spaces, replacing \(A \Box B\) by the set Open image in new window consisting of those outcomes x for which one can only assure with probability one that x ∈ A and x ∈ B based only on the revealed coordinates in K and L as above. A strengthening of the original BKR inequality Eq. 1 results, due to the fact that Open image in new window . In particular, it may be the case that \(A \Box B\) is empty, while Open image in new window is not. We propose the further extension Open image in new window depending on probability thresholds s and t, where Open image in new window is the special case where both s and t take the value one. The outcomes Open image in new window are those for which disjoint sets of coordinates K and L exist such that given the values of x on the revealed set of coordinates K, the probability that A occurs is at least s, and given the coordinates of x in L, the probability of B is at least t. We provide simple examples that illustrate the utility of these extensions.

     

A duality theorem for Tate–Shafarevich groups of curves over algebraically closed fields

In this note, we prove a duality theorem for the Tate–Shafarevich group of a finite discrete Galois module over the function field K of a curve over an algebraically closed field: there is a perfect duality of finite groups Open image in new window for F a finite étale Galois module on K of order invertible in K and with \(F' = {{\mathrm{Hom}}}(F,\mathbf{Q}/\mathbf {Z}(1))\). Furthermore, we prove that \(\mathrm {H}^1(K,G) = 0\) for G a simply connected, quasisplit semisimple group over K not of type \(E_8\).     

SINGULAR CONFORMALLY INVARIANT TRILINEAR FORMS,I THE MULTIPLICITY ONE THEOREM

A normalized holomorphic family (depending on Open image in new window ∈ ?³) of conformally invariant trilinear forms on the sphere is studied. Its zero set Z is described. For Open image in new window ? Z, the multiplicity of the space of conformally invariant trilinear forms is shown to be 1.     

EXOTIC SYMMETRIC SPACES OF HIGHER LEVEL: SPRINGER CORRESPONDENCE FOR COMPLEX REFLECTION GROUPS

Let G?=?GL(V) for a 2n-dimensional vector space V, and θ an involutive automorphism of G such that H?=?G ^θ ???Sp(V). Let Open image in new window be the set of unipotent elements g ∈ G such that θ(g)?=?g ^?1. For any integer r?≥?2, we consider the variety Open image in new window , on which H acts diagonally. Let Open image in new window be a complex reflection group. In this paper, generalizing the known result for r?=?2, we show that there exists a natural bijective correspondence (Springer correspondence) between the set of irreducible representations of W _n,r and a certain set of H-equivariant simple perverse sheaves on Open image in new window . We also consider a similar problem for Open image in new window , on which G acts diagonally, where G?=?GL(V) for a finite-dimensional vector space V.     

On Jordan ideals and submodules: Algebraic and analytic aspects

Let

Open image in new window

be an algebra, and let X be an arbitrary

Open image in new window

-bimodule. A linear space Y ? X is called a Jordan

Open image in new window

-submodule if Ay + yA ∈ Y for all A ∈

Open image in new window

and y ∈ Y. (For X =

Open image in new window

, this coincides with the notion of a Jordan ideal.) We study conditions under which Jordan submodules are subbimodules. General criteria are given in the purely algebraic situation as well as for the case of Banach bimodules over Banach algebras. We also consider symmetrically normed Jordan submodules over C*-algebras. It turns out that there exist C*-algebras in which not all Jordan ideals are ideals.

     

Nonseparable closed vector subspaces of separable topological vector spaces

In 1983 P. Domański investigated the question: For which separable topological vector spaces E, does the separable space Open image in new window have a nonseparable closed vector subspace, where \(\hbox {c}\) is the cardinality of the continuum? He provided a partial answer, proving that every separable topological vector space whose completion is not q-minimal (in particular, every separable infinite-dimensional Banach space) E has this property. Using a result of S.A. Saxon, we show that for a separable locally convex space (lcs) E, the product space Open image in new window has a nonseparable closed vector subspace if and only if E does not have the weak topology. On the other hand, we prove that every metrizable vector subspace of the product of any number of separable Hausdorff lcs is separable. We show however that for the classical Michael line \(\mathbb M\) the space of all continuous real-valued functions on \(\mathbb M\) endowed with the pointwise convergence topology, \(C_p(\mathbb M)\) contains a nonseparable closed vector subspace while \(C_p(\mathbb M)\) is separable.