Dissipative hydrodynamics in superspace

We construct a Schwinger-Keldysh effective field theory for relativistic hydrodynamics for charged matter in a thermal background using a superspace formalism. Superspace allows us to efficiently impose the symmetries of the problem and to obtain a simple expression for the effective action. We show that the theory we obtain is compatible with the Kubo-Martin-Schwinger condition, which in turn implies that Green’s functions obey the fluctuation-dissipation theorem. Our approach complements and extends existing formulations found in the literature.


Introduction
The study of fluid mechanics dates back to ancient Greece and the works of Archimedes. Since then, hydrodynamics has undergone countless transformations and modifications before settling into its modern form. Yet, while the dynamics of fluids are prevalent and common, a full understanding of fluid dynamics is still lacking in many respects. From a field theoretic viewpoint, relativistic fluid dynamics is a low-energy effective description in terms of constitutive relations for the stress tensor and other conserved currents. The constitutive relations allow one to solve the associated conservation equations JHEP09(2018)127 and obtain the universal behavior of fully retarded, thermal correlation functions. Up until the works of [1][2][3], see also [4,5], there was no theory from which one could consistently evaluate symmetric, advanced and other correlation functions associated with the dynamics of the fluid. More simply, fluid dynamics did not follow from an action principle. It was in this sense that hydrodynamics was incomplete. The current treatise merges the somewhat orthogonal constructions of [2] and [1,3]. We will elaborate on the differences between our formalism and that in the literature when appropriate.
The current work and that of [1][2][3] do not stand by themselves. A variational principle for dissipationless fluid dynamics was formulated during the last century in the context of general relativity, see e.g., [6] or also [7,8]. This variational principle was recently revisited and recast in modern language in [9][10][11]. Contemporaneously with these developments, the authors of [12,13] argued that hydrodynamics simplifies dramatically in hydrostatic equilibrium. Moreover, in that limit, the constitutive relations can be obtained from a local generating function. While these approaches shed light on the structure of a possible effective action for hydrodynamics and offer an alternative to some phenomenological approaches [14,15], they are lacking in several aspects. Apart from failing to capture dissipation, they do not account for all possible non-dissipative transport phenomena. (For instance, they fail to account for Hall viscosity [16][17][18].) Yet another modern approach to obtain an action for hydrodynamics involves adding the effects of stochastic noise [19]. Other attempts include [20][21][22][23]. Most recently, the authors of [17,18,22,24] have advocated that the Schwinger-Keldysh formalism is the natural setting to write an effective action for dissipative fluid dynamics.
The Schwinger-Keldysh formalism [25,26] was developed around the middle of the past century in order to obtain a generating function for connected correlators in a state described by a density matrix ρ −∞ in the far past. Recall that vacuum correlation functions can be computed by an appropriate variation of the vacuum generating functional with respect to sources, with one such source for each operator. The Schwinger-Keldysh generating functional naturally has two sources associated with each operator. This feature allows one to not only compute the retarded correlation functions in the state ρ −∞ , but also partially symmetric and advanced ones.
Let us review the definition and attributes of the Schwinger-Keldysh partition function. We begin with a generic quantum field theory which, in the infinite past, is in a mixed state characterized by a density matrix ρ −∞ (which is not necessarily normalized). The Schwinger-Keldysh partition function is given by (1.1) Here U 1 [A 1 ] is the time-evolution operator, evolving states from the infinite past to the infinite future. It is a functional of external sources which we schematically denote as A 1 . The time evolution operator U 2 [A 2 ] is similarly defined, and is distinct from U 1 via its dependence on A 2 . For a quantum field theory with a Lagrangian description, the Schwinger-Keldysh partition function may be written as a functional integral. If we denote the fundamental JHEP09(2018)127 fields of the theory by φ and the action by S[φ] then, . (1.2) Here O is the operator conjugate to A, and the fields φ 1 and φ 2 satisfy boundary conditions in the infinite past and future. In the past, the boundary conditions depend on ρ −∞ . In the future, they are identified, lim t→∞ φ 1 (t) = lim t→∞ φ 2 (t). We also require that the sources asymptote to the same values in the past and future, lim t→∞ A 1 (t) = lim t→∞ A 2 (t) and lim t→−∞ A 1 (t) = lim t→−∞ A 2 (t). See e.g. [2,27] for a modern discussion. Equation (1.2) gives an ultraviolet description of the Schwinger-Keldysh partition function for theories with a Lagrangian description. Due to the universality of hydrodynamics it is expected that when the initial state is thermal, i.e. ρ −∞ = e −bH (or its variants with a chemical potential), the infrared behavior of Z will also be universal. More precisely, following the usual logic of Wilsonian effective field theory, we may write when the sources A 1 and A 2 vary over arbitrarily long scales. Here S eff [ξ 1 , ξ 2 ; A 1 , A 2 ] is a low-energy Schwinger-Keldysh effective action with (doubled) infrared degrees of freedom ξ 1 and ξ 2 . We expect that S eff is universal, and further that it may be viewed as an effective action for hydrodynamics. In order to obtain an expression for S eff in terms of the infrared degrees of freedom ξ 1 and ξ 2 one follows the standard path taken when constructing effective actions. Namely, one identifies the infrared degrees of freedom of the theory, the fundamental symmetries associated with their dynamics, and then constructs the most general action compatible with those symmetries. In the context of Schwinger-Keldysh actions for thermal states, this line of research was pioneered in [1][2][3].
Both [2] and [1,3] have established that S eff possesses a nilpotent symmetry transformation reminiscent of supersymmetry. This is not the first time that such a nilpotent symmetry appears in the context of dissipative dynamics, the canonical example being the Langevin equation, cf., [28] or [29] and references therein. The authors of [1,3] have proposed an a' priori superspace construction which is naturally associated with the formalism developed in [17,18] in order to capture the symmetries of S eff . The authors of [2] have implemented the symmetries associated with S eff in a more direct manner and observed an "emergent" superalgebra reminiscent of supersymmetry. In this work we offer a hybrid construction where we build an effective action S eff using a super-Lagrangian from the ground up.
In section 2 we provide a comprehensive discussion of the symmetries of the Schwinger-Keldysh generating function, the resulting supersymmetry algebra, and how to implement this symmetry in an effective action. In section 3.5 we elaborate on the low-energy degrees of freedom of the infrared theory. In section 4 we consider a configuration with fixed temperature and velocity, such that the only dynamical field is the chemical potential. In this probe limit we demonstrate that the action principle developed is compatible with known where S E is the Euclideanized action, and the A E are the time-independent sources that characterize the initial state. For example, the initial state may be a thermal state on R × S d−1 , and the radius of the S d−1 would be just such a source. The A E are related to the sources A 1 and A 2 in the far past by lim t→−∞ A 1 (t) = lim t→−∞ A 2 (t) = A E .
Recalling the definition of the partition function Z[A 1 , , we see that variations of the Schwinger-Keldysh generating functional, W = −i ln Z, lead to connected correlation functions of the form where T and T denote the time-ordering and anti-time-ordering operators respectively, and O is the operator conjugate to A. The first string of operators on the right-hand side of (2.2) comes from the variation of U † 2 and the second from the variation of U 1 . The chief virtue of the Schwinger-Keldysh formalism is that it computes correlation functions with a wide family of operator orderings. For instance, the symmetric, retarded,

JHEP09(2018)127
and advanced two-point functions of O all follow from variations of W , where we have gone to the so-called r/a basis and defined the average and difference quantities In the r/a basis, r-type operators are conjugate to a-type sources and vice versa, For these reasons we will use, e.g., . (2.6) In this notation, We refer the reader to [2] for a modern discussion. We note in passing that equation (2.2) makes it clear that not all operator orderings can be obtained from the Schwinger-Keldysh partition function, including the out-of-timeordered four-point functions which diagnose the onset of chaos [31,32].
After gaining some familiarity with the Schwinger-Keldysh partition function (1.1) we will, in the remainder of this section, discuss some of its symmetries and the expected infrared degrees of freedom required to describe hydrodynamic behavior. We will focus on four symmetries of the partition function which are independent of the dynamics of the microscopic theory and are generated as a result of the special structure of the Schwinger-Keldysh partition function or, in one instance, are a marked feature of thermal states [2,3]. These four symmetries are:  We conclude that the Schwinger-Keldysh partition function becomes topological when 3. Reality and positivity. As emphasized by [2][3][4], the complex conjugate of Z is given by for any Hermitian initial state and complexified sources. In terms of the generating functional W = −i ln Z the condition (2.10) amounts to Equation (2.11) is the Schwinger-Keldysh analogue of the usual statement that unitarity implies that the Wilsonian effective action is real, and for this reason we call this a reality condition. However, as (2.11) allows for the effective action S ef f to have an imaginary part, we will also restrict the imaginary part of S ef f for the functional integral to converge.
4. KMS symmetry. The partition function possesses an additional symmetry when the initial state is thermal. In the absence of conserved charges, an initial thermal state has the form ρ −∞ = e −bH . This is the time evolution operator in imaginary time, translating t → t − ib. Thus, which may also be generalized to initial states at nonzero chemical potential. Equation (2.12) leads to the usual statement of the Kubo-Martin-Schwinger (KMS) condition for thermal correlation functions [33][34][35]. Following [2], (2.12) together with CPT invariance leads to a non-local Z 2 symmetry of the partition function given by (2.55).
The topological Schwinger-Keldysh symmetry and the reality condition (points 2 and 3) are a direct result of the definition of the Schwinger-Keldysh partition function (1.1). The existence of doubled symmetries (point 1) and the KMS symmetry (point 4) require a more detailed explanation. In what follows we present an elaborate discussion of the latter.

Doubled symmetries
In writing the r and a-type sources as in (2.4) we have glanced over a subtle point, which we have not seen discussed elsewhere in the literature. In order to construct the r and a-type combinations, we need to compare the 1 and 2-type operators and sources at the same point. But, in principle, we could use different coordinates x 1 and x 2 when giving a functional integral description of the time-evolution operators U 1 and U 2 . Or, to make the issue more severe, suppose that the source we turn on is an external metric, viz. Z[g 1 µν (x 1 ), g 2 ρλ (x 2 )]. In this case, U 1 is the time-evolution operator on a spacetime M 1 which differs from the spacetime M 2 on which U 2 evolves time. In order to construct the r and a-type operators one needs a method by which a point x 1 on M 1 can be compared with a point x 2 on M 2 .
In order to resolve the issue raised in the previous paragraph, we require that M 1 and M 2 are diffeomorphic to each other; a diffeomorphism from M 1 to M 2 associates a point x 2 in M 2 with a point x 1 in M 1 . This is a global restriction on the sources appearing in the Schwinger-Keldysh partition function. Equivalently, there exists an "auxiliary spacetime" M, which is diffeomorphic to M 1 and M 2 , and we can use any diffeomorphism from M to M 1 and M 2 to form average and difference combinations on M. At first sight, it might seem ill-advised to introduce yet another spacetime, especially if we do not have to. However, doing so has the advantage that it allows us to treat the 1 and 2 fields on an equal footing, which will prove useful soon. In what follows we will call M a "worldvolume" and M 1 and M 2 the "target spaces," in analogy with a sigma model.
Let σ i denote worldvolume coordinates. Then the diffeomorphisms from M to M 1 and M 2 are locally represented by maps x µ 1 (σ i ) and x µ 2 (σ i ), which we can use to pull back the metrics on M 1 and M 2 as This allows us to properly define the average and difference metrics g r ij (σ) = 1 2 (g 1 ij (σ) + g 2 ij (σ)) , g a ij (σ) = g 1 ij (σ) − g 2 ij (σ) . (2.14) The Schwinger-Keldysh partition function can then be rewritten in terms of g a ij , g r ij , and x 1 (σ) and x 2 (σ), The functional variations of Z with respect to g a ij and g r kl yield correlation functions of operators which could be called the "average" and "difference" stress-energy tensors T ij r and T kl a respectively. There is a similar story when the microscopic theory has a flavor symmetry group G, in which case we can turn on external gauge fields which couple to the flavor symmetry current. The gauge field B 1 µ (x 1 ) on M 1 will generally differ from B 2 ν (x 2 ) on M 2 . Since the external gauge fields B 1 and B 2 are connections on principal G bundles over M 1 and M 2 , then the analogue of the requirement that M 1 and M 2 are diffeomorphic is that JHEP09(2018)127 these bundles are isomorphic. Equivalently, the worldvolume M too has a principal G bundle which is isomorphic to those over M 1 and M 2 .
In this paper we consider theories with U(1) flavor symmetries, in which case the bundle isomorphism is locally represented by maps c 1 (σ) and c 2 (σ). The maps are "bifundamental" under target space gauge transformations Λ 1 and Λ 2 , as well as under worldvolume gauge transformations Λ, in the sense that The worldvolume transformation law is a consequence of the isomorphisms between the target space and worldvolume bundles. The target space gauge fields pull back to Both B i 's are inert under target space diffeomorphisms and gauge transformations (B 1 µ → B 1 µ + ∂ µ Λ 1 and B 2 µ → B 2 µ + ∂ µ Λ 2 ) and transform as connections under worldvolume gauge transformations, From the two B i 's we define average and difference gauge fields B r i and B a j , such that the partition function can be formally written as As before, the variation of Z with respect to B a i and B r j define "average" and "difference" symmetry currents J i r and J j a respectively. Equations (2.15) and (2.18) immediately imply that the partition function does not depend on the embeddings, It is instructive (and will become useful later) to see how this independence manifests itself in terms of the Ward identities for target space operators. For simplicity, suppose that the only sources we turn on are external metrics and external U(1) fields. The variation of the Schwinger-Keldysh generating functional W = −i ln Z may be written as where T µν 1 and T µν 2 are the target space stress tensors, and J µ 1 and J µ 2 are the target space U(1) currents.
The reparameterization and U(1) symmetries imply that W is invariant under the combination of infinitesimal target space reparameterizations ξ µ 1 and ξ µ 2 , as well as infinitesimal JHEP09(2018)127 target space U(1) transformations Λ 1 and Λ 2 . Notating the combined variation as δ χ , the variation of the external fields under these infinitesimal transformations is 21) and similarly for the 2 fields. Here £ X is the Lie derivative along X µ , D 1 µ is the covariant derivative using the Levi-Civita connection constructed from the metric g 1 µν , and G 1 µν = ∂ µ B 1 ν − ∂ ν B 1 µ is the field strength of B 1 µ . Plugging these variations into δW (2.20), we see that the invariance of W is equivalent to the Ward identities, where in the first line we used g µν 1 to raise indices and in the second line we used g µν 2 to do the same. Now consider expressing the generating functional as a functional of sources pulled back to the worldvolume M. As the partition function does not explicitly depend on the maps x µ 1 , x µ 2 , etc., the variation of W may be expressed as where √ −g 1 and √ −g 2 are understood to be the measure factors associated with g 1 ij and g 2 ij respectively. We decompose the variations of the worldvolume sources into variations of the target space sources and maps, e.g.
where the Lie derivative is taken with respect to the vector field δx µ 1 (σ(x 1 )) on M 1 . Given (2.24) we can match the variation of worldvolume quantities to target space ones. When δx µ 1 = 0, δx µ 2 = 0 etc. comparing (2.23) with (2.20), we see that the worldvolume stress tensors and currents are related to the target space ones by pushforward, e.g.
Allowing for nonzero δx and following the same procedure, we find, after integration by parts, where E 1 µ , E 2 ν , E 1 , and E 2 are the stress tensor and U(1) Ward identities (2.22), e.g.
Of course, the Ward identities are satisfied, and so we see that Z does not depend on the maps at all. In equations, where here the variations are taken when the target space sources are fixed, and there are similar equations for the 2 fields.
With an eye towards section 3.5 (and following earlier works [2,3]) we are unable to resist mentioning that in describing an effective field theory for hydrodynamics the maps x µ 1 , x µ 2 , c 1 and c 2 will be promoted to dynamical fields X µ 1 , X µ 2 , C 1 and C 2 . Doing so promotes (2.28) (and the corresponding equations for 2 fields) to field equations, for example This guarantees that the effective action is then invariant under the doubled target space symmetries, thereby accounting for the first of the four symmetries of the partition function listed on page 5.

