scholarly journals Weyl n-algebras and the Kontsevich integral of the unknot

2016 ◽  
Vol 25 (12) ◽  
pp. 1642008
Author(s):  
Nikita Markarian
Keyword(s):  
Lie Algebra ◽  
Wilson Loop ◽  
Scalar Product ◽  
Symplectic Structure ◽  
Loop Invariant ◽  
First Order ◽  
Order Deformation ◽  
Definition Of ◽  
Hochschild Complex

Given a Lie algebra with a scalar product, one may consider the latter as a symplectic structure on a [Formula: see text]-scheme, which is the spectrum of the Chevalley–Eilenberg algebra. In Sec. 1 we explicitly calculate the first-order deformation of the differential on the Hochschild complex of the Chevalley–Eilenberg algebra. The answer contains the Duflo character. This calculation is used in the last section. There we sketch the definition of the Wilson loop invariant of knots, which is, hopefully, equal to the Kontsevich integral, and show that for unknot they coincide. As a byproduct, we get a new proof of the Duflo isomorphism for a Lie algebra with a scalar product.

scholarly journals Parabolic conformally symplectic structures I; definition and distinguished connections

2018 ◽  
Vol 30 (3) ◽  
pp. 733-751 ◽  
Author(s):  
Andreas Čap ◽  
Tomáš Salač
Keyword(s):  
Lie Algebra ◽  
Geometric Structure ◽  
Tangent Bundle ◽  
Smooth Manifold ◽  
Symplectic Structure ◽  
Linear Connection ◽  
Underlying Structure ◽  
Normalization Condition ◽  
Lie Algebra Cohomology ◽  
First Order

AbstractWe introduce a class of first order G-structures, each of which has an underlying almost conformally symplectic structure. There is one such structure for each real simple Lie algebra which is not of type {C_{n}} and admits a contact grading. We show that a structure of each of these types on a smooth manifold M determines a canonical compatible linear connection on the tangent bundle {\mathrm{TM}}. This connection is characterized by a normalization condition on its torsion. The algebraic background for this result is proved using Kostant’s theorem on Lie algebra cohomology. For each type, we give an explicit description of both the geometric structure and the normalization condition. In particular, the torsion of the canonical connection naturally splits into two components, one of which is exactly the obstruction to the underlying structure being conformally symplectic. This article is the first in a series aiming at a construction of differential complexes naturally associated to these geometric structures.

scholarly journals AUXILIARY REPRESENTATIONS OF LIE ALGEBRAS AND THE BRST CONSTRUCTIONS

2000 ◽  
Vol 15 (04) ◽  
pp. 281-291 ◽  
Author(s):  
ČESTMÍR BURDÍK ◽  
A. PASHNEV ◽  
M. TSULAIA
Keyword(s):  
Lie Algebra ◽  
Lie Algebras ◽  
Scalar Product ◽  
Fock Space ◽  
Kernel Operator ◽  
Brst Charge ◽  
Representations Of Lie Algebras ◽  
Definition Of

The method of constructing auxiliary representations for a given Lie algebra is discussed in the framework of the BRST approach. The corresponding BRST charge turns out to be non-hermitian. This problem is solved by the introduction of the additional kernel operator in the definition of the scalar product in the Fock space. The existence of the kernel operator is proven for any Lie algebra.

scholarly journals Off-Shell Noether Currents and Potentials for First-Order General Relativity

Symmetry ◽  
2021 ◽  
Vol 13 (2) ◽  
pp. 348
Author(s):  
Merced Montesinos ◽  
Diego Gonzalez ◽  
Rodrigo Romero ◽  
Mariano Celada
Keyword(s):  
General Relativity ◽  
Vector Fields ◽  
Killing Vector ◽  
Spherically Symmetric ◽  
Killing Vector Fields ◽  
Arbitrary Vector ◽  
Four Dimensions ◽  
First Order ◽  
Direct Form ◽  
Definition Of

