Related papers: Sofic profiles of $S(\omega )$ and computability

Let S be a smooth projective surface, K be the canonical class of S and H be an ample divisor such that H.K<0 . In this paper we prove that for any rigid (Ext^1(F,F)=0) semistable sheaf F in the sense of Mumford--Takemoto stability w.r.t. H…

For a smooth map $f:X^4\to\Sigma^2$ that is locally modeled by holomorphic maps, the domain is shown to admit a symplectic structure that is symplectic on some regular fiber, if and only if $f^*[\Sigma]\ne0$. If so, the space of symplectic…

In this letter we proved this theorem: \emph{if $F$ be a holomorphic mapping of $T_{\Omega}$ to a mapping manifold $X$ such that for every compact subset $K\subset \Omega$ the mapping $F$ is uniformly continues on $T_{K}$ and $F(T_{K})$ is…

The solvable Farb growth of a group quantifies how well-approximated the group is by its finite solvable quotients. In this note we present a new characterization of polycyclic groups which are virtually nilpotent. That is, we show that a…

We obtain an improved Sobolev inequality in H^s spaces involving Morrey norms. This refinement yields a direct proof of the existence of optimizers and the compactness up to symmetry of optimizing sequences for the usual Sobolev embedding.…

Let G be a split semisimple linear algebraic group over a field k0. Let E be a G-torsor over a field extension k of k0. Let h be an algebraic oriented cohomology theory in the sense of Levine-Morel. Consider a twisted form E/B of the…

Let R be a semi-local regular domain containing an infinite perfect field k, and let K be the field of fractions of R. Let G be a reductive semi-simple simply connected R-group scheme such that each of its R-indecomposable factors is…

We study smooth projective varieties with small dual variety using methods from symplectic topology. We prove the affine parts of such varieties are subcritical, and that the hyperplane class is invertible in their quantum cohomology. We…

We provide examples of non-surjective epimorphisms $H\to K$ in the category of Hopf algebras over a field, even with the additional requirement that $K$ have bijective antipode, by showing that the universal map from a Hopf algebra to its…

We show that any finite group $G$ there exists a bijction $f$ from $G$ onto $C_{n}$ such that $o(x)$ divides $o(f(x))$ for all $x\in G$. This confirm Problem 18.1 in [7].

We construct an invariant of closed ${\rm spin}^c$ 4-manifolds using families of Seiberg-Witten equations. This invariant is formulated as a cohomology class on a certain abstract simplicial complex consisting of embedded surfaces of a…

We consider a singular holomorphic foliation $\uF$ defined near a compact curve $\uC$ of a complex surface. Under some hypothesis on $(\uF,\uC)$ we prove that there exists a system of tubular neighborhoods $U$ of a curve $\underline{\mc D}$…

We prove that any diffeomorphism of a compact manifold can be C^1-approximated by a diffeomorphism which exhibits a homoclinic bifurcation (a homoclinic tangency or a heterodimensional cycle) or by a diffeomorphism which is partially…

For many known non-compact embeddings of two Banach spaces $E\hookrightarrow F$, every bounded sequence in $E$ has a subsequence that takes form of a profile decomposition - a sum of clearly structured terms with asymptotically disjoint…

Let $\mathcal F$ be a smooth Riemann surface foliation on $M \setminus E$, where $M$ is a complex manifold and the singular set $E \subset M$ is an analytic set of codimension at least two. Fix a hermitian metric on $M$ and assume that all…

We scrutinise the notions of cohomologically smooth morphisms and smooth objects for the six functor formalism of \'etale $\mathbb F_p$-sheaves on schemes in characteristic $p$. We show that only cohomologically \'etale morphisms are…

We study the degrees of selector functions related to the degrees in which a rigid computable structure is relatively computably categorical. It is proved that for some structures such degrees can be represented as the unions of upper cones…

We study group congruences on the semigroup $\boldsymbol{B}_{\omega}^{\mathscr{F}}$ and its homomorphic retracts in the case when an ${\omega}$-closed family $\mathscr{F}$ which consists of inductive non-empty subsets of $\omega$. It is…

Given a Hecke symmetry $R$, one can define a matrix bialgebra $E_R$ and a matrix Hopf algebra $H_R$, which are called function rings on the matrix quantum semi-group and matrix quantum groups associated to $R$. We show that for an even…

Let G be a connected, real, semisimple Lie group contained in its complexification G_C, and let K be a maximal compact subgroup of G. We construct a K_C-G double coset domain in G_C, and we show that the action of G on the K-finite vectors…