Related papers: Mahlo classes for first-order reflections

We present a modification of the superposition calculus that is meant to generate consequences of sets of first-order axioms. This approach is proven to be sound and deductive-complete in the presence of redundancy elimination rules,…

We present recent improvements in the perturbative treatment of particle interactions in Kinetic Field Theory (KFT) for inertial Zel'dovich trajectories. KFT has been developed for the systematic analytical calculation of non-linear cosmic…

We study the Dickson polynomials of the (k+1)-th kind over the field of complex numbers. We show that they are a family of co-recursive orthogonal polynomials with respect to a quasi-definite moment functional L_{k}. We find an integral…

In this letter we introduce a generalization of the Knizhnik- Zamolodchikov equations from affine Lie algebras to a wide class of conformal field theories (not necessarily rational). The new equations describe correlations functions of…

Agreement between the experimental value $\Gamma (K_S\rightarrow \gamma\gamma)$ and the number predicted via a one-loop chiral perturbation theory calculation has been cited as a success for the latter. On the other hand the one-loop…

In this paper, semilocal Milnor $K$-theory of fields is introduced and studied. A strongly convergent spectral sequence relating semilocal Milnor $K$-theory to semilocal motivic cohomology is constructed. In weight 2, the motivic cohomology…

In our previous paper we describe the Galois module structures of $p$th-power class groups $K^\times/{K^{\times p}}$, where $K/F$ is a cyclic extension of degree $p$ over a field $F$ containing a primitive $p$th root of unity. Our…

Let GL_1(R) be the units of a commutative ring spectrum R. In this paper we identify the composition BGL_1(R)->K(R)->THH(R)->\Omega^{\infty}(R), where K(R) is the algebraic K-theory and THH(R) the topological Hochschild homology of R. As a…

We consider the following class of unitary representations $\pi $ of some (real) Lie group $G$ which has a matched pair of symmetries described as follows: (i) Suppose $G$ has a period-2 automorphism $\tau $, and that the Hilbert space…

For a field K, rational function phi in K(z) of degree at least two, and alpha in P^1(K), we study the polynomials in K[z] whose roots are given by the solutions to phi^n(z) = alpha, where phi^n denotes the nth iterate of phi. When the…

We introduce a new infinite class of superintegrable quantum systems in the plane. Their Hamiltonians involve reflection operators. The associated Schr\"odinger equations admit separation of variables in polar coordinates and are exactly…

We give sufficient conditions for a first order expansion of the real line to define the standard model of the monadic second order theory of one successor. Such an expansion does not satisfy any of the combinatorial tameness properties…

The method originally developed for the exact calculations in QED theory is applied for the calculation of NLO effects in QCD Compton processes. QCD corrections to the structure functions and sum rules are obtained. Different…

These are lecture notes for an introductory course on Nichols algebras. As a main reference, I work with the book by Heckenberger and Schneider, but I want to take a distinct categorical perspective and try to develop the topic for an…

The theory of representations of quivers and of their preprojective algebras are reviewed. In particular, moduli spaces of representations of these algebras, quiver varieties and reflection functor are described. The proof that the…

We study the approachability ideal I[\kappa^+] in the context of large cardinals properties of the regular cardinals below a singular \kappa. As a guiding example consider the approachability ideal I[\aleph_{\omega+1}] assuming that…

We take a first step towards a reconstruction of finite tensor categories using finitely many $F$-matrices. The goal is to reconstruct a finite tensor category from its projective ideal. Here we set up the framework for an important…

We show that the repetitive higher cluster category of type A_n, defined as the orbit category D^b(mod kA_n)/(tau^{-1}[m])^p, is equivalent to a category defined on a subset of diagonals in a regular p(nm+1)-gon. This generalizes the…

We derive the quantum effective action up to second order in gradients and up to two-loop order for an interacting scalar field theory. This expansion of the effective action is useful to study problems in cosmological settings where…

We show that Nichols algebras of most simple Yetter-Drinfeld modules over the projective special linear group over a finite field, corresponding to non-semisimple orbits, have infinite dimension. We spell out a new criterium to show that a…