Related papers: The zero locus of an admissible normal function

We report on a verification of the Fundamental Theorem of Algebra in ACL2(r). The proof consists of four parts. First, continuity for both complex-valued and real-valued functions of complex numbers is defined, and it is shown that…

We give conditions ensuring that a neighborhood of an embedded projective space bundle over an elliptic curve is holomorphically equivalent to a neighborhood of the zero section of its normal bundle.

We present a substantial generalisation of a classical result by Lie on integrability by quadratures. Namely, we prove that all vector fields in a finite-dimensional transitive and solvable Lie algebra of vector fields on a manifold can be…

Let $s: [1, \infty) \to \C$ be a locally integrable function in Lebesgue's sense on the infinite interval $[1, \infty)$. We say that $s$ is summable $(L, 1)$ if there exists some $A\in \C$ such that $$\lim_{t\to \infty} \tau(t) = A, \quad…

Let $X(\RR)$ be a geometrically connected variety defined over $\RR$ and such that the set of all its (also complex) points $X(\CC)$ is non-degenerate. We introduce the notion of \emph{admissible rank} of a point $P$ with respect to $X$ to…

On a manifold $(\mathbb{R}^n, e^{2u} |dx|^2)$, we say $u$ is normal if the $Q$-curvature equation that $u$ satisfies $(-\Delta)^{\frac{n}{2}} u = Q_g e^{nu}$ can be written as the integral form $u(x)=\frac{1}{c_n}\int_{\mathbb…

The classical Hurwitz theorem says that if n first "harmonics" (2n + 1 Fourier coefficients) of a continuous function f(x) on the unit circle are zero, then f(x) changes sign at least 2n + 1 times. We show that similar facts and its…

According to Kiyoshi Igusa a generalized Morse function on an n-dimensional manifold M is a smooth function with only Morse and birth-death singularities and a framed function is a generalized Morse function with an additional structure: a…

We first describe the local and global moduli spaces of germs of foliations defined by analytic functions in two variables with p transverse smooth branches, and with integral multiplicities (in the univalued holomorphic case) or complex…

We prove that if u is a bounded smooth function in the kernel of a nonnegative Schrodinger operator $-L=-(\Delta +q)$ on a parabolic Riemannian manifold M, then u is either identically zero or it has no zeros on M, and the linear space of…

We study the notion of linear sofic approximations for algebras, analogous to the concept of sofic representations for groups. We prove that for a finitely generated amenable $K$-algebra with no zero divisors, all linear sofic…

Let $X$ be a (real or complex) rearrangement-in\-va\-riant function space on $\Om$ (where $\Om = [0,1]$ or $\Om \subseteq \bbN$) whose norm is not proportional to the $L_2$-norm. Let $H$ be a separable Hilbert space. We characterize…

We give necessary and sufficient conditions on the curvature and the torsion of a regular curve of the space forms $\h^3$ and $\s^3$ to be contained in a totally umbilical surface. In case that the curve has constant torsion, we obtain the…

A very general surface of degree at least four in projective space of dimension three contains no curves other than intersections with surfaces. We find a formula for the degree of the locus of surfaces of degree at least five which contain…

We give an example of a convex, finite and lower semicontinuous function whose subdifferential is everywhere empty. This is possible since the function is defined on an incomplete normed space. The function serves as a universal…

We initiate the study of inflection curves of rational vector fields on the Riemann sphere. For a rational vector field $v_R=-R(z)\frac{\partial}{\partial z}, \qquad R(z)=\frac{Q(z)}{P(z)} $ we define its affine regular inflection locus by…

In this paper, using the recently discovered notion of the $S$-spectrum, we prove the spectral theorem for a bounded or unbounded normal operator on a Clifford module (i.e., a two-sided Hilbert module over a Clifford algebra based on units…

We show that, given a Banach space and a generator of an exponentially stable $C_{0}$-semigroup, a weakly admissible operator $g(A)$ can be defined for any $g$ bounded, analytic function on the left half-plane. This yields an (unbounded)…

Any algebra herein is intended over a field of characteristic 0. Let $E$ denote the infinite dimensional Grassman algebra. Given a power associative finite dimensional {$\mathbb{Z}_2$-graded-central-simple} $A$ and a supertrace algebra $B$,…

This paper is devoted to a study of $S$-curves, that is systems of curves in the complex plane whose equilibrium potential in a harmonic external field satisfies a special symmetry property ($S$-property). Such curves have many…