BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Thomas Strobl

Thomas Strobl contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
hep-thmath-phmath.MPmath.DGgr-qchep-phmath.SGquant-ph

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
17works
0followers
8topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

17 published item(s)

preprint2022arXiv

BFV extensions for mechanical systems with Lie-2 symmetry

We consider mechanical systems on $T^*M$ with possibly irregular and reducible first class contraints linear in the momenta, which thus correspond to singular foliations on $M$. According to a recent result, the latter ones have a Lie-infinity algebroid $(\cal M,Q)$ covering them, where we restrict to the case of Lie-2 algebroids. We propose to consider $T^*\cal M$ as a potential BFV extended phase space of the constrained system, such that the canonical lift of the nilpotent vector field $Q$ yields automatically a solution to the BFV master equation. We show that in this case, the BFV extension of the Hamiltonian, providing a second corner stone of the BFV formalism, may be obstructed. We identify the corresponding complex governing this second extension problem explicitly (the first extension problem was circumvented by means of the lift of the Lie-2 algebroid structure). We repeatedly come back to the example of angular momenta on $T^*\mathbb R^3$: in this procedure, the standard free Hamiltonian does not have a BFV extension -- while it does so on $T^*(\mathbb R^3 \backslash \{0 \})$, with a relatively involved ghost contribution singular at the origin.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

From BFV to BV and spacetime covariance

The BFV formulation of a given gauge theory is usually significantly easier to obtain than its BV formulation. Grigoriev and Damgaard introduced simple formulas for obtaining the latter from the former. Since BFV relies on the Hamiltonian version of the gauge theory, however, it does not come as a surprise that in general the resulting BV theory does not exhibit space-time covariance. We provide an explicit example of this phenomenon in two spacetime dimensions and show how to restore covariance of the BV data by improving the Grigoriev--Damgaard procedure with appropriate adaptations of its original formulas.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

The universal Lie $\infty$-algebroid of a singular foliation

We associate a Lie $\infty$-algebroid to every resolution of a singular foliation, where we consider a singular foliation as a locally generated $\mathscr{O}$-submodule of vector fields on the underlying manifold closed under Lie bracket. Here $\mathscr{O}$ can be the ring of smooth, holomorphic, or real analytic functions. The choices entering the construction of this Lie $\infty$-algebroid, including the chosen underlying resolution, are unique up to homotopy and, moreover, every other Lie $\infty$-algebroid inducing the same foliation or any of its sub-foliations factorizes through it in an up-to-homotopy unique manner. We thus call it the universal Lie $\infty$-algebroid of the singular foliation. For real analytic or holomorphic singular foliations, it can be chosen, locally, to be a Lie $n$-algebroid for some finite $n$. We show that this universal structure encodes several aspects of the geometry of the leaves of a singular foliation. In particular, it contains the holonomy algebroid and groupoid of a leaf in the sense of Androulidakis and Skandalis. But even more, each leaf carries an isotropy $L_\infty$-algebra structure that is unique up to isomorphism. It extends a minimal isotropy Lie algebra, that can be associated to each leaf, by higher brackets, which give rise to additional invariants of the foliation. As a byproduct, we construct an example of a foliation generated by $r$ vector fields for which we show by these techniques that it cannot be generated by the image through the anchor map of a Lie algebroid of the minimal rank $r$.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Non-abelian Gerbes and Enhanced Leibniz Algebras

We present the most general gauge-invariant action functional for coupled 1- and 2-form gauge fields with kinetic terms in generic dimensions, i.e. dropping eventual contributions that can be added in particular space-time dimensions only such as higher Chern-Simons terms. After appropriate field redefinitions it coincides with a truncation of the Samtleben-Szegin-Wimmer action. In the process one sees explicitly how the existence of a gauge invariant functional enforces that the most general semi-strict Lie 2-algebra describing the bundle of a non-abelian gerbe gets reduced to a very particular structure, which, after the field redefinition, can be identified with the one of an enhanced Leibniz algebra. This is the first step towards a systematic construction of such functionals for higher gauge theories, with kinetic terms for a tower of gauge fields up to some highest form degree p, solved here for p = 2.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Curving Yang-Mills-Higgs Gauge Theories

