arXiv subjects

H. M. Khudaverdian

Publications and source records attributed to H. M. Khudaverdian.

16 recordsLinked to original sources

arXiv2024

On the Buchstaber--Rees theory of "Frobenius $n$-homomorphisms" and its generalization

This is a survey of our results on the theory of $n$-homomorphisms of Buchstaber--Rees and its generalization that we obtained. In short, we are concerned with classes of linear maps between commutative rings that can be described the "next level after ring homomorphisms" with respect to multiplicative properties. Our main tool is a construction which we call the "characteristic function" -- whose functional properties encode algebraic properties of a linear map in question. Namely, if the characteristic function is polynomial of degree $n$, the map is an $n$-homomorphism in the sense of Buchstaber--Rees, and our approach simplifies their theory substantially. If the characteristic function is an irreducible rational fraction with the numerator and denominator of degrees $p$ and $q$ respectively, we arrive at a new notion of a "$p|q$-homomorphism". Examples of $p|q$-homomorphisms are sums and differences of ring homomorphisms. Our construction is motivated by our earlier results in superalgebra/supergeometry concerning Berezinians and super exterior powers.

math.RA↗

arXiv2016

Odd Symmetric Tensors, and an Analogue of the Levi-Civita Connection for an Odd Symplectic Supermanifold

We consider odd Poisson (odd symplectic) structure on supermanifolds induced by an odd symmetric rank $2$ (non-degenerate) contravariant tensor field. We describe the difference between odd Riemannian and odd symplectic structure in terms of the Cartan prolongation of the corresponding Lie algebras, and formulate an analogue of the Levi-Civita theorem for an odd symplectic supermanifold.

math-ph↗

arXiv2016

Diophantine equations, Platonic solids, McKay correspondence, equivelar maps and Vogel's universality

We notice that one of the Diophantine equations, $knm=2kn+2km+2nm$, arising in the universality originated Diophantine classification of simple Lie algebras, has interesting interpretations for two different sets of signs of variables. In both cases it describes "regular polyhedrons" with $k$ edges in each vertex, $n$ edges of each face, with total number of edges $|m|$, and Euler characteristics $χ=\pm 2$. In the case of negative $m$ this equation corresponds to $χ=2$ and describes true regular polyhedrons, Platonic solids. The case with positive $m$ corresponds to Euler characteristic $χ=-2$ and describes the so called equivelar maps (charts) on the surface of genus $2$. In the former case there are two routes from Platonic solids to simple Lie algebras - abovementioned Diophantine classification and McKay correspondence. We compare them for all solutions of this type, and find coincidence in the case of icosahedron (dodecahedron), corresponding to $E_8$ algebra. In the case of positive $k$, $n$ and $m$ we obtain in this way the interpretation of (some of) the mysterious solutions (Y-objects), appearing in the Diophantine classification and having some similarities with simple Lie algebras.

math-ph↗

arXiv2016

Odd Laplacians: geometrical meaning of potential, and modular class

A second order self-adjoint operator $Δ=S\partial^2+U$ is uniquely defined by its principal symbol $S$ and potential $U$ if it acts on half-densities. We analyse the potential $U$ as a compensating field (gauge field) in the sense that it compensates the action of coordinate transformations on the second derivatives in the same way as an affine connection compensates the action of coordinate transformations on first derivatives in the first order operator, a covariant derivative, $\nabla=\partial+Γ$. Usually a potential $U$ is derived from other geometrical constructions such as a volume form, an affine connection, or a Riemannian structure, etc. The story is different if $Δ$ is an odd operator on a supermanifold. In this case the second order potential becomes a primary object. For example, in the case of an odd symplectic supermanifold, the compensating field of the canonical odd Laplacian depends only on this symplectic structure, and can be expressed by the formula obtained by K.Bering. We also study modular classes of odd Poisson manifolds via $Δ$-operators, and consider an example of a non-trivial modular class which is related with the Nijenhuis bracket.

math-ph↗

arXiv2016

Universal volume of groups and anomaly of Vogel's symmetry

We show that integral representation of universal volume function of compact simple Lie groups gives rise to six analytic functions on $CP^2$, which transform as two triplets under group of permutations of Vogel's projective parameters. This substitutes expected invariance under permutations of universal parameters by more complicated covariance. We provide an analytical continuation of these functions and particularly calculate their change under permutations of parameters. This last relation is universal generalization, for an arbitrary simple Lie group and an arbitrary point in Vogel's plane, of the Kinkelin's reflection relation on Barnes' $G(1+N)$ function. Kinkelin's relation gives asymmetry of the $G(1+N)$ function (which is essentially the volume function for $SU(N)$ groups) under $N\leftrightarrow -N$ transformation (which is equivalent of the permutation of parameters, for $SU(N)$ groups), and coincides with universal relation on permutations at the $SU(N)$ line on Vogel's plane. These results are also applicable to universal partition function of Chern-Simons theory on three-dimensional sphere. This effect is analogous to modular covariance, instead of invariance, of partition functions of appropriate gauge theories under modular transformation of couplings.

