We present bounds for the degree and the height of the polynomials arising in some problems in effective algebraic geometry including the implicitization of rational maps and the effective Nullstellensatz over a variety. Our treatment is based on arithmetic intersection theory in products of projective spaces and extends to the arithmetic setting constructions and results due to Jelonek. A key role is played by the notion of canonical mixed height of a multiprojective variety. We study this notion...

Let $G$ be a connected reductive affine algebraic group defined over the complex numbers, and $K\subset G$ be a maximal compact subgroup. Let $X$, $Y$ be irreducible smooth complex projective varieties and $f:X\to Y$ an algebraic morphism, such that ${\pi }_1\left(Y\right)$ is virtually nilpotent and the homomorphism $f_{*}:{\pi }_1\left(X\right)\to {\pi }_1\left(Y\right)$ is surjective. Define $$\begin{array}{cc}\hfill {ℛ}^f({\pi }_1\left(X\right),G)& =\{\rho \in Hom({\pi }_1\left(X\right),G)\mid A\circ \rho \text{factors}\text{through}{f}_{*}\},\hfill \\ \hfill {ℛ}^f({\pi }_1\left(X\right),K)& =\{\rho \in Hom({\pi }_1\left(X\right),K)\mid A\circ \rho \text{factors}\text{through}{f}_{*}\},\hfill \end{array}$$ where $A:G\to GL(Lie(G\left)\right)$ is the adjoint action. We prove that the geometric invariant theoretic quotient ${ℛ}^f({\pi }_1(X,x_0),G)//G$ admits a deformation retraction to ${ℛ}^f({\pi }_1(X,x_0),K)/K$. We also show that the space of conjugacy classes of $n$ almost commuting elements...

The notion of higher order dual varieties of a projective variety, introduced by Piene in 1983, is a natural generalization of the classical notion of projective duality. In this paper we study higher order dual varieties of projective toric embeddings. We express the degree of the second dual variety of a 2-jet spanned embedding of a smooth toric threefold in geometric and combinatorial terms, and we classify those whose second dual variety has dimension less than expected. We also describe the...