A quantum-trace determinantal formula for matrix commutators, and applications

AbstractIn this paper, we establish a determinantal formula for 2×2 matrix commutators [X,Y]=XY-YX over a commutative ring, using (among other invariants) the quantum traces of X and Y. Special forms of this determinantal formula include a “trace version”, and a “supertrace version”. Some applications of these formulas are given to the study of value sets of binary quadratic forms, the factorization of 2×2 integral matrices, and the solution of certain simultaneous diophantine equations over commutative rings

Maximal quadratic modules on *-rings

We generalize the notion of and results on maximal proper quadratic modules from commutative unital rings to $\ast$-rings and discuss the relation of this generalization to recent developments in noncommutative real algebraic geometry. The simplest example of a maximal proper quadratic module is the cone of all positive semidefinite complex matrices of a fixed dimension. We show that the support of a maximal proper quadratic module is the symmetric part of a prime $\ast$-ideal, that every maximal proper quadratic module in a Noetherian $\ast$-ring comes from a maximal proper quadratic module in a simple artinian ring with involution and that maximal proper quadratic modules satisfy an intersection theorem. As an application we obtain the following extension of Schm\" udgen's Strict Positivstellensatz for the Weyl algebra: Let $c$ be an element of the Weyl algebra $\mathcal{W}(d)$ which is not negative semidefinite in the Schr\" odinger representation. It is shown that under some conditions there exists an integer $k$ and elements $r_1,...,r_k \in \mathcal{W}(d)$ such that $\sum_{j=1}^k r_j c r_j^\ast$ is a finite sum of hermitian squares. This result is not a proper generalization however because we don't have the bound $k \le d$.Comment: 11 page

Voids in Modified Gravity Reloaded: Eulerian Void Assignment

We revisit the excursion set approach to calculate void abundances in chameleon-type modified gravity theories, which was previously studied by Clampitt, Cai & Li. We focus on properly accounting for the void-in-cloud effect, i.e. the growth of those voids sitting in overdense regions may be restricted by the evolution of their surroundings. This effect may change the distribution function of voids hence affect predictions on the differences between modified gravity (MG) and general relativity (GR). We show that the thin-shell approximation usually used to calculate the fifth force is qualitatively good but quantitatively inaccurate. Therefore, it is necessary to numerically solve the fifth force in both overdense and underdense regions. We then generalize the Eulerian-void-assignment method of Paranjape, Lam & Sheth to our modified gravity model. We implement this method in our Monte Carlo simulations and compare its results with the original Lagrangian methods. We find that the abundances of small voids are significantly reduced in both MG and GR due to the restriction of environments. However, the change in void abundances for the range of void radii of interest for both models is similar. Therefore, the difference between models remains similar to the results from the Lagrangian method, especially if correlated steps of the random walks are used. As Clampitt et al., we find that the void abundance is much more sensitive to MG than halo abundances. Our method can then be a faster alternative to N-body simulations for studying the qualitative behaviour of a broad class of theories. We also discuss the limitations and other practical issues associated with its applications

Integral closure of rings of integer-valued polynomials on algebras

Let $D$ be an integrally closed domain with quotient field $K$. Let $A$ be a torsion-free $D$-algebra that is finitely generated as a $D$-module. For every $a$ in $A$ we consider its minimal polynomial $\mu_a(X)\in D[X]$, i.e. the monic polynomial of least degree such that $\mu_a(a)=0$. The ring ${\rm Int}_K(A)$ consists of polynomials in $K[X]$ that send elements of $A$ back to $A$ under evaluation. If $D$ has finite residue rings, we show that the integral closure of ${\rm Int}_K(A)$ is the ring of polynomials in $K[X]$ which map the roots in an algebraic closure of $K$ of all the $\mu_a(X)$, $a\in A$, into elements that are integral over $D$. The result is obtained by identifying $A$ with a $D$-subalgebra of the matrix algebra $M_n(K)$ for some $n$ and then considering polynomials which map a matrix to a matrix integral over $D$. We also obtain information about polynomially dense subsets of these rings of polynomials.Comment: Keywords: Integer-valued polynomial, matrix, triangular matrix, integral closure, pullback, polynomially dense set. accepted for publication in the volume "Commutative rings, integer-valued polynomials and polynomial functions", M. Fontana, S. Frisch and S. Glaz (editors), Springer 201

Generalised Moore spectra in a triangulated category

In this paper we consider a construction in an arbitrary triangulated category T which resembles the notion of a Moore spectrum in algebraic topology. Namely, given a compact object C of T satisfying some finite tilting assumptions, we obtain a functor which "approximates" objects of the module category of the endomorphism algebra of C in T. This generalises and extends a construction of Jorgensen in connection with lifts of certain homological functors of derived categories. We show that this new functor is well-behaved with respect to short exact sequences and distinguished triangles, and as a consequence we obtain a new way of embedding the module category in a triangulated category. As an example of the theory, we recover Keller's canonical embedding of the module category of a path algebra of a quiver with no oriented cycles into its u-cluster category for u>1.Comment: 26 pages, improvement to exposition of the proof of Theorem 3.