hep-th↗

arXiv2014

Operator pencils on the algebra of densities

In this paper we continue to study equivariant pencil liftings and differential operators on the algebra of densities. We emphasize the role that the geometry of the extended manifold plays. Firstly we consider basic examples. We give a projective line of diff($M$)-equivariant pencil liftings for first order operators, and the canonical second order self-adjoint lifting. Secondly we study pencil liftings equivariant with respect to volume preserving transformations. This helps to understand the role of self-adjointness for the canonical pencils. Then we introduce the Duval-Lecomte-Ovsienko (DLO)-pencil lifting which is derived from the full symbol calculus of projective quantisation. We use the DLO-pencil lifting to describe all regular proj-equivariant pencil liftings. In particular the comparison of these pencils with the canonical pencil for second order operators leads to objects related to the Schwarzian. Within this paper the question of whether the pencil lifting factors through a full symbol map naturally arises.

math.DG↗

arXiv2014

Second order operators on the algebra of densities and a groupoid of connections

We consider the geometry of second order linear operators acting on the commutative algebra of densities on a (super)manifold introduced in our previous work. In the conventional language, operators on the algebra of densities correspond to operator pencils. This algebra has a natural invariant scalar product. We consider self-adjoint operators on the algebra of densities and analyze the corresponding "canonical operator pencils" passing through a given operator on densities of a particular weight. There are singular values for the pencil parameters. This leads to an interesting geometrical picture. In particular we obtain operators that depend on equivalence classes of connections and we study a groupoid of connections such that the orbits of this groupoid are these equivalence classes. Based on this point of view we analyze two examples: the second order canonical operator on an odd symplectic supermanifold appearing in the Batalin-Vilkovisky geometry and the Sturm-Liouville operator on the line related with classical constructions of projective geometry. We also consider a canonical second order semidensity arising on odd symplectic supermanifolds, which has some resemblance with mean curvature in Riemannian geometry.

math-ph↗

arXiv2013

Kaluza-Klein theory revisited: projective structures and differential operators on algebra of densities

We consider differential operators acting on densities of arbitrary weights on manifold $M$ identifying pencils of such operators with operators on algebra of densities of all weights. This algebra can be identified with the special subalgebra of functions on extended manifold $\hat M$. On one hand there is a canonical lift of projective structures on $M$ to affine structures on extended manifold $\hat M$. On the other hand the restriction of algebra of all functions on extended manifold to this special subalgebra of functions implies the canonical scalar product. This leads in particular to classification of second order operators with use of Kaluza-Klein-like mechanisms.

math-ph↗

arXiv2013

Geometric constructions on the algebra of densities

The algebra of densities $\Den(M)$ is a commutative algebra canonically associated with a given manifold or supermanifold $M$. We introduced this algebra earlier in connection with our studies of Batalin--Vilkovisky geometry. The algebra $\Den(M)$ is graded by real numbers and possesses a natural invariant scalar product. This leads to important geometric consequences and applications to geometric constructions on the original manifold. In particular, there is a classification theorem for derivations of the algebra $\Den(M)$. It allows a natural definition of bracket operations on vector densities of various weights on a (super)manifold $M$, similar to how the classical Frölicher--Nijenhuis theorem on derivations of the algebra of differential forms leads to the Nijenhuis bracket. It is possible to extend this classification from "vector fields" (derivations) on $\Den(M)$ to "multivector fields". This leads to the striking result that an arbitrary even Poisson structure on $M$ possesses a canonical lifting to the algebra of densities. (The latter two statements were obtained by our student A.Biggs.) This is in sharp contrast with the previously studied case of an odd Poisson structure, where extra data are required for such a lifting.

math-ph↗

arXiv2013

Operator pencil passing through a given operator

Let $Δ$ be a linear differential operator acting on the space of densities of a given weight $\lo$ on a manifold $M$. One can consider a pencil of operators $\hPi(Δ)=\{Δ_ł\}$ passing through the operator $Δ$ such that any $Δ_ł$ is a linear differential operator acting on densities of weight $ł$. This pencil can be identified with a linear differential operator $\hD$ acting on the algebra of densities of all weights. The existence of an invariant scalar product in the algebra of densities implies a natural decomposition of operators, i.e. pencils of self-adjoint and anti-self-adjoint operators. We study lifting maps that are on one hand equivariant with respect to divergenceless vector fields, and, on the other hand, with values in self-adjoint or anti-self-adjoint operators. In particular we analyze the relation between these two concepts, and apply it to the study of $\diff(M)$-equivariant liftings. Finally we briefly consider the case of liftings equivariant with respect to the algebra of projective transformations and describe all regular self-adjoint and anti-self-adjoint liftings.