Kubo-Martin-Schwinger symmetry
Of the four symmetries listed on pages 5-6 the KMS symmetry is special in that it is tied to initial states which are in thermal equilibrium and not to generic initial states. Therefore, in order to better understand the KMS symmetry let us take a step back and briefly review some basics of thermal states from a field theoretic standpoint. We refer the reader to [36] for an extensive discussion. (See also [37] where related techniques were put to work in order to compute the high-temperature free energy of QCD.)

Thermal states
Suppose that ρ −∞ is a thermal state characterized by some Boltzmann weight. In order to define this ensemble, we require the existence of a conserved operator H which generates some notion of time translation so that ρ −∞ = exp(−bH). In order for H to be conserved, the sources (e.g., the metric or the flavor field) must be time-translation invariant. Letting t denote time, this means that we can pick a choice of coordinates and flavor gauge so that the background metric and flavor gauge field do not depend on time explicitly and the most general parametrization is where the parametric length of the Euclidean time circle is b. We refer to the choice of coordinates in (2.30) as the "static gauge."

JHEP09(2018)127
The expression for the time translation operator H is given by [36] Thus exp(−bH) is the translation operator in imaginary time, i.e., for any operator O(t, x). The operator H is a generalization of what is often called the "grand canonical potential," which for a theory in flat space with constant chemical potential µ is given by H − µQ.
We can now identify an effective, position-dependent temperature T as the inverse length of the thermal circle, a velocity u µ as the unit norm, future pointing vector with u α = 0, and a chemical potential µ proportional to the Polyakov loop, All of these statements above may be phrased covariantly. The time-translation invariance of the metric and flavor gauge field may be captured by a Killing vector field β µ and a gauge parameter Λ β . We denote their combined action on the metric and gauge field by δ β : where £ β is the Lie derivative along β µ . The time-translation operator H is now given by where dV µ is the volume form on a constant-time slice. The covariant version of the statement that exp(−bH) is a translation operator in imaginary time is that it acts on fields as The temperature, velocity, and chemical potential are given by One can go from the covariant gauge to the static gauge by setting β µ ∂ µ = b∂ t and Λ β = 0. Let us now turn back to the Schwinger-Keldysh partition function. In what follows, we posit that β and Λ β are thermodynamic parameters of the initial thermal state retained in the Schwinger-Keldysh effective action as fixed, non-dynamical data and that they live on the worldvolume M. Moreover, we will implement worldvolume reparametrization and U(1) symmetries in the effective action. In what follows we will equip Λ β with a transformation law

