Holomorphic symplectic geometry: a problem list

A list of open problems on holomorphic symplectic, contact and Poisson manifolds

On the Rozansky-Witten weight systems

Ideas of Rozansky and Witten, as developed by Kapranov, show that a complex symplectic manifold X gives rise to Vassiliev weight systems. In this paper we study these weight systems by using D(X), the derived category of coherent sheaves on X. The main idea (stated here a little imprecisely) is that D(X) is the category of modules over the shifted tangent sheaf, which is a Lie algebra object in D(X); the weight systems then arise from this Lie algebra in a standard way. The other main results are a description of the symmetric algebra, universal enveloping algebra, and Duflo isomorphism in this context, and the fact that a slight modification of D(X) has the structure of a braided ribbon category, which gives another way to look at the associated invariants of links. Our original motivation for this work was to try to gain insight into the Jacobi diagram algebras used in Vassiliev theory by looking at them in a new light, but there are other potential applications, in particular to the rigorous construction of the (1+1+1)-dimensional Rozansky-Witten TQFT, and to hyperkaehler geometry

Modelling and analyzing adaptive self-assembling strategies with Maude

Building adaptive systems with predictable emergent behavior is a challenging task and it is becoming a critical need. The research community has accepted the challenge by introducing approaches of various nature: from software architectures, to programming paradigms, to analysis techniques. We recently proposed a conceptual framework for adaptation centered around the role of control data. In this paper we show that it can be naturally realized in a reflective logical language like Maude by using the Reflective Russian Dolls model. Moreover, we exploit this model to specify and analyse a prominent example of adaptive system: robot swarms equipped with obstacle-avoidance self-assembly strategies. The analysis exploits the statistical model checker PVesta

Feasibility of using microbeads with holographic barcodes to track DNA specimens in the clinical molecular laboratory

We demonstrate the feasibility of using glass microbeads with a holographic barcode identifier to track DNA specimens in the molecular pathology laboratory. These beads can be added to peripheral blood specimens and are carried through automated DNA extraction protocols that use magnetic glass particles. We found that an adequate number of microbeads are consistently carried over during genomic DNA extraction to allow specimen identification, that the beads do not interfere with the performance of several different molecular assays, and that the beads and genomic DNA remain stable when stored together under regular storage conditions in the molecular pathology laboratory. The beads function as an internal, easily readable specimen barcode. This approach may be useful for identifying DNA specimens and reducing errors associated with molecular laboratory testing

An adaptive stereo basis method for convolutive blind audio source separation

NOTICE: this is the author’s version of a work that was accepted for publication in Neurocomputing. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in PUBLICATION, [71, 10-12, June 2008] DOI:neucom.2007.08.02

Lagrangian fibrations of holomorphic-symplectic varieties of K3^[n]-type

Let X be a compact Kahler holomorphic-symplectic manifold, which is deformation equivalent to the Hilbert scheme of length n subschemes of a K3 surface. Let L be a nef line-bundle on X, such that the 2n-th power of c_1(L) vanishes and c_1(L) is primitive. Assume that the two dimensional subspace H^{2,0}(X) + H^{0,2}(X), of the second cohomology of X with complex coefficients, intersects trivially the integral cohomology. We prove that the linear system of L is base point free and it induces a Lagrangian fibration on X. In particular, the line-bundle L is effective. A determination of the semi-group of effective divisor classes on X follows, when X is projective. For a generic such pair (X,L), not necessarily projective, we show that X is bimeromorphic to a Tate-Shafarevich twist of a moduli space of stable torsion sheaves, each with pure one dimensional support, on a projective K3 surface.Comment: 34 pages. v3: Reference [Mat5] and Remark 1.8 added. Incorporated improvement to the exposition and corrected typos according to the referees suggestions. To appear in the proceedings of the conference Algebraic and Complex Geometry, Hannover 201

A molecular dynamics study on the equilibrium magnetization properties and structure of ferrofluids

We investigate in detail the initial susceptibility, magnetization curves, and microstructure of ferrofluids in various concentration and particle dipole moment ranges by means of molecular dynamics simulations. We use the Ewald summation for the long-range dipolar interactions, take explicitly into account the translational and rotational degrees of freedom, coupled to a Langevin thermostat. When the dipolar interaction energy is comparable with the thermal energy, the simulation results on the magnetization properties agree with the theoretical predictions very well. For stronger dipolar couplings, however, we find systematic deviations from the theoretical curves. We analyze in detail the observed microstructure of the fluids under different conditions. The formation of clusters is found to enhance the magnetization at weak fields and thus leads to a larger initial susceptibility. The influence of the particle aggregation is isolated by studying ferro-solids, which consist of magnetic dipoles frozen in at random locations but which are free to rotate. Due to the artificial suppression of clusters in ferro-solids the observed susceptibility is considerably lowered when compared to ferrofluids.Comment: 33 pages including 12 figures, requires RevTex