Related papers: The modularity conjecture holds for linear idempot…

Let $G$ be a nontrivial permutation group of degree $n$. If $G$ is transitive, then a theorem of Jordan states that $G$ has a derangement. Equivalently, a finite group is never the union of conjugates of a proper subgroup. If $G$ is…

A formal series in noncommuting variables $\Sigma$ over the rationals is a mapping $\Sigma^* \to \mathbb Q$. We say that a series is commutative if the value in the output does not depend on the order of the symbols in the input. The…

We prove the invariance of plurigenera under smooth projective deformations in full generality. The proof is done by several estimates of singular hermitian metrics in terms of $L^{2}$-extension theorem of holomorphic sections.

We investigate the interaction between the product of invariant types and domination-equivalence. We present a theory where the latter is not a congruence with respect to the former, provide sufficient conditions for it to be, and study the…

We consider the following conjecture: if X is a smooth projective variety over a field of characteristic zero, then there is a dense set of reductions X_s of X to positive characteristic such that the action of the Frobenius morphism on the…

We study Deligne's conjecture on the monodromy weight filtration on the nearby cycles in the mixed characteristic case, and reduce it to the nondegeneracy of certain pairings in the semistable case. We also prove a related conjecture of…

We give a proof of the openness conjecture of Demailly and Koll\'ar for positively curved singular metrics on ample line bundles over projective varieties. As a corollary it follows that the openness conjecture for plurisubharmonic…

The compactness theorem for a logic states, roughly, that the satisfiability of a set of well-formed formulas can be determined from the satisfiability of its finite subsets, and vice versa. Usually, proofs of this theorem depend on the…

Let $G$ be a finite group and let $k$ be a field of characteristic $p$. It is known that a $kG$-module $V$ carries a non-degenerate $G$-invariant bilinear form $b$ if and only if $V$ is self-dual. We show that whenever a Morita bimodule $M$…

We consider a conjecture of Kontsevich and Soibelman which is regarded as a foundation of their theory of motivic Donaldson-Thomas invariants for non-commutative 3d Calabi-Yau varieties. We will show that, in some certain cases, the answer…

Evidence for fine-tuning of physical parameters suitable for life can perhaps be explained by almost any combination of providence, coincidence or multiverse. A multiverse usually includes parts unobservable to us, but if the theory for it…

Given a martingale sequence of random fields that satisfies a natural assumption of boundedness, it is shown that the pointwise limit of this sequence can be modified in such a way that a certain class of moduli of continuity is preserved.…

The species scale provides an upper bound for the ultraviolet cutoff of effective theories of gravity coupled to a number of light particle species. We point out that modular invariant (super-)potentials provide a simple and computable…

This paper explores goal-directed proof search in first-order multi-modal logic. The key issue is to design a proof system that respects the modularity and locality of assumptions of many modal logics. By forcing ambiguities to be…

In this article we study the cohomological and homological (due to Jannsen) Hodge conjecture for singular varieties. The motivation for studying singular varieties comes from the fact that any smooth projective variety X is birational to a…

In causal models, a given mechanism is assumed to be invariant to changes of other mechanisms. While this principle has been utilized for inference in settings where the causal variables are observed, theoretical insights when the variables…

Inspired by prior work of Bruinier and Ono and Mertens and Rolen, we study class polynomials for non-holomorphic modular functions arising from modular forms of negative weight. In particular, we give general conditions for the…

In this note, we present a conjecture on intersections of set families, and a rephrasing of the conjecture in terms of principal downsets of Boolean lattices. The conjecture informally states that, whenever we can express the measure of a…

Let $p$ be a polynomial in the non-commuting variables $(a,x)=(a_1,...,a_{g_a},x_1,...,x_{g_x})$. If $p$ is convex in the variables $x$, then $p$ has degree two in $x$ and moreover, $p$ has the form $p = L + \Lambda ^T \Lambda,$ where $L$…

We explicitly derive, following a Noether-like approach, the criteria for preserving Poincare invariance in noncommutative gauge theories. Using these criteria we discuss the various spacetime symmetries in such theories. It is shown that,…