Related papers: A note on the paper "Homomorphism with respect to …
We improve the theorem on continuous dependence of solutions of functional differential equations (see J. Hale, Functional differential equations, theorem 5.1), using some new results on continuous convergences. Namely, we prove this…
This paper is withdrawn. The current main theorem can be proved by using a simple field theory. The main theorem is to placed by another theorem, shortly.
This paper can be viewed as a continuation of [KS09] that dealt with the automorphism tower problem without Choice. Here we deal with the inequation which connects the automorphism tower and the normalizer tower without Choice and introduce…
The purpose of this paper is to study the (different) notions of homo-derivations. These are additive mappings $f$ of a ring $R$ that also fulfill the identity \[ f(xy)=f(x)y+xf(y)+f(x)f(y) \qquad \left(x, y\in R\right), \] or (in case of…
In this expository article, we outline the theory of harmonic differential forms and its consequences. We provide self-contained proofs of the following important results in differential geometry: (1) Hodge theorem, which states that for a…
Let $f:X-->Y$ be a map of algebraic varieties. Barthel, Brasselet, Fieseler, Gabber and Kaup have shown that there exists a homomorphism of intersection homology groups $f^*:IH^*(Y)-->IH^*(X)$ compatible with the induced homomorphism on…
We prove that under certain assumptions holomorphic functions which are Azukawa isometries at one point are in fact biholomorphisms.
An old theorem of Weil and Kodaira says that for a compact K\"ahler manifold $X$ there is a closed logarithmic $1$-form with residue divisor $D$ if and only if $D$ is homologous to zero in $H_{2n-2}(X,\mathbb C)$. In the first part of this…
We provide a short proof of the theorem that every real multivariate polynomial has a symmetric determinantal representation, which was first proved in J. W. Helton, S. A. McCullough, and V. Vinnikov, Noncommutative convexity arises from…
A function $f\colon\{0,1\}^n\to \{0,1\}$ is called an approximate AND-homomorphism if choosing ${\bf x},{\bf y}\in\{0,1\}^n$ randomly, we have that $f({\bf x}\land {\bf y}) = f({\bf x})\land f({\bf y})$ with probability at least…
We study properties of a group, abelian group, ring, or monoid $B$ which (a) guarantee that every homomorphism from an infinite direct product $\prod_I A_i$ of objects of the same sort onto $B$ factors through the direct product of finitely…
Like categories, small 2-categories have well-understood classifying spaces. In this paper, we deal with homotopy types represented by 2-diagrams of 2-categories. Our results extend to homotopy colimits of 2-functors lower categorical…
Inequalities among symmetric polynomial functions are fundamental questions in mathematics and have various applications in science and engineering. This paper investigates a beautiful and inspiring conjecture, proposed by Cuttler, Greene…
The goal of this paper is twofold. In addition to the results stated in the next paragraph, we present some classical results on absoluteness relevant to functional analysis that are well known to logicians but not nearly as well advertised…
We deal with finitely generated modules over an artin algebra. In his Philadelphia Notes, M.Auslander showed that any homomorphism is right determined by a module C, but a formula for C which he wrote down has to be modified. The paper…
Frucht's theorem is the statement that "every group is the automorphism group of a graph". This was shown over ZFC independently by Sabidussi and deGroot, by induction using a well ordered generating set for the group. Sabidussi's proof is…
Let $X/K$ be a variety over a field, and $A/K$ an abelian variety. A regular homomorphism to $A$ (in codimension $i$) induces, for every smooth geometrically connected pointed $K$-scheme $(T,t_0)$ and every cycle class $Z \in CH^i(T\times…
This paper has been withdrawn by the author due a crucial sign error in Theorem B. We present a geometric proof of Thom conjecture, which uses Khovanov homology. Our approach doesn't use any analytic methods and is quite different from…
We uncover several general phenomenas governing functor homology over additive categories. In particular, we generalize the strong comparison theorem of Franjou Friedlander Scorichenko and Suslin to the setting of Fp-linear additive…
It is well known [Lov\'asz, 67] that up to isomorphism a graph~$G$ is determined by the homomorphism counts $\hom(F, G)$, i.e., the number of homomorphisms from $F$ to $G$, where $F$ ranges over all graphs. Thus, in principle, we can answer…