Established fundamental physics can be described by fields, which are maps. The source of such a map is space-time, which can be curved due to gravity. The map itself needs to be curved in its gauge field part so as to describe interaction forces like those mediated by photons and gluons. In the present article, we permit non-zero curvature also on the internal space, the target of the field map. The action functional and the symmetries are constructed in such a way that they reduce to those of standard Yang-Mills-Higgs (YMH) gauge theories precisely when the curvature on the target of the fields is turned off. For curved targets one obtains a new theory, a curved YMH gauge theory. It realizes in a mathematically consistent manner an old wish in the community: replacing structures constants by functions depending on the scalars of the theory. In addition, we provide a simple 4d toy model, where the gauge symmetry is abelian, but turning off the gauge fields, no rigid symmetry remains---another possible manifestation of target curvature. It now remains to be seen, if internal curvature in the above sense is realized in nature. Curvature of space-time is proven, but still negligible in particle physics, except for the very early universe where quantum gravity must have played an essential role. An important question therefore is, if glimpses of target curvature can be visible in accelerator physics. We know that at contemporary energy scales, the usual (flat) standard model describes nature to a very high accuracy. Could it be that the alleged deviations in the B to D-star-tau-nu decay reported by BaBar in 2012 and recently also by LHCb are already a manifestation of target curvature? What kind of effects does target curvature have on a YMH theory in general, for what kind of effects do we need to look out for so as to detect it?

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Hidden Q-structure and Lie 3-algebra for non-abelian superconformal models in six dimensions

We disclose the mathematical structure underlying the gauge field sector of the recently constructed non-abelian superconformal models in six spacetime dimensions. This is a coupled system of 1-form, 2-form, and 3-form gauge fields. We show that the algebraic consistency constraints governing this system permit to define a Lie 3-algebra, generalizing the structural Lie algebra of a standard Yang-Mills theory to the setting of a higher bundle. Reformulating the Lie 3-algebra in terms of a nilpotent degree 1 BRST-type operator Q, this higher bundle can be compactly described by means of a Q-bundle; its fiber is the shifted tangent of the Q-manifold corresponding to the Lie 3-algebra and its base the odd tangent bundle of spacetime equipped with the de Rham differential. The generalized Bianchi identities can then be retrieved concisely from Q^2=0, which encode all the essence of the structural identities. Gauge transformations are identified as vertical inner automorphisms of such a bundle, their algebra being determined from a Q-derived bracket.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

2d Gauge Theories and Generalized Geometry

We show that in the context of two-dimensional sigma models minimal coupling of an ordinary rigid symmetry Lie algebra $\mathfrak{g}$ leads naturally to the appearance of the "generalized tangent bundle" $\mathbb{T}M \equiv TM \oplus T^*M$ by means of composite fields. Gauge transformations of the composite fields follow the Courant bracket, closing upon the choice of a Dirac structure $D \subset \mathbb{T}M$ (or, more generally, the choide of a "small Dirac-Rinehart sheaf" $\cal{D}$), in which the fields as well as the symmetry parameters are to take values. In these new variables, the gauge theory takes the form of a (non-topological) Dirac sigma model, which is applicable in a more general context and proves to be universal in two space-time dimensions: A gauging of $\mathfrak{g}$ of a standard sigma model with Wess-Zumino term exists, \emph{iff} there is a prolongation of the rigid symmetry to a Lie algebroid morphism from the action Lie algebroid $M \times \mathfrak{g}\to M$ into $D\to M$ (or the algebraic analogue of the morphism in the case of $\cal{D}$). The gauged sigma model results from a pullback by this morphism from the Dirac sigma model, which proves to be universal in two-spacetime dimensions in this sense.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Gauging without Initial Symmetry

The gauge principle is at the heart of a good part of fundamental physics: Starting with a group G of so-called rigid symmetries of a functional defined over space-time Sigma, the original functional is extended appropriately by additional Lie(G)-valued 1-form gauge fields so as to lift the symmetry to Maps(Sigma,G). Physically relevant quantities are then to be obtained as the quotient of the solutions to the Euler-Lagrange equations by these gauge symmetries. In this article we show that one can construct a gauge theory for a standard sigma model in arbitrary space-time dimensions where the target metric is not invariant with respect to any rigid symmetry group, but satisfies a much weaker condition: It is sufficient to find a collection of vector fields v_a on the target M satisfying the extended Killing equation v_{a(i;j)}=0 for some connection acting on the index a. For regular foliations this is equivalent to requiring the conormal bundle to the leaves with its induced metric to be invariant under leaf-preserving diffeomorphisms of M, which in turn generalizes Riemannian submersions to which the notion reduces for smooth leaf spaces M/~. The resulting gauge theory has the usual quotient effect with respect to the original ungauged theory: in this way, much more general orbits can be factored out than usually considered. In some cases these are orbits that do not correspond to an initial symmetry, but still can be generated by a finite dimensional Lie group G. Then the presented gauging procedure leads to an ordinary gauge theory with Lie algebra valued 1-form gauge fields, but showing an unconventional transformation law. In general, however, one finds that the notion of an ordinary structural Lie group is too restrictive and should be replaced by the much more general notion of a structural Lie groupoid.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

General Yang-Mills type gauge theories for p-form gauge fields: From physics-based ideas to a mathematical framework OR From Bianchi identities to twisted Courant algebroids

