Related papers: Showing OCA in Pmax-style extensions
A lattice $\Lambda$ is said to be an extension of a sublattice $L$ of smaller rank if $L$ is equal to the intersection of $\Lambda$ with the subspace spanned by $L$. The goal of this paper is to initiate a systematic study of the geometry…
A sequence of generalizations of Cartan's conservation of torsion theorem is given for n-dimensional differentiable manifolds having a general linear connection.
We prove that there are 3-CNF formulas over n variables that can be refuted in resolution in width w but require resolution proofs of size n^Omega(w). This shows that the simple counting argument that any formula refutable in width w must…
This object of this paper to give several properties and applications of multiple p-adic q-L-function of two variables.
We give a new proof of a lemma by L. Shepp, that was used in connection to random coverings of a circle.
For a conformal vector field on a closed, real-analytic, Lorentzian manifold we prove that the flow is locally isometric -- that it preserves a metric in the conformal class on a neighborhood of any point -- or the metric is everywhere…
We show how non-vanishing of p-adic L functions controls the dimensions of Selmer varieties associated to the complement of the origin in an elliptic curve with CM. As a corollary, one obtains a \pi_1-proof of the theorem of Siegel for such…
We introduce a generalization of the method of S. P. Zaitsev. This generalization allows us to prove omega-theorems for the Riemann zeta function and its derivatives in some regions near the line $\mathrm{Re}\,s=1$.
We give a new proof of Lucas' Theorem in elementary number theory.
We prove a general version of the homological perturbation lemma which works in the presence of curvature, and without the restriction to strong deformation retracts, building on work of Markl. A key observation is that the notion of strong…
We prove the existence of tilting objects on some global quotient stacks. As a consequence we provide further evidence for a conjecture on the Rouquier dimension of derived categories formulated by Orlov.
In this paper we give a new proof of Riemann's well known mapping theorem. The suggested method permits to prove an analog of that theorem for the three dimensional case.
In this article, we obtain quasiconformal extensions of some classes of conformal maps defined either on the unit disc or on the exterior of it onto the extended complex plane. Some of these extensions have been obtained by constructing…
We prove that the orbit closure of the determinant is not normal. A similar result is obtained for the orbit closure of the permanent multiplied by a power of a linear form.
In this note we propose an $\omega$-operadical way to prove the existence of the $\omega$-graph of the $\omega$-graphs and the reflexive $\omega$- graph of the reflexive $\omega$-graphs.
In this paper, we take interest in finding applications for a hook-length formula recently proved in (Morales Pak Panova 2016). This formula can be applied to give a non trivial relation between alternating permutations and weighted Dyck…
Our main theorem is about iterated forcing for making the continuum larger than aleph_2. We present a generalization of math.LO/0303294 which is dealing with oracles for random, etc., replacing aleph_1, aleph_2 by lambda,lambda^+ (starting…
We give a counting based proof of the Graham Pollak Theorem
We prove a Liouville theorem for the plurisubharmonic functions on complete Kaelher manifolds. As the applications, we prove a splitting theorem for complete Kaehler manifolds with nonnegative biscetional curvature in terms of the linear…
We prove a uniqueness result for limit cycles of a class of second order ODE's. As a special case, we prove limit cycle's uniqueness for an ODE studied in \cite{ETBA}.