Potts models with magnetic field: Arithmetic,geometry, and computation

We give a sheaf theoretic interpretation of Potts models with external magnetic field, in terms of constructible sheaves and their Euler characteristics. We show that the polynomial countability question for the hypersurfaces defined by the vanishing of the partition function is affected by changes in the magnetic field: elementary examples suffice to see non-polynomially countable cases that become polynomially countable after a perturbation of the magnetic field. The same recursive formula for the Grothendieck classes, under edge-doubling operations, holds as in the case without magnetic field, but the closed formulae for specific examples like banana graphs differ in the presence of magnetic field. We give examples of computation of the Euler characteristic with compact support, for the set of real zeros, and find a similar exponential growth with the size of the graph. This can be viewed as a measure of topological and algorithmic complexity. We also consider the computational complexity question for evaluations of the polynomial, and show both tractable and NP-hard examples, using dynamic programming.     

Interpreting Observables in a Quantum World from the Categorial Standpoint

We develop a relativistic perspective on structures of quantum observables, in terms of localization systems of Boolean coordinatizing charts. This perspective implies that the quantum world is comprehended via Boolean reference frames for measurement of observables, pasted together along their overlaps. The scheme is formalized categorically, as an instance of the adjunction concept. The latter is used as a framework for the specification of a categorical equivalence signifying an invariance in the translational code of communication between Boolean localizing contexts and quantum systems. Aspects of the scheme semantics are discussed in relation to logic. The interpretation of coordinatizing localization systems, as structure sheaves, provides the basis for the development of an algebraic differential geometric machinery suited to the quantum regime.     

Action of the Cremona group on a noncommutative ring

The Cremona group acts on the field of two independent commutative variables over complex numbers. We provide a noncommutative algebra that is an analog of a noncommutative field of two independent variables and prove that the Cremona group embeds in a group of outer automorphisms of this algebra. We give two proofs of it, the first proof is technical, the second one is conceptual and proceeds through a construction of a birational invariant of an algebraic variety from its bounded derived category of coherent sheaves.     

On the Action of the Dual Group on the Cohomology of Perverse Sheaves on the Affine Grassmannian

It was proved by Ginzburg, Mirkovic and Vilonen that the G(O)-equivariant perverse sheaves on the affine Grassmannian of a connected reductive group G form a tensor category equivalent to the tensor category of finite dimensional representations of the dual group G . In this paper we construct explicitly the action of G on the global cohomology of a perverse sheaf.     

A localization argument for characters of reductive Lie groups

This article provides a geometric bridge between two entirely different character formulas for reductive Lie groups and answers the question posed by Schmid (in: Deformation Theory and Symplectic Geometry, Mathematical Physics Studies, Vol. 20, Kluwer Academic Publishers, Dordrecht, 1997, pp. 259-270).A corresponding problem in the compact group setting was solved by Berline et al. (Heat Kernels and Dirac Operators, Springer, Berlin, 1992) by an application of the theory of equivariant forms and particularly the fixed point integral localization formula. This article (besides its representation-theoretical significance) provides a whole family of examples where it is possible to localize integrals to fixed points with respect to an action of a noncompact group. Moreover, a localization argument given here is not specific to the particular setting considered in this article and can be extended to a more general situation.There is a broadly accessible article (Libine, A Localization Argument for Characters of Reductive Lie Groups: An Introduction and Examples, 2002, math.RT/0208024) which explains how the argument works in the case, where the key ideas are not obstructed by technical details and where it becomes clear how it extends to the general case.     

Sheaves on Involutive Quantaloids

We extend the well-known notions of a singleton, complete -set, presheaf and sheaf over a complete Heyting algebra or a right-sided idempotent quantale to arbitrary involutive quantaloids. We show that sheaves on and complete -sets come to the same thing. This paper can be considered as a symmetric version of an earlier work of the author.     

Vector bundles with a fixed determinant on an irreducible nodal curve

LetM be the moduli space of generalized parabolic bundles (GPBs) of rankr and degree dona smooth curveX. LetM _−L be the closure of its subset consisting of GPBs with fixed determinant− L. We define a moduli functor for whichM _−L is the coarse moduli scheme. Using the correspondence between GPBs onX and torsion-free sheaves on a nodal curveY of whichX is a desingularization, we show thatM _−L can be regarded as the compactified moduli scheme of vector bundles onY with fixed determinant. We get a natural scheme structure on the closure of the subset consisting of torsion-free sheaves with a fixed determinant in the moduli space of torsion-free sheaves onY. The relation to Seshadri-Nagaraj conjecture is studied.