A surjective inverse-polynomial germ projection without even covering comes from the inverse of over . Consider , with . Since on , each defines a holomorphic inverse germ of at . This identifies with a component of the space of germs of holomorphic functions: inverse germs continue along paths in , and the holomorphic identity persists under continuation. A germ with value cannot exist, because differentiating that identity would give . Since is connected, all its inverse germs belong to one complete analytic function.
The projection is surjective. A generic value has three distinct regular preimages; the critical values each retain a simple regular preimage, respectively , even after their double critical preimages are removed. Thus fibre size drops from to at these values, making an evenly covered neighbourhood impossible. This is surjective but not a regular topological covering.
If “regular” is specifically used for deck transitivity among genuine coverings, there is also a genuine nonnormal example. Remove the critical values from the base and all their preimages from the source:
This is a connected three-sheeted analytic covering. A small loop about each critical value swaps the two roots meeting there. The two swaps are distinct and generate (connectedness also forces transitive monodromy). The stabilizer of one sheet is an order- subgroup, which is not normal in . The classification of connected covering spaces therefore shows this covering is not regular in the deck-transitive sense. Either convention has a fully explicit example.