Abelian and Hamiltonian varieties of groupoids

We study certain groupoids generating Abelian, strongly Abelian, and Hamiltonian varieties. An algebra is Abelian if t( a,[`(c)] ) = t( a,[`(d)] ) ? t( b,[`(c)] ) = t( b,[`(d)] ) t\left( {a,\bar{c}} \right) = t\left( {a,\bar{d}} \right) \to t\left( {b,\bar{c}} \right) = t\left( {b,\bar{d}} \right) for any polynomial operation on the algebra and for all elements a, b, [`(c)] \bar{c} , [`(d)] \bar{d} . An algebra is strongly Abelian if t( a,[`(c)] ) = t( b,[`(d)] ) ? t( e,[`(c)] ) = t( e,[`(d)] ) t\left( {a,\bar{c}} \right) = t\left( {b,\bar{d}} \right) \to t\left( {e,\bar{c}} \right) = t\left( {e,\bar{d}} \right) for any polynomial operation on the algebra and for arbitrary elements a, b, e, [`(c)] \bar{c} , [`(d)] \bar{d} . An algebra is Hamiltonian if any subalgebra of the algebra is a congruence class. A variety is Abelian (strongly Abelian, Hamiltonian) if all algebras in a respective class are Abelian (strongly Abelian, Hamiltonian). We describe semigroups, groupoids with unity, and quasigroups generating Abelian, strongly Abelian, and Hamiltonian varieties.     

Operator-valued H ∞-calculus in Inter- and Extrapolation Spaces

We generalize a Hilbert space result by Auscher, McIntosh and Nahmod to arbitrary Banach spaces X and to not densely defined injective sectorial operators A. A convenient tool proves to be a certain universal extrapolation space associated with A. We characterize the real interpolation space ( X,D( A^a ) ?R( A^a ) )_q,p{\left( {X,\mathcal{D}{\left( {A^{\alpha } } \right)} \cap \mathcal{R}{\left( {A^{\alpha } } \right)}} \right)}_{{\theta ,p}} as

Lower bound in the Bernstein inequality for the first derivative of algebraic polynomials

We prove that max |p′(x)|, where p runs over the set of all algebraic polynomials of degree not higher than n ≥ 3 bounded in modulus by 1 on [−1, 1], is not lower than ( n - 1 ) \mathord

On Bernstein–Walsh-type lemmas in regions of the complex plane

Let G ì \mathbb C G \subset {\mathbb C} be a finite region bounded by a Jordan curve L: = ?G L: = \partial G , let W: = \textext[`(G)] \Omega : = {\text{ext}}\bar{G} (with respect to [`(\mathbb C)] {\overline {\mathbb C}} ), $ \Delta : = \left\{ {z:\left| z \right| > 1} \right\} $ \Delta : = \left\{ {z:\left| z \right| > 1} \right\} , and let w = F(z) w = \Phi (z) be a univalent conformal mapping of Ω onto Δ normalized by $ \Phi \left( \infty \right) = \infty, \;\Phi '\left( \infty \right) > 0 $ \Phi \left( \infty \right) = \infty, \;\Phi '\left( \infty \right) > 0 . By A _p (G); p > 0; we denote a class of functions f analytic in G and satisfying the condition

On the ring of local polynomial invariants for a pair of entangled qubits

The entanglement characteristics of two qubits are encoded in the invariants of the adjoint action of the group SU(2) ⊗ SU(2) on the space of density matrices \mathfrakP₊ {\mathfrak{P}_{+} } , defined as the space of 4 × 4 positive semidefinite Hermitian matrices. The corresponding ring \textC[ \mathfrakP₊ ]^{\textSU( 2 ) ?\textSU ?( 2 )} {\text{C}}{\left[ {{\mathfrak{P}_{+} }} \right]^{{\text{SU}}\left( {2} \right) \otimes {\text{SU}} \otimes \left( {2} \right)}} of polynomial invariants is studied. A special integrity basis for \textC[ \mathfrakP₊ ]^{\textSU( 2 ) ?\textSU ?( 2 )} {\text{C}}{\left[ {{\mathfrak{P}_{+} }} \right]^{{\text{SU}}\left( {2} \right) \otimes {\text{SU}} \otimes \left( {2} \right)}} is described, and the constraints on its elements imposed by the positive semidefiniteness of density matrices are given explicitly in the form of polynomial inequalities. The suggested basis is characterized by the property that the minimum number of invariants, namely, two primary invariants of degree 2, 3 and one secondary invariant of degree 4 appearing in the Hironaka decomposition of \textC[ \mathfrakP₊ ]^{\textSU( 2 ) ?\textSU ?( 2 )} {\text{C}}{\left[ {{\mathfrak{P}_{+} }} \right]^{{\text{SU}}\left( {2} \right) \otimes {\text{SU}} \otimes \left( {2} \right)}} , are subject to the polynomial inequalities. Bibliography: 32 titles.     

