Related papers: More on the lifting problem with the full ideal

Suppose that a Lie algebra $L$ admits a finite Frobenius group of automorphisms $FH$ with cyclic kernel $F$ and complement $H$ such that the characteristic of the ground field does not divide $|H|$. It is proved that if the subalgebra…

Let k be a definable L-cardinal. Then there is a set of reals X, class-generic over L, such that L(X) and L have the same cardinals, X has size k in L(X) and some pi-1-2 formula defines X in all set-generic extensions of L(X). Two…

We introduce the complete lifts of maps between (real and complex) Euclidean spaces and study their properties concerning holomorphicity, harmonicity and horizontal weakly conformality. As applications, we are able to use this concept to…

Let $f: M \to M$ be a $C^{1+\alpha}$ map/diffeomorphism of a compact Riemannian manifold $M$ and $\mu$ be an expanding/hyperbolic ergodic $f$-invariant Borel probability measure on $M$. Assume $f$ is average conformal expanding/hyperbolic…

Inspired by recent work in the theory of central projections onto hypersurfaces, we characterize self-linked perfect ideals of grade 2 as those with a Hilbert--Burch matrix that has a maximal symmetric subblock. We also prove that every…

Let $d > 1$, and let $(X,\alpha)$ and $(Y,\beta)$ be two zero-entropy ${\mathbb{Z}}^d$-actions on compact abelian groups by $d$ commuting automorphisms. We show that if all lower rank subactions of $\alpha$ and $\beta$ have completely…

A monomial ideal $I\subseteq \mathbb{K}[x_1,\ldots , x_n]$ is called a Simis ideal if $I^{(s)}=I^s$ for all $s\geq 1$, where $I^{(s)}$ denotes the $s$-th symbolic power of $I$. Let $I$ be a support-2 monomial ideal such that its irreducible…

We describe all polarizations for all abelian varieties over a finite field in a fixed isogeny class corresponding to a squarefree Weil polynomial, when one variety in the isogeny class admits a canonical liftings to characteristic zero,…

Let Y be a compact reduced subspace of a complex manifold X, and let F be a subsheaf of the tangent bundle T_X which is closed under the Lie bracket. This paper discusses criteria to guarantee that infinitesimal deformations of the…

We prove that for a Hecke cuspform $f\in S_k(\Gamma_0(N),\chi)$ and a prime $l>\max\{k,6\}$ such that $l\nmid N$, there exists an infinite family $\{k_r\}_{r\geq 1}\subseteq\mathbb{Z}$ such that for each $k_r$, there is a cusp form…

The proof of the relative consistency of the axiom of choice has been mechanized using Isabelle/ZF. The proof builds upon a previous mechanization of the reflection theorem. The heavy reliance on metatheory in the original proof makes the…

We prove that if mu^+< lambda =cf(lambda)< mu^{aleph_0}, then there is no universal reduced torsion free abelian group. Similarly if aleph_0< lambda < 2^{aleph_0}. We also prove that if 2^{aleph_0}< mu^+< lambda =cf(lambda)< mu^{aleph_0},…

We use forcing over admissible sets to show that, for every ordinal $\alpha$ in a club $C\subset\omega_1$, there are copies of $\alpha$ such that the isomorphism between them is not computable in the join of the complete $\Pi^1_1$ set…

We show that it is consistent with ZFC that L^infty (Y,B, nu) has no linear lifting for many non-complete probability spaces (Y,B, nu), in particular for Y=[0,1]^A, B= Borel subsets of Y, nu = usual Radon measure on B .

We give a definition of weak morphism of $T$-algebras, for a $2$-monad $T$, with respect to an arbitrary family $\Omega$ of $2$-cells of the base $2$-category. By considering particular choices of $\Omega$, we recover the concepts of lax,…

Suppose $A$ is an Azumaya algebra over a ring $R$ and $\sigma$ is an involution of $A$ extending an order-$2$ automorphism $\lambda:R\to R$. We say $\sigma$ is extraordinary if there does not exist a Brauer-trivial Azumaya algebra…

In this paper we provide a sufficient condition for a prime to be a congruence prime for an automorphic form $f$ on the unitary group $U(n,n)(A_F)$ for a large class of totally real fields $F$ via a divisibility of a special value of the…

In addition to superconformal symmetry, (1,1) supersymmetric two-dimensional sigma models on special holonomy manifolds have extra symmetries that are in one-to-one correspondence with the covariantly constant forms on these manifolds. The…

We prove that assuming suitable cardinal arithmetic, if B is a Boolean algebra every homomorphic image of which is isomorphic to a factor, then B has locally small density. We also prove that for an (infinite) Boolean algebra B, the number…

It is well known to generalize the meagre ideal replacing aleph_0 by a (regular) cardinal lambda > aleph_0 and requiring the ideal to be lambda^+-complete. But can we generalize the null ideal? In terms of forcing, this means finding a…