A C*-Algebraic Model for Locally Noncommutative Spacetimes

Locally noncommutative spacetimes provide a refined notion of noncommutative spacetimes where the noncommutativity is present only for small distances. Here we discuss a non-perturbative approach based on Rieffel's strict deformation quantization. To this end, we extend the usual C*-algebraic results to a pro-C*-algebraic framework.Comment: 13 pages, LaTeX 2e, no figure

Galois theory and Lubin-Tate cochains on classifying spaces

We consider brave new cochain extensions F(BG +,R) → F(EG +,R), where R is either a Lubin-Tate spectrum E n or the related 2-periodic Morava K-theory K n , and G is a finite group. When R is an Eilenberg-Mac Lane spectrum, in some good cases such an extension is a G-Galois extension in the sense of John Rognes, but not always faithful. We prove that for E n and K n these extensions are always faithful in the K n local category. However, for a cyclic p-group C p r, the cochain extension F(BC p r +,E n ) → F(EC p r +, E n ) is not a Galois extension because it ramifies. As a consequence, it follows that the E n -theory Eilenberg-Moore spectral sequence for G and BG does not always converge to its expected target

An Improved Calculation of the Non-Gaussian Halo Mass Function

The abundance of collapsed objects in the universe, or halo mass function, is an important theoretical tool in studying the effects of primordially generated non-Gaussianities on the large scale structure. The non-Gaussian mass function has been calculated by several authors in different ways, typically by exploiting the smallness of certain parameters which naturally appear in the calculation, to set up a perturbative expansion. We improve upon the existing results for the mass function by combining path integral methods and saddle point techniques (which have been separately applied in previous approaches). Additionally, we carefully account for the various scale dependent combinations of small parameters which appear. Some of these combinations in fact become of order unity for large mass scales and at high redshifts, and must therefore be treated non-perturbatively. Our approach allows us to do this, and to also account for multi-scale density correlations which appear in the calculation. We thus derive an accurate expression for the mass function which is based on approximations that are valid over a larger range of mass scales and redshifts than those of other authors. By tracking the terms ignored in the analysis, we estimate theoretical errors for our result and also for the results of others. We also discuss the complications introduced by the choice of smoothing filter function, which we take to be a top-hat in real space, and which leads to the dominant errors in our expression. Finally, we present a detailed comparison between the various expressions for the mass functions, exploring the accuracy and range of validity of each.Comment: 28 pages, 13 figures; v2: text reorganized and some figured modified for clarity, results unchanged, references added. Matches version published in JCA

Relativistic effects and primordial non-Gaussianity in the galaxy bias

When dealing with observables, one needs to generalize the bias relation between the observed galaxy fluctuation field to the underlying matter distribution in a gauge-invariant way. We provide such relation at second-order in perturbation theory adopting the local Eulerian bias model and starting from the observationally motivated uniform-redshift gauge. Our computation includes the presence of primordial non-Gaussianity. We show that large scale-dependent relativistic effects in the Eulerian bias arise independently from the presence of some primordial non-Gaussianity. Furthermore, the Eulerian bias inherits from the primordial non-Gaussianity not only a scale-dependence, but also a modulation with the angle of observation when sources with different biases are correlated.Comment: 12 pages, LaTeX file; version accepted for publication in JCA

Scale Dependence of the Halo Bias in General Local-Type Non-Gaussian Models I: Analytical Predictions and Consistency Relations

We investigate the clustering of halos in cosmological models starting with general local-type non-Gaussian primordial fluctuations. We employ multiple Gaussian fields and add local-type non-Gaussian corrections at arbitrary order to cover a class of models described by frequently-discussed f_nl, g_nl and \tau_nl parameterization. We derive a general formula for the halo power spectrum based on the peak-background split formalism. The resultant spectrum is characterized by only two parameters responsible for the scale-dependent bias at large scale arising from the primordial non-Gaussianities in addition to the Gaussian bias factor. We introduce a new inequality for testing non-Gaussianities originating from multi fields, which is directly accessible from the observed power spectrum. We show that this inequality is a generalization of the Suyama-Yamaguchi inequality between f_nl and \tau_nl to the primordial non-Gaussianities at arbitrary order. We also show that the amplitude of the scale-dependent bias is useful to distinguish the simplest quadratic non-Gaussianities (i.e., f_nl-type) from higher-order ones (g_nl and higher), if one measures it from multiple species of galaxies or clusters of galaxies. We discuss the validity and limitations of our analytic results by comparison with numerical simulations in an accompanying paper.Comment: 25 pages, 3 figures, typo corrected, Appendix C updated, submitted to JCA