2,365 research outputs found
How to implement a modular form
AbstractWe present a model for Fourier expansions of arbitrary modular forms. This model takes precisions and symmetries of such Fourier expansions into account. The value of this approach is illustrated by studying a series of examples. An implementation of these ideas is provided by the author. We discuss the technical background of this implementation, and we explain how to implement arbitrary Fourier expansions and modular forms. The framework allows us to focus on the considerations of a mathematical nature during this procedure. We conclude with a list of currently available implementations and a discussion of possible computational research
A generalization of manifolds with corners
In conventional Differential Geometry one studies manifolds, locally modelled
on , manifolds with boundary, locally modelled on
, and manifolds with corners, locally
modelled on . They form categories . Manifolds with corners have
boundaries , also manifolds with corners, with .
We introduce a new notion of 'manifolds with generalized corners', or
'manifolds with g-corners', extending manifolds with corners, which form a
category with . Manifolds with g-corners are locally modelled on
for a weakly toric monoid,
where for .
Most differential geometry of manifolds with corners extends nicely to
manifolds with g-corners, including well-behaved boundaries . In
some ways manifolds with g-corners have better properties than manifolds with
corners; in particular, transverse fibre products in exist under
much weaker conditions than in .
This paper was motivated by future applications in symplectic geometry, in
which some moduli spaces of -holomorphic curves can be manifolds or
Kuranishi spaces with g-corners (see the author arXiv:1409.6908) rather than
ordinary corners.
Our manifolds with g-corners are related to the 'interior binomial varieties'
of Kottke and Melrose in arXiv:1107.3320 (see also Kottke arXiv:1509.03874),
and to the 'positive log differentiable spaces' of Gillam and Molcho in
arXiv:1507.06752.Comment: 97 pages, LaTeX. (v3) final version, to appear in Advances in
Mathematic
On a semitopological polycyclic monoid
We study algebraic structure of the -polycyclic monoid
and its topologizations. We show that the -polycyclic monoid for an
infinite cardinal has similar algebraic properties so has
the polycyclic monoid with finitely many generators. In
particular we prove that for every infinite cardinal the polycyclic
monoid is a congruence-free combinatorial -bisimple
--unitary inverse semigroup. Also we show that every non-zero element
is an isolated point in for every Hausdorff topology
on , such that is a semitopological
semigroup, and every locally compact Hausdorff semigroup topology on
is discrete. The last statement extends results of the paper [33]
obtaining for topological inverse graph semigroups. We describe all feebly
compact topologies on such that
is a semitopological semigroup and its Bohr
compactification as a topological semigroup. We prove that for every cardinal
any continuous homomorphism from a topological semigroup
into an arbitrary countably compact topological semigroup is
annihilating and there exists no a Hausdorff feebly compact topological
semigroup which contains as a dense subsemigroup
- …