Related papers: Existence in NSOP$_1$ theories

We study model theoretic tree properties ($\text{TP}, \text{TP}_1, \text{TP}_2$) and their associated cardinal invariants ($\kappa_{\text{cdt}}, \kappa_{\text{sct}}, \kappa_{\text{inp}}$, respectively). In particular, we obtain a…

We show the existence of solution for some classes of nonlocal problems. Our proof combines the presence of sub and supersolution with the pseudomonotone operators theory.

We show that for every m in N, there exists an n in N such that every embedding of the complete graph K_n in R^3 contains a link of two components whose linking number is at least m. Furthermore, there exists an r in N such that every…

We prove that any spectrum is equivalent to the nonconnective K-theory of a stable $\infty$-category. We use these results to construct a stable $\infty$-category $\mathcal{C}$ with a bounded t-structure such that…

In this note, we prove that every open primary basic semialgebraic set is stably equivalent to the realization space of an even-dimensional neighborly polytope. This in particular provides the final step for Mn\"ev's proof of the…

In this paper, we first establish a K-theory version of the equivariant family index theorem for a circle action, then use it to prove several rigidity and vanishing theorems on the equivariant K-theory level.

The objective of this article is to prove the necessity statement in Crawley-Boevey's conjectural solution to the (tame) Deligne-Simpson problem. We use the nonabelian Hodge correspondence, variation of parabolic weights and results of…

We construct two distinct yet related M-theory models that provide suitable frameworks for the study of knot invariants. We then focus on the four-dimensional gauge theory that follows from appropriately compactifying one of these M-theory…

In this paper, we establish the existence of time quasi-periodic solutions to generalized surface quasi-geostrophic equation $({\rm gSQG})_\alpha$ in the patch form close to Rankine vortices. We show that invariant tori survive when the…

We prove an existence and uniqueness result for ground states of one-dimensional Schr\"{o}dinger-Newton equations.

We prove the Riemann-Roch theorem for homotopy invariant $K$-theory and projective local complete intersection morphisms between finite dimensional noetherian schemes, without smoothness assumptions. We also prove a new Riemann-Roch theorem…

We proved three theorems of $S$-version of the mulyiplicity one.

In his 1973 paper Quillen proved a resolution theorem for the K-Theory of an exact category; his proof was homotopic in nature. By using the main result of a paper by Nenashev, we are able to give an algebraic proof of Quillen's Resolution…

We show that the K-theory spectra of many assemblers, such as the assembler of polytopes in euclidean, hyperbolic or spherical geometry, as well as the assembler of definable sets, are equivalent to the K-theory spectrum of a squares…

A series of sharp existence and uniqueness theorems are established for the multiple vortex solutions in the supersymmetric Chern--Simons--Higgs theory formalism of Aharony, Bergman, Jaferis, and Maldacena, for which the Higgs bosons and…

We consider N=1 supersymmetric gauge theories based on the group SU(N)_1 x SU(N)_2 x ... x SU(N)_k with matter content (N,N*,1,...,1) + (1,N,N*,...,1) + >... + (N*,1,1,...,N) as candidates for the unification symmetry of all particles. In…

We address the following question: Can we expand an NIP theory by adding a linear order such that the expansion is still NIP? Easily, if acl(A)=A for all A, then this is true. Otherwise, we give counterexamples. More precisely, there is a…

We show that equivariant K-theory satisfies descent with respect to the isovariant Nisnevich topology. The main step is to show that the isovariant Nisnevich topology is a regular, complete and bounded cd topology.

Non-forking is one of the most important notions in modern model theory capturing the idea of a generic extension of a type (which is a far-reaching generalization of the concept of a generic point of a variety). To a countable first-order…

Using our results in [15], we provided existence theorems for the general classes of nonlinear evolutions. Finally, we give examples of applications of our results to parabolic, hyperbolic, Shr\"{o}dinger, Navier-Stokes and other…