math-ph↗

arXiv2012

Geometry of differential operators of second order, the algebra of densities, and groupoids

In our previous works, we introduced, for each (super)manifold, a commutative algebra of densities. It is endowed with a natural invariant scalar product. In this paper, we study geometry of differential operators of second order on this algebra. In the more conventional language they correspond to certain operator pencils. We consider the self-adjoint operators and analyze the operator pencils that pass through a given operator acting on densities of a particular weight. There are `singular values' for pencil parameters. They are related with interesting geometric picture. In particular, we obtain operators that depend on certain equivalence classes of connections (instead of connections as such). We study the corresponding groupoids. From this point of view we analyze two examples: the canonical Laplacian on an odd symplectic supermanifold appearing in Batalin--Vilkovisky geometry and the Sturm--Liouville operator on the line, related with classical constructions of projective geometry. We also consider the canonical second order semi-density arising on odd symplectic supermanifolds, which has some similarity with mean curvature of surfaces in Riemannian geometry.

math.DG↗

arXiv2010

A short proof of the Buchstaber-Rees theorem

We give a short proof of the Buchstaber-Rees theorem concerning symmetric powers. The proof is based on the notion of a formal characteristic function of a linear map of algebras.

math-ph↗

arXiv2008

Higher Poisson Brackets and Differential Forms

We show how the relation between Poisson brackets and symplectic forms can be extended to the case of inhomogeneous multivector fields and inhomogeneous differential forms (or pseudodifferential forms). In particular we arrive at a notion which is a generalization of a symplectic structure and gives rise to higher Poisson brackets. We also obtain a construction of Koszul type brackets in this setting.

math-ph↗

arXiv2007

Operators on superspaces and generalizations of the Gelfand-Kolmogorov theorem

(Write-up of a talk at the Bialowieza meeting, July 2007.) Gelfand and Kolmogorov in 1939 proved that a compact Hausdorff topological space $X$ can be canonically embedded into the infinite-dimensional vector space $C(X)^* $, the dual space of the algebra of continuous functions $C(X)$ as an "algebraic variety" specified by an infinite system of quadratic equations. Buchstaber and Rees have recently extended this to all symmetric powers $\Sym^n(X)$ using their notion of the Frobenius $n$-homomorphisms. We give a simplification and a further extension of this theory, which is based, rather unexpectedly, on results from super linear lgebra.

math-ph↗

arXiv2007

On generalized symmetric powers and a generalization of Kolmogorov-Gelfand-Buchstaber-Rees theory

The classical Kolmogorov-Gelfand theorem gives an embedding of a (compact Hausdorff) topological space X into the linear space of all linear functionals C(X)^* on the algebra of continuous functions C(X). The image is specified by algebraic equations: f(ab)=f(a)f(b) for all functions a, b on X; that is, the image consists of all algebra homomorphisms of C(X) to numbers. Buchstaber and Rees have found that not only X, but all symmetric powers of X can be embedded into the space C(X)^*. The embedding is again given by algebraic equations, but more complicated. Algebra homomorphisms are replaced by the so-called "n-homomorphisms", the notion that can be traced back to Frobenius, but which explicitly appeared in Buchstaber and Rees's works on multivalued groups. We give a further natural generalization of Kolmogorov-Gelfand-Buchstaber-Rees theory. Symmetric powers of a space X or of an algebra A are replaced by certain "generalized symmetric powers" Sym^{p|q}(X) and S^{p|q}A, which we introduce, and n-homomorphisms, by the new notion of "p|q-homomorphisms". Important tool of our study is a certain "characteristic function" R(f,a,z), which we introduce for an arbitrary linear map of algebras f, and whose functional properties with respect to the variable z reflect algebraic properties of the map f.

math.RA↗

arXiv2004

Berezinians, Exterior Powers and Recurrent Sequences

We study power expansions of the characteristic function of a linear operator $A$ in a $p|q$-dimensional superspace $V$. We show that traces of exterior powers of $A$ satisfy universal recurrence relations of period $q$. `Underlying' recurrence relations hold in the Grothendieck ring of representations of $\GL(V)$. They are expressed by vanishing of certain Hankel determinants of order $q+1$ in this ring, which generalizes the vanishing of sufficiently high exterior powers of an ordinary vector space. In particular, this allows to explicitly express the Berezinian of an operator as a rational function of traces. We analyze the Cayley--Hamilton identity in a superspace. Using the geometric meaning of the Berezinian we also give a simple formulation of the analog of Cramer's rule.

math.DG↗