JHEP09(2018)127
and also let Λ β and β i transform as a scalar and vector respectively under worldvolume diffeomorphisms. With these transformation laws the action we construct will be invariant under worldvolume reparameterizations and U(1) symmetries. It should now be clear that, for example, the chemical potential µ/T = β i B i + Λ β defined on M is invariant under worldvolume gauge transformations. Note that in static gauge, time-independent gauge transformations are residual symmetries under which B i varies as δ Λ B i = ∂ i Λ( σ), which is compatible with the findings of [2]. In the far past there is only one β and one Λ β characterizing both target spaces M 1 and M 2 and the worldvolume manifold M, which all coincide. Once A 1 and A 2 are not aligned, we make the convenient choice that β i (σ) and Λ β (σ) lie in M and their action on fields and sources is denoted by δ β . The pushforward of β i and Λ β to the target spaces is given by With β and Λ β naturally residing on the worldvolume, it is also convenient to choose the time evolution operators U 1 and U 2 to act on the worldvolume. We construct U 1 and U 2 on M from the operators H 1 and H 2 as in (2.35), using the fixed initial state data (β i (σ), Λ β (σ)) and the target space stress tensors and currents pulled back to M.

CPT invariance and KMS symmetry
With a covariant formulation of thermal equilibrium at hand, we now carefully go over the steps leading to (2.12) allowing for non zero chemical potential. We begin by reprising the definition of the Schwinger-Keldysh partition function, In (2.40) we have added the dependence of Z on the initial state parameters β and Λ β . We will often use such notation when there is an ambiguity regarding the parameters of the initial state. Otherwise we will omit the dependence on the initial thermodynamic parameters for brevity as we have done until now. The KMS transformation we advertised on page 6 follows from the fact that exp(−bH) is the time-evolution operator in imaginary time. In what follows we denote the worldvolume time coordinate by σ 0 = τ . To wit, in static gauge we find (2.42) Covariantly,

JHEP09(2018)127
and we have used the cyclicity of the trace. As emphasized by CGL [2] the right-hand side of (2.43) does not correspond to a Schwinger-Keldysh partition function. Rather, using CPT one can relate the right-hand side of (2.43) to the CPT-transformed partition function, as we now review.
In what follows we define a(n antilinear) CPT transformation on general spacetimes, which we denote by CPT , such that CPT 2 = 1. It is defined as a suitable action on fields as well as a geometric part which acts on spacetime. If we consider the time direction on our manifold M as being fibered over some base manifold M s then CPT acts by inverting time τ → −τ as well as by an orientation-reversing transformation on M s . If CPT acts on coordinates σ, we denote the resulting combined coordinate transformation by ϑσ.
It is an old result in axiomatic perturbative quantum field theory that Lorentz invariance and locality imply invariance under CPT for a broad class of theories. We are not aware of a general proof for quantum field theory on more general spacetimes, in particular those on which we may define thermal states. In this work we assume that any "healthy" quantum field theory on a spacetime of the sort we considered above is invariant under CPT . This implies that under CPT a bosonic operator O(σ) is transformed as Note that in hydrodynamics one usually considers only bosonic operators (see however e.g. [38] for discussions of hydrodynamics of supersymmetric material). This will somewhat simplify future expressions.
Using that CPT is anti-unitary it then follows that where T is the anti-time-ordering operator and in the last equality we have defined the action of Θ on a (real) source A conjugate to an operator O, In obtaining (2.45) we have assumed a CPT invariant theory so that H is invariant under a CPT transformation of O combined with a spurionic transformation of A. We emphasize that CPT acts only on operators. The source A does not transform under it. Instead, the effect of CPT on the time-evolution operator is equivalent to the combination of Hermitian conjugation and replacing the source A(σ) with ΘA(σ). Apart from the operators in the theory, the initial state ρ −∞ also transforms under CPT . With a slight abuse of notation we define no sum over i,

JHEP09(2018)127
where η β i is the eigenvalue of the i'th component of β i under CPT . Recall that β i (σ) specifies integral curves along the local time direction, Time reversal flips both λ and σ 0 = τ , and parity flips one of the spatial coordinates, say σ 1 . With these conventions, η β 0 = 1, η β 1 = 1 and η β i = −1 for i ≥ 2. In even spacetime dimensions one often refers to parity as a combination of an inversion of one of the space coordinates and a rotation of the others. In those conventions we would have η β i = 1 for all i. The gauge parameter Λ β has eigenvalue −1 under CPT because it changes sign under charge conjugation. Focusing our attention on a thermal initial state, where we remind the reader that Θ is antilinear. The equivalent of (2.36) is Let us use the above definitions to bring the KMS-transformed partition function (2.43) to canonical form. A microscopic CPT symmetry takes the Schwinger-Keldysh partition function to one in which a future state is evolved backwards in time, where in the last equality we have used the anti-cyclicity property of the trace of a product of antilinear operators. Using as in (2.42), and following the same logic that led us to (2.43), we find that (2.52) implies (2.54) A functional integral proof of (2.54) can be found in [39]. We find it useful to implement the reality condition (2.10) to reexpress (2.54) as

JHEP09(2018)127
were in the last line we have defined Θ * as a CPT transformation followed by complex conjugation. We refer to (2.55) as the KMS symmetry and it will be crucial in what follows. In static gauge, equation (2.55) becomes which is identical to the KMS condition discussed in CGL [2]. 1 In (2.55) it is clear that the KMS symmetry is a Z 2 transformation: acting with it twice brings us back to the original Schwinger-Keldysh partition function, This Z 2 transformation is both unitary and non-local. It is unitary because it involves both a CPT flip and complex conjugation. It is non-local in that it shifts the insertion point of operators by a finite distance in imaginary time.
As a sanity check we note that the microscopic Schwinger-Keldysh action, is consistent with the KMS symmetry. Because the full KMS transformation is unitary, the action must be invariant upon replacing A 1 with its CPT -conjugate and A 2 with its CPT -conjugate as well as a translation in imaginary time. The microscopic action is clearly invariant under this transformation provided we equip the dynamical fields φ with the same transformations as the sources A and the action S is CPT -invariant. Before ending this section we note that the KMS symmetry leads to an additional topological sector of the theory. This observation will become important once we attempt to implement the symmetries in an effective action in section 3.
Recall that the topological Schwinger-Keldysh symmetry followed from the observation that when the sources are aligned, which is independent of the common source A. Consequently correlation functions of the conjugate operators vanish. Using that the variation of W = −i ln Z in terms of 1 and 2 fields is given by and plugging in δA 1 = δA 2 = δA, we found that A was conjugate to the difference operator, More simply, Z has a topological limit for any initial state ρ −∞ . The KMS symmetry (2.55) implies the existence of a different topological limit when the initial state is thermal, = Tr e −bH CPT , (2.58) 1 CGL derived a similar condition in [2], using PT rather than CPT .

JHEP09(2018)127
which is independent of A. As above, correlation functions of the conjugate operators vanish. Plugging in δA 1 = δA and δA 2 = e iδ β δA into the variation of W in (2.57), we see that the operator conjugate to A is what we term theã-type operator, given by Theã-type operators comprise an additional topological sector and their correlation functions with each other must vanish. We refer to this property as the topological KMS symmetry.
There is an analogue of the r/a basis which will be useful in what follows. We define ther/ã basis as and similarly definer andã-type sources. In static gauge we have In terms of the tilde'd combinations, (2.57) may be rewritten as In particular, the A r = (A 1 + e −iδ β A 2 )/2 sources are conjugate to the O a 's. This is consistent with our discussion above: setting A 1 = A and A 2 = e iδ β A sets A a = 0 and A r = A.

Dynamical degrees of freedom and an implementation of the symmetries
In order to construct a Schwinger-Keldysh effective action we need to identify its symmetries and degrees of freedom. In the previous section we have discussed the symmetries required by the Schwinger-Keldysh generating function. In what follows we will discuss how these symmetries may be implemented on the dynamical degrees of freedom which enter into the effective action.

Dynamical degrees of freedom and doubled symmetries
Following [2,3], we make the ansatz that at low energies the maps x µ 1 , c 1 , etc. are promoted to dynamical fields, which we denote as X µ 1 (σ), C 1 (σ), and so on. We consider systems for which these are the only light degrees of freedom. We write down effective actions S ef f on the worldvolume, and impose that the fields X µ 1 (σ), C 1 (σ), etc., only appear in the action through the pullbacks of the target space sources to the worldvolume. We also demand that the effective action is invariant under worldvolume reparameterizations and U(1) transformations.
More precisely, we define

