
We discuss a universal algebraic approach to quasiexactly solvable models
which allows us to interpret them as constrained Hamiltonian systems with a
finite number of physical states. Using this approach we reproduce wellknown
twodimensional Liealgebraic quasiexactly solvable system based on Lie
algebra su(3).

In this paper we discuss a general algebraic approach to treating static
equations of matrix models with a masslike term. In this approach the
equations of motions are considered as consequence of parafermilike trilinear
commutation relations. In this context we consider several solutions, including
construction of noncommutative spheres. The equivalence of fuzzy spheres and
parafermions is underlined.

In this paper we discuss constraints on twodimensional quantummechanical
systems living in domains with boundaries. The constrains result from the
requirement of hermicity of corresponding Hamiltonians. We construct new
twodimensional families of formally exactly solvable systems and applying such
constraints show that in real the systems are quasiexactly solvable at best.
Nevertheless in the context of pseudoHermitian Hamiltonians some of the
constructed families are exactly solvable.

We emphasize intertwining relations as a universal tool in constructing
onedimensional quasiexactly solvable operators and offer their possible
generalization to the multidimensional case. Considered examples include all
quasiexactly solvable operators with invariant subspaces of monomials. We show
that the simplest case of generalized intertwining relations allows to
naturally relate quasiexactly solvable operators with two invariant monomial
subspaces to a nonlinear parasupersymmetry of second order. Quantummechanical
systems with linear and nonlinear supersymmetry are discussed from the
viewpoint of quasiexact solvability. We construct such a general system with a
cubic supersymmetry and argue that quantummechanical systems with nonlinear
supersymmetry of fourth order and higher are generally not quasiexactly
solvable. Besides, we construct two examples of quasiexactly solvable
operators with invariant subspaces which cannot be reduced to monomial spaces.

The nonlinear supersymmetry of onedimensional systems is investigated in the
context of the quantum anomaly problem. Any classical supersymmetric system
characterized by the nonlinear in the Hamiltonian superalgebra is
symplectomorphic to a supersymmetric canonical system with the holomorphic form
of the supercharges. Depending on the behaviour of the superpotential, the
canonical supersymmetric systems are separated into the three classes. In one
of them the parameter specifying the supersymmetry order is subject to some
sort of classical quantization, whereas the supersymmetry of another extreme
class has a rather fictive nature since its fermion degrees of freedom are
decoupled completely by a canonical transformation. The nonlinear supersymmetry
with polynomial in momentum supercharges is analysed, and the most general
oneparametric Calogerolike solution with the second order supercharges is
found. Quantization of the systems of the canonical form reveals the two
anomalyfree classes, one of which gives rise naturally to the quasiexactly
solvable systems. The quantum anomaly problem for the Calogerolike models is
``cured'' by the specific superpotentialdependent term of order $\hbar^2$. The
nonlinear supersymmetry admits the generalization to the case of
twodimensional systems.