We report off-shell Noether currents obtained from off-shell Noether potentials for first-order general relativity described by n-dimensional Palatini and Holst Lagrangians including the cosmological constant. These off-shell currents and potentials are achieved by using the corresponding Lagrangian and the off-shell Noether identities satisfied by diffeomorphisms generated by arbitrary vector fields, local SO(n) or SO(n−1,1) transformations, ‘improved diffeomorphisms’, and the ‘generalization of local translations’ of the orthonormal frame and the connection. A remarkable aspect of our approach is that we do not use Noether’s theorem in its direct form. By construction, the currents are off-shell conserved and lead naturally to the definition of off-shell Noether charges. We also study what we call the ‘half off-shell’ case for both Palatini and Holst Lagrangians. In particular, we find that the resulting diffeomorphism and local SO(3,1) or SO(4) off-shell Noether currents and potentials for the Holst Lagrangian generically depend on the Immirzi parameter, which holds even in the ‘half off-shell’ and on-shell cases. We also study Killing vector fields in the ‘half off-shell’ and on-shell cases. The current theoretical framework is illustrated for the ‘half off-shell’ case in static spherically symmetric and Friedmann–Lemaitre–Robertson–Walker spacetimes in four dimensions.

scholarly journals Solving puzzles in deformed JT gravity: phase transitions and non-perturbative effects

2021 ◽  
Vol 2021 (4) ◽  
Author(s):  
Clifford V. Johnson ◽  
Felipe Rosso
Keyword(s):  
Phase Structure ◽  
Scalar Potential ◽  
String Equation ◽  
Two Dimensional ◽  
Leading Order ◽  
Classical Analysis ◽  
First Order ◽  
First Order Phase Transition ◽  
Definition Of ◽  
First Order Phase

Abstract Recent work has shown that certain deformations of the scalar potential in Jackiw-Teitelboim gravity can be written as double-scaled matrix models. However, some of the deformations exhibit an apparent breakdown of unitarity in the form of a negative spectral density at disc order. We show here that the source of the problem is the presence of a multi-valued solution of the leading order matrix model string equation. While for a class of deformations we fix the problem by identifying a first order phase transition, for others we show that the theory is both perturbatively and non-perturbatively inconsistent. Aspects of the phase structure of the deformations are mapped out, using methods known to supply a non-perturbative definition of undeformed JT gravity. Some features are in qualitative agreement with a semi-classical analysis of the phase structure of two-dimensional black holes in these deformed theories.

scholarly journals Formula size games for modal logic and μ-calculus

2019 ◽  
Vol 29 (8) ◽  
pp. 1311-1344 ◽  
Author(s):  
Lauri T Hella ◽  
Miikka S Vilander
Keyword(s):  
Modal Logic ◽  
Optimal Strategy ◽  
Order Logic ◽  
First Order Logic ◽  
Kripke Models ◽  
First Order ◽  
Modal Operators ◽  
Crucial Difference ◽  
Definition Of ◽  
Person Game

Abstract We propose a new version of formula size game for modal logic. The game characterizes the equivalence of pointed Kripke models up to formulas of given numbers of modal operators and binary connectives. Our game is similar to the well-known Adler–Immerman game. However, due to a crucial difference in the definition of positions of the game, its winning condition is simpler, and the second player does not have a trivial optimal strategy. Thus, unlike the Adler–Immerman game, our game is a genuine two-person game. We illustrate the use of the game by proving a non-elementary succinctness gap between bisimulation invariant first-order logic $\textrm{FO}$ and (basic) modal logic $\textrm{ML}$. We also present a version of the game for the modal $\mu $-calculus $\textrm{L}_\mu $ and show that $\textrm{FO}$ is also non-elementarily more succinct than $\textrm{L}_\mu $.

scholarly journals Actions, topological terms and boundaries in first-order gravity: A review

2016 ◽  
Vol 25 (04) ◽  
pp. 1630011 ◽  
Author(s):  
Alejandro Corichi ◽  
Irais Rubalcava-García ◽  
Tatjana Vukašinac
Keyword(s):  
Boundary Conditions ◽  
Symplectic Structure ◽  
Equations Of Motion ◽  
Hamiltonian Formalism ◽  
Action Principle ◽  
Internal Boundary ◽  
Four Dimensions ◽  
First Order ◽  
Conserved Charges ◽  
Boundary Terms