Starting with minimal requirements from the physical experience with higher gauge theories, i.e. gauge theories for a tower of differential forms of different form degrees, we discover that all the structural identities governing such theories can be concisely recombined into a so-called Q-structure or, equivalently, a Lie infinity algebroid. This has many technical and conceptual advantages: Complicated higher bundles become just bundles in the category of Q-manifolds in this approach (the many structural identities being encoded in the one operator Q squaring to zero), gauge transformations are generated by internal vertical automorphisms in these bundles and even for a relatively intricate field content the gauge algebra can be determined in some lines only and is given by the so-called derived bracket construction. This article aims equally at mathematicians and theoretical physicists; each more physical section is followed by a purely mathematical one. While the considerations are valid for arbitrary highest form-degree p, we pay particular attention to p=2, i.e. 1- and 2-form gauge fields coupled non-linearly to scalar fields (0-form fields). The structural identities of the coupled system correspond to a Lie 2-algebroid in this case and we provide different axiomatic descriptions of those, inspired by the application, including e.g. one as a particular kind of a vector-bundle twisted Courant algebroid.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Dirac Sigma Models from Gauging

The G/G WZW model results from the WZW-model by a standard procedure of gauging. G/G WZW models are members of Dirac sigma models, which also contain twisted Poisson sigma models as other examples. We show how the general class of Dirac sigma models can be obtained from a gauging procedure adapted to Lie algebroids in the form of an equivariantly closed extension. The rigid gauge groups are generically infinite dimensional and a standard gauging procedure would give a likewise infinite number of 1-form gauge fields; the proposed construction yields the requested finite number of them. Although physics terminology is used, the presentation is kept accessible also for a mathematical audience.

0 citations0 reviewsNo code linkedOpen access
preprint2002arXiv

Poisson Geometry in Constrained Systems

Constrained Hamiltonian systems fall into the realm of presymplectic geometry. We show, however, that also Poisson geometry is of use in this context. For the case that the constraints form a closed algebra, there are two natural Poisson manifolds associated to the system, forming a symplectic dual pair with respect to the original, unconstrained phase space. We provide sufficient conditions so that the reduced phase space of the constrained system may be identified with a symplectic leaf in one of those. In the second class case the original constrained system may be reformulated equivalently as an abelian first class system in an extended phase space by these methods. Inspired by the relation of the Dirac bracket of a general second class constrained system to the original unconstrained phase space, we address the question of whether a regular Poisson manifold permits a leafwise symplectic embedding into a symplectic manifold. Necessary and sufficient for this is the vanishing of the characteristic form-class of the Poisson tensor, a certain element of the third relative cohomology.

0 citations0 reviewsNo code linkedOpen access
preprint1999arXiv

Group Theoretical Quantization and the Example of a Phase Space S^1 x R^+

The group theoretical quantization scheme is reconsidered by means of elementary systems. Already the quantization of a particle on a circle shows that the standard procedure has to be supplemented by an additional condition on the admissibility of group actions. A systematic strategy for finding admissible group actions for particular subbundles of cotangent spaces is developed, two-dimensional prototypes of which are T^*R^+ and S^1 x R^+ (interpreted as restrictions of T^*R and T^*S^1 to positive coordinate and momentum, respectively). In this framework (and under an additional, natural condition) an SO_+(1,2)-action on S^1 x R^+ results as the unique admissible group action. For symplectic manifolds which are (specific) parts of phase spaces with known quantum theory a simple projection method of quantization is formulated. For T^*R^+ and S^1 x R^+ equivalent results to those of more established (but more involved) quantization schemes are obtained. The approach may be of interest, e.g., in attempts to quantize gravity theories where demanding nondegenerate metrics of a fixed signature imposes similar constraints.

0 citations0 reviewsNo code linkedOpen access
preprint1995arXiv

A Brief Introduction to Poisson Sigma-Models

The theory of Poisson-$σ$-models employs the mathematical notion of Poisson manifolds to formulate and analyze a large class of topological and almost topological two dimensional field theories. As special examples this class of field theories includes pure Yang-Mills and gravity theories, and, to some extent, the G/G gauged WZW-model. The aim of this contribution is to give a pedagogical introduction, explaining many aspects of the general theory by illustrative examples.

0 citations0 reviewsNo code linkedOpen access
preprint1993arXiv

Quantization and the Issue of Time for Various Two-Dimensional Models of Gravity

It is shown that the models of 2D Liouville Gravity, 2D Black Hole- and $R^2$-Gravity are {\em embedded} in the Katanaev-Volovich model of 2D NonEinsteinian Gravity. Different approaches to the formulation of a quantum theory for the above systems are then presented: The Dirac constraints can be solved exactly in the momentum representation, the path integral can be integrated out, and the constraint algebra can be {\em explicitely} canonically abelianized, thus allowing also for a (superficial) reduced phase space quantization. Non--trivial dynamics are obtained by means of time dependent gauges. All of these approaches lead to the {\em same} finite dimensional quantum mechanical system.

0 citations0 reviewsNo code linkedOpen access