JHEP09(2018)127
so that the action depends on the X's and C's via where β i and Λ β are parameters of the initial thermal state as discussed in section 2.2.1.
The reason for this ansatz is the following. In hydrodynamics, one enforces the conservation of the stress tensor T µν and U(1) current J µ as equations of motion. In the Schwinger-Keldysh setting, the Ward identities are doubled, as we found in (2.22). As we will see shortly, choosing to promote the maps to dynamical fields has the desirable property that the equations of motion for the dynamical fields (which are promoted to operator identities in the quantum theory) are precisely the doubled Ward identities. The Ward identities for the r-type stress tensor and U(1) current (with aligned sources) lead to the hydrodynamic equations. In this way effective actions for hydrodynamics are (doubled) sigma models.
To obtain the desired Ward identities consider, as an example, the target space U(1) current J µ 1 , which is obtained by varying the generating functional with respect to the U(1) source B 1 µ , Using that the effective action only depends on B 1µ through the pullback B 1i , we write a more general variation of S eff as Comparing with (3.3), we see that and then the C 1 equation of motion is simply that this current is conserved, An analysis similar to the one derived above shows that the dynamical equations for the X's are identical to conservation of the energy momentum tensor in each of the target spaces. However, as we will see shortly, it is difficult to reconcile the doubled diffeomorphism invariance of the generating function together with the Schwinger-Keldysh topological symmetry. Thus, in most of what follows, we will work in a probe limit, where the target space metrics are identical and are given by the Minkowski metric, and the mappings X µ 1 and X µ 2 are non-dynamical and reduce to the trivial map, We will discuss this some more in subsection 3.5 and in the Discussion when comparing our work to others, and extend it in a future publication.

Topological Schwinger-Keldysh symmetry
In the second entry of our list of symmetries on page 6 we noted that every Schwinger-Keldysh partition function has a topological limit when the sources are aligned, Another way of stating this result is that in any Schwinger-Keldysh theory the a-type In what follows we would like to provide a construction which will ensure that this topological sector remains intact in the Wilsonian effective theory. We will start our discussion in section 3.2.1 with a lightning review of Witten-type topological theories and their manifestation in superspace. In section 3.2.2 we will discuss how to deform such topological theories in order to capture the non-topological nature of the Schwinger-Keldysh path integral whenever A 1 = A 2 . Finally, in section 3.2.3 we will see how to implement the topological symmetry using a superspace formalism. Our description leans on HLR [1,3] and textbook material [27,29]. See also the very recent [4] which has some overlap with the current section.

Cohomological quantum field theories
Recall that topological quantum field theories are often defined as quantum field theories in which expectation values of physical operators are independent of the metric, It is common to classify such theories into one of two categories. The first are referred to as Witten (or cohomological)-type quantum field theories [40,41]. The other category includes Schwarz (or quantum) topological field theories [42]. An example of Schwarz-type theories is Chern-Simons theory. The Witten-type theories have the following properties.
1. There exists a Grassmannian operator Q with Q 2 = 0 whose action we represent as δ Q .
2. Physical operators and the action itself are Q-closed, i.e., δ Q S = 0. (So Q can be thought of as a scalar supercharge.) 3. The stress tensor is Q-exact, Note that V µν is a ghost: it has odd Grassman-parity while carrying integer spin.
The properties described above ensure that the partition function is independent of the metric. When a theory has a functional integral description with action S[φ], the variation JHEP09(2018)127 of the partition function with respect to the metric is where the last equality follows from integration by parts in field space and assuming a Q-invariant measure. Note that, being an external source and not a dynamical field, g µν is inert under δ Q . A similar argument shows that the correlation functions of any Q-closed operator do not depend on the metric, and that correlation functions of Q-exact operators must vanish. In particular Our exposition is admittedly brief. We refer the reader to e.g., [43][44][45] for a thorough account of topological quantum field theories. Obviously, one may replace the metric and stress tensor in the derivation above with any other source and conjugate operator. For example, an external flavor field and its associated globally conserved current. One means of generating the requirements of a Witten-type topological theory is to use superspace [46]. Indeed, let us introduce a Grassmanian coordinate θ as one does in supersymmetric quantum mechanics, collecting ordinary fields into superfields which depend both on x and θ and by arranging for δ Q to act on superfields as a derivative in the θ-direction. More explicitly, a superfield Φ may be expanded in the form whereby (3.14) Note that ψ is Q-exact; δ Q φ = ψ, so that δ Q ψ = 0. Let us now work under the assumption that our cohomology is trivial, i.e., all Qclosed operators are exact. We then group all non-exact operators and their descendants into superfields. Our construction ensures that products of superfields are superfields, the bosonic derivative of a superfield is a superfield and superspace derivatives of superfields are also superfields. Thus, a super-Lagrangian which is local in the superfields will be Q-closed via the standard argument, For example, (The astute reader will notice that our example above is somewhat unorthodox given that the action is fermionic. This can be ameliorated by making the replacement ∂ µ Φ∂ µ Φ → Φ∂ µ Φ∂ µ Φ with φ fermionic.) Finally, in order for the theory to be topological we need that the stress tensor is Q-exact. After minimally coupling the theory to a metric, we can define a super stress tensor via and identify the top component of the super stress tensor with the physical one. By construction, the top component of T µν is Q-closed. In our earlier example (3.16) we find which indeed has the expected properties.

Source-deformed topological field theories
When the sources of the Schwinger-Keldysh theory are not aligned, the theory will no longer be topological. To account for such a requirement we need to construct a "sourcedeformed topological theory," i.e., a theory which ceases to be topological once certain sources are turned on. To construct such theories it is helpful to first take a step back and consider (3.15). With δ Q acting as ∂/∂θ, the integral of a super-Lagrangian L will be Q-closed as long as L is a superfield, e.g., it does not explicitly depend on θ. One uses the same line of reasoning to argue that the momentum operator generates a symmetry as long as the Lagrangian does not explicitly depend on the position. Even when a Lagrangian depends explicitly on position, one can define a spurionic translation symmetry, by promoting the position-dependent couplings to spurions. For example, the Lagrangian of a massive scalar field φ with a position-dependent mass, is In the same way we can define a spurionic supersymmetry under which the action is always invariant by allowing couplings to transform as superfields. This is the route by which one proves almost all supersymmetric non-renormalization theorems [47]. For example, consider the Grassman-odd functional

JHEP09(2018)127
where a is bosonic and aḡ is Grassman-odd. It is equal to our example (3.16) when aḡ = 0 and V (Φ) = aΦ. The supersymmetry is broken by the explicit dependence on θ. But S is invariant under a spurionic supersymmetry. Collecting a and aḡ into a background superfield A = a + θaḡ , (3.21) S becomes If we define a nilpotent operator Q such that then clearly, S is Q -closed. The action S is also closed under Q when the background superfield A has no top component, or equivalently, when δ Q A = ∂A ∂θ = aḡ = 0. More generally, the action is Q-closed if all of the background superfields are δ Q -invariant, meaning that all of their top components vanish. Put differently, a Q-closed action is one for whom all couplings are invariant under a superisometry generated by ∂/∂θ. 2 Observe that in (3.20) the coupling a acts as a source for the Q-exact operator ψ, while the supersymmetry-breaking coupling aḡ acts as a source for the operator φ. This is the prototype for a more general relation. Given any background superfield A = a + θaḡ, the variation of the action S gives a conjugate super-

Application to Schwinger-Keldysh partition functions
Let us apply the results of the previous subsections to the Schwinger-Keldysh effective action which must have a topological sector in the limit when the sources are aligned A 1 = A 2 . More precisely, correlation functions of the difference currents J i a = J i 1 − J i 2 and stress tensor T ij a = T ij 1 −T ij 2 must vanish whenever B 1 µ (x) = B 2 µ (x) and g 1 µν (x) = g 2 µν (x) (up to gauge transformations).
We denote the supercharge associated with the topological Schwinger-Keldysh symmetry by Q SK . We now require that the action S eff is Q SK -exact whenever the sources 2 There is a similar statement for supersymmetric field theories coupled to a bosonic background of background supergravity. The supersymmetries which are preserved by the background, the superisometries, are those that leave the background invariant. See e.g. [48] JHEP09 (2018)127 are aligned. Recall that the dynamical fields X and C enter into the action only through the pulled back sources. Thus, we will collect the pulled back sources into multiplets such that the a-type pulled back sources become Q SK -exact sources are aligned. Thus, to each a-type pulled back source A a we associate a ghost source A g . Since Q SK annihilates A a = A 1 − A 2 , it follows that there is another ghost source Aḡ given by the action of Q SK on A r = (A 1 + A 2 )/2. Together the {A r , Aḡ} and {A g , A a } make up the basic Schwinger-Keldysh supermultiplets which must obey the following algebra Here {R, G, G, A} are Grassmann-even operators that commute with Q SK which will be determined as we go along. In the remainder of this work we will consider bosonic A a and A r implying that the ghosts A g and Aḡ have Grassmann-parity −1. Apart from the ambiguity associated with {R, G, G, A} we can also make the redefinition A g → A g + CAḡ.
We will use this freedom in section 2.2 when we treat the KMS symmetry. Equation (3.25) specifies how Q SK should act on A r and A a and their respective ghost partners. But to properly define the action of Q SK we need to specify how it acts on the dynamical fields X 1 , X 2 , and C 1 and C 2 , such that, e.g., vanishes whenever the sources are aligned If we work perturbatively around the aligned limit (3.27) then such a constraint may be imposed by setting See [2]. In this work we avoid a perturbative expansion around (3.27) by appealing to a probe limit, where the X 1 and X 2 fields and their ghost partners are "frozen" as in (3.7). Thus, (3.28b) is sufficient to ensure that (3.26) is satisfied. Geometrizing the action of Q SK as δ Q SK → ∂ ∂θ , we combine the sources B 1 i (σ) and B 2 i (σ) together with the dynamical fields C 1 , C 2 , C g and Cḡ into superfields B r and B a as where

JHEP09(2018)127
and B 1 i and B 2 i were defined in (3.1). If we add fictitious ghost sources βḡ i and β g i (not to be confused with β i ) and promote Q SK to a spurionic symmetry then we may replace the last two equalities with Observe that both the a-type fields B a and the ghosts Bḡ are Q SK -exact and so comprise a topological sector. Moreover, B a and B r have opposite Grassman-parity.
In writing the various fields, we are working on the "worldvolume" M as we discussed in section 2.1. The Schwinger-Keldysh effective action can then be written as the integral of a super-Lagrangian over θ and the bosonic worldvolume coordinates σ i as where L = L(B r , B a ) is Grassman-odd. We pause here to make a brief but important remark. The super-Lagrangian L can depend on bosonic as well as on superspace derivatives ∂/∂θ of the superfields, both of which (anti)commute with Q SK . Later, after treating the KMS symmetry, we will see that superspace derivatives will be modified. These modifications will be key to implementing dissipation when applying this formalism to thermal states. We conclude this subsection with a few comments on ghosts. We have introduced the ghosts solely in order to ensure the existence of the topological limit. On account of the spin-statistics theorem, the ghosts are unphysical, and we expect there to be fundamental constraints on how they appear in the effective action. In the quantization of e.g., gauge theories and worldsheet string theory, one can prove no-ghost theorems for which ghost number conservation seems to be a necessity. While we do not yet endeavor to prove a no-ghost theorem for Schwinger-Keldysh effective theories, we can define a sensible notion of ghost number following [49] by endowing C g with ghost number 1 and Cḡ with ghost number −1. Assigning θ ghost number 1, it follows that B r and B a have ghost number 0 and 1 respectively. We expect that we ought to impose a ghost number symmetry so that the total action will have ghost number zero, allowing terms like dθ B a B r .

The reality condition
The next condition we wish to impose is the reality condition (2.11), which we remind the reader, is given by and we have allowed for the possibility of complex sources conjugate to complex operators. In order to ensure (3.33) we will impose a similar constraint on the effective action, where ξ is an appropriate transformation of the dynamical fields ξ. In the probe limit in which we are working in, the sources are given by B 1µ (x 1 ) and B 2µ (x 1 ), and the dynamical fields are the C's and their ghost partners.

JHEP09(2018)127
The reality condition (3.33) is a Z 2 symmetry. In order to enforce it on the action it is convenient to construct an anti-linear operator P which acts on the sources via We now extend the action of P onto the dynamical variables so that Given that S eff = d d σdθL, we find that and using (3.29) we find where one has to be careful regarding signs when varying the fermionic Lagrangian with respect to fermionic operators. Since these signs will not play a role in our analysis, we omit them for brevity. In equation (3.37) and in the remainder of this section we will omit the dependence of L on the sources for concicesness. Now, since P is antilinear, i.e.

(3.40)
In the remainder of this work we consider only real C's and B's. This implies that the ghosts B g and Bḡ are real Grassmannian fields. With (3.40) an action of the form (3.37) respects the reality condition (3.36) for real L as long as A, G, G and R are real. We henceforth work with this convention. In their work, HLR [1,3,4], christened P as a worldvolume CPT symmetry. However, we elect to follow CGL [2] and refer to it instead as a reality condition. At the end of the day this is just a semantic distinction. All groups demand that the effective action respects (3.36).
In defining the action of P on the superfields we have the freedom of choosing how it acts on the superspace coordinate θ. For real A and G we may choose for F any external or dynamical field, so that P (B a ) = B a and P (B r ) = B r . 3 With these conventions we have

JHEP09(2018)127
This makes it clear that an action of the form (3.37) will satisfy the reality condition (3.36) when L is a real function of real supefields B a and B r . As discussed earlier, the super-Lagrangian L may also contain superspace derivatives ∂ θ . The most general action may be written as Equating the right-hand side with (minus) (3.43), we see that the most general action (3.43), with real B s respects the reality condition if and only if the super-Lagrangian L is a real function.
We will see shortly that KMS symmetry effectively concatenates B a and B r into a long superfield B and introduces a complex superspace derivative operator. We will revisit the effect of the reality condition on such long multiplets toward the end of subsection 3.4.1.

KMS symmetry
Recall that the full KMS symmetry is a Z 2 symmetry of the generating function (2.56). This Z 2 symmetry leads to an additional topological sector which we referred to as a topological KMS symmetry. See (2.58). In what follows we found it more convenient to construct the effective action by first implementing the topological KMS symmetry and then the full KMS symmetry.

Implementing the topological KMS symmetry
Recall that the topological KMS sector arises whenever the A a = (A 1 − e −iδ β A 2 ) type sources vanish. To ensure the existence of an extra topological sector, we will use the same algorithm as the one discussed in section 3.2.3: we assume the existence of a nilpotent linear operator which we denote by Q KMS and its action on superfields by δ Q KMS . We now strive to construct an action which will be Q KMS -closed when allã-type sources vanish B a = 0. In order to construct proper supermultiplets compatible with both KMS and Schwinger-Keldysh symmetries, let us first deduce the action of Q KMS on the basic fields {B r , Bḡ, B g , B a }. By definition, in a state characterized by β and Λ β , B 1 − e −iδ β B 2 is Q KMS -exact. Since Q 2 KMS = 0, it follows that there exist two ghosts Bḡ and B g such that the action of Q KMS is given by

JHEP09(2018)127
To determine the action of Q KMS on the ghosts we make two important assumptions. The first is that the ghosts B g and Bḡ are linearly related to the ghosts B g andB g . We motivate this assumption by noting that the Q KMS symmetry did not involve the introduction of new bosonic fields. Rather, it involved a linear combination of thermally shifted fields.
The second assumption is that the topological KMS and Schwinger-Keldysh symmetries remain distinct even in the high-temperature limit, δ β → 0. Naively, we might expect that the opposite is true, on account of the fact that the Q KMS -exact operators B a coincide with the Q SK -exact operators B a at high temperature. Our motivation for taking Q SK and Q KMS to be distinct is that, even when δ β → 0, the full KMS symmetry (2.55) remains non-trivial.
Let us start by implementing the expectation that B g and Bḡ are linear combinations of the B g and Bḡ ghosts: with F an invertible matrix whose components are functions of iδ β . We can always define a new barred ghost B ḡ , such that the relations (3.46) are still valid when replacing B ḡ with Bḡ. If F g = 0 we can use this freedom to set Fḡ = 0. Otherwise, we use it to set F g = 0. Thus, we have We now require that in the limit where e iδ β = 1 we get a non-trivial supercharge Q KMS . If we choose the second option in (3.50) and set Fḡ and F g to constants then the relations (3.46) imply that Q KMS ∝ Q SK . So we choose the first possibility in (3.50). We can now use a redefinition of the untilde'd ghosts, B g = B g + C 2 Bḡ (similar to (3.49)) to set Fḡ = 0 if it is not zero already. Thus, F is characterized by two functions which we choose to parameterize by F g and det(F ) = FḡF g .
Given a pair of short superfields B a and B r , equation (3.46) implies that Q KMS mixes the components of B r and B a with each other. Thus, to realize the KMS topological symmetry we introduce an extra superspace coordinateθ and concatenate B r and B a into a long superfield B, B = RB r + θGBḡ +θGB g +θθAB a . (3.51) Not any collection of operators of the form (3.51) constitute a superfield. In order for B to constitute a superfield we require that Q SK and Q KMS act on it in a geometric way. Clearly δ Q SK B = ∂ ∂θ B . One can check that in order for δ Q KMS to act as a superdifferential operator on B we must tune e −iδ β GG A R G GAR det(F ) (3.53) We can now choose 1 2 so that the derivative term in (3.53) takes a canonical form, and in order for δ Q KMS to satisfy the Leibniz rule. In (3.55) we have also chosen A/R → 1 in the δ β → 0 limit for later convenience. With these choices we find that the Schwinger-Keldysh and KMS variations are for bosonic operators. Likewise, It is interesting to note that this is the algebra of minimal supersymmetric quantum mechanics, with the thermal direction playing the role of time. The anticommutator (3.57) has also been obtained by CGL [2] and HLR [1,3]. In [2] the authors seem to use {δ Q SK , δ Q KMS } = 2 tanh (iδ β /2). One way to obtain this result would be to use (3.52), (3.54) and −A = R = 1. We refrained from doing so in order that the KMS supercharge satisfy the Leibniz rule. The authors of [1,3] have used {δ Q SK , δ Q KMS } = 1 − e −iδ β , although they have two additional supercharges as we discuss in section 5.
Apart from the superfields given in (3.51), one can also generate superfields from suitable superderivatives acting on (3.51). Indeed, it is easy to check that It should be noted that B was constructed by joining together the short superfields B a and B r , which are the natural superfields associated with the topological Schwinger-Keldysh symmetry. One may, instead, consider superfields on which Q KMS naturally acts, viz., where we have set The natural superderivatives which act on the B s are A priori, it would seem that we can choose whether to work with the B superfields or the B's. In what follows we will use B. However, we forewarn the reader that in section 3.4.2 we will see that the full KMS symmetry of the generating function forces us to use both types of superfields.
Recall that (in the probe limit) it is C 1 , C 2 , C g and Cḡ which are dynamical and that these fields always appear in combination with the sources via (3.1) and (3.30). Thus, in order to ensure (3.56) we require that As was the case for the Schwinger-Keldysh symmetry, the KMS symmetry can be enhanced to a spurionic symmetry using (3.31). The most general Schwinger-Keldysh effective action is now given by the super-integral of a long superfield (3.67) The super-Lagrangian L may be constructed from superfields and their bosonic or superspace derivatives (see (3.58)). Let us now pause to revisit the reality condition for the effective action (3.36), which in turn ensures (2.11). Recall that the transformation law for the antilinear operator P was given by (3.40). If B is real then we maintain that for any component B of B, Following the same logic we used at the end of subsection 3.3, we find that the most general action respects the reality condition (3.36) if (and only if) L is a real function of its arguments.

The full KMS symmetry
The topological KMS symmetry does not ensure that the full KMS symmetry (2.54) (or equivalently (2.55)) is satisfied. In what follows, we will ensure that the full KMS symmetry is satisfied by requiring that the effective action is invariant under an appropriate shift of its fields. In particular, following CGL [2], we demand that the effective action satisfy where C is a suitable transformation of the dynamical fields C that we will soon uncover. In terms of a Lagrangian (and temporarily ignoring the initial state data β and Λ β to keep the presentation simple), we demand In the last equality of (3.72) we have carried out a change of integration variables and η C is the eigenvalue of the dynamical field C under CPT and η B was defined in (2.46). The Lagrangian L(C, B 1 , B 2 ; β, Λ β ) is, generically, not invariant under (3.72). A prescription for making it invariant would be to modify the action by making the replacement where we have collected the external and dynamical fields into ψ and K is a linear Z 2 transformation which depends on β and Λ β . In order for the total action to satisfy (3.72), K acts on sources and derivatives as and on the thermodynamic data as (recall that Λ β is odd under CPT , and η β i is the eigenvalue of β i under CPT ). Using (3.75) and (3.76) we find that Kδ β = −δ β implying, for example, that K 2 B 2 (σ) = K η B e −iδ β B 2 (σ) = η B e iδ β K (B 2 (σ)) = B 2 (σ). Therefore, K is indeed a Z 2 transformation, squaring to one when acting on (B 1 , B 2 ; β i , Λ β ). In light of (3.75) we also define the action of K on the dynamical fields

JHEP09(2018)127
where S is a matrix. Since the action is bosonic, K can square to either 1 or −1 when acting on ghosts. In what follows, we use K 2 = −1 on ghosts. This condition implies that S satisfies S(−iδ β )S(iδ β ) = −1.
Observe that K maps r-type and a-type operators tor-type andã-type operators respectively, and vice versa. In order to ensure that K is manifestly consistent with the topological symmetries, its action on the ghosts and Grassmannian coordinates should be such that it maps superfields to superfields. Therefore, we define where the tilde'd multiplet C was defined in (3.61). The relation (3.79) may be ensured by requiring that which are compatible with (3.55) and the requirement that K is a Z 2 transformation implies Here we have used that G and G are real. Likewise, we find where the superderivatives on the right-hand side are the same ones we found in (3.64), appropriate when acting on tilde'd superfields.
It is interesting to note that K exchanges Q SK with Q KMS and so is a sort of R-parity, in that, e.g., If we, once again, extend the supersymmetry to a spurionic one we may, for instance, extend (3.84) to the B multiplets, In the remainder of this section we will work with spurionic supersymmetry. Our final expression for the effective action is now

JHEP09(2018)127
As discussed earlier, we have used tilde'd superspace coordinates in order to emphasize the distinction between tilde'd multiplets B and untilde'd ones B. It remains to check the compatibility of K with the reality condition. A short computation shows that as long as At first sight (3.87) seems at odds with (3.86). Note however that a bosonic action will always have an even number of superderivatives. Put differently, Dθ will always appear in conjunction with another Dθ or with Dθ so that the reality condition is always satisfied. Let us briefly dwell on ghost number. Providingθ with ghost number −1 we find that B has ghost number zero, D θ has ghost number −1 and Dθ has ghost number 1. An action with ghost number zero allows for terms of the form D θ B 1 DθB 2 but not terms of the form In the remainder of this work we will omit the tilde's on the superspace coordinates in the KMS partner action in order to tidy up our notation. We will also choose conventions where A → 1 (and therefore R → 1) in the δ β → 0 limit and that G = G = G = G = 1. Our convention for the ghosts enforces, via (3.52) and (3.54), that and the tilde'd ghosts are Let us point out that we have not been able to find a physical condition which would completely determine the operators A and R, nor have we been able to rule out its existence. We do note that such a condition will determine the overall normalization of B. We provide a summary of our results in section 4.

Ward identities
Recall that we have identified the mappings x µ 1 , x µ 2 , c 1 and c 2 with the dynamical fields X µ 1 , X µ 2 , C 1 and C 2 in order to ensure that the conservation equations emerge from equations of motion. In the current work we have focused on the probe limit where the only dynamical fields are C 1 , C 2 and their ghost partners C g and Cḡ. These were grouped into a superfield C ≡ RC r + θCḡ +θC g +θθAC a . (3.91) The C field is a scalar under worldvolume reparameterizations and transforms as a phase under worldvolume gauge transformations

JHEP09(2018)127
We now use C and the trivial mapping x µ = δ µ i σ i to pull back target space sources to the worldvolume, Being constructed from ordinary functions of superfields, the super-pullbacks have the feature that they manifest the topological Schwinger-Keldysh and KMS symmetries. In addition, this superfield is invariant under the target space transformations, (3.94) In the probe limit defined above it is particularly simple to show that the equations of motion for the dynamical variables are the Ward identities for the target space operators. Let us parameterize the variation of the effective action with respect to B i , β j , and Λ β as where we have defined J i = RJ i r +θJ ī g +θJ i g +θθAJ i a and δB i = RδB r i +θδBḡ i +θδB g i +θθAδB a i . (3.97) We have added factors of R and A to the first line of (3.95) in order that the bosonic terms in the second line take the standard form (2.5). The first two entries in the variation indicate that J i r and J i a are indeed the worldvolume average and difference currents, and so we identify J i as the worldvolume super-U(1) current. Without loss of generality we can promote β i and Λ β to be the bottom components of background superfields, conjugate to the superfields h i and m, although this is not necessary.
If we vary the target space sources B 1 µ and B 2 ν as well as the phase fields C 1 and C 2 but keep the ghost components of C and the thermal data fixed, then (3.95) becomes We thereby identify the target space currents to be

JHEP09(2018)127
and the equations of motion for C a and C r , E r and E a , are equivalent to the target space U(1) Ward identities, which in the probe limit are simply The perceptive reader might recall that the action S eff need be invariant under a worldvolume gauge symmetry defined in (3.92). In our probe limit, the transformation law for the fields in the Lagrangian are (3.102) As we mentioned in (2.38), we let Λ β vary under worldvolume U(1) transformations Λ as We find that the worldvolume gauge invariance implies that ∂ i J i a = ∂ i β i m a is identically satisfied. Once the equations of motion for the dynamical fields are imposed, ∂ i J i a = 0, we see that necessarily ∂ i (β i m a ) = 0.

Constructing the effective action
Let us summarize our findings so far. The degrees of freedom of the effective hydrodynamic theory appear in the action through the superfields B = RB r + θBḡ +θB g +θθAB a , where we have defined the operators and the coefficient functions A and R must be real and satisfy and 1 . (4.3b)

JHEP09(2018)127
With these definitions the (spurionic) action of the Schwinger-Keldysh and KMS supercharges on the above superfields is given by (3.56) and (3.62) to be 4) and the associated superderivatives are given by (3.58) and (3.64), (4.5) As discussed, we will work in the probe limit where the only sources are external U(1) flavor gauge fields B 1 µ and B 2 ν . The dynamical degrees of freedom are combined into a superfield C = RC r + θCḡ +θC g +θθAC a . (4.6) One now uses the identity map X µ 1 = X µ 2 = δ µ i σ i to pull back the sources to the worldvolume and group them with C to obtain the superfield (3.7) where 8) and the average and difference fields and sources on the worldvolume are The superfield B i is invariant under target space U(1) gauge transformations and it transforms as a connection under a worldvolume U(1) gauge transformation, The tilde'd version of B i is given by as in (4.2). The most general worldvolume gauge invariant action depends on B i and B j , their derivatives, superderivatives, and the external thermodynamic parameters β i and Λ β . The parameter β i transforms as a gauge invariant vector and Λ β transforms as under the worldvolume U(1) symmetry and as a scalar under coordinate transformations.

JHEP09(2018)127
The Schwinger-Keldysh effective action is given by with Θ∂ i = ∂/∂ϑσ where ϑσ is the CPT transformation of σ, and η B i and η β i are the CPT eigenvalues of B i and β i respectively. (In even dimensions we can set η β i = 1 and η B i = −1). The thermodynamic parameter Λ β has eigenvalue −1 under CPT . We refer to the second term on the right as the KMS partner of L.

The structure of the action
The appearance of superderivative terms in the action, or lack thereof, has interesting physical consequences. In essence, the superderivative terms control the number of a-type fields which appear in the bosonic action. We will see later, in section 4.2, that the atype fields correspond to what is often called stochastic noise in the context of dynamical equations coupled to a noise field. Such noise fields are often useful in providing for a description of time-dependent processes in dynamical critical phenomena. Let us begin our analysis by considering super-Lagrangians which contain no superderivatives. Omitting KMS partners, we have A Lagrangian of the form (4.15) will contain only one power of the a-type fields after superspace integration. To see this, note that Put differently, the r-type current, J i r , that follows from (4.15) will contain no a-type fields. Let us now add superderivatives to the Lagrangian. The superderivatives of B i take the form where we have used (4.2). In order for the Lagrangian to be bosonic it must contain an even number of superspace derivatives. Given that D 2 θ = D 2 θ = 0 the two derivative terms we can write are A few comments are in order. We note that terms of the type J k 1 ...kn DB k 1 . . . DB kn may be integrated by parts to yield the tensor terms appearing in (4.20), for this reason such terms have been omitted. We have seen that the scalar term in (4.20) is of linear order in a. The tensor terms associated with L ijk 1 ...kn are of order n + 2 in a-type fields. Note however that truncating (4.20) to order n does not reduce to an expansion in a-type fields due to the KMS partner action. The ghost contributions in (4.20) involve terms which are undetermined from the bosonic part of the action. A subset of these must be set to zero when demanding that the action has ghost number zero. Terms which have ghost number zero and are not determined by the bosonic part of the action include, for instance, D θ B i DθB j D θ B k DθB l .

The derivative expansion
Often, hydrodynamics is presented as a derivative expansion [50,51] where physical quantities are expanded in derivatives of the hydrodynamic variables. These are the temperature T , normalized velocity u µ , and chemical potential µ. In order to make contact with the hydrodynamic derivative expansion we must expand the effective action (4.20) in derivatives.
Our conventions for counting derivatives are that the thermodynamic parameters β i and Λ β and the bottom component B r i are zeroth order in derivatives. Then δ β = O(∂), and contains terms to all orders in the derivative expansion. Thus, using (4.3), the superfield does too. Given that D θ = ∂ θ − iθδ β we also need to associate a derivative counting to D θ as well. We use conventions where θ andθ are of order O(∂ −1/2 ) implying that D θ and Dθ are of order ∂ 1/2 and B a i is first order in derivatives. Other conventions are also possible and will not modify the computation of measurable quantities. The KMS partner of B i , B i , also contains an infinite power series in derivatives. This is expected. The fluctuation-dissipation theorem, which is enforced by the KMS symmetry, dictates an all-order in derivatives relation among correlation functions. Even if we defined JHEP09(2018)127 the superfield B i to be B i = B r i + θ∂ i Cḡ +θ∂ i C g +θθB a i with no gradient corrections, ignoring the various problems that would arise with Q KMS if we did so, its KMS conjugate B i would have contained an infinite number of derivatives. With our current conventions, to first order in the derivative expansion, we have (4.23) Consider a derivative expansion of the general action (4.20). Given such an expansion, one can compute the resulting current J i order by order in derivatives. In the absence of ghosts and a-type fields J i r , the bottom component of J i , should satisfy the hydrodynamic constitutive relations appropriate at that order in the derivative expansion. In what follows we will show that this is indeed the case, up to first order in the derivative expansion. We defer a more extensive analysis to future work.
At zeroth order in derivatives, the only gauge-invariant scalars we can construct out of β i , Λ β , and B i are and (see (4.10) and (4.12) ). In what follows, we will use which implies that At zeroth order in derivatives we can characterize the most general action (4.20) by a single function F (T, ν): 27) so that only the leading terms on the right-hand side of (4.22) and (4.23) contribute at this order. The supercurrent associated with this action is given by where a dot denotes a derivative with respect to ν. Thus,

JHEP09(2018)127
The expected constitutive relations for a charge current, at zeroth order in derivatives, are where ρ is the charge density which is related to the pressure P via the usual thermodynamic relation ρ = ∂P/∂µ. Recall that the pressure must be an even function of the chemical potential µ in order to retain CPT invariance of the theory [13]. As a result, ρ must be an odd function of the chemical potential. Indeed, in comparing (4.29) with (4.30) we find that we may identify the velocity u i , temperature T , and chemical potential µ as and, more importantly, the pressure P with the even part of F , A similar expression arises for the charge density ρ. It is gratifying that the constitutive relations we obtain in (4.29) naturally respect CPT.
Let us now consider terms which are first order in derivatives. At that order, the effective action has the form (4.33) where the scalar contribution, L 0 , has terms with at most one derivative and the tensor contribution L ij is zeroth order in derivatives. We have already seen that L 0 = F + O(∂).
Corrections to the scalar action will come from scalar terms with one derivative. The possible gauge invariant scalars with one derivative at our disposal are: One derivative scalars: Since we are working in the probe limit, we have ∂ i β i = 0 and β i ∂ i T = 0. Thus, the scalar part of the action can be written in the form: where we have, with some foresight, identified the pressure term from our analysis of the zeroth order derivative expansion. Note that the second term on the right-hand side of (4.35) can be written as a total derivative and therefore will not contribute to the equations of motion or currents. As for L ij , there are two tensor structures which we can write down at zeroth order in derivatives: 4 Zero derivative tensors:

JHEP09(2018)127
The most general L ij we can write down is then given by Carrying out the superspace integration we find that, for the scalar Lagrangian, where p = p andṖ (ν) = dP/dν. Note that the last two lines are a total derivative and do not contribute to the equations of motion or currents.
For the tensor Lagrangian we find As should be clear from (4.38) and (4.39), only the symmetric part of P , κ and s under ν → −ν will contribute to the constitutive relations. Therefore, without loss of generality we will set We find (neglecting total derivatives and ghosts) (4.41) where we have used cf., (2.34).
Computing the r-type current in the absence of a-type sources and setting a-type fields and ghosts to vanish we find that After a field redefinition of ν of the form ν → ν − s P β i ∂ i ν we find that (4.43) describes the constitutive relations for a charged particle with conductivity σ = κ/T in the Landau frame, where E i = G ij u j is the average electric field. Note that due to (4.40), the conductivity σ is even under µ → −µ, as expected by CPT. Equation current. To obtain the target space r-type current we can use the pushforwards described in (3.99) to obtain The effective action (4.41) has nonzero imaginary part, which may also be understood as the leading order contribution in a small−a expansion also expanded in derivatives. In general, we require that Im(S eff ) is bounded below in order for the functional integral to converge. In and of itself, this does not lead to a constraint on κ and s. Fortunately, the authors of [30] have recently proven that Im(S eff ) ≥ 0 in a setup very similar to ours. This implies which recovers the textbook result σ = κ/T ≥ 0. As discussed in [2,3], the a-type fields in the effective action are associated with noise in stochastic hydrodynamics [19,24]. Following HLR [3], we introduce a noise field N i via a Hubbard-Stratanovich transformation. Under the functional integral we have so that the constitutive relations, (in a non Landau frame) are given by 49) where N j is a random noise drawn from a Gaussian sample whose transverse components have inverse width proportional to the conductivity and longitudinal components proportional to s. As emphasized by CGL [2], this rewriting in terms of stochastic hydrodynamics is only valid when higher order a-type fields are neglected. If we were to continue beyond quadratic order in the small−a expansion, it would no longer be possible to account for the a-type fields with noise via a Hubbard-Stratonovich transformation. In general one needs the full Schwinger-Keldysh effective action to properly treat thermal fluctuations, through the a-type fields.

The fluctuation-dissipation relation
Instead of carrying out a derivative expansion to characterize the constitutive relations it is also possible to carry out an expansion of the action in fields. Such an expansion should give us a handle on exact relations among thermal correlation functions, such as the fluctuation-dissipation theorem.

JHEP09(2018)127
Consider a quadratic action of the form (4.50) in an even number of spacetime dimensions, with real F ij and σ ij . We assume that F ij is such that the action is gauge invariant. In order to simplify the ensuing computation let us perform the Fourier transform on the fields We further simplify our analysis by going to the static gauge where β i ∂ i = b∂ τ and Λ β = 0, to obtain (4.52) Expanding the action (4.52) in terms of a and r-type sources and omitting the ghost terms we find with F ij = F ij (iω, ik) and σ ij = σ ij (iω, ik). In obtaining (4.53) we have used that A and R are real and hence symmetric under a sign flip of their argument. The resulting (classical worldvolume) momentum space correlators are given by (see (2.7)) It is easy to see that the G ij 's in (4.54) satisfy The result (4.55) is reminiscent of the fluctuation-dissipation theorem, but is somewhat misleading in that we have not yet solved the equations of motion for the C fields. In an upcoming manuscript we will demonstrate that the relations (4.55) still hold after carrying out the Gaussian path integral and translating (4.54) to target space Green's functions.

JHEP09(2018)127 5 Discussion and outlook
In this work we have used the microscopic symmetries of Schwinger-Keldysh partition functions to determine the constraints on effective field theories for thermal states. We then used those constraints to obtain effective field theories for dissipative hydrodynamics. Our work is largely inspired by that of Haehl, Loganayagam, and Rangamani (HLR) [1,3] and is also based on Crossley, Glorioso, and Liu (CGL) [2] although it differs from them in several respects.

Comparison with previous work
While our expression for the effective action is most similar to that of HLR [1,3] the details and interpretation differ significantly. For example, the authors of [1,3] consider actions which are invariant under four supercharges, as opposed to our two. Further, in addition to the fields we have described they advocate for a dynamical U(1) T field. HLR [1,3] also do not appear to use the KMS partner terms in the action, which we implemented in order for the fluctuation-dissipation relations to be satisfied. Let us address some of these points in detail.
We believe that the similarity between the superderivatives is not accidental. In a future publication we will argue that one may add an external source, A I (σ), which couples to the current generated by the transformation δ β (see (3.57)). After such a procedure, one finds that A I (σ) effectively acts as a connection through the form espoused in [1,3].
From a structural perspective the action we propose is the sum of two terms (see (4.20)). The first uses an r/a superfield O, and the second uses anr/ã superfield O. We refer to the second term (which seems to be absent in HLR's construction [1,3]) as the KMS partner of the first. The partner action ensures that the total action respects the full KMS symmetry. This, in turn, guarantees that the fluctuation-dissipation relation and its non-linear generalizations [2,56] hold.
A final difference between our work and that of [1,3] concerns worldvolume symmetries. In section 3.5 we have argued that the dynamical fields are the mappings X µ and the phases C. Even though we have a superspace, we only imposed worldvolume reparamaterization and U(1) symmetries on the effective action. In contrast, the authors of [1, 3] employ a dynamical superembedding X I in addition to C, and impose superreparameterization and super-U(1) invariances. We note in passing that in our probe analysis, one can show that the terms allowed by U(1)-invariance can be upgraded to be super-U(1)-invariant.
While the notation we use is very similar to [1,3], the construction we use is, in practice, very reminiscent of that of [2]. In fact we have checked that, in the probe limit, our action largely agrees with that of CGL [2]. As far as we could tell, the main difference between our actions has to do with the discrete symmetries imposed on the generating function. While we demanded CPT , CGL demanded PT . This seems to generate a slight mismatch in the parity of observables under µ → −µ. The perceptive reader might worry that in addition, CGL advocated for a partial diffeomorphism and gauge invariance on the worldvolume while we uphold a full diffeomorphic and gauge invariant theory. Recall however that the initial state parameters β i and Λ β are fixed data. The residual transformations that leave β i and Λ β invariant are exactly those used by CGL, implying that the symmetries of both theories are the same.
Our main contributions to the CGL [2] construction include amalgamating fields into superfields, providing an a priori argument for the existence of a topological KMS symmetry, and imposing the full KMS symmetry via the introduction of tilde'd superfields.
Most importantly, we have redefined the superfields using R(iδ β ) and A(iδ β ) so that the associated transformations and superderivatives satisfy the Leibniz rule (even beyond the → 0 limit discussed in [2,57]).
To summarize, in this work we have constructed a superspace formalism of dissipative hydrodynamics with a notation similar to that of [1,3], but formulation closer in spirit to that of [2]. We have demonstrated that the hydrodynamic constitutive relations and the fluctuation-dissipation relations are compatible with our formalism. This is, of course, a minimal requirement of a Schwinger-Keldysh effective action for hydrodynamics. With a full fledged effective action one can do much more.

Outlook
We now turn our attention to loose ends and open questions which are suggested by our work. One such loose end is the treatment of hydrodynamic frame transformations [58] in the effective action. In hydrodynamics, one may redefine the hydrodynamic variables to eliminate unphysical transport coefficients, and we expect this redefinition to descend from an operation in the Schwinger-Keldysh action. While we do not know with certainty how to implement this redefinition, we have preliminary indications that it descends from supersymmetry-preserving redefinitions of the sigma model superfields.
Another loose end which we need to address is a complete effective action which goes beyond the probe limit. In section 4 we have demonstrated that, in the probe limit, the symmetry requirements listed in section 2 lead to appropriate constitutive relations and fluctuation dissipation relations. As discussed in section 3.5 all our arguments easily go through when dealing with the full hydrodynamic theory, but restricted to quadratic order in the a-type fields. Preliminary investigations suggest that it is straightforward to correct the action perturbatively in a-type fields.
An additional prospect for the future involves a finer study of transport. There are qualitatively different types of transport that may be realized in the most general hydrodynamic setting, as classified in [18]. It remains to be demonstrated that all classes of transport may be realized through effective actions of the sort studied in this paper (or, for that matter, by those used by CGL [2] and HLR [1,3]). In particular, it would be interesting to determine the modifications to the action which are necessary to match 't Hooft anomalies, which would account for anomaly-induced transport [59] (see also [36,60]).
Another question concerns the status of our effective actions as full-fledged quantum theories. One point of concern in this respect is that the sigma model may have zero modes, and when this occurs we expect that they must be quotiented out. Our motivation for this is a bit oblique. We did not emphasize it before, but the low-energy description of the Sachdev-Ye-Kitaev (SYK) models at large N and low temperature [61], or the theories dual to dilaton gravity on a nearly AdS 2 spacetime [62][63][64], is a 0 + 1d sigma model of the type discussed in this paper. In the SYK models and two-dimensional gravity, one must quotient out this sigma model by a SL(2; R) symmetry which acts as 1d conformal transformations on the worldvolume [61].
The main reason for focusing our attention so far to hydrodynamics is practical. Much is known of hydrodynamics on phenomological grounds, and so it offers a useful testing ground to nail down the correct principles for Schwinger-Keldysh effective field theory. One of the most unusual features of these models is the existence of an entropy current. As we alluded to above, one may use the effective action to argue for the existence of an entropy current with a positive semi-definite divergence (see [57]). We will also explore the entropy current in a future publication, tying it to the U(1) T symmetry proposed by [1,3].
On a more fundamental level, it is important to understand whether there is a Schwinger-Keldysh no-ghost theorem. In this work we have been deliberately vague regarding the implementation of a ghost number symmetry. We have mentioned that a ghost number symmetry will forbid certain terms in the effective action. One way to check JHEP09(2018)127 whether ghosts have been correctly incorporated would be to match our action to a theory where one may reliably compute quantum corrections to hydrodynamic correlators. A prime candidate for such a theory is the AdS/CFT correspondence. We hope to report on this issue in the near future.
A formal aspect of this work which we have considered in detail is the KMS symmetry. We have first argued that the full KMS symmetry of the Schwinger-Keldysh generating function implies the existence of a topological KMS symmetry. In this sense the topological KMS symmetry emerges once the full KMS symmetry is implemented. In generating the effective action we have found it useful to first implement the topological KMS symmetry and only then impose the full KMS symmetry. Clearly, with some work, one should be able to implement the full KMS symmetry in one go and obtain the topological sector as a result.
Once the correct principles for constructing the Schwinger-Keldysh effective theory are known, one can then use the lessons learned to tackle systems where much less is known. An obvious place to start is with the generalizations of the Schwinger-Keldysh partition function which encode out-of-time-ordered correlators, as emphasized by [4,65] (see also [66]). These have been the subject of intense study from the point of view of diagnosing early-time chaotic growth in many-body systems (see e.g. [31]). In particular, in generalizations of the SYK models [67,68] and in holography [69,70] there is a curious relation between the "butterfly velocity" appearing in the exponential growth of out-oftime-ordered four-point functions, which determines the speed at which the chaotic growth propagates, and the underlying diffusion constants. Perhaps this relation follows from the symmetries of an effective theory on the four-fold contour, which generalizes the Schwinger-Keldysh hydrodynamics of our work.
Finally, it is an open problem to realize the Schwinger-Keldysh effective descriptions in this work from the AdS/CFT correspondence. While some crucial first steps toward this goal were made in [71,72], the matter is far from settled. For example, in our effective actions there are ghost partners of the sigma model fields, but there is (as of yet) no sign of these ghosts in a dual gravitational description. It is conceivable that a proper treatment of the two-sided black hole, within the Schwinger-Keldysh formalism, may shed light on this puzzle. This, in turn, may shed light on what ought to be meant by the ER=EPR correspondence [73].