3d Theories and Modularity
نویسندگان
چکیده
Abstract In this section, we connect the brane setup of above 2d A -model to 3d/3d correspondence and shed light on various modular representations coming from geometry.
منابع مشابه
On modularity of theories
We call these subtheories modules. Examples of such theories can be found in reasoning about actions, where each T αi contains descriptions of the atomic action αi in terms of preconditions and effects, and T ∅ is the set of static laws (alias domain constraints, alias integrity constraints), i.e. those formulas that hold in every possible state of a dynamic system. For example, T marry = {¬mar...
متن کاملOn the Modularity of Theories
In this paper we give the notion of modularity of a theory and analyze some of its properties, especially for the case of action theories in reasoning about actions. We propose algorithms to check whether a given action theory is modular and that also make it modular, if needed. Completeness, correctness and termination results are demonstrated.
متن کاملCombination of convex theories: Modularity, deduction completeness, and explanation
Decision procedures are key components of theorem provers and constraint satisfaction systems. Their modular combination is of prime interest for building efficient systems, but their effective use is often limited by poor interface capabilities, when such procedures only provide a simple “sat/unsat” answer. In this paper, we develop a rule-based framework to design cooperation schemas between ...
متن کاملHolomorphicity and Modularity in Seiberg-Witten Theories with Matter
We calculate the gravitational corrections to the effective action of N=2 SU(2) Seiberg-Witten theory with matter using modularity, the holomorphic anomaly equation and expected behavior at the boundaries of the moduli space. As in pure gauge theory we show that the gap condition at the dyon singularities completely fixes the gravitational corrections. We discuss the behavior of the gravitation...
متن کاملEffect of Magnetic Field and a Mode-I Crack 3D-Problem in Micropolar Thermoelastic Cubic Medium Possessing Under Three Theories
A model of the equations of two dimensional problems in a half space, whose surface in free of micropolar thermoelastic medium possesses cubic symmetry as a result of a Mode-I Crack is studied. There acts an initial magnetic field parallel to the plane boundary of the half- space. The crack is subjected to prescribed temperature and stress distribution. The formulation in the context of the Lor...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: SpringerBriefs in mathematical physics
سال: 2023
ISSN: ['2197-1765', '2197-1757']
DOI: https://doi.org/10.1007/978-3-031-28154-9_3