In this paper we consider several homological dimensions of crossed products $A _{\alpha} ^{\sigma} G$, where $A$ is a left Noetherian ring and $G$ is a finite group. We revisit the induction and restriction functors in derived categories, generalizing a few classical results for separable extensions. The global dimension and finitistic dimension of $A ^{\sigma} _{\alpha} G$ are classified: global dimension of $A ^{\sigma} _{\alpha} G$ is either infinity or equal to that of $A$, and finitistic dimension of $A ^{\sigma} _{\alpha} G$ coincides with that of $A$. A criterion for skew group rings to have finite global dimensions is deduced. Under the hypothesis that $A$ is a semiprimary algebra containing a complete set of primitive orthogonal idempotents closed under the action of a Sylow $p$-subgroup $S \leqslant G$, we show that $A$ and $A _{\alpha} ^{\sigma} G$ share the same homological dimensions under extra assumptions.

We prove that every homomorphism $\mathcal{O}^{E}_{\zeta}\rightarrow\mathcal{O}^{F}_{\zeta}$ , with$E$and$F$Banach spaces and ζ∈ℂ^{$m$}, is induced by a $\mathop{\mathrm{Hom}}(E,F)$ -valued holomorphic germ, provided that 1≤$m$<∞. A similar structure theorem is obtained for the homomorphisms of type $\mathcal{O}^{E}_{\zeta}\rightarrow\mathcal{S}_{\zeta}$ , where $\mathcal{S}_{\zeta}$ is a stalk of a coherent sheaf of positive depth. We later extend these results to sheaf homomorphisms, obtaining a condition on coherent sheaves which guarantees the sheaf to be equipped with a unique analytic structure in the sense of Lempert–Patyi.

Earlier, for an action of a finite group$G$on a germ of an analytic variety, an equivariant$G$-Poincaré series of a multi-index filtration in the ring of germs of functions on the variety was defined as an element of the Grothendieck ring of$G$-sets with an additional structure. We discuss to which extent the$G$-Poincaré series of a filtration defined by a set of curve or divisorial valuations on the ring of germs of analytic functions in two variables determines the (equivariant) topology of the curve or of the set of divisors.