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.     

Extended equivariant Picard complexes and homogeneous spaces

Let k be a field of characteristic 0 and let [`(k)] \bar{k} be a fixed algebraic closure of k. Let X be a smooth geometrically integral k-variety; we set [`(X)] = X ×_k[`(k)] \bar{X} = X{ \times_k}\bar{k} and denote by [`(X)] \bar{X} . In [BvH2] we defined the extended Picard complex of X as the complex of Gal( [`(k)]

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.     

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.     

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

About a special class of two-dimensional complex Finsler spaces

In this paper we investigate a class of two-dimensional complex Finsler spaces, called η-Einstein, in [3]. The holomorphic sectional curvatures of such spaces, in directions of the local complex Berwald frames {l, m, [`(l)],[`(m)]\bar l,\bar m} and {λ, μ, [`(l)] ,[`(m)]\bar \lambda ,\bar \mu } are studied. We classify some subclasses of η-Einstein spaces, with respect to the horizontal holomorphic sectional curvature in direction λ. Finally, a special approach is devoted to the holomorphic bisectional curvatures of the two — dimensional η-Einstein spaces.     

Solvability of boundary-value problems for nonlinear fractional differential equations

We consider the existence of nontrivial solutions of the boundary-value problems for nonlinear fractional differential equations

Ricci-flat Kähler metrics on crepant resolutions of Kähler cones

We prove that a crepant resolution π : Y → X of a Ricci-flat Kähler cone X admits a complete Ricci-flat Kähler metric asymptotic to the cone metric in every Kähler class in ${H^2_c(Y,\mathbb{R})}We prove that a crepant resolution π : Y → X of a Ricci-flat K?hler cone X admits a complete Ricci-flat K?hler metric asymptotic to the cone metric in every K?hler class in H²_c(Y,\mathbbR){H^2_c(Y,\mathbb{R})}. A K?hler cone (X,[`(g)]){(X,\bar{g})} is a metric cone over a Sasaki manifold (S, g), i.e. ${X=C(S):=S\times\mathbb{R}_{ >0 }}${X=C(S):=S\times\mathbb{R}_{ >0 }} with [`(g)]=dr² +r² g{\bar{g}=dr^2 +r^2 g}, and (X,[`(g)]){(X,\bar{g})} is Ricci-flat precisely when (S, g) Einstein of positive scalar curvature. This result contains as a subset the existence of ALE Ricci-flat K?hler metrics on crepant resolutions p:Y? X=\mathbbC<sup>n</sup> /G{\pi:Y\rightarrow X=\mathbb{C}^n /\Gamma}, with G ì SL(n,\mathbbC){\Gamma\subset SL(n,\mathbb{C})}, due to P. Kronheimer (n = 2) and D. Joyce (n > 2). We then consider the case when X = C(S) is toric. It is a result of A. Futaki, H. Ono, and G. Wang that any Gorenstein toric K?hler cone admits a Ricci-flat K?hler cone metric. It follows that if a toric K?hler cone X = C(S) admits a crepant resolution π : Y → X, then Y admits a T <sup>n</sup> -invariant Ricci-flat K?hler metric asymptotic to the cone metric (X,[`(g)]){(X,\bar{g})} in every K?hler class in H²_c(Y,\mathbbR){H^2_c(Y,\mathbb{R})}. A crepant resolution, in this context, is a simplicial fan refining the convex polyhedral cone defining X. We then list some examples which are easy to construct using toric geometry.     

Similarity and consimilarity of elements in the real Cayley-Dickson algebras

The similarity and consimilarity of elements in the real quaternion, octonion and sedenion algebras, as well as in the general real Cayley-Dickson algebras are considered by solving the two fundamental equationsax=xb andax = [`(x)]bax = \bar xb in these algebras. Some consequences are also presented.     

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.     

Smoothed analysis of condition numbers and complexity implications for linear programming

We perform a smoothed analysis of Renegar’s condition number for linear programming by analyzing the distribution of the distance to ill-posedness of a linear program subject to a slight Gaussian perturbation. In particular, we show that for every n-by-d matrix Ā, n-vector [`(\varvec b)]{\bar{\varvec b}}, and d-vector [`(\varvec c)]{\bar{\varvec c}} satisfying ||[`(A)], [`(\varvec b)], [`(\varvec c)]||_F ￡ 1{{||\bar{\bf A}, \bar{\varvec b}, \bar{\varvec c}||_F \leq 1}} and every σ ≤ 1,

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

Classification of the centers, of their cyclicity and isochronicity for two classes of generalized quintic polynomial differential systems

In this paper we classify the centers localized at the origin of coordinates, the cyclicity of their Hopf bifurcation and their isochronicity for the polynomial differential systems in \mathbbR²{\mathbb{R}^2} of degree d that in complex notation z = x + i y can be written as

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

Nuclear dimension and $\mathcal{Z}$-stability of pure C∗-algebras

In this article I study a number of topological and algebraic dimension type properties of simple C^∗-algebras and their interplay. In particular, a simple C^∗-algebra is defined to be (tracially) (m,[`(m)])(m,\bar{m})-pure, if it has (strong tracial) m-comparison and is (tracially) [`(m)]\bar{m}-almost divisible. These notions are related to each other, and to nuclear dimension.     

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.     

Solving Two Pairs of Quadratic Equations in Quaternions

Two quaternions a and b are said to be semi-similar if there are x and y such that xay = b and yax = b; said to be con-semi-similar if there are x and y such that [`(x)]ay = b\bar{x}ay = b and [`(y)]bx = a\bar{y}bx = a. In this note, the solvability conditions and general solutions to the two pairs of equations in quaternions are established.     

Partitions involving D.H. Lehmer numbers

Let n ≥ 2 be a fixed integer, let q and c be two integers with q > n and (n, q) = (c, q) = 1. For every positive integer a which is coprime with q we denote by [`(a)]<sub>c</sub>{\overline{a}_{c}} the unique integer satisfying 1 ￡ [`(a)]_c ￡ q{1\leq\overline{a}_{c} \leq{q}} and a[`(a)]_c o c(mod q){a\overline{a}_{c} \equiv{c}({\rm mod}\, q)}. Put

On Integral Conditions for the General Beltrami Equations

Under integral restrictions on dilatations, it is proved existence theorems for the degenerate Beltrami equations with two characteristics [`(?)]f = m?f + n[`(?f)]{{\overline {\partial}}f = \mu {{\partial f}} + \nu{\overline {\partial f}}} and, in particular, to the Beltrami equations of the second type [`(?)]f = n[`(?f)]{{\overline {\partial}}f = \nu{\overline {\partial f}}} that play a great role in many problems of mathematical physics and to the so-called reduced Beltrami equations [`(?)]f = lRe ?f{{\overline {\partial}}f = \lambda {\rm Re}\,{{\partial f}}} that also have significant applications.