Let A be a commutative ring, B a commutative A-algebra and M a complex of B-modules. We begin by constructing the square SqB/A M , which is also a complex of B-modules. The squaring operation is a quadratic functor, and its construction requires differential graded (DG) algebras. If there exists an isomorphism ρ : M ≃ −→ SqB/A M then the pair (M,ρ) is called a rigid complex over B relative to A...

This primarily expository article collects together some facts from the literature about the monodromy of differential equations on a p-adic (rigid analytic) annulus, though often with simpler proofs. These include Matsuda’s classification of quasiunipotent ∇-modules, the Christol-Mebkhout construction of the ramification filtration, and the Christol-Dwork Frobenius antecedent theorem. We also ...

This paper reports on recent work undertaken to study the use of virtual environments for the prediction and assessment of aesthetic quality within the automobile industry. This paper builds on previously reported work and focuses on the recent development and evaluation of two new simulation modules that extend an existing system to facilitate the visualisation of non-nominal product variants....

We define and study certain moduli stacks of modules equipped with a Frobenius semi-linear endomorphism. These stacks can be thought of as parametrizing the coefficients of a variable Galois representation and are global variants of the spaces of Kisin–Breuil Φ-modules used by Kisin in his study of deformation spaces of local Galois representations. A version of a rigid analytic period map is d...

We define a numerical invariant, the differential Swan conductor, for certain differential modules on a rigid analytic annulus over a p-adic field. This gives a definition of a conductor for p-adic Galois representations with finite local monodromy over an equal characteristic discretely valued field, which agrees with the usual Swan conductor when the residue field is perfect.

This paper describes a general purpose system based on elementary motion and rigid-body detection that is able to efficiently segment moving objects using a sparse map of features from the visual field. FPGA implementation allows real-time image processing on an embedded system. The modular design allows to add other modules and to use the system in very diverse applications.

In a new version of the Unix operating system, a flexible coroutine-based design replaces the traditional rigid connection between processes and terminals or networks. Processing modules may be inserted dynamically into the stream that connects a user’s program to a device. Programs may also connect directly to programs, providing interprocess communication.

Abstract The graphical description of morphisms in rigid monoidal categories, in particular in ribbon categories, is summarized. It is illustrated with various examples of algebraic structures in such categories, like algebras, (weak) bi-algebras, Frobenius algebras, and modules and bimodules. Nakayama automorphisms of Frobenius algebras are introduced; they are inner iff the algebra is symmetric.

This paper gives a method to construct rigid spaces, which is similar to the method used to construct toric schemes.