Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Introducing Stone-Priestley duality theory and its applications to logic and theoretical computer science, this book equips graduate students and researchers with the theoretical background necessary for reading and understanding current research in the area. After giving a thorough introduction to the algebraic, topological, logical, and categorical aspects of the theory, the book covers two advanced applications in computer science, namely in domain theory and automata theory. These topics are at the forefront of active research seeking to unify semantic methods with more algorithmic topics in finite model theory. Frequent exercises punctuate the text, with hints and references provided.

Lattices, Distributive --- Duality theory (Mathematics)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The authors study imaginary representations of the Khovanov-Lauda-Rouquier algebras of affine Lie type. Irreducible modules for such algebras arise as simple heads of standard modules. In order to define standard modules one needs to have a cuspidal system for a fixed convex preorder. A cuspidal system consists of irreducible cuspidal modules-one for each real positive root for the corresponding affine root system {t X}_l^{(1)}, as well as irreducible imaginary modules-one for each l-multiplication. The authors study imaginary modules by means of "imaginary Schur-Weyl duality" and introduce an imaginary analogue of tensor space and the imaginary Schur algebra. They construct a projective generator for the imaginary Schur algebra, which yields a Morita equivalence between the imaginary and the classical Schur algebra, and construct imaginary analogues of Gelfand-Graev representations, Ringel duality and the Jacobi-Trudy formula.

Duality theory (Mathematics) --- Representations of Lie algebras.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Adopting an elegant geometrical approach, this advanced pedagogical text describes deep and intuitive methods for understanding the subtle logic of supersymmetry while avoiding lengthy computations. The book describes how complex results and formulae obtained using other approaches can be significantly simplified when translated to a geometric setting. Introductory chapters describe geometric structures in field theory in the general case, while detailed later chapters address specific structures such as parallel tensor fields, G-structures, and isometry groups. The relationship between structures in supergravity and periodic maps of algebraic manifolds, Kodaira-Spencer theory, modularity, and the arithmetic properties of supergravity are also addressed. Relevant geometric concepts are introduced and described in detail, providing a self-contained toolkit of useful techniques, formulae and constructions. Covering all the material necessary for the application of supersymmetric field theories to fundamental physical questions, this is an outstanding resource for graduate students and researchers in theoretical physics.

Supersymmetry. --- Geometrical constructions. --- Duality (Nuclear physics) --- Duality theory (Mathematics)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Measure theory. Mathematical integration --- Duality theory (Mathematics) --- Measure theory. --- Duality theory (Mathematics). --- Spaces of measures. --- Espaces de mesures.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

In recent years the traditional subject of continuum mechanics has grown rapidly and many new techniques have emerged. This text provides a rigorous, yet accessible introduction to the basic concepts of the network approximation method and provides a unified approach for solving a wide variety of applied problems. As a unifying theme, the authors discuss in detail the transport problem in a system of bodies. They solve the problem of closely placed bodies using the new method of network approximation for PDE with discontinuous coefficients, developed in the 2000s by applied mathematicians in the USA and Russia. Intended for graduate students in applied mathematics and related fields such as physics, chemistry and engineering, the book is also a useful overview of the topic for researchers in these areas.

Composite materials --- Graph theory. --- Differential equations, Partial. --- Duality theory (Mathematics) --- Mathematical models.