Related papers: More ghost modules I
In recent papers it has been shown that a large class of vectorization mechanisms in gravity, which involve the vector fields becoming apparently tachyonic in some regime, are actually dominated by ghosts and non-perturbative behavior.…
Let the finite group $G$ act linearly on the vector space $V$ over the field $k$ of arbitrary characteristic. If $H<G$ is a subgroup the extension of invariant rings $k[V]^G\subset k[V]^H$ is studied using modules of covariants. An example…
Quantum Hoare logic allows us to reason about quantum programs. We present an extension of quantum Hoare logic that introduces "ghost variables" to extend the expressive power of pre-/postconditions. Ghost variables are variables that do…
We define syzygy points of projective schemes, and introduce a program of studying their GIT stability. Then we describe two cases where we have managed to make some progress in this program, that of polarized K3 surfaces of odd genus, and…
The moduli space of instantons on C^2 for any simple gauge group is studied using the Coulomb branch of N=4 gauge theories in three dimensions. For a given simple group G, the Hilbert series of such an instanton moduli space is computed…
Canonical analysis of a recently proposed [1] linear+quadratic curvature gravity model in D=3 displays its pure fourth derivative quadratic branch as a ghost-free (massless) excitation. Hence it both negates an old no-go theorem and is…
We give a lower bound of the cochain type level of the diagonal map on the classifying space of a Lie group by using the ghostness of a shriek map. Moreover, in a derived category, we discuss the triviality of the shriek map which induces…
We study ghosts in multimetric gravity by combining the mini-superspace and the Hamiltonian constraint analysis. We first revisit bimetric gravity and explain why it is ghost-free. Then, we apply our method to trimetric gravity and clarify…
This is a brief review of modified gravity cosmologies. Generically extensions of gravity action involve higher derivative terms, which can result in ghosts and instabilities. There are three ways to circumvent this: Chern-Simons terms,…
As the first step to extend our understanding of higher-derivative theories, within the framework of analytic mechanics of point particles, we construct a ghost-free theory involving third-order time derivatives in Lagrangian. While…
Given an abelian category, we introduce a categorical concept of (strongly) Gorenstein projective (resp., injective) objects, by defining a new special class of objects. Then we study the transfer of these properties when passing to an…
We use the type theory for rings of operators due to Kaplansky to describe the structure of modules that are invariant under automorphisms of their injective envelopes. Also, we highlight the importance of Boolean rings in the study of such…
We study modular forms of some congruence subgroups. In this paper, we treat the cases level is 2-power, 3-power or 5. Structures of graded rings and many identities of infinite sum or infinite product are given. Theory of rational (1/3,…
The previous papers in this series were restricted to regular orders. In particular, we could not handle integral group rings, one of the most interesting cases of the ETNC. We resolve this issue. We obtain versions of our main results…
We give an algorithm to compute the slope sequence of modular forms with fixed Galois components from its first few entries, which is a refined version of the conjecture of [Buz05]. We use the results of arXiv:2302.07697 on the ghost…
Among topological modular forms with level structure, $TMF_0(7)$ at the prime $3$ is the first example that had not been understood yet. We provide a splitting of $TMF_0(7)$ at the prime 3 as $TMF$-module into two shifted copies of $TMF$…
We work with $FI$-modules over a small preadditive category $\mathcal R$, viewed as a ring with several objects. Our aim is to study torsion theories for $FI$-modules. We are especially interested in torsion theories on finitely generated…
We classify all tilting classes over an arbitrary commutative ring via certain sequences of Thomason subsets of the spectrum, generalizing the classification for noetherian commutative rings by…
We develop skein theory for 3-manifolds in the presence of codimension-one defects, focusing especially on defects arising from parabolic induction/restriction for quantum groups. We use these defects as a model for the quantum decorated…
Efforts on enhancing the ghost imaging speed and quality are intensified when the debate around the nature of ghost imaging (quantum vs. classical) is suspended for a while. Accordingly, most of the studies these years in the field fall…