Related papers: Local Sentences and Mahlo Cardinals

We present a new proof of the classical divergence theorem in bounded domains. Our proof is based on a nonlocal analog of the divergence theorem and a rescaling argument. Main ingredients in the proof are nonlocal versions of the divergence…

We prove a smooth transfer statement analogous to Jacquet-Rallis's fundamental lemma, use it to compute a local spherical character appearing in the Ichino-Ikeda conjecture, and prove a statement on the existence of local newforms for…

Several theorems about the equivalence of familiar theories of reverse mathematics with certain well-ordering principles have been proved by recursion-theoretic and combinatorial methods (Friedman, Marcone, Montalban et al.) and with…

In this paper, we study local regularity properties of minimizers of nonlocal variational functionals with variable exponents and weak solutions to the corresponding Euler--Lagrange equations. We show that weak solutions are locally bounded…

We observe that the nonstandard finite cardinality of a definable set in a strongly minimal pseudofinite structure D is a polynomial over the integers in the nonstandard finite cardinality of D. We conclude that D is unimodular, hence also…

We continue to study the local well-posedness for higher order Benjamin-Ono type equations, especially fourth order equations. The proof is based on the energy methods with correction terms. Although one of correction terms can eliminate…

We introduce the notion of a lim Cohen-Macaulay sequence of modules. We prove the existence of such sequences in positive characteristic, and show that their existence in mixed characteristic implies the long open conjecture about…

The goal of this paper is to reformulate the conjectural "Ihara lemma" for $U(n)$ in terms of the local Langlands correspondence in families $\tilde{\pi}_{\Sigma}(\cdot)$, as currently being developed by Emerton and Helm. The reformulation…

The Axiom of Full Reflection at a measurable cardinal has been conjectured to be equiconsitent with the existence of a coherent sequence of measures with a repeat point. However we prove that the Axiom of Full Reflection at a measurable…

Let $R$ be a commutative Noetherian ring, $M$ a finitely generated $R$-module and $n$ be a non-negative integer. In this article, it is shown that there is a finitely generated submodule $N_i$ of $H_{\frak a}^i(M)$ such that $\dim{\rm Supp…

We show that it is consistent relative to a weakly compact cardinal that strong homology is additive and compactly supported within the class of locally compact separable metric spaces. This complements work of Marde\v{s}i\'{c} and Prasolov…

We consider the Cauchy problem for the nonlinear Schr\"odinger equation on $\mathbb{R}^d$, where the initial data is in $\dot{H}^1(\mathbb{R}^d)\cap L^p(\mathbb{R}^d)$. We prove local well-posedness for large ranges of $p$ and discuss some…

Recently, a classical approach to continuous structures has been proposed in [ABBMZ] and [Z] that extends the class of structures falling under the scope of [HI] or [BBHU]. These articles introduce the notion of structures with a standard…

We answer a question of Krueger by obtaining disjoint stationary sequences on successive cardinals. The main idea is an alternative presentation of a mixed support iteration, using it even more explicitly as a variant of Mitchell forcing.…

Locally repairable codes which are optimal with respect to the bound presented by Prakash et al. are considered. New upper bounds on the length of such optimal codes are derived. The new bounds both improve and generalize previously known…

We isolate a new large cardinal concept, "remarkability." Consistencywise, remarkable cardinals are between ineffable and omega-Erdos cardinals. They are characterized by the existence of "0^sharp-like" embeddings; however, they relativize…

We prove that every one-dimensional locally normal metric current, intended in the sense of U. Lang and S. Wenger, admits a nice integral representation through currents associated to (possibly unbounded) curves with locally finite length,…

Let $X, X_1, X_2,\ldots $ be a sequence of non-lattice i.i.d. random variables with ${\bf E} X=0,$ ${\bf E} X=1,$ and let $S_n:= X_1+ \cdots+ X_n$, $n\ge 1.$ We refine Stone's integro-local theorem by deriving the first term in the…

Schramm's Locality Conjecture asserts that the value of the critical percolation parameter $p_c$ of a graph satisfying $p_c<1$ depends only on its local structure. In this note, we prove this conjecture in the particular case of transitive…

We prove local central limit theorems for partial sums of the form \newline $\,S_n=\sum_{j=0}^{n-1}f_j\circ T_{j-1}\circ\cdots\circ T_1\circ T_0$ where $f_j$ are uniformly H\"older functions and $T_j$ are expanding maps. Using a symbolic…