Related papers: Local boundedness of Catlin q-type

Let $S$ be a minimal surface of general type with irregularity $q(S) = 1$. Well-known inequalities between characteristic numbers imply that $3 p_g(S) \le c_2(S) \le 10 p_g(S)$, where $p_g(S)$ is the geometric genus and $c_2(S)$ the…

This article deals with the existence of hypersurfaces minimizing general shape functionals under certain geometric constraints. We consider as admissible shapes orientable hypersurfaces satisfying a so-called reach condition, also known as…

We show that the real massive Klein-Gordon theory admits a description in terms of states on various timelike hypersurfaces and amplitudes associated to regions bounded by them. This realizes crucial elements of the general boundary…

We establish Calder\'on-type theorems for operators bounded on nonstandard end-point Lorentz spaces \begin{equation*} T\colon L^{p_0, q_0}\to L^{p_1, q_1}\quad\text{and}\quad T\colon L^{q, 1}\to L^\infty \end{equation*} and the improvement…

On a smooth domain in complex n space of finite D'Angelo q-type at a point, an effective upper bound for the vanishing order of the Levi determinant $\text{coeff}\{\partial r \wedge \dbar r \wedge (\partial \dbar r)^{n-q}\}$ at that point…

Let $X$ be a smooth irreducible projective variety of dimension at least 2 over an algebraically closed field of characteristic 0 in the projective space ${\mathbb{P}}^n$. Bertini's Theorem states that a general hyperplane $H$ intersects…

We sharpen to nearly optimal the known asymptotic and explicit bounds for the number of $\mathbb{F}_q$-rational points on a geometrically irreducible hypersurface over a (large) finite field. The proof involves a Bertini-type probabilistic…

We introduce a new type of mappings in metric space which are three-point analogue of the well-known Chatterjea type mappings, and call them generalized Chatterjea type mappings. It is shown that such mappings can be discontinuous as is the…

The concept of typed topological space is introduced, for which open sets in a topology on a finite set will be assigned types (from lattice). The neighborhood system of a point, the closure and the connectedness can be defined according to…

For any subset $Z \subseteq \mathbb{Q}$, consider the set $S_Z$ of subfields $L\subseteq \overline{\mathbb{Q}}$ which contain a co-infinite subset $C \subseteq L$ that is universally definable in $L$ such that $C \cap \mathbb{Q}=Z$. Placing…

The first part of this paper considers higher order CR invariants of three dimensional hypersurfaces of finite type. Using a full normal form we give a complete characterization of hypersurfaces with trivial local automorphism group, and…

We determine all the Q-fundamental surfaces in $(p,1)$-lens spaces and $(p,2)$-lens spaces with respect to natural triangulations with $p$ tetrahedra. For general $(p,q)$-lens spaces, we give an upper bound for elements of vectors which…

Let $S$ be a smooth cubic surface over a finite field $\mathbb F_q$. It is known that $\#S(\mathbb F_q) = 1 + aq + q^2$ for some $a \in \{-2,-1,0,1,2,3,4,5,7\}$. Serre has asked which values of a can arise for a given $q$. Building on…

The so called $q$-triplets were conjectured in 2004 and then found in nature in 2005. A relevant further step was achieved in 2005 when the possibility was advanced that they could reflect an entire infinite algebra based on combinations of…

For a complete metric space $M$, we prove that the finitely supported extreme points of the unit ball of the Lipschitz-free space $\mathcal{F}(M)$ are precisely the elementary molecules $(\delta(p)-\delta(q))/d(p,q)$ defined by pairs of…

Let $\mathbb{F}_q$ be the finite field of characteristic $p$ with $q$ elements and $\mathbb{F}_{q^n}$ its extension of degree $n$. We prove that there exists a primitive element of $\mathbb{F}_{q^n}$ that produces a completely normal basis…

Theorems on continuous extension on boundary for one class of open discrete mappings between Riemannian manifolds are obtained. In particular, there is proved that, open discrete ring $Q$-mappings $f:D\rightarrow D^{\,\prime}$ are extend to…

We show that smooth cubic hypersurfaces of dimension $n$ defined over a finite field ${\bf F}_q$ contain a line defined over ${\bf F}_q$ in each of the following cases: - $n=3$ and $q\ge 11$; - $n=4$ and $q\ne 3$; - $n\ge 5$. For a smooth…

Homotopy type theory is a logical setting in which one can perform geometric constructions and proofs in a synthetic way. Namely, types can be interpreted as spaces up to homotopy, and proofs as homotopy invariant constructions. In this…

Let $\mathbb{F}_q$ be a finite field with $q=p^n$ elements. In this paper, we study the number of $\mathbb{F}_q$-rational points on the affine hypersurface $\mathcal X$ given by $a_1 x_1^{d_1}+\dots+a_s x_s^{d_s}=b$, where…