Purity for overconvergence

Let X \hookrightarrow[`(X)]{X \hookrightarrow \overline{X}} be an open immersion of smooth varieties over a field of characteristic p > 0 such that the complement is a simple normal crossing divisor and [`(Z)] í Z í [`(X)]{\overline{Z}\subseteq Z \subseteq \overline{X}} closed subschemes of codimension at least 2. In this paper, we prove that the canonical restriction functor between the categories of overconvergent F-isocrystals F-Isoc<sup>f</sup>(X,[`(X)]) ? F-Isoc^f(X\Z,[`(X)]\[`(Z)]){F-{\rm Isoc}^\dagger(X,\overline{X}) \longrightarrow F-{\rm Isoc}^\dagger(X{\setminus}Z, \overline{X}{\setminus}\overline{Z})} is an equivalence of categories. We also give an application of our result to the equivalence of certain categories.     

Proof of a conjecture of V. Nikiforov

Using analytical tools, we prove that for any simple graph G on n vertices and its complement [`(G)]\bar G the inequality $\mu \left( G \right) + \mu \left( {\bar G} \right) \leqslant \tfrac{4} {3}n - 1$\mu \left( G \right) + \mu \left( {\bar G} \right) \leqslant \tfrac{4} {3}n - 1 holds, where μ(G) and m( [`(G)] )\mu \left( {\bar G} \right) denote the greatest eigenvalue of adjacency matrix of the graphs G and [`(G)]\bar G respectively.     

Existence and uniqueness of a solution to the Dirichlet problem for a quasilinear equation inside and outside a paraboloid

We consider the Dirichlet problem for the equation

On the rational cohomology of moduli spaces of curves with level structures

We investigate low degree rational cohomology groups of smooth compactifications of moduli spaces of curves with level structures. In particular, we determine H^k([`(S)]<sub>g</sub>, \mathbb Q){H^k\left({\bar S}_{g}, {\mathbb Q}\right)} for g ≥ 2 and k ≤ 3, where [`(S)]_g{{\bar S}_{g}} denotes the moduli space of spin curves of genus g.     

An $ \mathfrak{X} $-crown of a finite soluble group

Let G be a finite soluble group and F_\mathfrakX(G) {\Phi_\mathfrak{X}}(G) an intersection of all those maximal subgroups M of G for which G

Abelian and Hamiltonian groupoids

In this work, we investigate some groupoids that are Abelian algebras and Hamiltonian algebras. An algebra is Abelian if for every polynomial operation and for all elements a, b, [`(c)] \bar{c} , [`(d)] \bar{d} the implication t( a,[`(c)] ) = t( a,[`(d)] ) T t( b,[`(c)] ) = t( b,[`(d)] ) t\left( {a,\bar{c}} \right) = t\left( {a,\bar{d}} \right) \Rightarrow t\left( {b,\bar{c}} \right) = t\left( {b,\bar{d}} \right) holds. An algebra is Hamiltonian if every subalgebra is a block of some congruence on the algebra. R. J. Warne in 1994 described the structure of the Abelian semigroups. In this work, we describe the Abelian groupoids with identity, the Abelian finite quasigroups, and the Abelian semigroups S such that abS = aS and Sba = Sa for all a, b ∈ S. We prove that a finite Abelian quasigroup is a Hamiltonian algebra. We characterize the Hamiltonian groupoids with identity and semigroups under the condition of Abelianity of these algebras.     

A new look at the moduli space of stable hyperelliptic curves

We carry out the log minimal model program for the moduli space ${\bar H_g}We carry out the log minimal model program for the moduli space [`(H)]<sub>g</sub>{\bar H_g} of stable hyperelliptic curves and show that certain log canonical models of [`(H)]_g{\bar H_g} are isomorphic to the proper transform of [`(H)]<sub>g</sub>{\bar H_g} in the corresponding log canonical models of [`(M)]_g{\bar M_g}. For g = 3, we retrieve the compact moduli space [`(B)]<sub>8</sub>{\bar B_{8}} of binary forms as a log canonical model, and obtain a decomposition of the natural map [`(H)]₃ ? [`(B)]<sub>8</sub>{\bar H_3 \to \bar B_{8}} into successive divisorial contractions of the boundary divisors. As a byproduct, we also obtain an isomorphism of [`(B)]₈{\bar B_8} with the GIT quotient of the Chow variety of bicanonically embedded hyperelliptic curves of genus three.     

On quasiorder lattices and topology lattices of algebras

In this paper, it is shown that the dual [(\textQord)\tilde]\mathfrakA \widetilde{\text{Qord}}\mathfrak{A} of the quasiorder lattice of any algebra \mathfrakA \mathfrak{A} is isomorphic to a sublattice of the topology lattice á( \mathfrakA ) \Im \left( \mathfrak{A} \right) . Further, if \mathfrakA \mathfrak{A} is a finite algebra, then [(\textQord)\tilde]\mathfrakA @ á( \mathfrakA ) \widetilde{\text{Qord}}\mathfrak{A} \cong \Im \left( \mathfrak{A} \right) . We give a sufficient condition for the lattices [(\textCon)\tilde]\mathfrakA\text, [(\textQord)\tilde]\mathfrakA \widetilde{\text{Con}}\mathfrak{A}{\text{,}} \widetilde{\text{Qord}}\mathfrak{A} , and á( \mathfrakA ) \Im \left( \mathfrak{A} \right) . to be pairwise isomorphic. These results are applied to investigate topology lattices and quasiorder lattices of unary algebras.     

Beurling-Malliavin theory for Toeplitz kernels

We consider the family of Toeplitz operators T_J[`(S)]^aT_{J\bar{S}^{a}} acting in the Hardy space H ² in the upper halfplane; J and S are given meromorphic inner functions, and a is a real parameter. In the case where the argument of S has a power law type behavior on the real line, we compute the critical value

On the Hölder constant for the second order derivatives of admissible solutions to m-Hessian equations

We construct an a priori estimate of the seminorm á u_xx ñ_{a, [`(W)]} {\left\langle {{u_{xx}}} \right\rangle_{\alpha, \bar{\Omega }}} for solutions to the problem

Calculus of functors,operad formality,and rational homology of embedding spaces

Let M be a smooth manifold and V a Euclidean space. Let [`(\textEmb)] \overline{{{\text{Emb}}}} (M,V) be the homotopy fiber of the map Emb(M,V) → Imm(M,V). This paper is about the rational homology of [`(\textEmb)] \overline{{{\text{Emb}}}} (M,V). We study it by applying embedding calculus and orthogonal calculus to the bifunctor (M,V)↦ HQ ∧ [`(\textEmb)] \overline{{{\text{Emb}}}} (M,V)₊. Our main theorem states that if

On extremal properties for the polar derivative of polynomials

If p(z) is a polynomial of degree n having all its zeros on |z| = k, k ≤ 1, then it is proved[5] that max |z|=1 |p′(z)| ≤ kn1n + kn m|z|=ax1 |p(z)|. In this paper, we generalize the above inequality by extending it to the polar derivative of a polynomial of the type p(z) = cnzn + ∑n j=μ cn jzn j, 1 ≤μ≤ n. We also obtain certain new inequalities concerning the maximum modulus of a polynomial with restricted zeros.     

Uniform rates of approximation by short asymptotic expansions in the CLT for quadratic forms

Let X, X ₁, X ₂,… be i.i.d. \mathbbR^d {\mathbb{R}^d} -valued real random vectors. Assume that E X = 0 and that X has a nondegenerate distribution. Let G be a mean zero Gaussian random vector with the same covariance operator as that of X. We study the distributions of nondegenerate quadratic forms \mathbbQ[ S_N ] \mathbb{Q}\left[ {{S_N}} \right] of the normalized sums S _N  = N ^−1/2 (X ₁ + ⋯ + X _N ) and show that, without any additional conditions,

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

Estimate for the remainder in the Weyl asymptotics of the spectrum of the Maxwell operator in Lipschitz domains

We study the asymptotics of the spectrum of the Maxwell operator M in a bounded Lipschitz domain W ì \mathbbR³ \Omega \subset {\mathbb{R}^3} under the condition of the perfect conductivity of the boundary ∂Ω. We obtain the following estimate for the remainder in the Weyl asymptotic expansion of the counting function N(λ,M) of positive eigenvalues of the Maxwell operator M: