Related papers: A note on equivariant eta forms

In this paper, we give proofs of the family index formula and the equivariant family index formula by the Greiner's approach to heat kernel asymptotics. We compute equivariant family JLO characters. We also define the equivariant eta form…

In this paper, we first define the equivariant infinitesimal $\eta$-form, then we compare it with the equivariant $\eta$-form, modulo exact forms, by a locally computable form. As a consequence, we obtain the singular behavior of the…

Normal-form bisimilarity is a simple, easy-to-use behavioral equivalence that relates terms in $\lambda$-calculi by decomposing their normal forms into bisimilar subterms. Moreover, it typically allows for powerful up-to techniques, such as…

In this note we prove that the constant and equivariant cyclic cohomology of algebras coincide. This shows that constant cyclic cohomology is rich and computable.

We obtain simple proofs of certain inequalites for bivariate means.

This note documents the specification of normal forms in cubical type theory. The definition is already present in the proof of normalization for cubical type theory, but we present it in a more traditional style explicitly for reference.

We study the eta invariants of compact flat spin manifolds of dimension n with holonomy group cyclic of odd prime order p. We find explicit expressions for the twisted and relative eta invariants and show that the reduced eta invariant is…

Lambda calculi with algebraic data types lie at the core of functional programming languages and proof assistants, but conceal at least two fundamental theoretical problems already in the presence of the simplest non-trivial data type, the…

We employ a variant of Wright's circle method to determine the bivariate asymptotic behaviour of Fourier coefficients for a wide class of eta-theta quotients with simple poles in $\mathbb{H}$.

We study deformations of Lie groupoids by means of the cohomology which controls them. This cohomology turns out to provide an intrinsic model for the cohomology of a Lie groupoid with values in its adjoint representation. We prove several…

This is a short expository account of the regularity lemma for stable graphs proved by the authors, with some comments on the model theoretic context, written for a general logical audience.

This note resolves an open problem asked by Bezrukov in the open problem session of IWOCA 2014. It shows an equivalence between regular graphs and graphs for which a sequence of invariants presents some symmetric property. We extend this…

Inspired by the method of smoothed asymptotics developed by Terence Tao, we introduce a new ultra-violet regularisation scheme for loop integrals in quantum field theory which we call $\eta$ regularisation. This allows us to reveal a…

We prove the $C^{\alpha}$ regularity for weak solutions to a class of ultraparabolic equation, with measurable coefficients. The results generalized our recent $C^{\alpha}$ regularity results of Prandtl's system to high dimensional cases.

In [16] the fundamental relationship between stable quotient invariants and the B-model for local P2 in all genera was studied under some specialization of equivariant variables. We generalize the argument of [16] to full equivariant…

In this note we prove an equivariant version of a result of Cartan for equivariant simplicial cohomology with local coefficients.

We prove that seminormality of cut polytopes is equivalent to normality. This settles two conjectures regarding seminormality of cut polytopes.

We present a new proof, as well as a ${\bf C/Q}$ extension, of the Riemann-Roch-Grothendieck theorem of Bismut-Lott for flat vector bundles. The main techniques used are the computations of the adiabatic limits of $\eta$-invariants…

Using H. Donnelly result from the article "Eta Invariants for G-Spaces" we calculate the eta invariants of the signature operator for almost all 7-dimensional flat manifolds with cyclic holonomy group. In all cases this eta invariants are…

Motivated by representation theory and geometry, we introduce and develop an equivariant generalization of Ehrhart theory, the study of lattice points in dilations of lattice polytopes. We prove representation-theoretic analogues of…