Related papers: Systematic approach to cyclic orbifolds

We develop the theory of motivic integration for formal schemes

We consider the interpretation in classical geometry of conformal field theories constructed from orbifolds with discrete torsion. In examples we can analyze, these spacetimes contain ``stringy regions'' that from a classical point of view…

Theory revision integrates inductive learning and background knowledge by combining training examples with a coarse domain theory to produce a more accurate theory. There are two challenges that theory revision and other theory-guided…

In this work, we offer a historical stroll through the vast topic of binary quadratic forms. We begin with a quick review of their history and then an overview of contemporary algebraic developments on the subject.

In this note, we investigate some topological properties of probabilistic modular spaces.

The goal of this article is to relate recent developments in cyclic homology theory with the theory of operads and homotopical algebra, and hence to provide a general framework to define and study operations in cyclic homology theory.

We propose several techniques to construct complete permutation polynomials of finite fields by virtue of complete permutations of subfields. In some special cases, any complete permutation polynomials over a finite field can be used to…

We develop a general obstruction theory to the formality of algebraic structures over any commutative ground ring. It relies on the construction of Kaledin obstruction classes that faithfully detect the formality of differential graded…

We use rewriting systems to spell out cup-products in the (twisted) cohomology groups of a product of surface groups. This allows us to detect a non-trivial obstruction bounding from below the effective topological complexity of an…

We provide an explicit method to construct dynamical systems which admit an a-priori prescribed attracting set. As application, we provide a method to construct perturbations of conservative dynamical systems, which admit an a-priori…

We introduce a sound and complete coinductive proof system for reachability properties in transition systems generated by logically constrained term rewriting rules over an order-sorted signature modulo builtins. A key feature of the…

We study the moduli space C^2 of unitary two-dimensional conformal field theories with central charge c=2. We construct all the 28 nonexceptional nonisolated irreducible components of C^2 that may be obtained by an orbifold procedure from…

We use equivariant methods to establish basic properties of orbifold K-theory. We introduce the notion of twisted orbifold K-theory in the presence of discrete torsion, and show how it can be explicitly computed for global quotients.

Topological phases of matter are often understood and predicted with the help of crystal symmetries, although they don't rely on them to exist. In this chapter we review how topological phases have been recently shown to emerge in amorphous…

We introduce a strategy to study irreducible representations of automorphism groups of finite modules over local rings. We prove that these automorphism groups fit in a hierarchy that facilitates a stratification of their irreducible…

The concept of coreflexive set is introduced to study the structure of digraphs. New characterizations of line digraphs and nth-order line digraphs are given. Coreflexive sets also lead to another natural way of forming an intersection…

We introduce a new variational method for finding periodic orbits of flows and spatio-temporally periodic solutions of classical field theories, a generalization of the Newton method to a flow in the space of loops. The feasibility of the…

We consider a invariant Dirac operator D on a manifold with a proper and cocompact action of a discrete group G. It gives rise to an equivariant K-homology class [D]. We show how the index of the induced orbifold Dirac operator can be…

We study the theory of systems with constraints from the point of view of the formal theory of partial differential equations. For finite-dimensional systems we show that the Dirac algorithm completes the equations of motion to an…

In this paper we further develop the method of quaternion typification of Clifford algebra elements suggested by the author in the previous paper. On the basis of new classification of Clifford algebra elements it is possible to reveal and…