Related papers: Normal forms in cubical type theory
We discuss several aspects of the geometry of vector fields in (Poincare'-Dulac) normal form. Our discussion relies substantially on Michel theory and aims at a constructive approach to simplify the analysis of normal forms via a splitting…
We give an alternative method to obtain normal forms of reversible equivariant vector fields. We adapt the classical method using tools from invariant theory to establish formulae that take symmetries into account as a starting point.…
The notion of a natural model of type theory is defined in terms of that of a representable natural transfomation of presheaves. It is shown that such models agree exactly with the concept of a category with families in the sense of Dybjer,…
At the heart of intuitionistic type theory lies an intuitive semantics called the "meaning explanations"; crucially, when meaning explanations are taken as definitive for type theory, the core notion is no longer "proof" but "verification".…
Let $V$ be a finite dimensional vector space over a field $\mathrm{k}$ of characteristic $0$. Let $A$ be a linear mapping of $V$ into itself. This paper gives a normal form for $A$, which gives a better description of the structure of $A$…
We construct normal forms for Levi degenerate hypersurfaces of finite type in $\mathbb C^2$. As one consequence, an explicit solution to the problem of local biholomorphic equivalence is obtained. Another consequence determines the…
The smallest transitive relation < on well-typed normal terms such that if t is a strict subterm of u then t < u and if T is the normal form of the type of t and the term t is not a sort then T < t is well-founded in the type systems of the…
We prove that seminormality of cut polytopes is equivalent to normality. This settles two conjectures regarding seminormality of cut polytopes.
It is constructed a normal form for a class of real-smooth surfaces M\subset\mathbb{C}^{2} defined near a degenerate CR singularity.
In this paper we adapt the method of [P. H. Baptistelli, M. Manoel and I. O. Zeli. Normal form theory for reversible equivariant vector fields. Bull. Braz. Math. Soc., New Series 47 (2016), no. 3, 935-954] to obtain normal forms of a class…
In this paper, we will give a natural definition for morphisms between multiplicative unitaries. We will then discuss some equivalences of this definition and some interesting properties of them. Moreover, we will define normal…
In these lectures notes I discuss the Linearization Theorem for Lie groupoids, and its relation to the various classical linearization theorems for submersions, foliations and group actions. In particular, I explain in some detail the…
This paper defines homology in homotopy type theory, in the process stable homotopy groups are also defined. Previous research in synthetic homotopy theory is relied on, in particular the definition of cohomology. This work lays the…
We give a negative answer to a question by J.M. Landsberg on the nature of normalizations of orbit closures. A counterexample originates from the study of complex, ternary, cubic forms.
We give some results on quadratic normality of reducible curves canonically embedded and partially extend this study to their projective normality.
We give a normal form of the cuspidal edge which uses only diffeomorphisms on the source and isometries on the target. Using this normal form, we study differential geometric invariants of cuspidal edges which determine them up to order…
This note presents a short, transparent proof of the theorem that every Euclidean quadratic form over a normed integral domain is an Aubry-Davenport-Cassels form. The theorem, as formulated in the note, allows besides quadratic terms also…
This technical report investigates Kripke-style modal type theories, both simply typed and dependently typed. We examine basic meta-theories of the type theories, develop their substitution calculi, and give normalization by evaluation…
An important step in the proof of the Herman invariant tori conjecture was the introduction of a normal form with poles along the resonance loci, replacing the Birkhoff normal form, which we call the Hamiltonian normal form. This paper is…
Deformation theory is treated for locally notherian formal schemes (non necessarily smooth). The cotangent complex is defined in the derived category through the homology localization functor. The basic properties and results of a…