In this review, we consider first-order gravity in four dimensions. In particular, we focus our attention in formulations where the fundamental variables are a tetrad [Formula: see text] and a [Formula: see text] connection [Formula: see text]. We study the most general action principle compatible with diffeomorphism invariance. This implies, in particular, considering besides the standard Einstein–Hilbert–Palatini term, other terms that either do not change the equations of motion, or are topological in nature. Having a well defined action principle sometimes involves the need for additional boundary terms, whose detailed form may depend on the particular boundary conditions at hand. In this work, we consider spacetimes that include a boundary at infinity, satisfying asymptotically flat boundary conditions and/or an internal boundary satisfying isolated horizons boundary conditions. We focus on the covariant Hamiltonian formalism where the phase space [Formula: see text] is given by solutions to the equations of motion. For each of the possible terms contributing to the action, we consider the well-posedness of the action, its finiteness, the contribution to the symplectic structure, and the Hamiltonian and Noether charges. For the chosen boundary conditions, standard boundary terms warrant a well posed theory. Furthermore, the boundary and topological terms do not contribute to the symplectic structure, nor the Hamiltonian conserved charges. The Noether conserved charges, on the other hand, do depend on such additional terms. The aim of this manuscript is to present a comprehensive and self-contained treatment of the subject, so the style is somewhat pedagogical. Furthermore, along the way, we point out and clarify some issues that have not been clearly understood in the literature.

scholarly journals Macroscopic degeneracy and order in the 3D plaquette Ising model

2015 ◽  
Vol 29 (20) ◽  
pp. 1550109 ◽  
Author(s):  
Desmond A. Johnston ◽  
Marco Mueller ◽  
Wolfhard Janke
Keyword(s):  
Low Temperature ◽  
Magnetic Order ◽  
Finite Size ◽  
Temperature Phase ◽  
Finite Size Scaling ◽  
First Order ◽  
Magnetic Order Parameter ◽  
First Order Transition ◽  
Definition Of ◽  
Low Temperature Phase

The purely plaquette 3D Ising Hamiltonian with the spins living at the vertices of a cubic lattice displays several interesting features. The symmetries of the model lead to a macroscopic degeneracy of the low-temperature phase and prevent the definition of a standard magnetic order parameter. Consideration of the strongly anisotropic limit of the model suggests that a layered, “fuki-nuke” order still exists and we confirm this with multi-canonical simulations. The macroscopic degeneracy of the low-temperature phase also changes the finite-size scaling corrections at the first-order transition in the model and we see this must be taken into account when analyzing our measurements.

A TYPE-FREE THEORY OF HALF-MONOTONE INDUCTIVE DEFINITIONS

1995 ◽  
Vol 06 (03) ◽  
pp. 203-234 ◽  
Author(s):  
YUKIYOSHI KAMEYAMA
Keyword(s):  
Type Theory ◽  
Characteristic Point ◽  
Logical Theory ◽  
Inductive Definition ◽  
Program Extraction ◽  
First Order ◽  
Inductive Definitions ◽  
Free Theory ◽  
Program Proof ◽  
Definition Of

This paper studies an extension of inductive definitions in the context of a type-free theory. It is a kind of simultaneous inductive definition of two predicates where the defining formulas are monotone with respect to the first predicate, but not monotone with respect to the second predicate. We call this inductive definition half-monotone in analogy of Allen’s term half-positive. We can regard this definition as a variant of monotone inductive definitions by introducing a refined order between tuples of predicates. We give a general theory for half-monotone inductive definitions in a type-free first-order logic. We then give a realizability interpretation to our theory, and prove its soundness by extending Tatsuta’s technique. The mechanism of half-monotone inductive definitions is shown to be useful in interpreting many theories, including the Logical Theory of Constructions, and Martin-Löf’s Type Theory. We can also formalize the provability relation “a term p is a proof of a proposition P” naturally. As an application of this formalization, several techniques of program/proof-improvement can be formalized in our theory, and we can make use of this fact to develop programs in the paradigm of Constructive Programming. A characteristic point of our approach is that we can extract an optimization program since our theory enjoys the program extraction theorem.

Modelling spatial reasoning systems with shape algebras and formal logic

1997 ◽  
Vol 11 (4) ◽  
pp. 273-285 ◽  
Author(s):  
Scott C. Chase
Keyword(s):  
Spatial Reasoning ◽  
Predicate Logic ◽  
Spatial Relations ◽  
Large Set ◽  
First Order ◽  
Reasoning Systems ◽  
Geometric Objects ◽  
Small Set ◽  
Definition Of ◽  
High Level

AbstractThe combination of the paradigms of shape algebras and predicate logic representations, used in a new method for describing designs, is presented. First-order predicate logic provides a natural, intuitive way of representing shapes and spatial relations in the development of complete computer systems for reasoning about designs. Shape algebraic formalisms have advantages over more traditional representations of geometric objects. Here we illustrate the definition of a large set of high-level design relations from a small set of simple structures and spatial relations, with examples from the domains of geographic information systems and architecture.

Sign in / Sign up

Export Citation Format

Share Document